2161
C++ still isn't cutting it
A blog about computer science, systems, technology, and sometimes vegan cooking.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 5,636 posts.
2162
TypeScript: Branded Types
How to brand TypeScript types for norminal typing, providing an automated and easy-to-use way of making a type nominal.
2163
Errors in Go: From denial to acceptance
Practical advice on getting the most out of handling errors "the Go way" from the creator of imgproxy and Overmind.
2164
2165
Parser generators vs. handwritten parsers: surveying major languages in 2021
Parser generators vs. handwritten parsers: surveying major language implementations in 2021
2166
Go 1.21 will (likely) have a static toolchain on Linux
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…
2167
2168
What to Know Before Debating Type Systems (2008)
I was asked by someone to put this old piece of writing of mine somewhere more permanent, so here it is. A few comments off the top: This isn’t new. I wrote it years ago. Yes, I’m a b…
2169
Changing the Rules of Rust
In Rust, there are certain API decisions about what is and isn’t sound that impact all Rust code. That is, a decision was made to allow or not allow types which have certain safety requirements, and now all users are committed to that decision. They can’t just use a different API with different rules: all APIs must…
2170
Go and Assembly
Hi I'm Caleb Doxsey and welcome to my website. I'm a software developer. If you'd like to contact me, you can email me here: [email protected] .
2171
WTF is going on with R7RS Large?
The reaction to John Cowan’s resignation as chair of the R 7 RS Large working group has been somewhat wider than I think anyone expected, making it onto general interest programming forums. Scheme may be a small island, but when it has an earthquake, it makes waves through the whole archipelago of programming…
2172
GraalVM 22.1: Developer experience improvements, Apple Silicon builds, and more
Today we’re releasing GraalVM 22.1! This release brings new features and lots of improvements — we’ll cover the highlights in this blog…
2173
Sorbet: Stripe's Type Checker for Ruby
Stripe uses Sorbet to type check our 15 million lines of Ruby code, making engineers more productive. Here's why we love Sorbet.
2174
Starting to Demo the Wolfram Language [video]
Stephen Wolfram introduces the Wolfram Language, with overview and demonstrations, in a video showing the power of this symbolic programming language.
2175
Crunch – a Scheme compiler with a minimal runtime
Hi, I'm Peter Bex, a Scheme and free software enthusiast from the Netherlands. See my user page on the CHICKEN wiki or my git server for some of my projects.
2176
Common misconceptions about compilers
A curated list of misconceptions about mainstream compilers.
2177
Clojure’s Approach to Identity and State (2008)
Many people come to Clojure from an imperative language and find themselves out of their element when faced with Clojure’s approach to doing things, while others are coming from a more functional background and assume that once they leave Clojure’s functional subset, they will be faced with the same story re: state as…
2178
Fitting a FORTH in 512 bytes
Software is full of circular dependencies if you look deep enough. Compilers written in the language they compile are the most obvious example, but not the only one. To compile a kernel, you need a running kernel. Linkers, build systems, shells. Even text editors, if you want to write the code instead of just…
2179
C++ Coroutine Theory (2017)
In this post I will describe the differences between functions and coroutines and provide a bit of theory about the operations they support. The aim of this post is introduce some foundational concepts that will help frame the way you think about C++ Coroutines.
2180
2181
Jank development update – Moving to LLVM IR
Learn about jank's upcoming LLVM IR codegen, Rust interop plans, and more.
2182
The Implementation of Functional Programming Languages (1987)
“The Implementation of Functional Languages” is a book about implementing functional programming languages using lazy graph reduction, and it divides into three parts. The first part describes how to translate a high-level functional language into an intermediate language, called the lambda calculus, incuding detailed…
2183
Introductions to advanced Haskell topics
Tour of watershed posts and papers for Haskell
2184
2185
Common Mistakes for New Golang Devs
Go is a simple and fun language, but, like any other language, it has a few gotchas... Many of those gotchas are not entirely Go's fault. Some of these mistakes are natural traps if you are coming from another language....
2186
Ferrocene: Rust toolchain to safety-critical environments
It’s here! A couple of months ago, we announced that as part of our efforts with Ferrocene, we were creating the Ferrocene Language Specification – and now our first draft is online. The Ferrocene Language Specification (FLS) is an effort of Ferrocene
2187
The 2,500 year old history of why Python’s all([]) returns True
How a Python function relates to a two thousand year old debate in philosophy
2188
2189
Why can't you reverse a string with a flag emoji?
davidamos.dev is your first and best source for information about davidamos. Here you will also find topics relating to issues of general interest. We hope you find what you are looking for!
2190
Borrow Checking, RC, GC, and the Eleven () Other Memory Safety Approaches
Zeke: "Wait, so with generational references, we now have four ways to do memory safety?"