2251
Compiling a Lisp to x86-64: primitive functions
Compiling Lisp primitive unary functions to x86-64
New
The latest blog posts to take off on Hacker News. 5,636 posts.
2252
Specter – Clojure API for immutable programming (2017)
After two years of being open source and a lot of development, Specter has reached 1.0. In this po...
2253
Rust testing or verifying: Why not both?
Dijkstra famously dissed testing by saying “Program testing can be used to show the presence of bugs, but never to show their absence!” As if you should choose one over the other. I don’t see them as opposites but as complementary techniques that should both be used to improve the quality of your code.
2254
Even in Go, concurrency is still not easy
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…
2255
Using Clojure in the command line with Babashka
Kari Marttila’s Blog (e.g. cloud and Clojure related articles)
2256
2257
Deep Dive into PHP 8's JIT
PHP 8's Just In Time compiler is implemented as part of the Opcache extension and aims to compile some Opcodes into CPU instructions in runtime. Let's understand how it works all together.
2258
Inventing Monads
I got into a discussion about monads recently. On a search to find some resources to share, I realized that most essays explained them with type signatures and rules. A missing ingredient to grok them, I think, is to understand the intuition behind them. How could you end up inventing monads?
2259
2260
New case studies about Google’s use of Go
Go turned out to have a much broader reach than expected. Its growth in the industry has been phenomenal, and it has powered many Google projects.
2261
2262
Motoko, a programming language for building directly on the internet
To offer a seamless developer experience, we wanted to create a specialized programming language, called Motoko, that is designed to directly support the programming model of the Internet Computer, making it easier to efficiently build applications and take advantage of some of the more unusual features of this…
2263
Bare Metal Rust Generics
Writing two flash drivers starting from an abstraction.
2264
F (2006)
F is a pure functional concatenative language originally designed as an extension of False . F contains the list-operations of K3 and the dip combinator of Joy . Floating-point and symbolic datatypes are supported. One-time assignment is enforced in syntax. A theory of function-valence and -charge is outlined. F also…
2265
Parsing S-expressions in C (2019)
Over the past couple weeks I've been trying to work out how I want to store my game configuration. At first I started playing with XML, which was nice because I could stream a file rather than loading the entire thing into memory but I turned away from XML because …
2266
TypeScript 4.0
Today we are thrilled to announce the availability of TypeScript 4.0! This version of the language represents our next generation of TypeScript releases,
2267
Porting a Golang and Rust CLI tool to D
Programming, retrogaming, hacking and computer stuff.
2268
Erlang: The New Scalable ETS Ordered_set
The official home of the Erlang Programming Language
2269
2270
Haskell Mini-Patterns Handbook
Collection of small Haskell patterns with detailed description, examples and exercises
2271
Kotlin 1.4
Today we’re releasing Kotlin 1.4.0! Over the past years, we’ve been working hard on making Kotlin a programming language that is fun, enjoyable, and productive to work with. To continue our pursuit of this goal with this version of Kotlin, we put a lot of energy and effort into improving the performance and quality of…
2272
Idris 2 version 0.2.1
A new version (0.2.1) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page .
2273
The BEAM Has Spoiled Me
I’ve noticed changes in how I prefer to develop software since I’ve been focusing my career on Elixir. It allows me to think bigger thoughts and to develop with lower friction and less fear. I don’t want to go back.
2274
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…
2275
J Notation as a Tool of Thought
Kenneth Iverson’s 1964 language, APL, won him the Turing Award. His award lecture, Notation as a Tool of Thought, argued that better notations would lead people to deeper insights about mathematics. He provided a number of examples ranging across linear algebra, arithmetic, probability, and logic. Unfortunately, most…
2276
Implementing a Type-safe printf in Rust
I show how to use heterogeneous lists and traits to implement a type-safe printf in Rust. These mechanisms can ensure that two variadic argument lists share important properties, like the number of format string holes matches the number of printf arguments.
2277
2278
2279
QEMU should move from C to Rust
Welcome Redditors and HackerNews folks! This post is getting attention outside the QEMU community, so I'd like to highlight two things that...
2280
BuckleScript Is Rebranding
BANDARBOLA855 merupakan kolaborasi BAND ONEON sebagai bandar slot dan agen bola 2026 dengan akses link slot gacor favorit, pilihan slot gacor terbaik, SBOBET, serta mix parlay dalam satu platform.