Systems Programming Languages
Ada Programming Language | Ada Programming Language
Overview | Odin Programming Language
odin-lang/Odin: Odin Programming Language
examples/learn_metal at master · odin-lang/examples · GitHub
The Hare programming language blog
Strategies for handling OOMs in Hare programs
High-level data structures in Hare
Hare’s path to a self-hosting toolchain
Introducing the Hare programming langauge
ValeLang/Vale: Compiler for the Vale programming language - http://vale.dev/
Next-Gen Language Features: User Code on the GPU
Hash Codes, Non-Determinism, and Other Eldritch Horrors
Zero-Cost Memory Safety with Vale Regions (Preview)
Implementing a New Memory Safety Approach, Part 1
Safety in Non-Memory-Safe Languages
tigerbeetle/TIGER_STYLE.md at main · tigerbeetledb/tigerbeetle
I have one trick up my sleeve for memory safety of locals. I’m looking forward t… | Hacker News
Overview | Odin Programming Language
EC vs ECS for Roguelikes : roguelikedev
Kindelia/Kind: A next-gen functional language
microsoft/verona: Research programming language for concurrent ownership
42 - Metaprogramming as default
The Austral Programming Language
Val | The Val Programming Language
Divide by Zero - Pony Tutorial
#performance help Optimization via short-lived actors? - Pony - Zulip
Arm Memory Tagging Extension | Android Open Source Project
In fact, in the pursuit of eliminating memory-safety and security bugs, Rust can… | Hacker News
Should I always avoid RefCell wherever possible? : rust
Anti patterns of RefCell : rust
You are right, though I seldom find it a problem in practice. Although it’s ea… | Hacker News
I share the author’s conclusions: don’t do that. If you find yourself slapping… | Hacker News
Object-Oriented Programming is Bad - YouTube
An Unfortunate Experience with Rust | Considerations on Codecrafting
Linked lists and graphs are the canonical examples of things that are difficult … | Hacker News
Is there an underlying reason that idiomatic Rust seems to have trouble with observers? : rust
Slightly off-topic, but, as far as Rust goes, I’ve completely given up on it aft… | Hacker News
(White on black in Courier? Please.) After a year of writing Rust for a client f… | Hacker News
Back reference to the parent struct - help - The Rust Programming Language Forum
Dependency injection - Wikipedia
The perils of pinning [LWN.net]
Vale’s Higher RAII, the pattern that saved me a vital 5 hours in the 7DRL Challenge
What is the purpose of an iOS delegate? - Stack Overflow
Using Rust at a startup: A cautionary tale | by Matt Welsh | Nov, 2022 | Medium
To Box or not to Box — My First Real Rust Refactor | by Kevin Hoffman | Medium
Using Rust at a startup: A cautionary tale : programming
To Box or not to Box — My First Real Rust Refactor | by Kevin Hoffman | Medium
Using Rust at a startup: A cautionary tale : programming
Blog Post: Why Not Rust? : rust
Writing Rust code isn’t that hard, sure. The annoyences start when you try modif… | Hacker News
Why the developers who use Rust love it so much | Lobsters
I’m not sure someone (including OP) would be “complaining” about it, considering… | Hacker News
Blog Post: Why Not Rust? : rust
Using Rust at a startup: A cautionary tale | by Matt Welsh | Nov, 2022 | Medium
I’ve written a decent amount of Rust and Go. The reason Zig is on my watch list … | Hacker News
a comparison of rust and zig | Lobsters
This hasn’t been a big issue for me with Rust. You do have to spend a bit of tim… | Hacker News
Blog Post: Why Not Rust? : rust
I’m not sure someone (including OP) would be “complaining” about it, considering… | Hacker News
Using Rust at a startup: A cautionary tale | by Matt Welsh | Nov, 2022 | Medium
Why do you think Rust took longer to change than Python? Potentially the issue… | Hacker News
How (memory) safe is zig? (UPDATED) | Lobsters
201505-oakland2015-cheri-compartmentalization.pdf
Security Analysis of CHERI ISA – Microsoft Security Response Center
JaiPrimer/JaiPrimer.md at master · BSVino/JaiPrimer · GitHub
The Austral Programming Language
The Austral Language Specification
How Austral’s Linear Type Checker Works
austral/LinearityCheck.ml at master · austral/austral · GitHub
CLISP - an ANSI Common Lisp Implementation
Space Shuttle abort modes - Wikipedia
Why is Rust difficult? | Vorner’s random stuff
Why (most) High Level Languages are Slow // A Random Walk Through Geek-Space
graydon/rust-prehistory: historical archive of rust pre-publication development
rust-lang/polonius: Defines the Rust borrow checker.
The Golden Age of New Programming Languages - Dev.Poga
HigherOrderCO/Kind: A next-gen functional language
E.W.Dijkstra Archive: Programming Considered as a Human Activity. (EWD 117)
Substructural type system - Wikipedia
Universe (mathematics) - Wikipedia
rust - What are non-lexical lifetimes? - Stack Overflow