331
A Critique of the Cap'n Proto Schema Language (2019)
Historical reference to Ian Denhardt’s A Critique of the Cap'n Proto Schema Language (2019-06-25), with archive and current documentation links.
332
333
A Primer on Logic Programming
Getting a kickstart in the logic programming world with Prolog
334
Rust Cryptography Should Be Written in Rust
Rust should be improved to provide the necessary building blocks that are needed to write cryptography code that is free from timing side channels and similar hazards. These facilities should not be restricted to code within Rust -provided or -endorsed libraries; anybody should be able to use them to publish a crate…
335
An alternative front end for Haskell?
λm.me - An alternative frontend for Haskell?
336
Patterns with Rust Types
Patterns to use types for better safety and design
337
Come Break My Compiler
Don’t worry … it’s super easy 🙃
338
339
God writes Haskell
God famously does not play dice with the universe, but he seems to enjoy writing Haskell :
340
C++ at the End of 2022
I must admit that some previous years for C++ might feel a bit “boring” and “stable”. New features, new standard every three years, meetings, conferences… life as usual (apart from some additional World/Economy/public Health events…). This year seems different as it looks like a “breakpoint” in the history of C++… and…
341
JavaScript private class fields considered harmful
Today I mourn. What am I mourning? Encapsulation. At least in my projects. As a library author, I’ve decided to avoid private class fields from now on and gradually refactor them out of my existing libraries. Why did I make such a drastic decision? It all started a few days ago, when I was building a Vue 3 app that…
342
Designing a Language Without a Parser
Designing a language, types first
343
Learning COBOL: A Journey for the Modern Programmer (2021)
A guide to learning COBOL for the modern programmer.
344
Using enums to represent state in Rust
Many Rust beginners with a background in systems programming tend to use bool (or even u8 – an 8-bit unsigned integer type) to represent “state”. For example, how about a bool to indicate whether a user is active or not? struct User { // ... …
345
My encounter with Medley Interlisp
Imagine someone let you into an alien spaceship they landed in your backyard, sat you at the controls, and encouraged you to fly the ship...
346
AdaCore Announces Gnat Pro for Rust
For the first time, AdaCore’s GNAT Pro subscribers will be able to develop safety- and security-certifiable embedded applications using Rust while…
347
Which Interpreters Are Faster, AST or Bytecode?
A brief overview of our study of abstract-syntax-tree and bytecode interpreters on top of RPython and the GraalVM metacompilation systems.
348
Implementing Value Speculation in OCaml
Lucas Pluvinage's website
349
Interaction Nets, Combinators, and Calculus – HVM
Experiments, technology, and thoughts on life.
350
Calling Rust from Python
I recently watched GOTO conferences' talk Calling Functions Across Languages by Richard Feldman. I’m afraid I have to disagree with using the term 'language' in this context. It’s a no-brainer to call Java from Kotlin or Scala or to call Java from Kotlin. Hence, in the rest, I’ll use 'stack'.
351
Crystal 1.9.1
We are announcing a new patch release of the Crystal 1.9 series with two bugfixes.
352
A Forth Vocabulary for Iteration
blog dot information dash superhighway dot net2023112 points22 commentsProgramming Languages details
I recently wrote a small 16-bit Forth for 8086 PCs running DOS. I built the basic one-liner loop words that can trivially be built with j...
353
354
Memory safety without borrow checking, reference counting, or garbage collection
Single ownership is one of those concepts that's both easier and more powerful than we realize.
355
How to use a Python multiprocessing module
Working with Python multiprocessing module can be difficult at times. Learn what you can do with it.
356
Interview about Austral, a systems programming language with linear types
Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainability, and modularity.
357
Top-Down LR Parsing
This semester, I am teaching Compilers , and I'm quite happy with how I covered parsing this year. Specifically, I taught students to build a top-down LR parser and it seemed to go relatively well.
358
Julia 1.9.0 lives up to its promise
Introduction
359
Ruby's private keyword is weird
Ruby's `private` keyword means something different compared to basically all other object-oriented languages. Most other languages don't even have a feature matching what Ruby calls `private`, but incredibly, Scala does, which it calls `protected[this]` (meaning
360
Why checked exceptions failed
Programming language features are never orthogonal.