Search: github.com/urin | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Show HN: SmoothWAN a simple home internet bonding router using Speedify

github.com/TalalMash

4 years ago

52 points

902.

Show HN: Formal Verification for Machine Learning Models Using Lean 4

github.com/fraware

a year ago

52 points

903.

Simple web server using bash and nc

gist.github.com

11 years ago

52 points

904.

The pain and anguish of using IndexedDB: problems, bugs and oddities

gist.github.com

5 years ago

52 points

905.

NumPy aware dynamic Python compiler using LLVM

github.com/ContinuumIO

14 years ago

52 points

906.

Saving memory using gradient-checkpointing

github.com/openai

8 years ago

52 points

907.

Parse strings using a specification based on the Python format() syntax

github.com/r1chardj0n3s

10 years ago

51 points

908.

Audioflare: An all-in-one AI audio playground using Cloudflare AI Workers

github.com/seanoliver

3 years ago

51 points

909.

RamFuzz: a fuzzer for individual method parameters using LLVM

github.com/dekimir

9 years ago

51 points

910.

Try JavaScript macro expansion using Sweet.js in the browser

voila.github.com

13 years ago

50 points

911.

Show HN: A geometric analysis of Chopin's Prelude No. 4 using 3D topology

github.com/jimishol

4 months ago

50 points

912.

Evolving-Snakes: Snakes from the classic game evolve using a genetic algorithm

github.com/indjev99

9 years ago

50 points

913.

A simple pixel physics simulator in Rust using Macroquad

github.com/gale93

a year ago

50 points

914.

CoroBase: Database engine using C++20 coroutines to hide cache misses

github.com/sfu-dis

6 years ago

49 points

915.

Show HN: Serial communication using the WebAudio API

github.com/cteubank

13 years ago

49 points

916.

Show HN: MemSafeCrypto, Java cryptography primitives using DirectByteBuffer

github.com/andy-goryachev

4 years ago

49 points

917.

Outrun lets you execute a local command using the power of another Linux machine

github.com/Overv

6 years ago

49 points

918.

Show HN: Svgasm – SVG animation from single GIF using tracer

github.com/tomkwok

5 years ago

49 points

919.

Create PostgreSQL extensions using Zig

github.com/xataio

2 years ago

49 points

920.

Discussion: Reduce error handling boilerplate in Golang using '?'

github.com/golang

a year ago

48 points

921.

Can we stop Covid-19 using Bluetooth?

github.com/AVICOT-APP

6 years ago

48 points

922.

Show HN: Flash your ESP32 from the browser using JavaScript

github.com/toitware

5 years ago

48 points

923.

Make images smaller using best-in-class codecs, right in the browser

github.com/GoogleChromeLabs

7 months ago

48 points

924.

Return to abort() – Using code introspection to prevent stack-smashing

github.com/cjdelisle

9 years ago

48 points

925.

Solving a puzzle using the Isabelle proof assistant

gist.github.com

8 years ago

48 points

926.

Constrain – Interactive figures using declarative constraint solving

github.com/andrewcmyers

3 years ago

48 points

927.

GPU-accelerated Llama3.java inference in pure Java using TornadoVM

github.com/beehive-lab

a year ago

48 points

928.

Show HN: Cross-platform dependency manager using bash and cmake

github.com/mulle-nat

10 years ago

47 points

929.

S3Proxy allows applications using the S3 API to access other object stores

github.com/andrewgaul

12 years ago

47 points

930.

Android SMS Gateway Using MQTT

github.com/ibnux

a year ago

47 points