armchair_progamer @ armchair_progamer @programming.dev

Posts

263

Comments

35

Joined

2 yr. ago

Moderating

---

Compilers for free with weval

Type Theory Forall #38: Haskell, Lean, Idris, and the Art of Writing (podcast)

Higher Order Company: developing a massively parallel language, proof checker, and runtime using interaction nets/combinators

Some notes on Rust, mutable aliasing and formal verification

buzz, A small statically typed scripting language 👨‍🚀

coq-of-rust: convert Rust programs into Coq definitions to formally reason about them

Higher RAII, and the Seven Arcane Uses of Linear Types

Meta, a Human-Friendly Programming Language

Agda Core: The Dream and the Reality

Exploring the c4... compiler?

Methods Should Be Object Safe

Dafny Power User: Type-parameter modes: variance and cardinality preservation

Compiling higher order functions with GADTs

The search for easier safe systems programming (blog post + language)

Jolie, the service-oriented programming language

MIT PL Review 2024 (proceedings)

Notes on Implementing Algebraic Subtyping (blog post + language)

Verus: Verified Rust for low-level systems code

Cognition (language with powerful metaprogramming)

Borgo (language)