bombata053's Top FindsLoading...
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Tetrahedral analog of the Pythagorean theorem
johndcook.com·1d
🔢mathmemathics
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Dive into Systems
diveintosystems.org·1d·
Discuss: Hacker News
🔄Dynamic Programming
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2d·
Discuss: Hacker News
💻programming
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·2d·
Discuss: DEV
λFunctional Programming
Flag this post
How to Design Efficient Memory Architectures for Agentic AI Systems
pub.towardsai.net·9h
🔄Dynamic Programming
Flag this post
Naïve Shuffle Algorithm (2007)
blog.codinghorror.com·1d·
Discuss: Hacker News
🌳Red-Black Trees
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·23h
🌳Red-Black Trees
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.com·19h·
Discuss: DEV
📈Optimization
Flag this post
Kahn’s Algorithm and Cycle Detection in Directed Graphs
dev.to·23h·
Discuss: DEV
🗺️Graph Algorithms
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.com·2d·
Discuss: r/C_Programming
💻programming
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
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·23h
λFunctional Programming
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·1d·
Discuss: Hacker News
💻programming
Flag this post
Towards Automated Petrography
arxiv.org·23h
📈Optimization
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·12h·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·3h·
Discuss: Lobsters, Hacker News
🏗️Design Patterns
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
codalio.com·5h·
Discuss: DEV
🏗️Design Patterns
Flag this post
Petri Dish Neural Cellular Automata
pub.sakana.ai·3h·
Discuss: Hacker News
🏗️Design Patterns
Flag this post
100 Techniques for Writing Readable Rust Code
github.com·17m·
Discuss: r/rust
🔬Static Analysis
Flag this post