🔤 Type Theory

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

Why is my "optimized" O(1) space Python code slower than the "basic" O(n) space version?
leetcode.com·5h·
Discuss: r/programming
🔄Burrows-Wheeler
Some recent project milestones
markjgsmith.com·1d
🔌Interface Evolution
Notes on Autograd
aschrein.github.io·15h·
Discuss: Hacker News
⚡Incremental Computation
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·15h·
Discuss: Hacker News
🤖AI Curation
A Bitcoin Core Code Analysis
binaryigor.com·19h·
Discuss: Hacker News
🧬Bitstream Evolution
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.com·23h
🤖Grammar Induction
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·2d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·2h·
Discuss: Lobsters, Hacker News, r/rust
🦾ARM Assembly
Being Kind Isn't Always Being Safe: Diagnosing Affective Hallucination in LLMs
arxiv.org·6h
⬌Bidirectional Typing
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·18h·
Discuss: DEV
🔒Type Safety
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
NinA: Normalizing Flows in Action. Training VLA Models with Normalizing Flows
arxiv.org·6h
🎙️Whisper
LLM Assertiveness can be Mechanistically Decomposed into Emotional and Logical Components
arxiv.org·6h
🧠Intelligence Compression
A Tie-breaking based Local Search Algorithm for Stable Matching Problems
arxiv.org·6h
🌸Bloom Variants
TOMATO: Assessing Visual Temporal Reasoning Capabilities in Multimodal Foundation Models
arxiv.org·6h
🤖Advanced OCR
ZAPS: A Zero-Knowledge Proof Protocol for Secure UAV Authentication with Flight Path Privacy
arxiv.org·6h
🌳Archive Merkle Trees
On the Edge of Memorization in Diffusion Models
arxiv.org·6h
📊Learned Metrics
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·1d
💾Binary Linguistics
A Dynamic Approach to Collaborative Document Writing
arxiv.org·6h
🔗Parser Combinators
L-XAIDS: A LIME-based eXplainable AI framework for Intrusion Detection Systems
arxiv.org·6h
🔍Vector Forensics