🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

option parsing in curl
daniel.haxx.se·1h
📝Shell Parsing
Balisage calendar
so.nwalsh.com·1d
📝ABNF Parsing
Creating and using pass tickets on z/OS.
colinpaice.blog·1d
🛡️eBPF Security
Let's Write React Hooks From Scratch
playfulprogramming.com·2d
🔗Concatenative Programming
Achieving Early Wins in Generative AI
cacm.acm.org·1d
📋Document Grammar
Prompts Are Design Documents
mechanicalsurvival.com·1d·
Discuss: Hacker News
⚙️TLA+
Configuration for AI coding assistants working with the Linux kernel codebase
lore.kernel.org·2d·
Discuss: Hacker News
🦀Rust Macros
Software Engineering Has Always Been Context Engineering
agenticcoding.substack.com·13h·
Discuss: Substack
⚙️Proof Engineering
Practical Implementation of Encoder–Decoder Architecture
adaline.ai·1d·
Discuss: Hacker News
🚀SIMD Text Processing
Can large language models assist choice modelling? Insights into prompting strategies and current models capabilities
arxiv.org·1d
💻Local LLMs
StaffPro: an LLM Agent for Joint Staffing and Profiling
arxiv.org·1d
📚Digital Humanities
Building AI Agents: Choose your fighter
dev.to·11h·
Discuss: DEV
⚡Proof Automation
Towards Cognitive Synergy in LLM-Based Multi-Agent Systems: Integrating Theory of Mind and Critical Evaluation
arxiv.org·1d
🔲Cellular Automata
Methodology for intelligent injection point location based on geometric algorithms and discrete topologies for virtual digital twin environments
arxiv.org·2d
📊Computational Geometry
Reframe Your Life Story: Interactive Narrative Therapist and Innovative Moment Assessment with Large Language Models
arxiv.org·2d
🏛Digital humanities
🧠 What’s the deal with MCP? And why you should start exploring it now
dev.to·4d·
Discuss: DEV
💧Liquid Types
LLM-Adapted Interpretation Framework for Machine Learning Models
arxiv.org·1d
💻Local LLMs
Dynamic analysis of free-free Timoshenko beams on elastic foundation under transverse transient ground deformation
arxiv.org·4h
🌊Stream Ciphers
NIST Post-Quantum Cryptography Standard Algorithms Based on Quantum Random Number Generators
arxiv.org·1d
🔐Quantum Cryptography
Show HN: LLM-benchmark – Make LLMs fight for fastest ops/SEC on your code
github.com·2d·
Discuss: Hacker News
🔄Reproducible Builds