TLA+ Modeling of AWS outage DNS race condition
🌳Elm
Flag this post
Creating Lisp Systems
📐Haskell
Flag this post
How to turn Defender & Sentinel alerts into actionable threat intelligence
vmray.com·2d
🌳Elm
Flag this post
Show HN: Computational Metaphysics: Zeroth Implementation of Grover's and Shor's
🧮Functional Programming
Flag this post
How We're Trying to Solve Vibe-Coded PRs
idiallo.com·10h
🌳Elm
Flag this post
PSA Kimi K2 Thinking seems to currently be broken for most agents because of tool calling within it's thinking tags
❄️Nix
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·5d
🧮Functional Programming
Flag this post
Resource recommendations for someone with a degree but little practical experience
🦀Rust
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
🧮Functional Programming
Flag this post
InfiMed-ORBIT: Aligning LLMs on Open-Ended Complex Tasks via Rubric-BasedIncremental Training
🧮Functional Programming
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·3d
🧮Functional Programming
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
🧮Functional Programming
Flag this post
Are We Aligned? A Preliminary Investigation of the Alignment of Responsible AI Values between LLMs and Human Judgment
arxiv.org·2d
🧮Functional Programming
Flag this post
n-ary Huffman coding
lesswrong.com·16h
❄️Nix
Flag this post
Loading...Loading more...