πŸ“ Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

I Stand Corrected
jessecmckeown.tumblr.comΒ·1d
βš”οΈLean Theorem
Advanced Windows Exploitation (AWE) Review
wetw0rk.github.ioΒ·1d
πŸ”’Secure Boot
Steering a middle ground between two extreme takes on the role of statistics in the development of language models
statmodeling.stat.columbia.eduΒ·23h
πŸ’»Programming languages
Show HN: Stateful LLM inference (no cost for input tokens, not prompt-caching)
news.ycombinator.comΒ·23hΒ·
Discuss: Hacker News
πŸ’»Local LLMs
DeCoT: Decomposing Complex Instructions for Enhanced Text-to-Image Generation with Large Language Models
arxiv.orgΒ·9h
πŸš€SIMD Text Processing
Go Coding with Asparagos: Sunflowers and the Speaking Challenge
dev.toΒ·5hΒ·
Discuss: DEV
πŸ”—Concatenative Languages
Prompt-Induced Linguistic Fingerprints for LLM-Generated Fake News Detection
arxiv.orgΒ·9h
πŸ§ͺArchive Fuzzing
6 ChatGPT Prompts Every Software Developer Should Know
dev.toΒ·7hΒ·
Discuss: DEV
⚑Proof Automation
Typechecker Zoo
stephendiehl.comΒ·4dΒ·
Discuss: Lobsters
πŸ”Type Inference
Chinese Room vs. SupatMod Experiment 1/7 (Claude, Mar 12-13, 2025)
medium.comΒ·1hΒ·
Discuss: Hacker News
πŸ‘‚Audio Evidence
SimInterview: Transforming Business Education through Large Language Model-Based Simulated Multilingual Interview Training System
arxiv.orgΒ·9h
🌍Cultural Algorithms
Mitigating Hallucinations in Large Language Models via Causal Reasoning
arxiv.orgΒ·9h
✨Effect Handlers
Overview of Complex System Design
arxiv.orgΒ·1d
πŸ•ΉEmulation Theory
ORFuzz: Fuzzing the "Other Side" of LLM Safety -- Testing Over-Refusal
arxiv.orgΒ·1d
πŸ›Fuzzing
Memory as Structured Trajectories: Persistent Homology and Contextual Sheaves
arxiv.orgΒ·9h
πŸ•ΈοΈAlgebraic Topology
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.comΒ·5dΒ·
Discuss: r/rust
🐚Shell Monads
Machine Learning-Based AES Key Recovery via Side-Channel Analysis on the ASCAD Dataset
arxiv.orgΒ·9h
πŸ”Vector Forensics
A non-uniform view of Craig interpolation in modal logics with linear frames
arxiv.orgΒ·5d
πŸ”—Combinatory Logic
Understanding Lambda Functions in Python: Definition, Usage, and Applications
dev.toΒ·11hΒ·
Discuss: DEV
Ξ»Lambda Formalization
A Self-Ensemble Inspired Approach for Effective Training of Binary-Weight Spiking Neural Networks
arxiv.orgΒ·9h
🧠Machine Learning