The next-gen borrow checker, a drop-in replacement for Rust borrow checking
The next-gen borrow checker, a drop-in replacement for Rust borrow checking. - new_borrow_checker.md
Lobsters51 min read
plt
12 stories
What we ended up doing about alias propagation
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
Lobsters9 min read
A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda
Arbitrary Rankings Ease of proof discovery (higher better) Ease of proof manipulation (higher better) Enjoyment (higher better) Annoyance factor (lower better) Puzzled factor (lower better)
Lobsters37 min readBidirectional Type Slicing
Development tools report what type an expression has, but not why it has that type. This paper develops a theory of type slicing that answers such questions: a programmer selects a term, queries any part of the type information associated with it, and receives a slice of the program—a well-formed…
Lobsters1 min readCustomization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989)
Dynamically-typed object-oriented languages please programmers, but their lack of static type information penalizes performance. Our new implementation techniques extract static type information from declaration-free programs.
Lobsters1 min readThe Era of Programming Languages Exploration is upon Us
There was a recent thread on the TYPES mailing list with researchers speculating about the future of our field given the disruptive effects of AI tools on programming in general.
Lobsters7 min readKeeping Futhark off the GPU
A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
Lobsters7 min readWe Should be Able to Change our Languages
It's time we stopped treating languages as sacred fixed objects. We need now, more than ever, languages we can change.
Lobsters9 min readThe Second Golden Spike: Memory Safety Across the Valen/Rust Boundary
In The Golden Spike, and Resurrecting the Vale(n) Programming Language, we saw how it was possible for a language to call Rust functions directly, without going through C, by directly integrating with the Rust compiler. 0 1
Lobsters20 min readTypeclasses vs Modules
For a long time I’ve noticed that there’s a lot of persistent confusion about the differences and similarities between module systems (as seen in languages like OCaml) and typeclasses (as seen in languages like Haskell or Rust). This is an attempt to clear up the confusion.
Lobsters11 min readRust to WGSL transpiler `wgsl-rs` released
Wow! So much work went into this beta release. It's been the most organized project I've ever attempted, and I think that shows in the beta project board.
Lobsters4 min readWhat makes Lisp difficult to read?
The Lisp family of programming languages is infamous for their parenthesis-heavy syntax. Many people, myself included, find this syntax more difficult to read than the notation of languages like Python, Java or C.
Lobsters14 min read
Showing 12 of 12 stories
You're all caught up.
AiByts Weekly Brief
Get the top AI news and tools straight to your inbox every week.
Weekly · AI news
Join 15,000+ AI enthusiasts