libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·21h
📦Closure Conversion
A formal proof of C∞ISRT
bsky.app·2d·
♾️Codata Types
Haskell Interlude: 70: Phil Wadler
haskell.foundation·2d
🔬programming language theory
Adaptive Programming Systems for Humans and AI
gfrison.com·16h·
Discuss: Hacker News
🎮Language Ergonomics
SOLID Principles for Python Developers
dev.to·1d·
Discuss: DEV
🎭Racket Modules
Algebraic Types are not Scary
blog.aiono.dev·1d·
Type Checking
Bricks to Brains: Building AI Accelerators with LEGOs by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
🎓Educational VMs
Building Impromptu - Kiro Hackathon
imprompt.to·1d·
Discuss: DEV
💬Interactive REPLs
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·1d
🪜Recursive Descent
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
[D] How to best fine-tune a T5 model for a Seq2Seq extraction task with a very small dataset?
reddit.com·1d·
📊Parse Tables
Publishing to PyPI: My ML Preprocessing Package for Newbies
dev.to·10h·
Discuss: DEV
🔍ML Language
Reasoned Safety Alignment: Ensuring Jailbreak Defense via Answer-Then-Check
arxiv.org·20h
🪜Recursive Descent
Show HN: Building an open-source agentic terminal
davehudson.io·1d·
Discuss: Hacker News
💻Terminal UIs
Language teaching
reddit.com·1d·
🎓Teaching Compilers
Productive AI Programming Using Forced Context Distillation
jx0.ca·1d·
Discuss: Hacker News
💬Interactive REPLs
Shakespeare makes you a better engineer.
dev.to·2h·
Discuss: DEV
🎮Language Ergonomics
Increasing alignment of large language models with language processing in the human brain
nature.com·14h
🪜Recursive Descent
Gene-R1: Reasoning with Data-Augmented Lightweight LLMs for Gene Set Analysis
arxiv.org·20h
Effect Inference
Linear Regression in a Nutshell
dev.to·8h·
Discuss: DEV
🌱Minimal ML