Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.net·1d·
Discuss: DEV
⏱️Computational Complexity
Flag this post
Computer Science Fundamentals: From Binary Systems to Algorithms
dev.to·3h·
Discuss: DEV
📊Data Structures
Flag this post
Entropy in algorithm analysis
11011110.github.io·2d
⏱️Computational Complexity
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·1d·
Discuss: Hacker News
🎨Computer Graphics
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
λFunctional Programming
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·14h
λFunctional Programming
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·14h
🌳Red-Black Trees
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·18h·
Discuss: Hacker News
🔄Dynamic Programming
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·10h·
Discuss: DEV
λFunctional Programming
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·4h·
Discuss: Hacker News
λFunctional Programming
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·20h·
Discuss: DEV
🏗️Design Patterns
Flag this post
How Transformer Models Detect Anomalies in System Logs
hackernoon.com·1d
🌳Red-Black Trees
Flag this post
Disciplined Biconvex Programming
arxiv.org·14h
📈Optimization
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1d·
Discuss: Substack
⏱️Computational Complexity
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
lightcapai.medium.com·1h·
Discuss: Hacker News
λFunctional Programming
Flag this post
This is one way I use AI for coding
dev.to·1d·
Discuss: DEV
⚙algorithms
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·14h
⚙algorithms
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·3h
🔢mathmemathics
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Writing Your First Compiler - Part 2: What Is a Compiler?
en.wikipedia.org·2d·
Discuss: DEV
λFunctional Programming
Flag this post