Type Theory, Lambda Calculus, Semantics, Compiler Design

Snow and memory
leancrew.com·13h
🦀Rust
Flag this post
Becoming a Compiler Engineer
rona.substack.com·2d·
Discuss: Substack
🔍Static Analysis
Flag this post
A bunch of books I read (or at least started)
reedybear.bearblog.dev·15h
🔄Concurrency Models
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·6d·
Discuss: Hacker News
🪜Scala
Flag this post
From Copy-Pasting ChatGPT to Shipping Real Apps: 6 Months of Vibe Coding
vibe.forem.com·11h·
Discuss: DEV
🔍Static Analysis
Flag this post
Customizable String Formatter - flexible string formatting with filters pipeline and arguments
reddit.com·1d·
Discuss: r/typescript
🪜Scala
Flag this post
What's the lowest GPT2 pre-training loss achievable with a 50k vocab on a shoestring budget, say USD250?
reddit.com·21h·
Discuss: r/LocalLLaMA
🐫Ocaml
Flag this post
Early Alzheimer's Disease Detection from Retinal OCT Images: A UK Biobank Study
arxiv.org·7h
🤖AI
Flag this post
What if your app's logic was written in... plain English? A crazy experiment with on-device LLMs!
dev.to·1d·
Discuss: DEV
📐formal specification
Flag this post
Towards Transparent Stance Detection: A Zero-Shot Approach Using Implicit and Explicit Interpretability
arxiv.org·4d
🤖AI
Flag this post
The Matrix 1U LED light panel
reddit.com·1d·
Discuss: r/homelab
🐫Ocaml
Flag this post
From Frustration to Protection: The Logic of Secure Coding
dev.to·4h·
Discuss: DEV
🔍Static Analysis
Flag this post
I might have gone overboard. I built a custom LLM for my .env extension... and now I just shipped a massive UI overhaul for it.
dev.to·1d·
Discuss: DEV
🪜Scala
Flag this post
The Secret Life of Python: The Descriptor Protocol - How Properties Really Work
dev.to·2d·
Discuss: DEV
🪜Scala
Flag this post
Weekly #45-2025: PHP Tricks, LLM Collaboration, SQL Speedups, and the Future of Web Payments
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Flag this post
VLA^2: Empowering Vision-Language-Action Models with an Agentic Framework forUnseen Concept Manipulation
paperium.net·3d·
Discuss: DEV
🤖AI
Flag this post
Lexical scope in JavaScript
dev.to·22h·
Discuss: DEV
🪜Scala
Flag this post