Formal Methods, Distributed Algorithms, Model Checking, Correctness

Google Aims to Flip the Script on AI Inference with New Ironwood TPUs
hpcwire.comยท1dยท
Discuss: Hacker News
โšกHardware Acceleration
Flag this post
Automate changelogs, versioning, and publishing with Sampo
goulven-clech.devยท2dยท
Discuss: Hacker News
๐Ÿ—๏ธCranelift
Flag this post
Python 3.14 Released and Other Python News for November 2025
realpython.comยท1d
๐ŸPython
Flag this post
2 Years of ML vs. 1 Month of Prompting
levs.fyiยท2dยท
Discuss: Hacker News
๐Ÿ’ฌPrompt Engineering
Flag this post
AI Wealth Managers and Smart Contracts = Dead People Controlling Money Forever
lightcapai.medium.comยท1dยท
Discuss: Hacker News
๐Ÿ’ฐTigerBeetle
Flag this post
Deep Learning for Molecules and Materials
dmol.pubยท1dยท
Discuss: Hacker News
๐Ÿ”ฌDeep Learning
Flag this post
JetBrains/kotlin
github.comยท2d
๐Ÿ“ฆPackage Managers
Flag this post
Build Type-Safe React Forms and Tables with TANCN Visual Builder
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ฆSerde
Flag this post
Automated Anomaly Detection in Blockchain Transactions via Adversarial Graph Neural Networks (AGNN)
dev.toยท7hยท
Discuss: DEV
๐Ÿ”ฌDeep Learning
Flag this post
Best Free Tools for Remote Developers Working Across Time Zones (2025)
dev.toยท1dยท
Discuss: DEV
โฐTime Management
Flag this post
AGRAG: Advanced Graph-based Retrieval-Augmented Generation for LLMs
arxiv.orgยท1d
๐Ÿ”RAG
Flag this post
Enhancing Robustness of Graph Neural Networks through p-Laplacian
arxiv.orgยท1d
๐Ÿ•ธ๏ธGraph Databases
Flag this post
I Found the #1 Cause of Freezes in Your app, and Heres the Proof
dev.toยท16hยท
Discuss: DEV
๐Ÿ”Async Runtimes
Flag this post
Critical Confabulation: Can LLMs Hallucinate for Social Good?
arxiv.orgยท3h
๐Ÿ”ฒCellular Automata
Flag this post
Relation as a Prior: A Novel Paradigm for LLM-based Document-level Relation Extraction
arxiv.orgยท3h
๐ŸŒณTree-sitter
Flag this post
Rethinking Explanation Evaluation under the Retraining Scheme
arxiv.orgยท3h
๐Ÿ’ฌPrompt Engineering
Flag this post
Cracking the Code: Why AI Still Struggles with List Languages by Arvind Sundararajan
dev.toยท2dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
Flag this post
dAttendance: An Agent-First Attendance Platform on Smart Postgres
dev.toยท2dยท
Discuss: DEV
๐Ÿ’ฐTigerBeetle
Flag this post
Why Baidu's AMIS Framework Is an Excellent Design
dev.toยท1dยท
Discuss: DEV
๐ŸŒAxum
Flag this post