#dynamicprogramming — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #dynamicprogramming, aggregated by home.social.
-
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 -
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 -
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 -
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 -
“Dynamic Programming” is not referring to “computer programming”
https://www.vidarholen.net/contents/blog/?p=1172
#HackerNews #DynamicProgramming #ComputerScience #Misconceptions #TechEducation #HackerNews
-
🚀 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 -
🚀 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 -
🚀 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 -
🚀 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
https://tannerduve.github.io/blog/memoization-sigma/
#HackerNews #Verified #Dynamic #Programming #Σ-types #Lean #DynamicProgramming #LeanLang
-
For future reference, adding relevant tags:
#EditDistance #Levenshtein #DynamicProgramming -
#ecoevo folks #introductions #introduction. I am a former #evolutionary #ecologist. DPhil #UYorkUK #evolutionarydynamics (#adaptivedynamics) #populationdynamics #gametheory #dynamicalsystems #evolutionarystablestrategies #ESS. Postdoc #ULeiden continued this. Postdoc #UCambridge #lifehistoryevolution #soaysheepproject #modelling #reproductivestrategies #dynamicprogramming #fielddata
Where did this lead to? Recruitment into business for #bioinspiredcomputing -
#ecoevo folks #introductions #introduction. I am a former #evolutionary #ecologist. DPhil #UYorkUK #evolutionarydynamics (#adaptivedynamics) #populationdynamics #gametheory #dynamicalsystems #evolutionarystablestrategies #ESS. Postdoc #ULeiden continued this. Postdoc #UCambridge #lifehistoryevolution #soaysheepproject #modelling #reproductivestrategies #dynamicprogramming #fielddata
Where did this lead to? Recruitment into business for #bioinspiredcomputing -
#ecoevo folks #introductions #introduction. I am a former #evolutionary #ecologist. DPhil #UYorkUK #evolutionarydynamics (#adaptivedynamics) #populationdynamics #gametheory #dynamicalsystems #evolutionarystablestrategies #ESS. Postdoc #ULeiden continued this. Postdoc #UCambridge #lifehistoryevolution #soaysheepproject #modelling #reproductivestrategies #dynamicprogramming #fielddata
Where did this lead to? Recruitment into business for #bioinspiredcomputing -
#ecoevo folks #introductions #introduction. I am a former #evolutionary #ecologist. DPhil #UYorkUK #evolutionarydynamics (#adaptivedynamics) #populationdynamics #gametheory #dynamicalsystems #evolutionarystablestrategies #ESS. Postdoc #ULeiden continued this. Postdoc #UCambridge #lifehistoryevolution #soaysheepproject #modelling #reproductivestrategies #dynamicprogramming #fielddata
Where did this lead to? Recruitment into business for #bioinspiredcomputing -
#ecoevo folks #introductions #introduction. I am a former #evolutionary #ecologist. DPhil #UYorkUK #evolutionarydynamics (#adaptivedynamics) #populationdynamics #gametheory #dynamicalsystems #evolutionarystablestrategies #ESS. Postdoc #ULeiden continued this. Postdoc #UCambridge #lifehistoryevolution #soaysheepproject #modelling #reproductivestrategies #dynamicprogramming #fielddata
Where did this lead to? Recruitment into business for #bioinspiredcomputing -
#ecoevo folks #introductions #introduction. I am a former #evolutionary #ecologist. DPhil #UYorkUK #evolutionarydynamics (#adaptivedynamics) #populationdynamics #gametheory #dynamicalsystems #evolutionarystablestrategies #ESS. Postdoc #ULeiden continued this. Postdoc #UCambridge #lifehistoryevolution #soaysheepproject #modelling #reproductivestrategies #dynamicprogramming #fielddata
Where did this lead to? Recruitment into business for #bioinspiredcomputing -
#ecoevo folks #introductions #introduction. I am a former #evolutionary #ecologist. DPhil #UYorkUK #evolutionarydynamics (#adaptivedynamics) #populationdynamics #gametheory #dynamicalsystems #evolutionarystablestrategies #ESS. Postdoc #ULeiden continued this. Postdoc #UCambridge #lifehistoryevolution #soaysheepproject #modelling #reproductivestrategies #dynamicprogramming #fielddata
Where did this lead to? Recruitment into business for #bioinspiredcomputing -
#ecoevo folks #introductions #introduction. I am a former #evolutionary #ecologist. DPhil #UYorkUK #evolutionarydynamics (#adaptivedynamics) #populationdynamics #gametheory #dynamicalsystems #evolutionarystablestrategies #ESS. Postdoc #ULeiden continued this. Postdoc #UCambridge #lifehistoryevolution #soaysheepproject #modelling #reproductivestrategies #dynamicprogramming #fielddata
Where did this lead to? Recruitment into business for #bioinspiredcomputing -
#ecoevo folks #introductions #introduction. I am a former #evolutionary #ecologist. DPhil #UYorkUK #evolutionarydynamics (#adaptivedynamics) #populationdynamics #gametheory #dynamicalsystems #evolutionarystablestrategies #ESS. Postdoc #ULeiden continued this. Postdoc #UCambridge #lifehistoryevolution #soaysheepproject #modelling #reproductivestrategies #dynamicprogramming #fielddata
Where did this lead to? Recruitment into business for #bioinspiredcomputing -
#ecoevo folks #introductions #introduction. I am a former #evolutionary #ecologist. DPhil #UYorkUK #evolutionarydynamics (#adaptivedynamics) #populationdynamics #gametheory #dynamicalsystems #evolutionarystablestrategies #ESS. Postdoc #ULeiden continued this. Postdoc #UCambridge #lifehistoryevolution #soaysheepproject #modelling #reproductivestrategies #dynamicprogramming #fielddata
Where did this lead to? Recruitment into business for #bioinspiredcomputing -
☑️ 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
-
☑️ 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
-
☑️ 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
-
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
-
On dynamic programming, a good article.
https://qsantos.fr/2024/01/04/dynamic-programming-is-not-black-magic/
-
CW: Advent of Code Day 12 Spoilers
#AdventOfCode 2023 Day 12
Oh my god, I had too much trouble with this. Haven't done #DynamicProgramming in years, so I completely spaced it until my solution was taking forever.
Memoization gave at a considerable speed boost. It's not the best solution, and it's far from readable, but it gets the job done and still takes under a second on my machine.
https://codeberg.org/Taywee/AdventOfCode-2023/src/branch/main/src/bin/day12.rs
-
Check out the DPSolve program now!
https://sites.google.com/view/dpsolve2023/program
It will be a decision diagram-heavy program with an invited talk by @ryanjoneil!
#CP2023conf #ConstraintProgramming #DynamicProgramming #ArtificialIntelligence #AI #AcademicMastodon #DecisionDiagrams #AcademicChatter
-
Zapis bracket counting problem in #calculang and visual/interactive (converted from #Haskell solution)
https://observablehq.com/@declann/zapis-bracket-counting-problem
-
4/
Fourth: Models and Solvers for Dynamic Programming, organised by Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, and Willem van Hoeve.
Submission deadline: July 10, 2023
https://sites.google.com/view/dpsolve2023
#CP2023 #DynamicProgramming #CallForPapers #CP2023conf #ConstraintProgramming #ArtificialIntelligence #AI #Solvers
-
If you don't care what your mid-circuit measurements are, you can re-use a single classical register.
https://bsiegelwax.medium.com/dynamic-quantum-circuits-lesson-7-f2c3e8f391e #quantumcomputing #dynamicprogramming
-
Dynamic Programming is one way to arrive at the solution of the Markov Decision Process or MDP used in Reinforcement Learning (RL) problems.
In the third article on the Foundational RL series, I discuss dynamic programming and briefly talk about Approximate Dynamic Programming.
https://towardsdatascience.com/foundational-rl-dynamic-programming-28f96f6fb40e
#controlsystems #controltheory #controlengineering #engineering #learning #rl #reinforcementlearning #datascience #machinelearning #ml #ai #autonomousdriving #robotics #dynamicprogramming
-
I sometimes post quantum-related "easy listening" for your weekends. Here's some quantum-related uneasy listening for your Monday evening....
https://www.youtube.com/watch?v=y7kbuxEltYc #quantumcomputing #dynamicprogramming #qiskit #Philippines
-
Closing time effect: towards the end of the mating season, your acceptance threshold decreases (or the partner's attractiveness increases). Congratulation to Louise for this nice theoretical analysis. #science #biology #evolution #gametheory #decisionrule #animalbehaviour #model #dynamicprogramming
📄 Chevalier et al (2020) Fluctuating dynamics of mate availability promote the evolution of flexible choosiness in both sexes. American Naturalist http://dx.doi.org/10.1086/711417 -
4/
Fourth: Models and Solvers for Dynamic Programming, organised by Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, and Willem van Hoeve.
Submission deadline: July 10, 2023
https://sites.google.com/view/dpsolve2023
#CP2023 #DynamicProgramming #CallForPapers #CP2023conf #ConstraintProgramming #ArtificialIntelligence #AI #Solvers
-
4/
Fourth: Models and Solvers for Dynamic Programming, organised by Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, and Willem van Hoeve.
Submission deadline: July 10, 2023
https://sites.google.com/view/dpsolve2023
#CP2023 #DynamicProgramming #CallForPapers #CP2023conf #ConstraintProgramming #ArtificialIntelligence #AI #Solvers
-
4/
Fourth: Models and Solvers for Dynamic Programming, organised by Chris Beck, Xavier Gillard, Ryo Kuroiwa, Laurent Michel, Pierre Schaus, and Willem van Hoeve.
Submission deadline: July 10, 2023
https://sites.google.com/view/dpsolve2023
#CP2023 #DynamicProgramming #CallForPapers #CP2023conf #ConstraintProgramming #ArtificialIntelligence #AI #Solvers
