Search: github.com/LogIN- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

841.

Ask HN: How to test or proove logic programming?

3 points

10 years ago

842.

Detect logical fallacies in text using Haskell (github.com/amsa)

3 points

11 years ago

843.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle (github.com/welltyped-systems)

3 points

5 months ago

844.

Show HN: Mentals – How I Implemented CPU Logic into LLMs (Open-Source) (github.com/turing-machines)

3 points

2 years ago

845.

Regression: Miscompilation due to bug in “mutable noalias” logic (github.com/rust-lang)

3 points

5 years ago

846.

LuaPort: An erlang port for scripting application logic in lua (MIT; v1.0.0) (github.com/asciibeats)

3 points

7 years ago

847.

Parsing packets Erlang style using core.logic (tgk.github.com)

3 points

13 years ago

848.

Show HN: Zift – find authorization logic in your code (github.com/enforceauth)

3 points

a month ago

849.

Show HN: I built "Docker for code", isolate AI logic into semantic containers

3 points

4 months ago

850.

Show HN: Yori – Isolating AI Logic into "Semantic Containers" (Docker for Code)

3 points

4 months ago

851.

SQLite extension to synchronize data using PostgreSQL logical replication (github.com/litesql)

3 points

7 months ago

852.

μLA: Micro Logic Analyzer for RP2040 (github.com/dotcypress)

3 points

8 months ago

853.

Take: Process file lines with a logic-based language (github.com/damianoazzolini)

3 points

10 months ago

854.

Show HN: Take – process file lines with a logic-like language (github.com/damianoazzolini)

3 points

a year ago

855.

Sudoku in clojure/core.logic (gist.github.com)

3 points

14 years ago

856.

ΜLA: Micro Logic Analyzer for RP2040 (github.com/dotcypress)

3 points

2 years ago

857.

Backbone refactoring: moving presentational logic out of the model (abernardes.github.com)

3 points

14 years ago

858.

BlendSQL: Unified dialect for orchestrating SQLite logic and LLM reasoning (github.com/parkervg)

3 points

2 years ago

859.

Kanren: An extensible, lightweight relational/logic programming DSL in Python (github.com/pythological)

3 points

2 years ago

860.

Static code analyzer for Clojure, core.logic unifier search control structures (github.com/jonase)

3 points

14 years ago

861.

QWPython: QuakeWorld dedicated server with game logic translated to Python (github.com/barryp)

3 points

3 years ago

862.

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

3 points

3 years ago

863.

Improve home screen logic, always associate Home screen with an actual tab (github.com/mozilla-mobile)

3 points

4 years ago

864.

Use EEPROMs as programmable logic with PHP (github.com/Manawyrm)

3 points

5 years ago

865.

Show HN: I made a tool for creating Web Apps with spreadsheet logic

3 points

7 years ago

866.

New form of logic. Need help. Not theory, have working models

3 points

7 years ago

867.

Logos 0.1 - Logic Programming for Clojure (github.com/swannodette)

3 points

16 years ago

868.

NeuralNetwork01: I wrote a Perceptron which can learn Boolean Logic Gates (github.com/flouthoc)

3 points

7 years ago

869.

Show HN: Visualizing arithmetic and logical expression evaluation in Swift (github.com/mpangburn)

3 points

8 years ago

870.

Conditional Associative Logic Memory (github.com/CarsonScott)

3 points

9 years ago