Search: github.com/Semantics3 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

2048 As A Service (github.com/Semantics3)

179 points

12 years ago

2.

Show HN: Free, maintenance‑free semantic search and related posts for Hexo (github.com/SemanticSearch-ai)

2 points

5 months ago

3.

Slides: HTML5 Semantics, for humans and machines (chhantyal.github.com)

2 points

14 years ago

4.

SemanticScholarJS (Open Source) (github.com/thomasuebi)

1 point

3 years ago

5.

Diverse Natural Language Inference Collection (github.com/decompositional-semantics-initiative)

1 point

8 years ago

6.

Show HN: An AI-native, offline malware scanner for Linux (it's free) (github.com/metaforensics-ai)

1 point

7 months ago

7.

Semantics of C in K Framework (github.com/kframework)

48 points

5 years ago

8.

KJS: A Complete Formal Semantics of JavaScript (github.com/kframework)

18 points

6 months ago

9.

Show HN: SemanticsAV – Free, offline AI malware scanner for Linux (github.com/metaforensics-ai)

2 points

7 months ago

10.

Path Semantics (github.com/advancedresearch)

2 points

6 years ago

11.

K Semantics of the Ethereum Virtual Machine (EVM) (github.com/kframework)

2 points

9 years ago

12.

Answered Modal Logic CatuṣkoṭI [pdf] (github.com/advancedresearch)

1 point

5 years ago

13.

Following a standard commit format with commit-semantics (github.com/akanshgulati)

1 point

9 years ago

14.

From "hot blonde" to "stepsis": porn titles over time (github.com/dhealy05)

21 points

a year ago

15.

Battle of the Semantics – GraphRag vs. Embeddings (github.com/intellectronica)

1 point

intellectronica

2 years ago

16.

Standardizing Security Semantics of Cross-Site Cookies (github.com/DCtheTall)

1 point

3 years ago

17.

The Effect Semantics Zoo (github.com/lexi-lambda)

2 points

4 years ago

18.

Go: Redefining For Loop Variable Semantics (github.com/golang)

464 points

4 years ago

19.

Show HN: Honker – Postgres NOTIFY/LISTEN Semantics for SQLite (github.com/russellromney)

327 points

russellthehippo

a month ago

20.

Rubysyn: Clarifying Ruby's Syntax and Semantics (github.com/squadette)

72 points

2 months ago

21.

C-mera – Lisp syntax with C semantics (github.com/kiselgra)

59 points

7 years ago

22.

Goless: Go-like semantics built on top of Stackless Python (github.com/rgalanakis)

50 points

12 years ago

23.

Implementation of a RingBuffer in Java with optional FIFO like semantics (github.com/evolvedbinary)

23 points

a year ago

24.

Corrode: Automatic semantics-preserving translation from C to Rust (github.com/jameysharp)

19 points

10 years ago

25.

Show HN: Durable Streams – Kafka-style semantics for client streaming over HTTP (github.com/durable-streams)

10 points

6 months ago

26.

UKV: Modular Transactional NoSQL DBMS Bringing Zero-Copy Semantics to Storage (github.com/unum-cloud)

9 points

3 years ago

27.

Show HN: Xjs – Elixir syntax, JavaScript semantics (or transpilers made easy) (github.com/aaron-lebo)

8 points

10 years ago

28.

New Chat Protocol – XMPP Alternative (Based on XMPP Semantics)

5 points

10 years ago

29.

Show HN: Java RingBuffer implementation with optional FIFO like semantics (github.com/evolvedbinary)

4 points

a year ago

30.

Redefining for Loop Variable Semantics (github.com/golang)

4 points

4 years ago