harlan: language for GPU computing https://lobste.rs/s/guwuzx #compilers #lisp
https://github.com/eholk/harlan/
How to speed up the Rust compiler in July 2026 https://lobste.rs/s/ycsivx #compilers #performance #rust
https://nnethercote.github.io/2026/07/31/how-to-speed-up-the-rust-compiler-in-july-2026.html
Overengineered calculator: #Zig + #QBE
https://tomekw.com/overengineered-calculator-zig-qbe/
#compilers #plt #programming
Overengineered calculator: Zig + QBE https://lobste.rs/s/ozules #compilers #zig
https://tomekw.com/overengineered-calculator-zig-qbe/
Overengineered calculator: Zig + QBE
https://tomekw.com/overengineered-calculator-zig-qbe/
#Programming #ZigLang #Compilers
Proof types in Dart: Using final classes as computational witnesses https://lobste.rs/s/wdo7aj #compilers #security
https://modulovalue.com/blog/proof-types-in-dart/
Why Rocq is better than Lean for program verification
https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html
#Programming #FormalMethods #Compilers
Inside Zig's Incremental Compilation
https://mlugg.co.uk/posts/incremental-compilation-internals/
#Programming #Compilers #ZigLang
Seriously, what is the large code-model even for? https://lobste.rs/s/snetpk #assembly #compilers
https://fzakaria.com/2026/07/26/seriously-what-is-the-large-code-model-even-for
weblings: Compiling Rust to WASM from inside WASM https://lobste.rs/s/k5ygl4 #compilers #rust
https://github.com/AngelOnFira/weblings
Sequentialising Parallel Moves via @abnv@fantastic.earth https://lobste.rs/s/sflvst #compilers
https://compiler.club/parallel-moves/
Parallelizing Compilation: In-Process vs Multi-Process
https://lobste.rs/s/lzgtkz/parallelizing_compilation_process_vs
#Programming #Compilers #Performance
InvisiCaps: The Fil-C Capability Model https://lobste.rs/s/kdflhr #c #compilers
https://fil-c.org/invisicaps
rk: it’s hyphen-minus actually
@rk@mastodon.well.com
Father, husband, some sort of hacker, occasional computer scientist. I love programming, fonts, computing esoterica, and learning languages (even if I’m not very good at it). (He/him, BLM, LGBT+ and reproductive rights are human rights, left==labor, we only have one Earth.) (Was also @lorddimwit)
mastodon.well.com
I have a little purely functional embedded language I'm working on, looks like Elm.
It doesn't do modules; I figured modules were overkill.
The problem is I don't want the Prelude internal names exposed to user scripts (interior constructors for Dict tree nodes, etc).
So there's a flag on the lexer: names can contain $. On for Prelude, off for user scripts, which then can't construct the name to reference it.
Do...do I still get to go to Heaven
#compilers #programming
Triton language for Alibaba SAIL https://lobste.rs/s/y8okbv #ai #compilers #hardware
https://github.com/t-head/triton-for-sail
neither gcc nor clang are compliant with standard c++
https://sebsite.pw/w/20260708-badstdcxx.html
#Cpp #Programming #Compilers
Using GCC's Nested Functions with Wide Pointers and no Trampolines II
https://uecker.codeberg.page/2026-07-14.html
#Programming #GCC #Compilers
What "Memory Compiler" Actually Means: From Bitcells to GDS Tiling https://lobste.rs/s/xdoavp #compilers #hardware
https://thecloudlet.github.io/technical/compiler/memory-compiler/