Search: github.com/T8RIN | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

HTTP/1.1 Pipelining for DoH

1 point

5 years ago

92.

SVG Is Turing Complete (github.com/tom-p-reichel)

101 points

7 years ago

93.

X86 MMU fault handling is turing complete (github.com/jbangert)

417 points

13 years ago

94.

Show HN: Using SQL's Turing completeness to build Tetris (github.com/nuno-faria)

338 points

2 years ago

95.

Show HN: GPT-4 Reverse Turing Test (gist.github.com)

288 points

3 years ago

96.

X86 mov is turing complete: mov-only compiler (github.com/xoreaxeaxeax)

238 points

11 years ago

97.

TypeScripts Type System Is Turing Complete (github.com/Microsoft)

221 points

9 years ago

98.

Show HN: Flowcode – Turing-complete visual programming platform (app.getflowcode.io)

176 points

a year ago

99.

Genesis: an interpreted, Turing-complete Paleo-Hebrew programming language (github.com/elonlit)

157 points

4 years ago

100.

Dhall: a programmable configuration language that is not Turing-complete (github.com/dhall-lang)

157 points

9 years ago

101.

HTML + CSS3 is Turing complete (github.com/elitheeli)

152 points

15 years ago

102.

Neural Turing Machine in Tensorflow (github.com/carpedm20)

99 points

10 years ago

103.

Avelon: Turing complete, functional language with concatenative combinators (github.com/dmbarbour)

77 points

8 years ago

104.

Tell HN: The Turing.com hiring platform is complete nonsense

51 points

2 years ago

105.

TypeScript's Type System Is Turing Complete (2017) (github.com/microsoft)

49 points

5 years ago

106.

Lurk – A Turing-complete programming language for ZK-SNARKs (github.com/lurk-lab)

33 points

10 months ago

107.

A tweetable Turing machine (gist.github.com)

30 points

11 years ago

108.

A compiler for a fully Turing complete language in 20 lines of JavaScript (github.com/olahol)

15 points

10 years ago

109.

Ted: Tool for editing files according to the rules of a provided Turing Machine (github.com/ahalbert)

13 points

a year ago

110.

Show HN: Bubble sort on a Turing machine (github.com/purplejacket)

12 points

4 months ago

111.

A proof that Meson is Turing-Complete (github.com/xorvoid)

11 points

2 years ago

112.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing (github.com/sethirus)

9 points

5 months ago

113.

A turing machine whose tape is implemented with just two numbers (github.com/stevenheidel)

8 points

11 years ago

114.

Show HN: Enigma Machine and Bombe Implemented in eBPF – Turing's 113th Birthday (github.com/aanm)

5 points

a year ago

115.

Total languages do not escape the halting problem – a trinary proof sketch (github.com/HowWeLand)

4 points

3 months ago

116.

Quarkdown: Turing-Complete Extension of Markdown (github.com/iamgio)

4 points

a year ago

117.

Show HN: Universal Turing Machine Simulator (github.com/SriLikesToSing)

4 points

3 years ago

118.

Show HN: MarbleComplete – 2d esolang for designing turing-complete marble towers (github.com/aaronduino)

4 points

9 years ago

119.

New state of the art Turing test: drawing a Rubik's Cube (gist.github.com)

4 points

a year ago

120.

Show HN: Interpreter for a simple, Turing-complete language written in Elixir (github.com/ashton314)

4 points

5 years ago