Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
331.
AI reviews my mini webserver (gist.github.com)
5 points
todsacerdoti
10 months ago
discuss
332.
Why Lexing and Parsing Should Be Separate (github.com/oils-for-unix)
5 points
todsacerdoti
a year ago
discuss
333.
Iris: A neurosymbolic framework for vulnerability detection in code (github.com/iris-sast)
5 points
todsacerdoti
a year ago
discuss
334.
Binary Lambda Calculus (gist.github.com)
5 points
todsacerdoti
a year ago
discuss
335.
Chocolate-quake: A purist Quake source port (github.com/Henrique194)
5 points
todsacerdoti
a year ago
discuss
336.
Sqlc: Generate type-safe code from SQL (github.com/sqlc-dev)
5 points
todsacerdoti
a year ago
discuss
337.
A Visual Journey Through Async Rust (github.com/alexpusch)
5 points
todsacerdoti
a year ago
discuss
338.
Try: Test anti-framework via CL Condition System (github.com/melisgl)
5 points
todsacerdoti
a year ago
discuss
339.
Bare, a small and modular JavaScript runtime (github.com/holepunchto)
5 points
todsacerdoti
a year ago
discuss
340.
Lean 4, Release v4.17.0 (github.com/leanprover)
5 points
todsacerdoti
a year ago
discuss
341.
Schemesh: A Unix shell and Lisp REPL, fused together (github.com/cosmos72)
5 points
todsacerdoti
a year ago
discuss
342.
Tiny Challenges for Learning WebAssembly (github.com/danprince)
5 points
todsacerdoti
a year ago
discuss
343.
Ugrapheme: Unicode Extended grapheme clusters in nanoseconds (github.com/Z4JC)
5 points
todsacerdoti
2 years ago
discuss
344.
MicroPython v1.22.0 (github.com/micropython)
5 points
todsacerdoti
2 years ago
discuss
345.
Way to improve security of sudo: make a daemon instead of setuid bina (github.com/memorysafety)
5 points
todsacerdoti
3 years ago
discuss
346.
OCamlPro/Owi: OCaml WebAssembly Interpreter (github.com/OCamlPro)
5 points
todsacerdoti
3 years ago
discuss
347.
Dirdiff: Efficiently compute the differences between two directories (github.com/OCamlPro)
5 points
todsacerdoti
4 years ago
discuss
348.
Xmake v2.7.3 Released (github.com/xmake-io)
5 points
todsacerdoti
4 years ago
discuss
349.
Sync a Bitcoin full node using a STARK proof in n(1) time (github.com/lucidLuckylee)
5 points
todsacerdoti
4 years ago
discuss
350.
Coost – A Fantastic C++ Library (github.com/idealvin)
5 points
todsacerdoti
4 years ago
discuss
351.
A command-line tool to create development environments for AI/ML based on build (github.com/tensorchord)
5 points
todsacerdoti
4 years ago
discuss
352.
Checkmake: Experimental Linter/Analyzer for Makefiles (github.com/mrtazz)
5 points
todsacerdoti
4 years ago
discuss
353.
GitHub – chunqiuyiyu/spotlight-wallpaper: Use spotlight lock screen images as w (github.com/chunqiuyiyu)
5 points
todsacerdoti
4 years ago
discuss
354.
GitHub – DanilaFe/matrix-highlight: A decentralized and federated way of annota (github.com/DanilaFe)
5 points
todsacerdoti
4 years ago
discuss
355.
Winamp 2 Reimplemented for the Browser (github.com/captbaritone)
5 points
todsacerdoti
4 years ago
discuss
356.
ASMotor: Powerful macro (cross) assembler package for several CPUs (github.com/asmotor)
5 points
todsacerdoti
5 years ago
discuss
357.
EFlambe: A tool for rapid profiling of Erlang and Elixir applications (github.com/spawnfest)
5 points
todsacerdoti
5 years ago
discuss
358.
Harmonica: A simple, physics-based spring animation library for Go (github.com/charmbracelet)
5 points
todsacerdoti
5 years ago
discuss
359.
Elm-Designer (github.com/passiomatic)
5 points
todsacerdoti
5 years ago
discuss
360.
TrustNet: A comprehensive computational trust system (github.com/cblgh)
5 points
todsacerdoti
6 years ago
discuss
More