Offline survival assistant – local LLM and Kiwix, runs from a USB stick (github.com)

Screenshot of github.com: Offline survival assistant – local LLM and Kiwix, runs from a USB stick

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

Full page

Captured 8 days ago. Click for the whole screenshot.

Looks similar

Screenshot of github.com: Socratic Tutor

Socratic Tutor (github.com)

641 points by tosh 3 days ago | 146 comments

A SKILL.md file in Jane Street's agent_skills GitHub repo defining a Socratic tutoring skill for AI agents, with diagnostics, skill maps, and strict mastery evaluation.

agent-skills llm-prompts socratic-method tutoring

Screenshot of github.com: The largest open-source DLE collection

The largest open-source DLE collection (github.com)

6 points by trizoza 6 days ago | 2 comments

A GitHub markdown file listing 1,124 open-source-collected daily puzzle and logic games (Wordle-style 'dles') with descriptions, from dles.gg.

daily-games wordle-likes puzzle-games browser-games

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: Show HN: Maple – Sub-2-BPW Moe Pruning to Run Gemma 4 26B at 45 TPS on a 6GB GPU

Show HN: Maple – Sub-2-BPW Moe Pruning to Run Gemma 4 26B at 45 TPS on a 6GB GPU (github.com)

7 points by AmSach 5 days ago | 3 comments

GitHub repository for MAPLE, a Mixture-of-Experts pruning framework that compresses Gemma 4 26B-A4B to a 4.75 GB GGUF to run fully in VRAM on 6 GB GPUs.

moe-pruning gemma llm-quantization gguf

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

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

Full page

Looks similar

Socratic Tutor (github.com)

The largest open-source DLE collection (github.com)

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

Show HN: Maple – Sub-2-BPW Moe Pruning to Run Gemma 4 26B at 45 TPS on a 6GB GPU (github.com)

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

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

Related stories

ExcalidrawZ: Local Native Excalidraw on macOS/iOS (github.com)

Quickemu: Quickly run optimised Windows, macOS and Linux virtual machines (github.com)

Wild – A fast linker for Linux (github.com)

Zero-downtime Linux kernel zero-day mitigation via eBPF and SECCOMP (github.com)

Lonewolf 0.3 – A standalone XMPP server written in Rust (github.com)

MicroG: Free-libre re-implementation of Google's proprietary Android user space (github.com)