What will the day after tomorrow look like?
newsandsentinel.comยท1dยท
Discuss: Hacker News
๐ŸงŠArctic Storage
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.comยท5dยท
Discuss: Hacker News
๐Ÿ”ฌRefinement Types
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.comยท4dยท
Discuss: Hacker News
๐Ÿ“Interval Arithmetic
Enabling Self-Correcting AI Agents Through Autonomous Integration Testing
metalbear.comยท5dยท
Discuss: r/devops
๐Ÿ Homelab Pentesting
Beyond NIST: How NSF-Funded Research Shapes AI Persona, Memory, and Systems
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธPreservation Proofs
Shape Checking for Annotated Tensor Names
github.comยท3dยท
Discuss: Hacker News
โœ…Format Verification
[D] Larry Ellison: โ€œInference is where the money is going to be made.โ€
reddit.comยท2dยท
๐ŸŽฏProof Tactics
[D] Graphrag pipeline that runs entirely locally with ollama and has full source attribution
reddit.comยท5dยท
โšกProof Automation
DCP-o-matic โ€ข Re: Color Space and Gamma when exporting From Davinci Resolve
dcpomatic.comยท2d
๐Ÿ–ผ๏ธJPEG XL
Underdetermined Fourier Extensions for Surface Partial Differential Equations
arxiv.orgยท6d
๐ŸŒ€Differential Geometry
Automated Spectral Anomaly Detection in Ru-H Catalysts via Multi-modal Hypergraph Analysis
dev.toยท5dยท
Discuss: DEV
๐ŸŒˆSpectroscopy
Steganography App (Artful whisper)
dev.toยท8hยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
Anthropic Just Dropped Claude's Memory Feature (And It's a Game-Changer)
dev.toยท1dยท
Discuss: DEV
๐Ÿ–ฅ๏ธModern Terminals
Wear Obscure Folk Arts
dev.toยท5hยท
Discuss: DEV
๐ŸŒCultural Computing
Automated Cognitive Workload Adaptation for Enhanced Pilot Situational Awareness in PAV Operations
dev.toยท19hยท
Discuss: DEV
๐ŸŽฏThreat Hunting
Automated Hierarchical Graph Construction for Multi-source Electronic Health Records
arxiv.orgยท5d
๐Ÿ“„Document Digitization
Eyes Wide Shut
dev.toยท4dยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Targeted Nanocarrier Release via AI-Optimized Microfluidic Gradient Generation
dev.toยท1dยท
Discuss: DEV
โ˜•Precision Brewing
The Impact of Artificial Intelligence on Traditional Art Forms: A Disruption or Enhancement
arxiv.orgยท4d
๐ŸŒCultural Algorithms