4831
Smalltalk with the GraalVM
Today on the 7th of December, we’re going back to the future and do some Smalltalk with the GraalVM.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 5,637 posts.
4832
NimConf 2026: Dates Announced, Registrations Open
The Nim Team is happy to announce the next instalment of NimConf! NimConf 2026 will happen June 20, 2026 in the traditional online format where the talks are pre-recorded and revealed as premiers on YouTube while the viewers can ask questions and the presenter can answer them in the live chat.
4833
Tyre – Typed regular expressions
I’m happy to announce the release of Tyre, a library for Typed Regular Expressions.
4834
4835
Translating a C++ parser to Haskell
nix-derivation 1.0 announcement post
4836
4837
Rust on Espressif chips Q1 2022
Scott Mabin's blog
4838
Introduction to Golang Preemption Mechanisms
A short explanation of what is preemption and how it works
4839
Non-Lexical Lifetimes Based on Liveness in Rust
In my previous post I outlined several cases that we would like to improve with Rust’s current borrow checker. This post discusses one possible scheme for solving those. The heart of the post is two key ideas:
4840
The Go Programming Language turns two
Happy 2nd birthday, Go!
4841
Types as axioms, or: playing god with static types
A common perspective is that types are restrictions . Static types restrict the set of values a variable may contain, capturing some subset of the space of “all possible values.” Under this worldview, a typechecker is sort of like an oracle, predicting which values will end up where when the program runs and making…
4842
TruffleRuby on the Substrate VM
Technical articles by Kevin Menard. Topics include Ruby, Java, machine learning, and general computing.
4843
Book review: The Little Typer (2021)
A book review of my journey through dependent typing.
4844
Algebraic effects, ownership, and borrowing
Algebraic Effects are a useful abstraction for reasoning about effectful programs by letting us leave the interpretation of these effects to callers. However, most existing literature discusses these in the context of a pure functional language with pervasive sharing of values. What restrictions would we need to…
4845
Ruby Fiber Scheduler
Ruby can work asynchronously with just a Fiber Scheduler and a couple built-in methods - no frameworks are required! It's easy to use, scales well, and has amazing performance benefits.
4846
4847
4848
Tuning Ruby's Global Method Cache
I was recently profiling a production Shopify application server using perf and noticed a fair amount of time being spent in a particular function, st_lookup, which is used by Ruby’s MRI implementation for hash table lookups: Hash tables are used all over MRI, and not just for the Hash object; global variables…
4849
Why Logtalk?
Logtalk - Declarative object-oriented logic programming language
4850
Defeating Racket’s separate compilation guarantee
Being a self-described programming-language programming language is an ambitious goal. To preserve predictability while permitting linguistic extension, Racket comes equipped with a module system carefully designed to accommodate composable and compilable macros . One of the module system’s foundational properties is…
4851
4852
Why checked exceptions failed
Programming language features are never orthogonal.
4853
Does C++ still deserve a bad rap?
Traditionally C++ has been seen by many (and you know who you are) as just plain bad: the code is unreadably verbose, error messages are und...
4854
The road to Dart 3: A fully sound, null safe language
Preparing for the next major release, where Dart only supports sound null safety
4855
Is English a “creole Language”?
September 28, 2024 @ 5:50 am · Filed by Mark Liberman under Linguistics in the comics
4856
Revisiting Java in 2021 – Part II
A look at how Java 17 stacks up against Kotlin and Scala for development teams in 2021, and an overview of popular JVM technologies.
4857
4858
`std::flip`
std::flip is a little-known utility from the C++ standard library header <functional>: it is a higher-order function that accepts a Callable and returns an equivalent Callable with the order of its parameters reversed (or “flipped”).
4859
Contracts for C
C++ seems to finally converge with their contracts proposal, I decided to give it a try and come up with ideas how such a thing would look for C. This is in early stages, not a full proposal yet, a…
4860
In CPython, types implemented in C are part of the type tree
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…