181
Extending Rust's Effect System
This is the transcript of my RustConf 2023 talk: "Extending Rust's Effect System", presented on September 13th 2023 in Albuquerque, New Mexico and streamed online.
Topics /
Programming Languages
The most popular blog posts about programming languages on Hacker News. 327 posts.
182
183
Gleam 1.2.0 release – Fault tolerant Gleam
News post: Gleam v1.2.0 released
184
A look at the Mojo language for bioinformatics
A look at a Mojo benchmark for bioinformatics, and Mojo in general.
185
Go(lang): Robust generic functions on slices
Avoiding memory leaks in the slices package.
186
JEP 483: Ahead-of-Time Class Loading and Linking
Improve startup time by making the classes of an application instantly available, in a loaded and linked state, when the HotSpot Java Virtual Machine starts. Achieve this by monitoring the application during one run and storing the loaded and linked forms of all classes in a cache for use in subsequent runs. Lay a…
187
Swift for C++ Practitioners, Part 1: Intro and Value Types
Swift for C++ Practitioners, Part 1: Intro & Value Types
188
A brief interview with Tcl creator John Ousterhout (2023)
Dr. John Ousterhout is a computer science luminary who has made significant contributions to the fie
189
Smart Pointers in (GNU) C
I am a big fan of C, but some part of me always yearn to have just enough higher level constructs.
190
Lessons learned from a successful Rust rewrite
I have written about my on-going rewrite-it-to-Rust effort at work: 1 , 2 , 3 . And now it's finished, meaning it's 100% Rust and 0% C++ - the public C API has not changed, just the implementation, one function at time until the end. Let's have a look back at what worked, what didn't, and what can be done about it.
191
A lowering strategy for control effects in Rust
The Rust language has incrementally grown a set of patterns to support control-flow effects including error handling, iteration, and asynchronous I/O. In The registers of Rust , boats lays out four aspects of this pattern shared by Rust’s three effects. Today these effects are typically used in isolation, or at most…
192
Lightstorm: Minimalistic Ruby Compiler
Some time ago I was talking about an ahead-of-time Ruby compiler. We started the project with certain goals and hypotheses in mind, and while the original compiler is at nearly 90% completion, there are still those other 90% that needs to be done.
193
C++ Safety, in Context
Scope. To talk about C++’s current safety problems and solutions well, I need to include the context of the broad landscape of security and safety threats facing all software. I chair the ISO C++ s…
194
Rust panics under the hood, and implementing them in .NET
I am currently working on a Rust to .NET compiler, rustc_codegen_clr . To get it to work, I need to implement many Rust features using .NET APIs. One of such features is panicking and unwinding.
195
From string to AST: parsing (2019)
Whether you have to do with data in the form of CSV, JSON or a full-blooded programming language like C, JavaScript, Scala, or maybe a query language like SQL, you always transform some sequence of characters (or binary values) into a structured representation. Whatever you’ll do with that representation depends on…
196
Dynamic translation of Smalltalk to WebAssembly
continuing with the DNA theme… In Catalyst, a WebAssembly implementation of the OpenSmalltalk virtual machine, there are three linguistic levels in play: Smalltalk, JavaScript (JS), and WebAs…
197
Conservative GC can be faster than precise GC
wingolog: article: conservative gc can be faster than precise gc
198
Aggregating all cinema showtimes in Germany with Clojure
How I build a website for choosing movies
199
The Evolution of a Haskell Programmer (2001)
Some time later, I came across Iavor�s "jokes" page, including a funny bit called � The Evolution of a Programmer � in which the traditional imperative "Hello, world" program is developed through several variations, from simple beginnings to a ridiculously complex extreme. A moment�s thought turned up the factorial…
200
The evolution of a Scheme programmer (2020)
For a real-life implementation, see how Racket's math/number-theory does it here .
201
OOP is not that bad
OOP is certainly not my favorite paradigm, but I think mainstream statically-typed OOP does a few things right that are very important for programming with many people, over long periods of time.
202
Rama is a testament to the power of Clojure
It took more than ten years of full-time work for Rama to go from an idea to a production system. I shudder to think of how long it would have taken without Clojure. Rama is a programming platform …
203
Let rand = main as usize (2022)
The other day I posted something silly, and learned some interesting things about raw pointers in Rust.
204
Higher-kinded bounded polymorphism in OCaml (2021)
How bounded higher-kinded polymorphism arises in practice, and how to express it in OCaml, in several different ways. Some ways are rather concise -- but less widely known.
205
Turnstyle – An esoteric, graphical functional language
An esoteric, graphical functional language
206
The Emacsen family, the design of an Emacs and the importance of Lisp (2023)
00:00.000 Introduction 00:17.000 Why Lisp matters 01:26.640 Why Emacs Lisp was chosen 02:54.841 Other "Emacsen" 03:38.581 Why not Common Lisp? 06:39.120 Common Lisp is still not dead or is always dead 08:30.080 Lem is a nice Emacsen implementation 08:58.260 Why not just use GNU Emacs? 10:31.080 Why Lem 14:03.080…
207
Rewriting Rust: A Response
Joseph Gentle wrote a post on how he wants Rust to change. I am already working on that.
208
209
Shell scripting with Elixir
Using Elixir instead of Python or Ruby for shell scripting.
210
A reckless introduction to Hindley-Milner type inference (2019)
(I've been editing this post on and off for almost a year. I'm not really happy with it, but I suspect I never will be.)