Abstract Interpretation, Static Analysis, Program Properties, Mathematical Foundations

Some reflections after 5 weeks with Colemak DH
old.reddit.com·10h·
🌱Minimal Schemes
Flag this post
The Thought Lantern (My Blog) - Feel Free to Follow :-)
thethoughtlantern.blogspot.com·2h·
Discuss: Hacker News
🔗Concatenative Theory
Flag this post
Eskild Hustvedt’s joy rediscovering Perl
rubenerd.com·18h
🎮Language Ergonomics
Flag this post
Status Update #2 (Alpha 4)
valentinexus.itch.io·4h
🌈Gradual Languages
Flag this post
War of the words
leonlins.com·2d·
Discuss: DEV
🔍ML Language
Flag this post
Where Should Philosophy Go in the Age of AI?
dotnetxpert.com·1d·
Discuss: Hacker News
💫Effect Systems
Flag this post
Recommended 16 November
store.steampowered.com·18h
🐹Go Internals
Flag this post
Show HN: Zingle – an AI code reviewer for data teams (SQL/dbt/Airflow/Spark)
news.ycombinator.com·1d·
Discuss: Hacker News
🏺Code Archeology
Flag this post
Accelerating Vision Transformers with Adaptive Patch Sizes
paperium.net·1d·
Discuss: DEV
🔍Peephole Optimization
Flag this post
Machine Text Detectors are Membership Inference Attacks
paperium.net·2d·
Discuss: DEV
⚖️Weighted Automata
Flag this post
How I Built Vidurai: When Ancient Philosophy Meets Modern AI
dev.to·46m·
Discuss: DEV
🖥️Minimal VMs
Flag this post
A dialogue suddenly became reflexive — did anyone observe similar behavior in long LLM chats?
reddit.com·1d·
Discuss: r/LLM
📊LR Parsing
Flag this post
Django Tutorial: The Ultimate Guide (2023)
dev.to·2d·
Discuss: DEV
🌐WebAssembly
Flag this post
The Curious Case of Terraform Workspaces
dev.to·4d·
Discuss: DEV
📦Monorepos
Flag this post
DenoGrad: Deep Gradient Denoising Framework for Enhancing the Performance of Interpretable AI Models
arxiv.org·2d
🌱Minimal ML
Flag this post
LLM Interview Series(4): Pre-training vs Fine-tuning — How LLMs Learn
dev.to·1d·
Discuss: DEV
🪜Recursive Descent
Flag this post
The Flaw in the Paperclip Maximizer Thought Experiment
lesswrong.com·1d
📝Rope Editors
Flag this post
LeBron James set to practice with Lakers, a step toward season debut: Source
nytimes.com·13m
🎭Racket
Flag this post
Beyond the Chat Window: LLMs as Strategic Decision Engines
pub.towardsai.net·21h
🎭Program Synthesis
Flag this post
Ship LangGraph.js Workflows in Production with Open LangGraph Server
dev.to·5h·
Discuss: DEV
🌉Language Bridges
Flag this post