Yaphe, Joshua. - Time and Narrative in Intelligence Analysis. [Elektronisk resurs] : A New Framework for the Production of Meaning.
libris.kb.se·4d
🔢Mathematical Logic
Notating with deCoda and Sibelius
sandsoftwaresound.net·15h
🔢Mathematical Logic
Thoughts on creating a tracking pointer class, part 13: Restoring the strong exception guarantee
devblogs.microsoft.com·19h
🧠Memory Management
Joint Error Propagation
theorangeduck.com·3d
🎲Probabilistic Programming
Best Practices for Securing Generative AI with SASE - The Cloudflare Blog
news.google.com·1d
🤝Protocol Design
Meta AI Introduces DeepConf: First AI Method to Achieve 99.9% on AIME 2025 with Open-Source Models Using GPT-OSS-120B - MarkTechPost
news.google.com·17h
🧭SMT Solvers
Performance requirements
reddit.com·1h·
Discuss: r/homelab
🏗Computer Architecture
What’s New in Oracle Database 23ai
dev.to·3h·
Discuss: DEV
🗄️Database Theory
Docx templating with golang
reddit.com·3d·
Discuss: r/golang
📝Lisp
PAUL: Uncertainty-Guided Partition and Augmentation for Robust Cross-View Geo-Localization under Noisy Correspondence
arxiv.org·5h
🎲Probabilistic Programming
Top 5 Productivity Tools I Actually Use (and Why Notion Isn’t Always Enough)
dev.to·3h·
Discuss: DEV
🔧Compiler Design
Learning to Detect Label Errors by Making Them: A Method for Segmentation and Object Detection Datasets
arxiv.org·2d
🎲Probabilistic Programming
Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.org·3d
🧩Theorem Proving
Questions for Software Engineers from a CS Major.
reddit.com·1d·
Discuss: r/SoftwareEngineering
🔧Compiler Design
Many developers are lost in current market
dev.to·16h·
Discuss: DEV
🔧Compiler Design
FreeVPS: Repurposing Training-Free SAM2 for Generalizable Video Polyp Segmentation
arxiv.org·5h
🎲Probabilistic Programming
Lobsters Interview with Matklad
lobste.rs·5d·
Discuss: Lobsters
🔧Compiler Design
Day 13: AI-Driven Quality Assurance - The Systematic Breakthrough
dev.to·1d·
Discuss: DEV
🔍Static Analysis
School of Reward Hacks: Hacking harmless tasks generalizes to misaligned behavior in LLMs
arxiv.org·2d
🧭SMT Solvers
So You Want to Build an Open Source Alternative to ChatGPT for Teams
dev.to·1d·
Discuss: DEV
🏗️Software Architecture