391
Strong static typing, a hill I'm willing to die on
This is a post about strong static typing, why I feel strongly about the topic, and some of the ways we utilize the Rust type system at Svix.
Topics /
Programming Languages
The most popular blog posts about programming languages on Hacker News. 5,634 posts.
392
On Repl-Driven Programming
Once upon a time, someone with the handle “entha_saava” posted this question on Hacker News :
393
394
Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers
A deep dive into Meta's pyrefly and Astral's ty - two new Rust-based Python type checkers that both promise faster performance and better type inference.
395
Static Analysis in GCC 10
Discover the new -fanalyzer option coming to GCC 10 that provides a static analysis pass to identify problems at compile-time, rather than at runtime.
396
Go 1.9 is released
Go 1.9 adds type aliases, bit intrinsics, optimizations, and more.
397
Raku: A language for gremlins
By Gremlins, For Gremlins™
398
Writing a Rust compiler in C
To bootstrap Rust, no cost is too great.
399
400
Advanced Python Features
A collection of advanced Python features that I've found interesting, underrated, or unique - as someone who's seen a lot of Python code.
401
Writing a Game Boy Emulator in OCaml
For the past few months, I have been working on a project called CAMLBOY, a Game Boy emulator that runs in the browser.
402
A new Go API for JSON
Go 1.27 introduces new encoding/json/v2 and encoding/json/jsontext packages.
403
Ruby 3.2.0 is from another dimension
I don’t know what you were doing on 25th of December 2022. I was eating pierogis, while Ruby team did some epic sh***!
404
405
A Brief, Incomplete, and Mostly Wrong History of Programming Languages
1801 - Joseph Marie Jacquard uses punch cards to instruct a loom to weave "hello, world" into a tapestry. Redditers of the time are not imp...
406
407
Clojure 1.12.0 is now available
Clojure 1.12.0 is now available! Find download and usage information on the Downloads page.
408
The seven programming ur-languages (2021)
I regularly hear people asking which programming language to learn, and then reeling off a list of very similar languages (“Should I learn Java, C#, C++, Python, or Ruby?”). In response I usually tell them that it doesn’t really matter, as long as they get started. There are fundamentals behind them.
409
410
411
412
Async and Await in Rust: a full proposal
I’m really excited to announce the culmination of much of our work over the last four months: a pair of RFCs for supporting async & await notation in Rust. This will be very impactful for Rust in the network services space. The change is proposed as two RFCs: RFC #2394: which adds async & await notation to the…
413
My First Fifteen Compilers
We sometimes think of the number of passes in a compiler as a measure of the compiler’s complexity. But what if we could make compiler development more approachable by fully embracing the ide…
414
Java for Everything
I used to ask interviewees, “What’s your favorite programming language?” The answer was nearly always, “I just choose the right language for the job.” Duh. Does anyone ever deliberately pick the wrong language? This was clearly a way to avoid actually naming a language for fear of picking one I didn’t like.
415
Making Python faster with Rust
Update: I gave a talk on this topic at P99 CONF 2023 and at PyCon IL 2024 (Hebrew). A while ago at $work, we had a performance issue with one of our core Python …
416
How (not) to write Factorial in Java
I will admit this post was inspired by How would you write factorial(n) in java? So excuse me while I rant in code: I have a point to make at the bottom of this article. Now most people who write f…
417
418
Backward Compatibility, Go 1.21, and Go 2
Go 1.21 expands Go's commitment to backward compatibility, so that every new Go toolchain is the best possible implementation of older toolchain semantics as well.
419
420
JavaScript libraries should be written in TypeScript
Open Source Freelancer