VSCodium: What Constitutes an Alternative?
theworksofegan.net·11h
🔓Open Source Software
Invoicetronic, or what I've been working on recently
nicolaiarocci.com·1h
🎙️Whisper
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·3d
🧪Binary Fuzzing
OpenM3D: Open Vocabulary Multi-view Indoor 3D Object Detection without Human Annotations
arxiv.org·5h
🏺Computational Archaeology
Draft CA AI Law Forces Provenance Tagging, Breaks Signal Messenger
alecmuffett.com·1d·
Discuss: Hacker News
🔗Data Provenance
Stable, Mutable References for Ante
antelang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Knowing or Guessing? Robust Medical Visual Question Answering via Joint Consistency and Contrastive Learning
arxiv.org·1d
🧠Machine Learning
Research, Review, Rebuild: Intelligent Modernisation with MCP and Strategic Prompting
martinfowler.com·19h
🦋Format Metamorphosis
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·2d·
Discuss: Hacker News
🔱Galois Cryptography
Reliable Weak-to-Strong Monitoring of LLM Agents
arxiv.org·5h
🎯Threat Hunting
Inside Zig's New Writer
joegm.github.io·19h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Delta Lake: Transform Pandas Prototypes into Production
codecut.ai·1d·
Discuss: Hacker News
📐Delta Encoding
WoW: A Window-to-Window Incremental Index for Range-Filtering Approximate Nearest Neighbor Search
arxiv.org·1d
🗂️Vector Databases
Automated Literature Synthesis & Knowledge Graph Refinement via Dual-Pass Semantic Parsing
dev.to·16h·
Discuss: DEV
🔗Constraint Handling
MRExtrap: Longitudinal Aging of Brain MRIs using Linear Modeling in Latent Space
arxiv.org·5h
🧠Machine Learning
Real-Time Anomaly Detection in Friction Stir Welding using Multi-Modal Sensor Fusion and Bayesian Inference
dev.to·11h·
Discuss: DEV
📄Document Digitization
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·2d
🗂️Vector Databases
Cloud-hosted and partitioned files best practices
github.com·1h·
Discuss: Hacker News
💾Storage Replication
On systematic construction of correct logic programs
arxiv.org·2d
⚖️Hoare Logic
Beyond the Checkbox: How Backblaze’s SOC 2 Type 2 Certification Secures Your Cloud Data
backblaze.com·18h
✅Archive Fixity