Well-Typed.Com: Verifying and testing timeliness constraints with io-sim
well-typed.com·1d
🔍Concolic Testing
Interview Your Libraries (2013)
jch.github.io·16h·
Discuss: Hacker News
⚙️Build Archaeology
Why I built an MCP server to check my docs (and what it taught me)
passo.uno·15h·
Discuss: Hacker News
📦METS Packaging
I Replaced My Toaster's Firmware and Now I'm a Fugitive
jxself.org·3d
🔓Hacking
Affirm: Competitive Threats And Credit Risk Are Not Adequately Priced, Sell
seekingalpha.com·16h
🔍BitFunnel
Predictive Modeling of Neutron Capture Cross-Sections via Bayesian Kernel Regression
dev.to·1d·
Discuss: DEV
🧲Magnetic Resonance
🚀 From Rejection to Reinvention: How I Built an AI That Finds My Jobs
dev.to·3d·
Discuss: DEV
🇨🇳Chinese Computing
Advise Needed !!
reddit.com·17h·
Discuss: r/homelab
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
HLA-A*31:01-Associated Drug-Induced Stevens-Johnson Syndrome Prediction via Multi-Modal Federated Learning
dev.to·2d·
Discuss: DEV
📈Mutual Information
LLP: LLM-based Product Pricing in E-commerce
arxiv.org·1d
🔍BitFunnel
Source-Free Object Detection with Detection Transformer
arxiv.org·4h
🤖Advanced OCR
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·4h·
Discuss: DEV
📊Multi-vector RAG
Dynamic Topic Evolution with Temporal Decay and Attention in Large Language Models
arxiv.org·4h
🔍Information Retrieval
Adaptive Bitstream Calibration via Reinforcement Learning in High-Resolution DACs
dev.to·1d·
Discuss: DEV
🎧Learned Audio
The Irrational Machine: Neurosis and the Limits of Algorithmic Safety
arxiv.org·4h
🔲Cellular Automata
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·5d
📊Graph Databases
Looking for Tips: Migrating HA to another server
reddit.com·7h·
Discuss: r/homelab
💿Proxmox HA