Search: github.com/loggi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

Show HN: WIP NandToTetris Emulator in pure C – logic gates to ALU to CPU to PC (github.com/con-dog)

43 points

a year ago

932.

Removing Quora, Pintererst, Instagram and other login-walls with uBlockOrigin

41 points

6 years ago

933.

Generic engine to evaluate logical circuits on homomorphic encryption (github.com/virtualsecureplatform)

38 points

5 years ago

934.

Show HN: PyNeuraLogic: Python Differentiable Logic Programs (github.com/LukasZahradnik)

37 points

4 years ago

935.

Jellyfin dev: Apple charged $100, then decided to ban me. Hadn't even logged in. (github.com/jellyfin)

36 points

4 years ago

936.

Ask HN: How to call functions and do basic math in Clojure and core.logic? (gist.github.com)

36 points

10 years ago

937.

Mycroft – A distributed declarative logic language (github.com/enkiv2)

27 points

11 years ago

938.

PgDog is a transaction pooler logical replication manager can shard PostgreSQL (github.com/pgdogdev)

27 points

a year ago

939.

Aristotle – Ruby business logic engine, inspired by Cucumber (github.com/apprentus)

26 points

12 years ago

940.

Show HN: federated login for Common Lisp webapps (github.com/avodonosov)

24 points

13 years ago

941.

Libg203lightsync: Lib for interacting with the Logitech G203 LS mouse (github.com/carlos-menezes)

23 points

2 years ago

942.

Show HN: Use an EEPROM as Programmable Logic (github.com/DusteDdk)

22 points

3 years ago

943.

Terminal emulator requires SSO login and transfers telemetry associated to email (github.com/warpdotdev)

22 points

4 years ago

944.

Carnap – A formal logic framework that runs in the browser (github.com/Carnap)

22 points

4 years ago

945.

Show HN: I've made an easy to extend and flexible JavaScript logger (github.com/inshinrei)

17 points

10 months ago

946.

DCI and Decoupling Business Logic from Ruby on Rails Part 1 (lancecarlson.github.com)

17 points

14 years ago

947.

Show HN: Sangati, a logical consistency checker for data (github.com/alienfluid)

17 points

9 years ago

948.

Show HN: TypeScript as a proof assistant for intuitionistic propositional logic (gist.github.com)

17 points

a year ago

949.

Show HN: Entish: A language for implementing RPG rules in formal logic (github.com/etherealmachine)

17 points

etherealmachine

5 years ago

950.

Flaw in GitHub OAuth logic allowed unrestricted access to private repositories

17 points

8 years ago

951.

Dotted Version Vectors: Logical Clocks for Eventually Consistent Systems (github.com/ricardobcl)

16 points

11 years ago

952.

Logic Production Systems runtime implemented in JavaScript (github.com/mauris)

14 points

8 years ago

953.

Show HN: A Browser-Only Dream Interpreter Using Symbol Logic and JavaScript (github.com/Dino-Nuggies45)

12 points

a year ago

954.

Show HN: Tiny Hoare logic verifier using SMT (github.com/namin)

12 points

a year ago

955.

Show HN: Envoy – Command Logger (github.com/heyyviv)

11 points

9 months ago

956.

Show HN: WFGY – A reasoning engine that repairs LLM logic without retraining (github.com/onestardao)

11 points

a year ago

957.

Show HN: Simplog – Simple logger with no dependencies written in 170 Lines of go (github.com/nikoksr)

11 points

6 years ago

958.

Show HN: Chrome extension to bypass that fake-login-wall on Quora (github.com/sdegutis)

11 points

10 years ago

959.

Show HN: AES-256 brute force using structured logic (UUIDs and xy = x/y rule) (github.com/ElSolem)

11 points

a year ago

960.

Show HN: I built a dream interpreter in JavaScript, no AI, no server, just logic (github.com/Dino-Nuggies45)

10 points

a year ago