A ZIP-style Prolog VM for trilog (github.com)

Screenshot of github.com: A ZIP-style Prolog VM for trilog

First screen, captured 2 days ago. Open the video.

Full page

Captured 2 days ago. Click for the whole screenshot.

Looks similar

Screenshot of github.com: 6 Hours of YouTube and 85 handtyped pages of notes on LLM Inference – Start here

6 Hours of YouTube and 85 handtyped pages of notes on LLM Inference – Start here (github.com)

56 points by samirswr 4 days ago | 9 comments

GitHub repo for a small LLM inference engine built from scratch in C++ and CUDA, with a YouTube video series and 80+ pages of notes.

llm-inference cuda cpp kv-cache

Screenshot of github.com: TScert: A Sound Core for TypeScript

TScert: A Sound Core for TypeScript (github.com)

16 points by bpierre 9 days ago | 3 comments

GitHub repository for TScert, an independent checker with soundness proved in Lean that accepts TypeScript functions only when accompanied by a proof.

typescript lean4 formal-verification type-systems

Screenshot of github.com: Mocktastic: A Meshtastic Node on Arduino

Mocktastic: A Meshtastic Node on Arduino (github.com)

25 points by kimi 9 days ago | 1 comments

GitHub repository for Mocktastic, an educational C++ Meshtastic-compatible LoRa client for ESP32 boards (LilyGO T3) built with Arduino IDE, with decoder and DHT22 sensor modes.

meshtastic lora esp32 arduino

Screenshot of github.com: Show HN: Ramasite, a Self-Contained Laravel/Filament/SQLite CMS

Show HN: Ramasite, a Self-Contained Laravel/Filament/SQLite CMS (github.com)

3 points by DaleFranks 1 day ago | 0 comments

GitHub repository for RamaSite, a self-contained MIT-licensed CMS built with Laravel, Filament and SQLite, largely written with Claude Code.

cms laravel filament sqlite

Screenshot of github.com: HN: CloneGuard – scan a repo for credential-stealing tricks before you run it

HN: CloneGuard – scan a repo for credential-stealing tricks before you run it (github.com)

15 points by tharun208 7 days ago | 2 comments

GitHub repo for CloneGuard, a dependency-free Go CLI that statically scans a cloned repo for credential theft, suspicious network calls, obfuscation and auto-run hooks.

malware-detection supply-chain-security go cli

Screenshot of github.com: Show HN: RealtimeVAD – trading false positives for 110ms earlier end-of-speech

Show HN: RealtimeVAD – trading false positives for 110ms earlier end-of-speech (github.com)

25 points by koljab 1 day ago | 5 comments

GitHub repository for RealtimeVAD, a Python voice activity detector that signals end-of-speech about 100 ms earlier than Silero by adding an adaptive energy detector.

voice-activity-detection silero-vad speech-recognition voice-assistants

Full page

Looks similar

6 Hours of YouTube and 85 handtyped pages of notes on LLM Inference – Start here (github.com)

TScert: A Sound Core for TypeScript (github.com)

Mocktastic: A Meshtastic Node on Arduino (github.com)

Show HN: Ramasite, a Self-Contained Laravel/Filament/SQLite CMS (github.com)

HN: CloneGuard – scan a repo for credential-stealing tricks before you run it (github.com)

Show HN: RealtimeVAD – trading false positives for 110ms earlier end-of-speech (github.com)

Related stories

MinIO repository is no longer maintained (github.com)

AI agent opens a PR write a blogpost to shames the maintainer who closes it (github.com)

bzip3 (github.com)

Brex’s Prompt Engineering Guide (github.com)

Dillo, a multi-platform graphical web browser (github.com)

Gheist campaign plants secret-dumping workflows using stolen GitHub tokens (wiz.io)