Dependent Types, Category Theory, Formal Verification, Lambda Calculus

8 Books That Embrace the Expansiveness of Queer Families
electricliterature.com·2d
🏠indieweb
Flag this post
Feature Stores 2.0: The Next Frontier of Scalable Data Engineering for AI
hackernoon.com·1d
🏷️Attribute Grammars
Flag this post
I built an AI parenting app that cites 2,600+ real research studies (no hallucinations) 100% of code written by Claude Code
parentguidebook.com·11h·
Discuss: r/ClaudeAI
🏠indieweb
Flag this post
[NLD] Wurkkos FC11C and 🫘
reddit.com·2d·
Discuss: r/flashlight
📦Compression Algorithms
Flag this post
Show HN: Seeking architect for planetary-scale coherence infrastructure
github.com·5h·
Discuss: Hacker News
🌱Green Threads
Flag this post
Day 1 of daily coding: Functions is java
dev.to·21h·
Discuss: DEV
🐍lisp
Flag this post
[TUI] Ricing the original Rogue
github.com·1d·
🏷️Symbol Mangling
Flag this post
Text-to-Speech (TTS) models & Tools for 8GB VRAM?
reddit.com·1h·
Discuss: r/LocalLLaMA
🧪Parser Testing
Flag this post
Friday 28 November 2025 - 11am
informatics.ed.ac.uk·1d
📋Backus-Naur Form
Flag this post
GAFD-CC: Global-Aware Feature Decoupling with Confidence Calibration for OOD Detection
arxiv.org·1d
Effect Inference
Flag this post
Inferring three-nucleon couplings from multi-messenger neutron-star observations
nature.com·13h
🔢Algebraic Datatypes
Flag this post
Explaining Human Choice Probabilities with Simple Vector Representations
arxiv.org·8h
Quantified Types
Flag this post
AI That Shows Its Work: The Transparent Revolution of PALs
dev.to·21h·
Discuss: DEV
🎭Program Synthesis
Flag this post
A memo on Takeoff
lesswrong.com·4h
📚Forth
Flag this post
I've created a leetcode-like platform for system design
systemstudio.app·1d·
Discuss: DEV
🔄Nanopass
Flag this post
Decoding Kiroween
dev.to·1d·
Discuss: DEV
📋JSON Parsing
Flag this post
Build an AI Summarizer Agent in TypeScript Using Mastra (Part 1)
dev.to·2d·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Building Reliable AI Agents with MCP: What We Learned Moving Codegen to the Planning Phase
dev.to·4h·
Discuss: DEV
🪞Metaprogramming
Flag this post
Evaluating Generative AI as an Educational Tool for Radiology Resident Report Drafting
arxiv.org·8h
🎭Racket
Flag this post