A critique of philosophical objectivity
lapcatsoftware.com·1d
🏛️Philosophy
Outlandish Recursive Query Examples
sqlite.org·8h·
Discuss: Lobsters
🗄️SQLite Internals
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·20h
🎯Gradual Typing
Mathematical secrets of ancient tablet unlocked after nearly a century of study (2017)
theguardian.com·2d·
Discuss: Hacker News
🗝️Paleocryptography
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·1d·
Discuss: Substack
🔗Topological Sorting
Trading Grids: A Technical Deep Dive
koolcodez.com·1d·
Discuss: Hacker News
🌊Stream Processing
Capture Checking in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Malleable Software Will Eat the SaaS World
mdubakov.me·45m·
Discuss: Hacker News
⚡Incremental Computation
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·1d·
Discuss: Hacker News
✅Format Validation
Quantum memory array brings us closer to a quantum RAM
phys.org·18h
⚛️Quantum Tape
OmniMRI: A Unified Vision--Language Foundation Model for Generalist MRI Interpretation
arxiv.org·1d
🤖Advanced OCR
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
github.com·1d·
Discuss: Hacker News
🔐Archive Encryption
Tractable Stochastic Hybrid Model Predictive Control using Gaussian Processes for Repetitive Tasks in Unseen Environments
arxiv.org·1d
⚡Incremental Computation
ROSE: Remove Objects with Side Effects in Videos
arxiv.org·4h
⟷Bidirectional Programming
Bridging Foundation Models and Efficient Architectures: A Modular Brain Imaging Framework with Local Masking and Pretrained Representation Learning
arxiv.org·1d
📊Learned Metrics
How Retrieval Algorithms Shape Better LLM Responses?
dev.to·1d·
Discuss: DEV
🔍Information Retrieval
Route-and-Execute: Auditable Model-Card Matching and Specialty-Level Deployment
arxiv.org·1d
🦋Format Metamorphosis
A Praxis of Influence: Framing the Observation and Measurement of Information Power
arxiv.org·4h
📰Content Curation
Demystifying Scientific Problem-Solving in LLMs by Probing Knowledge and Reasoning
arxiv.org·4h
🧮Theorem Proving
WoW: A Window-to-Window Incremental Index for Range-Filtering Approximate Nearest Neighbor Search
arxiv.org·4h
🗂️Vector Databases