Just Don’t
aartaka.me·2h·
Discuss: r/programming
⚙Functional Programming
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·4h
🧮Programming Language Theory
Postgres Replication Slots: Confirmed Flush LSN vs. Restart LSN
morling.dev·10h·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Mithril launches omnicloud for compute and batch inference
mithril.ai·1d·
Discuss: Hacker News
🌍Distributed Systems
Genie 3: A new frontier for world models
deepmind.google·8h·
Discuss: Hacker News
🎲Probabilistic Programming
Show HN: Elf0 – Build and run AI agent workflows in YAML (CLI)
elf0.com·6h·
Discuss: Hacker News
🧩Theorem Proving
Simulated Society of 10k AI Agents
theunwindai.com·1d·
Discuss: Hacker News
🧫Cellular Automata
Lightweight Backbone Networks Only Require Adaptive Lightweight Self-Attention Mechanisms
arxiv.org·18h
🔗Parser Combinators
Enhanced Enzyme Cascade Optimization via Adaptive Multi-Objective Bayesian Reinforcement Learning
dev.to·12h·
Discuss: DEV
🧩Theorem Proving
Building a Real-Time Movie Sync App with React, Firebase, and WebSockets
dev.to·1d·
Discuss: DEV
🏗️Software Architecture
Kimi K2 vs Grok 4: Which AI Model Codes Better?
dev.to·8h·
Discuss: DEV
🧮Programming Language Theory
An Evolving Scenario Generation Method based on Dual-modal Driver Model Trained by Multi-Agent Reinforcement Learning
arxiv.org·18h
🎲Probabilistic Programming
LLMs won't save you from bad software engineering culture
atelfo.github.io·1d·
Discuss: Hacker News
🔧Compiler Design
Getting Started with AWS Bedrock AgentCore : Part 1
dev.to·9h·
Discuss: DEV
🦀Rust
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Looking for a Simple No-Code Workflow Engine in Go
reddit.com·1d·
Discuss: r/golang
👐Open Source Software
An equivalence between time-symmetry and cyclic causality in quantum theory
arxiv.org·18h
🔐Cryptography
Nakamoto Consensus from Multiple Resources
arxiv.org·18h
🤝Protocol Design
KCR: Resolving Long-Context Knowledge Conflicts via Reasoning in LLMs
arxiv.org·18h
🧭SMT Solvers
MOPrompt: Multi-objective Semantic Evolution for Prompt Optimization
arxiv.org·18h
🔗Parser Combinators