Nimony v0.2 โ€“ early preview of Nim 3.0's compiler
nim-lang.github.ioยท2dยท
Discuss: Hacker News
๐Ÿ“ฆOpam
Flag this post
Ajla Tutorial
ajla-lang.czยท5dยท
Discuss: Hacker News
๐Ÿ”ฌStatic Analysis
Flag this post
Lessons from Implementing RAG in 2025
truestate.ioยท6hยท
Discuss: Hacker News
๐ŸงฉParser Combinators
Flag this post
The New Standard of Due Diligence for Buyers Agents in Australia
dev.toยท3hยท
Discuss: DEV
๐Ÿ“ŠRuntime Verification
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.orgยท1d
โ“Existential Types
Flag this post
Geometric Data Valuation via Leverage Scores
arxiv.orgยท10h
๐Ÿ”ขAlgebraic Data Types
Flag this post
Introducing Realm9: Solving Enterprise Environment Chaos with AI
dev.toยท2dยท
Discuss: DEV
๐Ÿ”งDevOps
Flag this post
The older I get, the better my code becomes
dev.toยท12hยท
Discuss: DEV
๐Ÿ”งDevOps
Flag this post
How Artificial Intelligence is Reshaping Food Production and Delivery
dev.toยท4hยท
Discuss: DEV
๐ŸฉนSelf-Healing Systems
Flag this post
Understanding Code Agent Behaviour: An Empirical Study of Success and Failure Trajectories
arxiv.orgยท1d
๐Ÿ”„Reproducible Builds
Flag this post
Building a Production-Ready AI-Powered Robo-Advisor: From Concept to Cloud Deployment
dev.toยท9hยท
Discuss: DEV
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.orgยท6dยท
๐Ÿ—๏ธDune
Flag this post
build system tradeoffs
jyn.devยท3dยท
๐Ÿ—๏ธDune
Flag this post
From Stack to Impact: What Actually Worked in My 3 AI Tool Sites
dev.toยท1dยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
Flag this post
Scaling Coding-Agent RL to 32x H100s. 160% Improvement on Stanford's TBench
github.comยท2dยท
๐ŸŒActivityPub
Flag this post
Automatic Minds: Cognitive Parallels Between Hypnotic States and Large Language Model Processing
arxiv.orgยท1d
๐Ÿ“šAutomata Learning
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.orgยท1d
๐Ÿ“šAutomata Learning
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท5d
๐Ÿ”ฒCellular Automata
Flag this post
High-Throughput HPLC Method Optimization via Bayesian Neural Network & Predictive Maintenance
dev.toยท10hยท
Discuss: DEV
๐Ÿง Automated Reasoning
Flag this post