Search: github.com/LogIN- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

871.

Sniff your Game Boy's LCD using a logic analyzer (github.com/svendahlstrand)

3 points

9 years ago

872.

Ask HN: Using GPT as a logic circuit instead of a text generator – Anyone tried?

2 points

a year ago

873.

ChatGPT struggles with a simple logic problem (gist.github.com)

2 points

4 years ago

874.

QuantumAccel: A High Performance Quantum-Inspired Logic Library in Rust+Python (github.com/fikayoAy)

2 points

AyodeleFikayomi

a year ago

875.

Stop logical fallacies in their tracks with Fallogical (github.com/zajako)

2 points

a year ago

876.

Show HN: SHDL – A minimal hardware description language built from logic gates (github.com/rafa-rrayes)

2 points

4 months ago

877.

Show HN: Hound – AI agents that find deep logic bugs in codebases (github.com/muellerberndt)

2 points

9 months ago

878.

.aix – A portable execution format for scoped AI (personas, tools, and logic) (github.com/mjtiv)

2 points

10 months ago

879.

Show HN: Decision-layer – your refund logic doesn't belong in Slack (github.com/data-riot)

2 points

a year ago

880.

Reactjs/Flux: Where to put database api logic? Store or actions?

2 points

11 years ago

881.

Logic of a DHT in 100 lines of Go... (gist.github.com)

2 points

12 years ago

882.

Show HN: GatePlay, HTML5 logic circuit simulator (greglo.github.io)

2 points

12 years ago

883.

Stalwart-Sentinel – A physics-based logic gate to stop AI hallucinations (github.com/taxischramm347-pixel)

2 points

2 months ago

884.

Chip Design – New Open Source LEC(Logic Equivalence Checking) (github.com/keplertech)

2 points

4 months ago

885.

A Copernican Revolution for State Machines – Logic as the Center of Gravity (github.com/deramazesaa-web)

2 points

4 months ago

886.

A cute logical game (cross-platform) (github.com/vsnits)

2 points

3 years ago

887.

A Path from Logic to Metaphysics – Per Martin-Löf, 1991 [pdf] (github.com/michaelt)

2 points

5 years ago

888.

A Java s-expression evaluator to express logic as part of data (github.com/kannangce)

2 points

6 years ago

889.

Pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming (github.com/preston)

2 points

6 years ago

890.

Rulog – logic programming system for ruby (github.com/jimwise)

2 points

11 years ago

891.

PostgreSQL 9.4 logical decoder plugin to deliver data as Protocol Buffers (github.com/xstevens)

2 points

11 years ago

892.

New Logical Language Initiative (github.com/LogosInitiative)

2 points

12 years ago

893.

Lergic: An embedded datalog-like logic programming DSL for Erlang. (github.com/JoeOsborn)

2 points

12 years ago

894.

Complex .ssh/config? Using Chef/Puppet? Break them into small logical chunks. (github.com/zippykid)

2 points

13 years ago

895.

Cascalog - Logic Programming in Hadoop with Clojure (alexrobbins.github.com)

2 points

13 years ago

896.

Caledon 2.0: A dependently typed metaprogramming logic language (github.com/mmirman)

2 points

13 years ago

897.

Elevate: a RubyMotion gem that isolates your app logic (github.com/mattgreen)

2 points

13 years ago

898.

NELA – Net-Based Executable Logic Automaton (github.com/heikowagner)

2 points

13 days ago

899.

Improved testing logic in od.nvim, added a serializers module to ocote

2 points

a month ago

900.

Show HN: EDDI – Multi-agent AI engine where agent logic lives in JSON, not code (github.com/labsai)

2 points

2 months ago