abhisheksr01/spring-boot-microservice-best-practices
github.com·7h
🌊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·8h·
Discuss: Hacker News
🌲B-tree Variants
New: Improve Apache Iceberg query performance in Amazon S3 with sort and z-order compaction
aws.amazon.com·1d
🔄Burrows-Wheeler
Why Dyad?: A Perspective for Modelica Users
juliahub.com·17h·
Discuss: Hacker News
💧Liquid Types
Automating Persona Enriched Prompting
maxirwin.com·2d·
Discuss: Hacker News
🕵️Metadata Mining
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·1d
🔍Concolic Testing
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Distilling On-device Language Models for Robot Planning with Minimal Human Intervention
arxiv.org·2d
💻Local LLMs
Accurate and Energy Efficient: Local Retrieval-Augmented Generation Models Outperform Commercial Large Language Models in Medical Tasks
arxiv.org·4h
🌀Brotli Internals
Mastering Laravel's MVC: A Practical Guide for Cleaner Code
dev.to·9h·
Discuss: DEV
🔬Refinement Types
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.org·2d
🔲Cellular Automata
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·18h·
Discuss: DEV
📏Code Metrics
Ctrl-Z Sampling: Diffusion Sampling with Controlled Random Zigzag Explorations
arxiv.org·4h
🔲Cellular Automata
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·4h
🧠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