๐Ÿ“ TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

How Race Conditions Can Break Your System?
linkedin.comยท1dยท
Discuss: DEV
๐Ÿ›ก๏ธMemory Safety
Flag this post
A new paradigm for programming: graph oriented programming
kmx.ioยท8hยท
Discuss: Hacker News
๐ŸชจRocksDB
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.comยท1dยท
Discuss: Lobsters, Hacker News, r/rust
๐Ÿ”€SIMD Programming
Flag this post
Accumulating Context Changes the Beliefs of Language Models
lm-belief-change.github.ioยท1dยท
Discuss: Hacker News
๐Ÿš€MLOps
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.deยท2dยท
Discuss: Hacker News
ฮปFunctional Programming
Flag this post
Automate Slack workflows with LangGraph
scalekit.comยท1dยท
Discuss: DEV
โ˜๏ธCloudflare Workers
Flag this post
Why your AI evals keep breaking
atla-ai.comยท2dยท
Discuss: Hacker News
๐Ÿ“ฑEdge AI
Flag this post
Deep Learning-Driven Kinetic Resolution of Chiral Amino Acids via Engineered Artificial Metalloenzymes
dev.toยท3hยท
Discuss: DEV
๐ŸงฌComputational Biology
Flag this post
Computational Turing Test Reveals Systematic Differences Between Human and AI Language
arxiv.orgยท3h
๐Ÿ“Parsing
Flag this post
Perceptions of AI Bad Behavior: Variations on Discordant Non-Performance
arxiv.orgยท3h
๐Ÿ”ฒCellular Automata
Flag this post
Taming AI Hallucinations: Solving Physics with Reality Checks by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ฑEdge AI
Flag this post
๐Ÿง  Soft Architecture (Part B): Emotional Timers and the Code of Care (Part 5 of the SaijinOS series)
dev.toยท18hยท
Discuss: DEV
๐Ÿ’ฌPrompt Engineering
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
reddit.comยท3dยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.orgยท3d
๐Ÿ“ฑEdge AI
Flag this post
Detached agent chains that work like people do
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Automation
Flag this post
iFlyBot-VLA Technical Report
arxiv.orgยท2d
๐Ÿ“ฑEdge AI
Flag this post
Will Large Language Models Transform Clinical Prediction?
arxiv.orgยท3h
๐Ÿ“NLP
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.toยท2dยท
Discuss: DEV
๐Ÿฆ€Rust
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.orgยท3d
๐ŸŽฏHindley-Milner
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.orgยท3d
๐Ÿ’ฌPrompt Engineering
Flag this post