🔤 Type Theory

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

9 OSCP Study Tips to Help You Succeed
offsec.com·1d
💾Persistence Strategies
Czkawka / Krokiet 10.0,
medium.com·3d
🦀Rust Macros
Building the Chiplet Ecosystem – By Austin Lyons
chipstrat.com·19h·
Discuss: Hacker News
🧲RISC-V Archaeology
3D Layered Text: Motion and Variations
css-tricks.com·1d
🖋Typography
Independent Component Analysis Demo
github.com·1d·
Discuss: Hacker News
👂Audio Evidence
Intelligence
halfanhour.blogspot.com·3d·
Discuss: Hacker News
🧠Intelligence Compression
Browser: Ecosia wants responsibility for Chrome, but without paying for it
heise.de·1h
🐧FOSS
Show HN: Building a web search engine from scratch (a reply to Wilson Lin)
medium.com·3d·
Discuss: Hacker News
🗂️Vector Search
Talking To Zed Industries- Makers Of The 100% Rust, Super-Performant, Collaborative Code Editor
filtra.io·1d·
Discuss: r/rust
⚔️Lean Tactics
Building Bridges: From Developer to Developer Advocate • David Edoh-Bedi & James Beswick
youtube.com·2d
🔌Interface Evolution
Gravitational Lensing & Kerr Black Hole Shadow Reconstruction via Adaptive Wavelet Decomposition
dev.to·1d·
Discuss: DEV
🌈Holographic Archives
For apes, out of sight isn't out of mind: Bonobos can mentally track multiple members of their social circle
phys.org·2d
🔲Cellular Automata
From Individual to Multi-Agent Algorithmic Recourse: Minimizing the Welfare Gap via Capacitated Bipartite Matching
arxiv.org·4d
⚡Incremental Computation
Automated Multi-Modal Scientific Knowledge Synthesis via Graph-Augmented Bayesian Inference
dev.to·3d·
Discuss: DEV
📊Citation Graphs
Fairness-Aware Multi-view Evidential Learning with Adaptive Prior
arxiv.org·3d
🧠Machine Learning
Why I Write My README Before I Touch the Keyboard
dev.to·2d·
Discuss: DEV
📟CLI Design
Hyperdimensional Semantic Mapping for Automated Historical Narrative Reconstruction
dev.to·2d·
Discuss: DEV
🕸️Hypertext Archaeology
The Ethics of Using AI in Philosophical Research
dailynous.com·2d
🤖AI Curation
CardAIc-Agents: A Multimodal Framework with Hierarchical Adaptation for Cardiac Care Support
arxiv.org·2d
🔲Cellular Automata
CALYPSO: Forecasting and Analyzing MRSA Infection Patterns with Community and Healthcare Transmission Dynamics
arxiv.org·2d
🧠Machine Learning