Thailand Launches Official Website for 2026 IMF-World Bank Meetings
nationthailand.com·10h
🔢Mathematical Logic
You need a kitchen slide rule
entropicthoughts.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
High school football scores: Week 1
chicago.suntimes.com·14h
🧮Programming Language Theory
Can You Have the Best Tailgate Ever? These Essentials Make Game Day a Guaranteed Win.
popularmechanics.com·2d
🤝Protocol Design
[$] The need to reliably preserve our community history
lwn.net·1d·
Discuss: Hacker News
👐Open Source Software
Long context GPT-OSS fine-tuning
unsloth.ai·16h·
Discuss: Hacker News
🏗Computer Architecture
Notebook Agent
hex.tech·1d·
Discuss: Hacker News
🧩Theorem Proving
Implementing Forth in Go and C
eli.thegreenplace.net·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
📝Lisp
Implementing Asynchronous Human-in-the-Loop Authorization in Python with LangGraph and Auth0
auth0.com·10h
🤝Protocol Design
114-year-old tech company makes deal to become quantum computing leader
finance.yahoo.com·1d
🔐Cryptography
Improving the Fidelity and Performance of a Conceptual Flood Inundation Mapping Approach Using a Machine Learning-Based Surrogate Model
sciencedirect.com·14h
🎲Probabilistic Programming
tokka-bench: evaluate and compare tokenizer performance across languages
bengubler.com·2d·
Discuss: r/LLM
🔗Parser Combinators
How if I want to learn everything?
reddit.com·3d·
Discuss: r/compsci
🔢Mathematical Logic
🚀 Introducing ml_transformer: A Pure Dart ML/NN Library 🎉
dev.to·2h·
Discuss: DEV
🔗Parser Combinators
N+1 Hydra: A Senior Engineer's Guide to strict_loading
dev.to·2d·
Discuss: DEV
🔍Static Analysis
MM-HSD: Multi-Modal Hate Speech Detection in Videos
arxiv.org·6h
📊Information Theory
Prediction of Distant Metastasis for Head and Neck Cancer Patients Using Multi-Modal Tumor and Peritumoral Feature Fusion Network
arxiv.org·6h
🎲Probabilistic Programming
The Unveiled Impact of Artificial Intelligence on Small Business Growth and Productivity
dev.to·1d·
Discuss: DEV
⚖️Logic Programming
PromptSleuth: Detecting Prompt Injection via Semantic Intent Invariance
arxiv.org·6h
🧭SMT Solvers
Verification Fails To Keep Up
semiengineering.com·1d
🧩Theorem Proving