List Question
20 TechQA 2023-07-26T09:58:34.560000Proof of dynamic programming solution for Leetcode 818: Racecar
395 views
Asked by punypaw
Is it safe to swap two integers by `a, b = b, a` in golang?
147 views
Asked by xmllmx
BFS to find unreachable pair of vertices (s, t) from given sets S and T in V of digraph G=(V, E)
40 views
Asked by Martin Stuwe
Correctness of multiplication with overflow detection
214 views
Asked by xamid
Struggling to find loop invariant in power function
122 views
Asked by Jeremy
Optimal placement of assert statements to assure correctness using invariant
90 views
Asked by Robin Andrews
even though my output is same as testcase output hackerrank shows error
43 views
Asked by Eakesh
C++ operators overload, rules for spaces in expression
353 views
Asked by stephane
How to build a proof of correctness in coq for elements_tr
120 views
Asked by Breno
Why does the switch statement not return information to the app?
47 views
Asked by Ian Jaspers
Can someone come up with a kivy python code where we define keys and values
38 views
Asked by Mathew murdock
Is there any 'correct' way of negotiate http quality values / q-factors?
33 views
Asked by pmedia
How do i return more than one result from this if the input have similar value
45 views
Asked by Genesis
What is the best "practice" or form of code in javascript (example)
282 views
Asked by spider
Validity of Hoare triple with unknown variable in program and post-condition?
399 views
Asked by Aryan Agrawal
How does this linked list partitioning algorithm work?
310 views
Asked by יהל הסנאר
Formal proof for a factorial number system algorithm
261 views
Asked by Tiamin
Loop Iterative Program Correctness Example - Loop Invariants and Program Termination
206 views
Asked by Dew Man7
Correctness of Inorder traversal using stacks
309 views
Asked by A1016