Best Practices for Building Agentic AI Systems
userjot.com·3d·
Discuss: Hacker News
⚡Proof Automation
Oxlint Introduces Type-Aware Linting Preview
socket.dev·8h·
Discuss: Hacker News
🎯Gradual Typing
Intelligence
halfanhour.blogspot.com·10h·
Discuss: Hacker News
🧠Intelligence Compression
AI coding: plateauing but also accelerating
ghiculescu.substack.com·20h·
Discuss: Substack
📏Code Metrics
A2HCoder: An LLM-Driven Coding Agent for Hierarchical Algorithm-to-HDL Translation
arxiv.org·23h
💻Local LLMs
Escaping the Steamcar Era of AI
speakez.tech·10h·
Discuss: Hacker News
⚡Homebrew CPUs
Tasklin v0.0.3, a simple open-source CLI to automate tasks
dev.to·2h·
Discuss: DEV
🪟Awesome windows command-line
On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation
arxiv.org·23h
🔲Proof Irrelevance
Rationalizing Transformer Predictions via End-To-End Differentiable Self-Training
arxiv.org·23h
🌳Context free grammars
PTMPicker: Facilitating Efficient Pretrained Model Selection for Application Developers
arxiv.org·23h
🌀Brotli Dictionary
From Individual to Multi-Agent Algorithmic Recourse: Minimizing the Welfare Gap via Capacitated Bipartite Matching
arxiv.org·23h
⚡Incremental Computation
A Constant-Time Hardware Architecture for the CSIDH Key-Exchange Protocol
arxiv.org·23h
🌊Stream Ciphers
gpt-oss-120b & gpt-oss-20b Model Card
arxiv.org·23h
📝ABNF Extensions
Understanding Lambda Functions in Python: Definition, Usage, and Applications
dev.to·1h·
Discuss: DEV
λLambda Formalization
Automated Patient Stratification via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·18h·
Discuss: DEV
🧠Machine Learning
Using a local LLM AI agent to solve the N puzzle
dev.to·11h·
Discuss: DEV
🔲Cellular Automata
Dynamic Risk Calibration via Multi-Modal Decentralized Oracle Fusion for DeFi Stability
dev.to·11h·
Discuss: DEV
🤝Distributed Consensus
GPU Costs Melting Your Budget
dev.to·22h·
Discuss: DEV
🌊Streaming Algorithms
ORFuzz: Fuzzing the "Other Side" of LLM Safety -- Testing Over-Refusal
arxiv.org·23h
🐛Fuzzing
The 4 Pillars of Successful LLMOps
thenewstack.io·13h
💻Local LLMs