Full page

Captured 19 hours ago. Click for the whole screenshot.

Looks similar

Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge(github.com)

18 points by lastmjs 3 hours ago | 1 comments

GitHub repository for Lasm, a toolchain for compiling Lean 4 programs to JavaScript and WebAssembly runtimes such as Node, browsers, serverless and edge platforms.

lean4formal-verificationwebassemblyserverless

PyTorch-native TPU back end for vLLM(github.com)

4 points by zniturah 10 days ago | 0 comments

GitHub repository for vllm-torchtpu, a PyTorch-native TPU backend for the vLLM LLM inference engine.

vllmtpupytorchllm-inference

Hedra is a 3D open world game I wrote from scratch while in highschool(github.com)

219 points by maxilevi 7 days ago | 41 comments

GitHub repository for Project Hedra, a low-poly procedurally generated 3D open-world RPG and custom C#/OpenGL engine written by its author starting in high school.

game-developmentgame-enginecsharpopengl

Show HN: phpClaw – AI agent runtime for PHP with tools, memory and guards(github.com)

6 points by akashpatel7204 11 hours ago | 3 comments

GitHub repository for phpClaw, an open-source MIT-licensed AI agent framework for PHP with tools, memory, security guards, a ReAct loop, and CMS/framework adapters.

phpai-agentsllmlaravel

Show HN: Making a smart TV dumb and then smart(github.com)

69 points by animalhot 7 days ago | 38 comments

GitHub repo for r2d2-tv, a local home screen, private remote browser, and push-to-talk voice assistant that replaces vendor software on rooted LG webOS TVs.

webossmart-tvlgvoice-assistant

Show HN: I Turned DOOM into a Transformer(github.com)

60 points by falperc 5 hours ago | 14 comments

GitHub repository for DOOMFORMER, a compiler that turns an integer neural network into a DOOM map where voodoo dolls perform the arithmetic, verified against NumPy.

doomtransformerneural-networksesoteric-computing

Related stories

Show HN: Esp32sim – Run ESP32 firmware in the browser(github.com)

183 points by joakimeriksson 12 days ago | 34 comments

GitHub repository for esp32sim, an open-source ESP32 emulator that runs real firmware locally or in the browser without physical hardware.

esp32emulatorembeddedmicrocontrollers

Show HN: WhatsApp MCP running free on Cloudflare(github.com)

139 points by zoozla 11 days ago | 70 comments

GitHub repository for a read-only MCP server that lets an AI agent search and read your personal WhatsApp messages, running on Cloudflare Workers.

mcpwhatsappcloudflare-workersclaude

Show HN: Ghost Pepper – Local hold-to-talk speech-to-text for macOS(github.com)

436 points by MattHart88 6 months ago | 190 comments

GitHub repository for Ghost Pepper, an open-source macOS hold-to-talk speech-to-text app using local WhisperKit and LLM cleanup models.

speech-to-textmacoswhisperkitlocal-llm

Show HN: Atopile – Design circuit boards with code

573 points by Timot05 2 years ago | 277 comments

Show HN post by atopile's founders introducing an open-source language and compiler for describing printed circuit boards with code.

atopilepcb-designelectronicshardware-description-language

Screenshot pending…

Show HN: RawLink – Building a VPN protocol from scratch(github.com)

11 points by znano 10 days ago | 0 comments

GitHub repository for RawLink, an experimental VPN protocol built from scratch, with an accompanying blog post explaining its design.

vpnnetwork-protocolsrustcryptography

Show HN: Pi-C.A.R.D, a Raspberry Pi Voice Assistant(github.com)

319 points by nkaz123 2 years ago | 78 comments

GitHub repository for Pi-C.A.R.D, a locally running AI voice assistant on a Raspberry Pi that can converse and describe camera photos.

raspberry-pivoice-assistantlocal-llmcomputer-vision