Dependent Types, Proof Development, Tactics, Mathematical Foundations

US peace plan: What could Ukraine compromise on?
ft.comยท35m
๐Ÿ–‹Typography
Flag this post
Beyond the Geometry of Music
golem.ph.utexas.eduยท1d
๐ŸŽผAudio Lambda Calculus
Flag this post
Info to decipher secret message in Kryptos sculpture at CIA headquarters sells for close to $1M
the-independent.comยท1d
๐Ÿฆ Parasitic Archives
Flag this post
Karmic Security โ€” HTB Starting Point: Appointment
infosecwriteups.comยท11h
๐ŸŽฏNTLM Attacks
Flag this post
Basic [Moira] list management
sipb.mit.eduยท5h
๐Ÿค–Archive Automation
Flag this post
Beyond Earnings Premia: Debt-Adjusted Returns to Postsecondary Education
papers.ssrn.comยท1dยท
Discuss: Hacker News
๐Ÿ—บ๏ธCompetency Maps
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.comยท3dยท
Discuss: Hacker News
๐Ÿ› Language Design
Flag this post
Critical Thinking during the age of AI
addyo.substack.comยท2dยท
Discuss: Substack
โš™๏ธProof Engineering
Flag this post
Real estate app built with Next.js 16, shadcn/ui, and Prisma. Browse, list, and manage properties
dev.toยท4hยท
Discuss: DEV
๐Ÿ”„Sync Engine
Flag this post
Why do Rust Projects hate Copyleft Licenses?
reddit.comยท15hยท
Discuss: r/rust
๐Ÿฆ€Rust Borrowing
Flag this post
[D] Why arenโ€™t there more multimodal large foundation models out there? Especially in AI for science?
reddit.comยท1dยท
๐ŸŽ™๏ธWhisper
Flag this post
Fredholm Neural Networks
arxiv.orgยท2d
๐Ÿง Machine Learning
Flag this post
Learning AI From Scratch: Streaming Output, the Secret Sauce Behind Real-Time LLMs
dev.toยท18hยท
Discuss: DEV
๐ŸŒŠStream Processing
Flag this post
Automated Regulatory Compliance Risk Assessment via Multi-Modal Knowledge Graph Fusion & Explainable AI
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Constraint Handling
Flag this post
KRAL: Knowledge and Reasoning Augmented Learning for LLM-assisted Clinical Antimicrobial Therapy
arxiv.orgยท2d
๐ŸŽตAudio ML
Flag this post
Vibe Coding a Compiler: From Natural Language to LLVM IR
medium.comยท2dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Flag this post
Hyperdimensional Semantic Mapping for Robust Visual Localization in Dynamic Robotic Environments
dev.toยท8hยท
Discuss: DEV
๐ŸŒ€Differential Geometry
Flag this post
Nearly $19M Raised Before V1 Protocol Launch, This New Crypto May Be The Safest 2026 Investment
hackernoon.comยท23h
๐Ÿš€Indie Hacking
Flag this post
CausalMamba: Interpretable State Space Modeling for Temporal Rumor Causality
arxiv.orgยท2d
๐Ÿง Machine Learning
Flag this post