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...