4081
Implementing Value Speculation in OCaml
Lucas Pluvinage's website
New
The latest blog posts to take off on Hacker News. 14,540 posts.
4082
4083
4084
A few words on Ruby's type annotations state
...that were written in a military training camp and accidentally grew to 5k words
4085
Htmx Is the Future
Chris James, London - Software Engineer
4086
RLHF: Reinforcement Learning from Human Feedback
[LinkedIn discussion, Twitter thread]
4087
Running JavaScript in Rust with Deno: Experimenting with Deno's Rust Crates
Explore how the Deno runtime can enable JavaScript code execution in a Rust application via a proof-of-concept project called "js-in-rs". Discover the flexibility and versatility of using JavaScript expressions as filters in a CLI, written in Rust, as a powerful alternative to regular expressions. Watch out grep!
4088
A look at Crystal, a programming language for humans
I recently implemented a Brainfuck interpreter in the Crystal programming language and I’d like to share my honest opinion about working in the language.
4089
Somehow AutoHotKey is kinda good now
img {border-style: groove; border-width: 1px;} I love Autohotkey so much that it keeps me on Windows. It’s the best GUI automation tool out there. Here’s a shortcut that opens my current browser tab in the Wayback Machine: #HotIf WinActive("ahk_exe firefox.exe") >!^s:: { Keywait("RControl") Keywait("RAlt")…
4090
Driving Compilers
I remember how pleasant it was to learn to program in C. There were so many good books explaining not only the language but also the standard library. I devoured both The C Programming Language (K&R) by Kernighan/Ritchie and The Standard C Library by P.J. Plauger. Then came Expert C Programming by Van der Linden and…
4091
How to Survive Your Project's First 100k Lines
After many years of development, the Vale compiler just hit its 100,000th line of code.
4092
Why split lexing and parsing into two separate phases?
“lex and yacc” are two terms that are used together so often that they can seem indivisible. lex takes a string as input and divides it up into lexemes (roughly speaking “words”) and yacc takes a sequence of lexemes and parses them. Since some parsing approaches such as recursive descent parsing unify these phases…
4093
Dark Matter Developers: The Unseen 99% (2012)
In astronomy and cosmology, dark matter is a currently-undetermined type of ...
4094
SIMD with Zig
An introduction to using SIMD with Zig
4095
My favorite C compiler flags during development
The major compilers have an enormous number of knobs . Most are highly specialized, but others are generally useful even if uncommon. For warnings, the venerable -Wall -Wextra is a good start, but circumstances improve by tweaking this warning set. This article covers high-hitting development-time options in GCC…
4096
4097
There’s more than one way to write an IP address (2019)
There's more than one way to write an IP address: decimal, hex, octal, overflowed octets and omitted zeroes all resolve to the same host. A fun trick to mess …
4098
Driver adventures for a 1999 webcam
We generally know that when we buy a piece of technology that it will not last forever, connectors wear out and/or go out of fashion. But I think the most frustrating reason to have to get rid of something is that drivers stop being made for devices.
4099
Curl 8 Is Faster
First: performance is tricky and bechmarking even more so. I will talk some numbers in this post but of course they are what I have measured for my specific tests on my machine. Your numbers for your test cases will be different. Over the last six months or so, curl has undergone a number of … Continue reading curl 8…
4100
Beautiful branchless binary search
I read a blog post by Alex Muscar, “Beautiful Binary Search in D”. It describes a binary search called “Shar’s algorithm”. I’d never heard of it and it’s i…
4101
The future of programming: Research at CHI 2023
Research on programming tools published at CHI 2023.
4102
Hotspot performance engineering fails
Developers often believe that software performance follows a Pareto distribution: 80% of the running time is spent in 20% of the code. Using this model, you can write most of your code without any care for performance and focus on the narrow pieces of code that are performance sensitive. Engineers like Casey Muratori…
4103
Performance excuses debunked
There are many legitimate arguments to be had about performance, but there are also plain old excuses. It's time to end the excuses.
4104
Ruby's switch statement is flexible
Ruby's switch statement is very versatile and flexible, especially due to the dynamic nature of Ruby. This post shows how it works with examples.
4105
Gradle still sucks
I wrote a blog post a while ago complaining about Gradle, mostly from a position of ignorance: I had never really taken the time to properly learn the tool and I was frustrated while trying to stumble my way through working with it. But luckily, my company encourages learning and experimentation so I was given an…
4106
You could have invented futexes
The futex ( f ast u serspace mu tex ) is a Linux kernel feature designed for synchronization primitives (mutexes, condition variables, semaphores, etc.). Like many topics in concurrency, they have a reputation for being tricky (for example, see the paper Futexes Are Tricky ). Despite that, they really are a…
4107
Use Gröbner bases to solve polynomial equations
A self-contained introduction to Gröbner bases and solving polynomial systems
4108
My thoughts on OCaml
Since 2013 I’ve had the chance to use OCaml a few times in different jobs, and I got frustrated and disappointed every time I had to use it. I just don’t enjoy writing OCaml.
4109
Transformers from Scratch (2021)
I procrastinated a deep dive into transformers for a few years. Finally the discomfort of not knowing what makes them tick grew too great for me. Here is that dive.
4110