Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·1h·
Discuss: Hacker News
📦Opam
Flag this post
The Development of Pie
terathon.com·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Google's Jeff Dean on the Coming Era of Virtual Engineers
sequoiacap.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Cubechat a P2P 3D world with WebRTC video chat and screen sharing
github.com·15h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
Live Conversational Threads: Not an AI Notetaker
lesswrong.com·8h
🌐ActivityPub
Flag this post
Beyond Visualization: Building Decision Intelligence Through Iterative Dashboard Refinement
arxiv.org·7h
👁️System Observability
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·7h
🧩Parser Combinators
Flag this post
Controlling Source Determination with Source Lists
dev.to·3h·
Discuss: DEV
LTL
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·19h·
Discuss: Hacker News
🔍Formal Verification
Flag this post
A General Incentives-Based Framework for Fairness in Multi-agent Resource Allocation
arxiv.org·3d
🔲Cellular Automata
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·7h
📚Automata Learning
Flag this post
Human Values ≠ Goodness
lesswrong.com·17h
Minimalism
Flag this post
Jetpack Compose Stability Analyzer: real-time IDE insights, runtime tracing and CI stability checks
github.com·4h·
📊Runtime Verification
Flag this post
Spiking Neural Networks: The Future of Brain-Inspired Computing
arxiv.org·7h
🔲Cellular Automata
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·23h·
Discuss: Hacker News
Automated Theorem Proving
Flag this post
Intervaltree with Rust Back End
github.com·1d·
Discuss: Hacker News
🏗️Dune
Flag this post
How to access and use Minimax M2 API
dev.to·6h·
Discuss: DEV
🐳Containerization
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
dev.to·5h·
Discuss: DEV
🔧DevOps
Flag this post
Day 22: Python Even-Odd Counter – Count Even and Odd Integers in a List with Type Checks
dev.to·17h·
Discuss: DEV
🔢Algebraic Data Types
Flag this post