🏛️ Agda

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

The Kepler Problem (Part 9)
johncarlosbaez.wordpress.com·2d
⚙Backus-Naur Form
Risky Bulletin: Russia to designate ERPs as "critical information infrastructure"
news.risky.biz·16h
🏠Homelab Pentesting
Not duplicating messages: a surprisingly hard problem
blog.epsiolabs.com·1d·
Discuss: Hacker News, r/programming
🌊Streaming Systems
TypeScript: Langium 4.0 brings infix operators for more compact grammar
heise.de·5d
🎯Gradual Typing
AI at IMO 2025: a round-up
xenaproject.wordpress.com·3d·
Discuss: Hacker News
🎯Performance Proofs
Programming Projects for Advanced Beginners
robertheaton.com·3d·
Discuss: Hacker News
🌳Incremental Parsing
AI hallucinations will be solvable within a year (2024)
fortune.com·2d·
Discuss: Hacker News
🎙️Whisper
c/side CEO and Co-founder Simon Wijckmans on The Importance of Browser-side Security
hackernoon.com·8h
🚀Indie Hacking
Best Selfhost vendor for me
reddit.com·1d·
Discuss: r/kubernetes
🏠Homelab Federation
What’s Your Take on RAG in Real Enterprise Workflows?
dev.to·1d·
Discuss: DEV
🔄Archival Workflows
Lobsters Interview with Icefox
lobste.rs·5d·
Discuss: Lobsters
🦀Rust Macros
The Science Fiction Science Method
arxiv.org·13h
🔲Cellular Automata
Excised DNA circles from V(D)J recombination promote relapsed leukaemia
nature.com·1h
🧬Copy Number Variants
Understanding the Embedding Models on Hyper-relational Knowledge Graph
arxiv.org·13h
🕸️Graph Embeddings
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·5d
📐Format Grammars
SAMPO: Visual Preference Optimization for Intent-Aware Segmentation with Vision Foundation Models
arxiv.org·1d
🌀Differential Geometry
EthicAlly: a Prototype for AI-Powered Research Ethics Support for the Social Sciences and Humanities
arxiv.org·1d
🌍Cultural Algorithms
A Large-Scale Benchmark of Cross-Modal Learning for Histology and Gene Expression in Spatial Transcriptomics
arxiv.org·1d
🧮Vector Embeddings
AI-Generated Algorithmic Virality
arxiv.org·1d
⚖️Feed Ranking
A matrix preconditioning framework for physics-informed neural networks based on adjoint method
arxiv.org·13h
🌀Riemannian Computing