Key Takeaways from the Safety Critical Track at Open Source Summit Europe 2025 – 4
elisa.tech·18h
🔓Open Source Software
Flag this post
Building and Deploying the Digital Humanities Quarterly Recommender System
journal.code4lib.org·1d
📚Digital Humanities
Flag this post
Spatial DP: Finding the Largest Square
mmhaskell.com·3d
🧬Functional Programming
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·19h
🔬Lean
Flag this post
Book Preview: Rebels, Pirates and Tentacles: The Story of LucasArts
🕹️Game Preservation
Flag this post
Cosmo: The Graph Visualization Tool Built for Your Terminal
hackernoon.com·1d
🔗Topological Sorting
Flag this post
From Path Traversal to Supply Chain Attack: Breaking Smithery MCP Server Hosting
🌳Archive Merkle Trees
Flag this post
OpenBSD 7.8 Released
🔌Operating system internals
Flag this post
From Flows to Words: Can Zero-/Few-Shot LLMs Detect Network Intrusions? A Grammar-Constrained, Calibrated Evaluation on UNSW-NB15
arxiv.org·1d
💻Local LLMs
Flag this post
Updating a 3-Year-Old Project: Japanese Property Price Forecasting Gets a Modern Pipeline
📏Code Metrics
Flag this post
Fast Call-Stack Backtrace
🚀Compiler Optimizations
Flag this post
QueST: Incentivizing LLMs to Generate Difficult Problems
arxiv.org·2d
🧮SMT Solvers
Flag this post
LoC Is a Dumb Metric for Functions
📏Code Metrics
Flag this post
Disaggregated Routing with SONiC and VPP: Architecture and Integration – Part One
linux.com·20h
📡Network Stack
Flag this post
Loading...Loading more...