N-gated Hacker NewsJul 21, 2025
Ah, yes, the enlightening revelation that "dynamic programming" isn't about computers! 🤔 Who knew that #deciphering algorithmic #jargon could lead to the thrilling discovery of ancient dictionary definitions? 📚 Next time on Vidar's Blog: uncover the shocking truth that #spaghetti #code doesn't actually involve pasta. 🍝🙄
https://www.vidarholen.net/contents/blog/?p=1172 #dynamicprogramming #ancientdefinitions #techhumor #HackerNews #ngated
The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming” – Vidar's Blog

Hacker NewsJul 21, 2025

“Dynamic Programming” is not referring to “computer programming”

https://www.vidarholen.net/contents/blog/?p=1172

#HackerNews #DynamicProgramming #ComputerScience #Misconceptions #TechEducation #HackerNews

The key to understanding “Dynamic Programming” is that it’s not referring to “computer programming” – Vidar's Blog

N-gated Hacker NewsJun 20, 2025
🚀 Ah, yes, the riveting world of dynamic programming with Σ-types in Lean—because who wouldn't want to verify their #memoization techniques while sipping on a nice cup of existential dread? 🤓 If you thought solving recursive #algorithms was thrilling, just wait until you read about turning it into a 17-minute snooze-fest! 💤
https://tannerduve.github.io/blog/memoization-sigma/ #dynamicprogramming #Σtypes #Lean #existentialdread #HackerNews #ngated
Verified Dynamic Programming with Σ-types in Lean

1. IntroductionIf you’ve taken an algorithms class, you have likely seen dynamic programming, specifically a technique called memoization. Memoization works to optimize recursive algorithms by caching the solutions to subproblems in a table, and when a subproblem is encountered, it queries the table instead of recomputing the solution. This gives us an exponential performance boost.

Home
Hacker NewsJun 20, 2025

Verified Dynamic Programming with Σ-types in Lean

https://tannerduve.github.io/blog/memoization-sigma/

#HackerNews #Verified #Dynamic #Programming #Σ-types #Lean #DynamicProgramming #LeanLang

Verified Dynamic Programming with Σ-types in Lean

1. IntroductionIf you’ve taken an algorithms class, you have likely seen dynamic programming, specifically a technique called memoization. Memoization works to optimize recursive algorithms by caching the solutions to subproblems in a table, and when a subproblem is encountered, it queries the table instead of recomputing the solution. This gives us an exponential performance boost.

Home
Show threadcodeDude  May 16, 2025

Others important topics

- #BigONotation
- #Recurtion
- #DynamicProgramming
- #FloodFillAlgorthms

Akshat SinghNov 4, 2024

☑️ Day 33/100: #Leetcode daily question

🟥 Question: 2463. Minimum Total Distance Traveled

This is a very good difficult question, and I obviously need to look a solution. Solved it using dp

🐈‍⬛ Check out my #GitHub where I post all the daily streak 🔥 questions and #LeetcodeContest 🏆 solutions

🔗 Solution Link: https://github.com/akshatsingh1718/leetcode/tree/main/minimumTotalDistanceTraveled

🔗 My Leetcode Github: https://github.com/akshatsingh1718/leetcode

#coding #Algorithms #python #dynamicprogramming

Akshat SinghOct 30, 2024

☑️ Day 31/100: #Leetcode daily question

🟨 Question: 2684. Maximum Number of Moves in a Grid

Easy dp question but need to see the solution maybe I was too last to solve that day

🐈‍⬛ Check out my #GitHub where I post all the daily streak 🔥 questions and #LeetcodeContest 🏆 solutions

🔗 Solution Link: https://github.com/akshatsingh1718/leetcode/tree/main/maximumNumberofMovesinaGrid

🔗 My Leetcode Github: https://github.com/akshatsingh1718/leetcode

#coding #python #Algorithms #dynamicprogramming

Akshat SinghOct 28, 2024

☑️ Day 29/100: #Leetcode daily question

🟨 Question: 1277. Count Square Submatrices with All Ones

Medium question and I need to check the solution but good learning

🐈‍⬛ Check out my #GitHub where I post all the daily streak 🔥 questions and #LeetcodeContest 🏆 solutions

🔗 Solution Link: https://github.com/akshatsingh1718/leetcode/tree/main/countSquareSubmatriceswithAllOnes

🔗 My Leetcode Github: https://github.com/akshatsingh1718

#Algorithms #python #coding #dynamicprogramming

leetcode/countSquareSubmatriceswithAllOnes at main · akshatsingh1718/leetcode

Contribute to akshatsingh1718/leetcode development by creating an account on GitHub.

GitHub
Rick Wong – Tech & codeJan 16, 2024

To me this HN thread is pure gold. When I first discovered Dynamic Programming (DP) in Python with the @cache decorator quite late actually, it looked like magic to me. I could not find as much wisdom on it (top search results are all leetcode tutorials) but once again @hn_discussions fill that gap. Will dive deeper into the topic of generative recursion.

#hackernews #dynamicprogramming #dynamic #recursion #python

🧵 HN thread: https://news.ycombinator.com/item?id=38988948

Dynamic programming is not black magic | Hacker News

Beej 💾Jan 14, 2024

On dynamic programming, a good article.

https://qsantos.fr/2024/01/04/dynamic-programming-is-not-black-magic/

#programming #dynamicprogramming #recursion

Dynamic Programming is not Black Magic – Quentin Santos