Wacl – A Tcl Distribution for WebAssembly
🕸️WebAssembly
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·17h
💻Programming languages
Flag this post
Eclipse Opens Up Enterprise AI Agent Development With ADL
thenewstack.io·49m
⚙️TLA+
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·2d
⚡SIMD Vectorization
Flag this post
My First Rust Project
binwang.me·1d
🦀Rust Macros
Flag this post
[$] Fil-C: A memory-safe C implementation
lwn.net·1d
🦀Rust Borrowing
Flag this post
Hacking the Color BASIC PRINT command – part 6
subethasoftware.com·4h
📺VT100
Flag this post
Unleash AI Performance: How Chiplets and Smart Networks Are Democratizing Custom Silicon by Arvind Sundararajan
🖥️Hardware Architecture
Flag this post
Vectorizing for Fun and Performance
⚡SIMD Vectorization
Flag this post
Disaggregated Routing with SONiC and VPP: Lab Demo and Performance Insights – Part Two
linux.com·8h
📡Network Protocol Design
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
✨Effect Handlers
Flag this post
EKON 29 Slides
blog.synopse.info·6h
🌐Protocol Synthesis
Flag this post
A bestiary of single-file programming language implementations
🔗Concatenative Programming
Flag this post
Building Better Software: Why Workflows Beat Code Every Time • Ben Smith & James Beswick • GOTO 2025
youtube.com·2d
🔄Reproducible Builds
Flag this post
Large 7-Segment Displays
hackster.io·22h
⚙️DIY Electronics
Flag this post
AI Front End Generator Comparison: Claude Code vs. v0 vs. Lovable vs. Replit
🔄Language Evolution
Flag this post
Arranging the PIC Parterre
rastamouse.me·1d
🔗Static Linking
Flag this post
Will moving beyond Infrastructure as Code improve software delivery?
🧱Immutable Infrastructure
Flag this post
Antonio Cuni: Inside SPy, part 1: Motivations and Goals
antocuni.eu·5h
🎯Gradual Typing
Flag this post
Loading...Loading more...