Key Takeaways from the Safety Critical Track at Open Source Summit Europe 2025 – 4
elisa.tech·14h
🔓Open Source Software
Flag this post
ASP level generation examples from our PCG textbook
kmjn.org·17h
🔲Cellular Automata
Flag this post
Building and Deploying the Digital Humanities Quarterly Recommender System
journal.code4lib.org·1d
📚Digital Humanities
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·15h
🔬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·23h
🔗Topological Sorting
Flag this post
Tokenization Trade-offs: Engineering Perspectives on Memory, Cost and Performance
📏Code Metrics
Flag this post
I Want to See the Claw
📏Code Metrics
Flag this post
“clones”, “premature optimizations” & other feedbacks on development, writing from my “just a Dyna Tac 8000x without buttons”
🔩Systems Programming
Flag this post
Metagenomi generates millions of novel enzymes cost-effectively using AWS Inferentia
aws.amazon.com·15h
🔄Sync Engine
Flag this post
Building a Serverless Agentic AI Customer Support System with AWS Bedrock & LangChain
blog.devops.dev·2d
🌊Streaming Systems
Flag this post
Test-time Verification via Optimal Transport: Coverage, ROC, & Sub-optimality
arxiv.org·1h
🎯Performance Proofs
Flag this post
PCP-GAN: Property-Constrained Pore-scale image reconstruction via conditional Generative Adversarial Networks
arxiv.org·1h
📸PNG Optimization
Flag this post
Small Language Models Offer Significant Potential for Science Community
arxiv.org·1h
🚀SIMD Text Processing
Flag this post
Day 11: Finding Numbers Divisible by 8 with Loops and List Comprehension
📝Concrete Syntax
Flag this post
AdaSPEC: Selective Knowledge Distillation for Efficient Speculative Decoders
arxiv.org·1h
💻Local LLMs
Flag this post
OpenBSD 7.8 Released
🔌Operating system internals
Flag this post
Loading...Loading more...