Counting with Categories (Part 3)
golem.ph.utexas.eduยท3d
ฮปLambda Formalization
What Is an AI SOC Agent? What You Need to Know About the Most Strategic Operational Imperative in Cybersecurity Today
intezer.comยท2d
๐ŸŽฏThreat Hunting
GenAI paradox: exploring AI use cases | McKinsey
mckinsey.comยท2d
๐Ÿ”ฒCellular Automata
Rust Forge Conf 2025 Schedule Announced
newsletter.rustforgeconf.comยท22h
๐Ÿฆ€Rust Macros
I will fix your vibe-coded MVP โ€“ sgnt.ai
sgnt.aiยท3hยท
Discuss: Hacker News
๐Ÿ”“Hacking
ECMAScript 2025 Language Specification
tc39.esยท1dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
The Interactive Handbook on Data Structures and Algorithms
cartesian.appยท4dยท
Discuss: Lobsters, Hacker News, Hacker News
๐ŸŒณTrie Structures
"Who Should I Believe?": User Interpretation and Decision-Making When a Family Healthcare Robot Contradicts Human Memory
arxiv.orgยท1d
๐ŸŽฏThreat Hunting
World-aware Planning Narratives Enhance Large Vision-Language Model Planner
arxiv.orgยท1d
๐Ÿค–Advanced OCR
Machine Learning Fundamentals: accuracy with python
dev.toยท3dยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
A programmer yelling at the clouds about vibe coding
dev.toยท2dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
A Comment On "The Illusion of Thinking": Reframing the Reasoning Cliff as an Agentic Gap
arxiv.orgยท3d
๐Ÿ”ฒCellular Automata
Rethinking the Role of Operating Conditions for Learning-based Multi-condition Fault Diagnosis
arxiv.orgยท4d
๐ŸงชProperty-Based Testing
Implementing Multi-tenancy with Keycloak and NestJS
dev.toยท11hยท
Discuss: DEV
๐ŸบKerberos Archaeology
Aligning Spoken Dialogue Models from User Interactions
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.orgยท2d
๐Ÿ”BitFunnel
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.orgยท2d
๐Ÿ“Linear Logic
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.orgยท4d
โš–๏ธHoare Logic
Machine Learning Fundamentals: adam optimizer example
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠQuantization
How to Use FLUX.1 Kontext API? Here are Methods
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStreaming Systems