Search: github.com/xxh | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Show HN: TypeScript as a proof assistant for intuitionistic propositional logic

gist.github.com

a year ago

17 points

302.

Show HN: VoiceGoat – A vulnerable voice agent for practicing LLM attacks

github.com/redcaller

2 months ago

14 points

303.

Show HN: Dataroom – a Pi and self-hosted research harness on low-budget GPU

github.com/hanxiao

21 days ago

7 points

304.

Show HN: Embedding a Prolog-like logic programming language in JavasScript

github.com/xieyuheng

5 years ago

7 points

305.

Show HN: Generic monitoring for express web apps

github.com/andreas-marschke

10 years ago

7 points

306.

Edifice: Declarative GUI Framework for Python and Qt

github.com/pyedifice

2 years ago

6 points

307.

Windows Subsystem for Linux (WSL)

github.com/microsoft

a year ago

5 points

308.

Show HN: X – A programming language with switchable memory modes

github.com/xdotxxx

8 days ago

5 points

309.

K2VV: Wild Precision Gaps Across "Kimi K2" API Vendors

github.com/MoonshotAI

9 months ago

4 points

310.

Jina: The cloud-native neural search framework powered by AI and deep learning

github.com/jina-ai

6 years ago

4 points

311.

GNES-Generic Neural Elastic Search, a Cloud-Native OSS for Searching Everything

github.com/gnes-ai

7 years ago

4 points

312.

A few thoughts (about programming)

github.com/xquery

5 years ago

3 points

313.

A very simple desktop app that can send raw http requests

10 years ago

3 points

314.

Show HN: Simple peer-to-peer screen sharing

github.com/screensy

5 years ago

3 points

315.

Practical Natural Language Processing Done in Ruby

github.com/arbox

9 years ago

3 points

316.

WebView2 content is unexpectedly rendered in dark mode when Windows in dark mode

github.com/MicrosoftEdge

8 months ago

3 points

317.

Show HN: Stream your movies to the browser in 150 LOC

github.com/aguaviva

a year ago

3 points

318.

WebLlama: Building agents that can browse the web by following instructions

github.com/McGill-NLP

2 years ago

3 points

319.

JPEG decoder in 250 lines of simple python

github.com/aguaviva

10 years ago

3 points

320.

Show HN: Replace noisy music in videos with the HQ version from YouTube

github.com/patraulea

10 years ago

3 points

321.

English 2.0: converter for more orthogonal and phonetically pure English

github.com/nglibc

4 months ago

2 points

322.

Show HN: Supe – Give your AI agent a brain, not just memory

github.com/xayhemLLC

5 months ago

2 points

323.

How to automatically switch the IME when typing non-English in IntelliJ IDE

github.com/xiaolvpuzi

10 months ago

2 points

324.

Training 3x larger model on the same GPU cards

github.com/MegEngine

5 years ago

2 points

325.

Rust's improvement on slice.binary_search_by() caused OOM on Polkadot

github.com/rust-lang

5 years ago

2 points

326.

Gitlit: handle Git lfs file locks with ease

8 years ago

2 points

327.

GitHub is having an outage, again

status.github.com

9 years ago

2 points

328.

Agent Memory SDK – persistent memory for AI agents

github.com/gharibyan

12 days ago

2 points

329.

Displaying a crafted file in Tabby terminal can run shell commands

github.com/Eugeny

a month ago

2 points

330.

Denial of Service Vulnerability in React Server Components

github.com/facebook

2 months ago

2 points