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
Frugal Async Rust
worm-blossom.org·1d·
Discuss: Hacker News
🦀Rust Async
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·3h·
Discuss: DEV
📦Serde
Flag this post
Confidentiality in a Card-Based Protocol Under Repeated Biased Shuffles
arxiv.org·2d
#️⃣Hash Tables
Flag this post
Automated Anomaly Detection in Blockchain Transactions via Adversarial Graph Neural Networks (AGNN)
dev.to·5h·
Discuss: DEV
🔬Deep Learning
Flag this post
AGRAG: Advanced Graph-based Retrieval-Augmented Generation for LLMs
arxiv.org·1d
🔍RAG
Flag this post
I Found the #1 Cause of Freezes in Your app, and Heres the Proof
dev.to·13h·
Discuss: DEV
🔁Async Runtimes
Flag this post
Critical Confabulation: Can LLMs Hallucinate for Social Good?
arxiv.org·43m
🔲Cellular Automata
Flag this post
Rethinking Explanation Evaluation under the Retraining Scheme
arxiv.org·43m
💬Prompt Engineering
Flag this post
Relation as a Prior: A Novel Paradigm for LLM-based Document-level Relation Extraction
arxiv.org·43m
🌳Tree-sitter
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Flag this post
TriShGAN: Enhancing Sparsity and Robustness in Multivariate Time Series Counterfactuals Explanation
arxiv.org·1d
⏱️Time Series Analysis
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
OvA-LP: A Simple and Efficient Framework for Federated Learning on Non-IID Data
arxiv.org·2d
📱Edge AI
Flag this post
dAttendance: An Agent-First Attendance Platform on Smart Postgres
dev.to·1d·
Discuss: DEV
💰TigerBeetle
Flag this post