Skip to content

DEV Community

Algorithms

Heap, Binary Tree, Data Structure it doesn't matter. This tag should be used for anything Algorithm & Data Structure focused.

👋 Sign in for the ability to sort posts by relevant, latest, or top.

Nobuki Fujimoto

Apr 18

Random 3-SAT Phase Transition Revisited: Empirical Reproduction, Lean 4 Formalization, and D-FUMT8 Interpretation Layer

#math #research #lean #algorithms

10 min read

Nobuki Fujimoto

Apr 19

Erdős-Straus Conjecture — Lean 4 Small-n Formalization + Infinite Mod-4 Family

#math #research #lean #algorithms

5 min read

Nobuki Fujimoto

Apr 19

Andrica's Conjecture — A Lean 4 Mathlib-Native Treatment with Structural Sufficient Conditions

#math #research #lean #algorithms

5 min read

Nobuki Fujimoto

Apr 19

Twin Primes Conjecture under Rei-AIOS Lens — A Structural Reinterpretation of Zhang-Maynard Bounded-Gap Results

#math #research #lean #algorithms

6 min read

Apr 18

Maximizing 1s with a Single Flip: An Elegant Application of Kadane's Algorithm

#algorithms #java #programming #leetcode

3 min read

Apr 18

a claude code/codex plugin to run autoresearch on your repository

#claudecode #ai #algorithms

1 min read

Nobuki Fujimoto

Apr 18

Topological and Ergodic Approaches to the Collatz Conjecture: Rei-AIOS vs. Santana (2026)

#math #research #lean #algorithms

7 min read

Matt Frank

Apr 17

Graph Problems in Coding Interviews: BFS, DFS, and Beyond

#graphs #codinginterview #algorithms

7 min read

Apr 17

2026 Goldman Sachs Coding Interview Real Questions & Solutions

#algorithms #career #interview #python

2 min read

Apr 16

Solving School Timetabling with Physics: A Simulated Annealing Approach 🏫⚛️

#programming #javascript #algorithms #node

2 min read

Apr 16

I built a tool that visualizes your code step by step — Recursive

#algorithms #python #typescript #javascript

1 min read

Edmond

Apr 16

Greedy Arrays in PHP

#php #algorithms #performance

1 min read

Ваграм Катранян

Apr 17

LeetCode и алгоритмы: подготовка к стажировке

#programming #computerscience #algorithms

1 min read

Ferruscpp

Apr 16

How I built a Game Theory engine in C++

#showdev #cpp #opensource #algorithms

2 min read

Buffer Overflow

Apr 15

GN: Domain-Adaptive Lossless Compression for LLM Conversation Streams

#llm #rust #compression #algorithms

6 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.