Marx and Degrowth Architecture
failedarchitecture.com·6h·
Discuss: Hacker News
🔬Unikernels
Launch: Free and Focused Password Generator at GeneratePassword12
generatepassword12.org·4d·
Discuss: Hacker News
🧪Property-Based Testing
ChatGPT Spoiled My Semester
benborgers.com·1d·
Discuss: Hacker News
🎮Verification Games
The Eponymous Principles of Management – Coase's Ceiling and Floor
amvaishnav.wordpress.com·1d·
Discuss: Hacker News
➡️Category Theory
36 billion solar masses: Cosmic Horseshoe galaxy harbors what may be the most massive black hole ever detected
phys.org·1d·
Discuss: Hacker News
📦Unikernel Systems
How I Use LLMs for Data Harmonization: A Strategic, Limited Approach
rxdatalab.com·4d·
Discuss: Hacker News
🔍Formal Verification
Your LLM Does Not Care About MCP
hackteam.io·1d·
Discuss: Hacker News, Hacker News
🛡️seL4
📘 𝐆𝐢𝐯𝐞𝐚𝐰𝐚𝐲: 𝟏𝟎𝟎+ 𝐌𝐮𝐬𝐭–𝐇𝐚𝐯𝐞 𝐉𝐚𝐯𝐚 𝐑𝐞𝐬𝐨𝐮𝐫𝐜𝐞𝐬 𝐟𝐨𝐫 𝐌𝐨𝐝𝐞𝐫𝐧 𝐃𝐞𝐯𝐞𝐥𝐨𝐩𝐞𝐫𝐬
reddit.com·3d·
Discuss: r/programming
🔄Reproducible Builds
NASA changes the rules of the game for commercial space stations
theregister.com·1d·
Discuss: Hacker News
🧗Climbing Tech
A Treatise on AI Chatbots Undermining the Enlightenment
maggieappleton.com·3d·
Discuss: Hacker News
🎮Verification Games
ProKG-Dial: Progressive Multi-Turn Dialogue Construction with Domain Knowledge Graphs
arxiv.org·3d
🎮Verification Games
T-GRAG: A Dynamic GraphRAG Framework for Resolving Temporal Conflicts and Redundancy in Knowledge Retrieval
arxiv.org·3d
🎮Verification Games
Fusion Sampling Validation in Data Partitioning for Machine Learning
arxiv.org·3d
🔠Type-Level Programming
Video-based Vehicle Surveillance in the Wild: License Plate, Make, and Model Recognition with Self Reflective Vision-Language Models
arxiv.org·3d
➡️Category Theory
Getting out of the Big-Muddy: Escalation of Commitment in LLMs
arxiv.org·3d
🎮Verification Games
Modality Bias in LVLMs: Analyzing and Mitigating Object Hallucination via Attention Lens
arxiv.org·3d
🐫OCaml
Lab HW Refresh: Single host with nesting, or multiple physical hosts?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Filtering with Self-Attention and Storing with MLP: One-Layer Transformers Can Provably Acquire and Extract Knowledge
arxiv.org·3d
✓Automated Theorem Proving
Ask HN: Do you struggle with flow state when using AI assisted coding tools?
news.ycombinator.com·2d·
Discuss: Hacker News
🎮Verification Games
Kronos: A Foundation Model for the Language of Financial Markets
arxiv.org·2d
🐫OCaml