Dependent Types, Category Theory, Formal Verification, Lambda Calculus

Bhí RÓIS ar fheabhas anocht! Guth den scoth!
adactio.com·18h
🏷️Symbol Mangling
Flag this post
I analyzed the lineups at the most popular nightclubs
dev.karltryggvason.com·4h·
Discuss: Hacker News
🕸️P2P Protocols
Flag this post
Telugu
granta.com·10h
🔗Concatenative Theory
Flag this post
First Public Working Draft: Web of Things (WoT) Thing Description 2.0
w3.org·2d
🧱WASM Components
Flag this post
Context7 is the most underrated MCP server you're not using for your local LLM
xda-developers.com·2d
🔗Lexical Scoping
Flag this post
Some thoughts on AI and coding
infoworld.com·1d
🎭Program Synthesis
Flag this post
ansi to html convertor using libghostty.
reddit.com·1d·
Discuss: r/node
⚙️TOML Parsers
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·1d·
Discuss: Hacker News
🌱Minimal ML
Flag this post
Quantum Theory Can Decohere from a Causally-Indefinite Post-Quantum Theory
arxiv.org·1d
💫Effect Systems
Flag this post
Breakdown of JavaScript cores concept in connection to html with examples
dev.to·3d·
Discuss: DEV
🎪Playground Compilation
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·1d
📡Async Channels
Flag this post
Stability of mixed-state phases under weak decoherence
arxiv.org·1d
📡Async Channels
Flag this post
Neural Green's Functions
arxiv.org·1d
🪜Recursive Descent
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.org·2d
Tokenizer Benchmarks
Flag this post
Everything You Need to Know to Start Your Way as a Programmer
dev.to·23h·
Discuss: DEV
🪢Rope Data Structures
Flag this post
How to create a frontend demo with no backend (AI Mocking)
dev.to·15h·
Discuss: DEV
🌐Browser REPLs
Flag this post
Two-Parameter R\'enyi Information Quantities with Applications to Privacy Amplification and Soft Covering
arxiv.org·1d
🔄Deduplication
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
lightcapai.medium.com·1d·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·2d
🎲Parser Fuzzing
Flag this post
Ultimate C# Tutorial (C Sharp) for .NET Developers
dev.to·1d·
Discuss: DEV
🔐Capability Calculus
Flag this post