ICT2, the paperback!
logicmatters.net·4h
🎯Proof Tactics
abhisheksr01/spring-boot-microservice-best-practices
github.com·15h
🌊Streaming Systems
Understanding Prolly Tree Balance
dolthub.com·17h·
Discuss: Hacker News
🌲B-tree Variants
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
meroxa.com·8h·
Discuss: Hacker News, r/golang
💧Liquid Types
Why Dyad?: A Perspective for Modelica Users
juliahub.com·1d·
Discuss: Hacker News
💧Liquid Types
Automating Persona Enriched Prompting
maxirwin.com·2d·
Discuss: Hacker News
🕵️Metadata Mining
SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
arxiv.org·2d
💧Liquid Types
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·1d·
Discuss: DEV
📏Code Metrics
Ctrl-Z Sampling: Diffusion Sampling with Controlled Random Zigzag Explorations
arxiv.org·13h
🔲Cellular Automata
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·3h·
Discuss: DEV
🌊Stream Processing
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·13h
🧠Machine Learning
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·2d
🔍Type Inference
Lessons from LangChain and Slack and MCP Integration
medium.com·1d·
Discuss: Hacker News
🔗Topological Sorting
Learning Lineage Constraints for Data Science Operations
arxiv.org·2d
🏺Database Archaeology
Computing Betti tables and minimal presentations of zero-dimensional persistent homology
arxiv.org·2d
🕸️Algebraic Topology
SLR: An Automated Synthesis Framework for Scalable Logical Reasoning
arxiv.org·3d
📏Linear Logic
Is SPL more difficult or easier than SQL?
github.com·1d·
Discuss: Hacker News
⛏️SQL Archaeology
Machine Learning Fundamentals: active learning
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·19h·
Discuss: DEV
🔌Operating system internals