Dependent Types, Proof Assistant, Type-driven Development, Verification

How devtools map minified JS code back to your TypeScript source code
polarsignals.com·4h·
🔧KAITAI
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Cracking XLoader with AI: How Generative Models Accelerate Malware Analysis
blog.checkpoint.com·1d
🦠Malware Analysis
Flag this post
Labs for Broke – EKS for Pennies
georgedeblog.com·14h·
Discuss: Hacker News
🏠Homelab Federation
Flag this post
When Your Hash Becomes a String: Hunting Ruby's Million-to-One Memory Bug
mensfeld.pl·7h·
Discuss: Hacker News
🦀Rust Borrowing
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·1d·
🦀Rust Borrowing
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·2d·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.com·1d·
Discuss: Substack
📏Code Metrics
Flag this post
Coverage Analysis and Optimization of FIRES-Assisted NOMA and OMA Systems
arxiv.org·14h
🕸️Network Topology
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·14h
🔨Compilers
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·1d
🤝Consensus Algorithms
Flag this post
On the Structure of Floating-Point Noise in Batch-Invariant GPU Matrix Multiplication
arxiv.org·14h
📐Error Bounds
Flag this post
📞 I'm Not a Coder but Used Claude to Build a Free AI Answering Service
dev.to·14h·
Discuss: DEV
🎙️Whisper
Flag this post
AI Agents in Go: Exploring Agent-to-Agent (A2A) Protocols in AI Ecosystems
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·4d
🧪Property-Based Testing
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·14h
📋Document Grammar
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·14h
🤖Advanced OCR
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·4d·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Building an AI-Powered E-Shopping Platform with Intelligent Product Recommendations
dev.to·18h·
Discuss: DEV
🤖AI Curation
Flag this post
Automated Discovery of Conservation Laws via Hybrid Neural ODE-Transformers
arxiv.org·14h
🌀Differential Geometry
Flag this post