Alan Turing on Embodied Intelligence
rodneybrooks.com·13h·
Discuss: Hacker News
🎯Finite Automata
Java Language Architect Brian Goetz on How Java Could Evolve
thenewstack.io·3h
📝Rope Editors
Today
jamesg.blog·1d
🤐Zipper Structures
The B2B Case Study Conversion Engine: A Developer's Guide to Engineering Social Proof
getmichaelai.com·3h·
Discuss: DEV
🎮Language Ergonomics
What I learned building a programming language with LLM agents
eddmann.com·2d·
Discuss: Hacker News
🔮Metacircular Evaluators
Welcome to the World of Embedded Systems with Python
avid-coders.com·1d·
Discuss: DEV
🤖Embedded Go
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·3d·
Discuss: Hacker News
⚙️Zig Comptime
Analysis of the New Wave of Python Type Checkers
pydevtools.com·3d
🗂️Type Indexing
Vulkan Graphics in OCaml vs. C
roscidus.com·1d·
Discuss: Lobsters, Hacker News
🐪OCaml
jpf - My take on a robust approach to handling LLMs
github.com·1d·
Discuss: r/golang
🌉Language Bridges
Prompt template for the new text model
perchance.org·2d·
Discuss: r/perchance
📝Rope Editors
A1: Asynchronous Test-Time Scaling via Conformal Prediction
reddit.com·1d·
Discuss: r/LocalLLaMA
🌊Async Compilers
Make a Ruckus: 001, Done! Or Are We? Thank you, Dave!
janusworx.com·1d
🦀MIR Optimization
Are We Chasing Language Hype Over Solving Real Problems?
dayvster.com·1d·
Discuss: Hacker News, r/linux
🎮Language Ergonomics
Everything you know is wrong
lawrencecpaulson.github.io·1d·
Discuss: Hacker News
🎭Program Synthesis
TypeScript Types Are The Best Kind Of Magic
dev.to·1d·
Discuss: DEV
🔧API Design
From Zero to Java: Day 2 of My Backend Development Journey
dev.to·1d·
Discuss: DEV
🔶Lattice Theory
Cactus Language • Discussion 3
inquiryintoinquiry.com·22h
📋Backus-Naur Form
Let's look at the structure of Vec<T>
marma.dev·1d·
Discuss: r/rust
🔒Rust Borrowing
Pnpm: Faster, Leaner Node.js Package Manager - Save Disk
pnpm.io·1d·
Discuss: DEV
🏷️Symbol Interning