Oracle to offer Google’s Gemini models to customers, accelerating enterprises’ agentic AI journeys
zawya.com·16h
👐Open Source Software
Avalanche stack and real-time streaming applications at Nu
building.nubank.com·12h
🎲Probabilistic Programming
I’ve Cracked the Code for Keeping My Daughter Out of Trouble. It Involves a Horse.
slate.com·16h
🧮Programming Language Theory
Microsoft brings GPT-5 to Copilot
therundown.ai·1d
👐Open Source Software
The "high-level CPU" challenge
yosefk.com·6d·
Discuss: Lobsters, Hacker News, Hacker News
🏗Computer Architecture
Medical Impacts of chatGPT4o: A Running List of Medical Studies
reddit.com·1d·
Discuss: r/chatGPTevidence
🔢Mathematical Logic
feenkcom/gtoolkit v1.0.2051
github.com·14h
🦀Rust
ToxiFrench: Benchmarking and Enhancing Language Models via CoT Fine-Tuning for French Toxicity Detection
arxiv.org·22h
🔗Parser Combinators
5 Flutter Performance Hacks to Boost Your App's Efficiency
dev.to·1d·
Discuss: DEV
📦WebAssembly
⭐ smitajit bufutils.vim
waylonwalker.com·2d
📝Lisp
From Individual to Multi-Agent Algorithmic Recourse: Minimizing the Welfare Gap via Capacitated Bipartite Matching
arxiv.org·22h
⚖Algorithmic Game Theory
Enjoy the Golden Age of LLMs before it ends!!
reddit.com·2d·
Discuss: r/ChatGPT
💾Retrocomputing
💭 Developer Productivity, v2 with ThePrimeagen | Preview - YouTube
waylonwalker.com·2d
🧩Theorem Proving
I organized my entire home using NotebookLM and Obsidian and I’m so glad I did
xda-developers.com·1d
💾Retrocomputing
Memory Matters: Boost Performance with Cache-Friendly Access 🏎️
dev.to·5d·
Discuss: DEV
🧠Memory Management
⭐ rhysd conflict-marker.vim
waylonwalker.com·2d
🐧Linux
⭐ python typeshed
waylonwalker.com·2d
🧮Programming Language Theory
Human-AI collaboration or obedient and often clueless AI in instruct, serve, repeat dynamics?
arxiv.org·22h
🧩Theorem Proving
gpt-oss-120b & gpt-oss-20b Model Card
arxiv.org·22h
🧭SMT Solvers
Rethinking Tokenization for Rich Morphology: The Dominance of Unigram over BPE and Morphological Alignment
arxiv.org·5d
🔗Parser Combinators