Search: github.com/d2fn | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Shades: In-memory OLAP cubing, histograms, and more (github.com/d2fn)

35 points

13 years ago

2.

Gopack: dependency management for go (github.com/d2fn)

4 points

13 years ago

3.

Show HN: ClawShield – Open-source firewall for agent-to-agent AI communication

2 points

4 months ago

4.

Show HN: ClawShield – Open-source firewall for agent-to-agent AI communication (github.com/DEFNOISE-AI)

1 point

4 months ago

5.

Dafny – A programming language with a program verifier (github.com/Microsoft)

165 points

9 years ago

6.

Dafny is a verification-aware programming language (github.com/dafny-lang)

107 points

2 years ago

7.

Dafny: verification-aware programming language (github.com/Microsoft)

78 points

8 years ago

8.

Dafny: Verification-Aware Programming Language (github.com/dafny-lang)

64 points

6 years ago

9.

You Are Doing JSON APIs Wrong (“foo”:{}, not “type”: “foo”) (gist.github.com)

46 points

FeepingCreature

4 years ago

10.

Co-Dfns v5.7.0 (github.com/Co-dfns)

39 points

2 years ago

11.

Maze generation code, inspired by working through Mazes for Programmers (github.com/defndaines)

26 points

9 years ago

12.

Dafny: a verification-aware programming language (github.com/Microsoft)

11 points

10 years ago

13.

Co-dfns: High-performance, reliable, and parallel APL (github.com/Co-dfns)

5 points

a year ago

14.

A Very Small SAT Solver (From Haskell) Now in Dafny, Proved Correct with LLMs (github.com/namin)

4 points

4 months ago

15.

Maze generation code, inspired by Mazes for Programmers (github.com/defndaines)

4 points

9 years ago

16.

Co-Dfns: High-Performance, Reliable, and Parallel APL (github.com/Co-dfns)

3 points

6 years ago

17.

Pixelflut (github.com/defnull)

2 points

2 years ago

18.

Rope in Dafny (github.com/SwampertX)

2 points

3 years ago

19.

Co-Dfns (github.com/Co-dfns)

2 points

3 years ago

20.

Objective-C Exam (gist.github.com)

2 points

6 years ago

21.

Dafny: Verification-Aware Programming Language (github.com/Microsoft)

2 points

7 years ago

22.

Dafny: Verification-Aware Programming Language from Microsoft (github.com/Microsoft)

2 points

10 years ago

23.

Adaptive Dynamic Prompt idea - ChatGPT writes its own prompt (gist.github.com)

1 point

3 years ago

24.

Pixelflut: Multiplayer Canvas (github.com/defnull)

1 point

2 years ago

25.

Dafny -a verification-aware programming language from Microsoft (github.com/Microsoft)

1 point

10 years ago

26.

Co-Dfns: High-Performance, Reliable, and Parallel APL (github.com/arcfide)

80 points

10 years ago

27.

Co-dfns APL Compiler Release 2016.8.1 (github.com/arcfide)

16 points

10 years ago

28.

Dafny Autopilot (github.com/Beneficial-AI-Foundation)

1 point

2 years ago

29.

A Guided Tour of Clojure Destructuring Bind in Emacs Lisp (2011) (github.com/VincentToups)

59 points

9 years ago

30.

Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny (github.com/midspiral)

5 points

a month ago