abhisheksr01/spring-boot-microservice-best-practices
github.com·11h
🌊Streaming Systems
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·1d
🧮Prolog Parsing
Understanding Prolly Tree Balance
dolthub.com·13h·
Discuss: Hacker News
🌲B-tree Variants
Why Dyad?: A Perspective for Modelica Users
juliahub.com·22h·
Discuss: Hacker News
💧Liquid Types
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·23h·
Discuss: DEV
📏Code Metrics
Ctrl-Z Sampling: Diffusion Sampling with Controlled Random Zigzag Explorations
arxiv.org·9h
🔲Cellular Automata
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·1d·
Discuss: DEV
🤖Lisp Machines
Lessons from LangChain and Slack and MCP Integration
medium.com·1d·
Discuss: Hacker News
🔗Topological Sorting
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·9h
🧠Machine Learning
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·2d
🔍Type Inference
Is SPL more difficult or easier than SQL?
github.com·1d·
Discuss: Hacker News
⛏️SQL Archaeology
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
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·15h·
Discuss: DEV
🔌Operating system internals
Generative AI Model Data Pre-Training on Kubernetes: A Use Case Study - DevConf.CZ 2025
youtube.com·4h
🌊Streaming Systems
Deep Learning Framework Testing via Model Mutation: How Far Are We?
arxiv.org·2d
🧪Property-Based Testing
🧠 Solving LeetCode Until I Become Top 1% — Day `31`
dev.to·5h·
Discuss: DEV
🔢Bitwise Algorithms
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·2d
⚖️Hoare Logic