10621
Number in man page titles e.g. sleep(3)
If you do Linux systems programming, you will have likely pored over man pages, either on the command line or, my personal preference, using the excellent man7.org or linux.die.net. I’ve always seen …
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 14,545 posts.
10622
Windows 10 “Developer Mode”
The new Windows 10 update coming in a few weeks. It's called Windows 10 ...
10623
What was wrong with SML?
From the highly eclectic blog of Mark Dominus
10624
How to Write a Video Player in Less Than 1000 Lines
ffmpeg is a wonderful library for creating video applications or even general purpose utilities. ffmpeg takes care of all the hard work of video processing by doing all the decoding, encoding, muxing and demuxing for you. This can make media applications much simpler to write. It's simple, written in C, fast, and can…
10625
A Failed Experiment with Python Type Annotations
I like Python, but wish it had static typing. The added safety would go a long way to improving quality and reducing development time. So today I tried to make use of type annotations and a static type-checker called mypy. After a few basic tests, I was excited. But my glee turned to disappointment rather […]
10626
Rootless Pings in Rust
Sending a ping by creating an ICMP socket normally requires root: you can’t create a raw socket to send ICMP packets without it. The ping command line tool works without root however, how is that possible? It turns out you can create a UDP socket with a protocol flag, which allows you to send the ping rootless. I…
10627
10628
10629
Benchmarking Ruby 2.6 to 3.2
The yearly benchmarking Ruby post
10630
10631
Build me a Lisp
Read on kirit.com
10632
Nil in Go is typed in theory and sort of untyped in practice
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
10633
Programming is a Super Power
Programming Zen is a blog about programming and emerging technologies, authored by Antonio Cangiano, a Software Development Manager and AI Evangelist at IBM.
10634
10635
Rolling your own serverless OCR in 40 lines of code
Parsing a statistics textbook with Deepseek OCR on Modal
10636
Python to Scheme to Assembly (2014)
In 2001, my favorite programming language was Python. In 2008, my favorite programming language was Scheme. In 2014, my favorite programming language …
10637
10638
The Dawn of Formalized Mathematics
Here are the slides of my talk “The dawn of formalized mathematics” from the 8th European Congress of Mathematics , which is taking place online and in Protorož, Slovenia, from June 20 to 26, 2021:
10639
10640
10641
Merging with diff3: the “three-way merge”
If you enjoy this article, I have published a book explaining the internals of Git through implementation: Building Git .
10642
Fixing the iterative damping interpolation in video games
As I'm exploring the fantastic world of indie game development lately, I end up watching a large number of video tutorials on the subject. Even though the quality of the content is pretty variable, I'm very grateful to the creators for it. That being said, I couldn't help noticing this particular bit times and times…
10643
10644
My ideal Rust workflow
Writing Rust is pretty neat. But you know what’s even neater? Continuously testing Rust, releasing Rust, and eventually, shipping Rust to production. And for that, we want more than plug-in for a c...
10645
RaptorQ and performance optimization in Rust
I recently decided to learn more about Rust, and wrote a high performance RaptorQ (RFC6330) library. RaptorQ is a fountain code, and the core of the algorithm is a lot of matrix math over GF(256) – which translates into lots of XORs and reads from lookup tables. After getting the initial implementation working, I set…
10646
10647
10648
10649
Gzip decompression in 250 lines of Rust
i wanted to have a deeper grasp of how compression works, so i wrote a gzip decompressor from scratch. the result is about 250 lines of rust that can decompress gzip from a file or stdin.
10650
