🎯 Type Theory

Dependent Types, Category Theory, Formal Verification, Lambda Calculus

Improving Emacs' iCalendar Support
recursewithless.net·13h·
Discuss: Hacker News
⚡Incremental Parsing
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·8h·
Discuss: Hacker News
🔀SIMD Programming
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·6h·
Discuss: Hacker News
🌊Dataflow Languages
Flag this post
From hours to seconds: AI tools to detect animal calls
seangoedecke.com·1d·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
RimStone is a different kind of programming language
dev.to·1d·
Discuss: DEV
🌱Minimal Languages
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·3d·
Discuss: Hacker News, r/programming
🔗Weak References
Flag this post
Free AI Tools Like CheatEye: Make Your Own Profile Finder (2025)
github.com·1d·
Discuss: DEV
🌿Trie Structures
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.org·4h
⚖️Weighted Automata
Flag this post
Machine Learning Fundamentals: Everything I Wish I Knew When I Started
dev.to·1d·
Discuss: DEV
🌱Minimal ML
Flag this post
Day 23 of Documenting my learning journey
dev.to·19h·
Discuss: DEV
🔪Program Slicing
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.net·58m·
Discuss: DEV
🧩SAT Solvers
Flag this post
Indexers in C# — Making Your Classes Feel Like Arrays
dev.to·1d·
Discuss: DEV
🗂️Type Indexing
Flag this post
My little string library
github.com·2h·
Discuss: r/Zig
🏷️Symbol Mangling
Flag this post
Open Source Journey
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Links 03/11/2025: Lack of Trust in LLMs and Windows TCO at Jaguar
techrights.org·3h
✨Effect Inference
Flag this post
🚀 TOON (Token-Oriented Object Notation) — The Smarter, Lighter JSON for LLMs
dev.to·17h·
Discuss: DEV
📋JSON Parsing
Flag this post
VISTA Score: Verification In Sequential Turn-based Assessment
arxiv.org·4h
💬Interactive REPLs
Flag this post
Unlock Autonomy: Next-Gen LLMs Learn to Decode Themselves by Arvind Sundararajan
dev.to·16h·
Discuss: DEV
🪜Recursive Descent
Flag this post
How do you design consumer-driven interfaces with proprietary data types?
reddit.com·15h·
Discuss: r/golang
🔧API Design
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·4h
⚖️Weighted Automata
Flag this post