Personal channel of @lancern

Topics: programming, hacking, memes, life, and more. Forward anything as you wish.

Join the discussion group for more fun.

Discord: https://discord.gg/RwUx9et7
The power of prolog

A modern book on prolog Comments

via Student@users.lobste.rs (Student)
去北京 -> 北京下大雨,上海晴
回上海 -> 上海下大雨,北京晴

我成雨天娃娃了
Programming Languages: Build, Prove, and Compare

Fashions in programming languages change continually. But the best way to stay up to date is not to study the latest fashion; it’s to master the timeless ideas that underlie all languages, even the most complicated.

This is the web site for Programming Languages: Build, Prove, and Compare: a text that distills timeless languages and their design ideas into easy-to-learn “bridge” languages implemented by interpreters whose key parts are explained in the text.

https://www.build-prove-compare.net/
今日午餐:海淀黄庄热啊餐厅
今日学习iPhone如何强制重启:

短按音量+ -> 短按音量- -> 长按电源

学费:两站地铁车费+40分钟时间损耗
又上完一周的班了。祝贺!
Back to Top