miniblog.

← Back to all posts
May 17, 2010 at 22:21
Computer Science at its most beautiful: ForAll = λP.(P=λx.T)

Related Posts

Sep 2, 2024 at 23:29
It's so strange that we talk about languages being slow, and have done for years. Computer performance has increased so much in this time. https://hbfs.wordpress.com/2009/11/10/is-python-slow/ (shared on HN in 2009) discusses Python being slow. My underpowered Thinkpad has 20x the single-threaded performance! https://www.cpubenchmark.net/compare/73vs3766/AMD-Athlon-64-4000+-vs-AMD-Ryzen-5-PRO-4650U Maybe *relative* performance of languages matters more?
Is Python Slow?
Is Python Slow?
Python is a programming language that I learnt somewhat recently (something like 2, 3 years ago) and that I like very much. It is simple, to the point, and has several functional-like constructs th…
AMD Athlon 64 4000+ vs Ryzen 5 PRO 4650U [cpubenchmark.net] by PassMark Software
Comparing AMD Athlon 64 4000+ vs Ryzen 5 PRO 4650U
Sep 2, 2024 at 23:26
It's so strange that we talk about languages being slow, and have done for years. Computer performance has increased so much in this time. https://hbfs.wordpress.com/2009/11/10/is-python-slow/ (shared on HN in 2009) discusses Python being slow. My underpowered Thinkpad has 20x the single-threaded perf!
Is Python Slow?
Is Python Slow?
Python is a programming language that I learnt somewhat recently (something like 2, 3 years ago) and that I like very much. It is simple, to the point, and has several functional-like constructs th…
Jan 25, 2024 at 16:22
Which programming languages are the easiest/hardest to google? Go (a common word) and Rust (also a computer game) can both be tricky. Yet I've not seen 'rubylang' used to help Ruby searches. Perhaps a novel word (Kotlin) or a misspelling (Perl) is a better choice for new languages?