Full page

Captured 7 hours ago. Click for the whole screenshot.

Looks similar

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

16 points by lastmjs 2 hours ago | 0 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

Herdr has released native app(github.com)

64 points by cherioo 3 hours ago | 51 comments

GitHub repository for Herdr, an Apache-2.0 Rust desktop app for managing terminals and coding agents in spaces, available for Linux, macOS, and Windows.

herdrterminal-emulatorcoding-agentsrust

noalloc: Tooling and libraries to enforce zero heap allocations in Golang(github.com)

64 points by g0xA52A2A 1 day ago | 36 comments

GitHub repository for noalloc, a set of Go tools and libraries for enforcing zero heap allocations in code, including allocation-free variants of standard library packages.

goheap-allocationmemory-managementperformance

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

58 points by falperc 4 hours ago | 13 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

Astroterm: A Planetarium for Your Terminal(github.com)

32 points by nvmdbljstm 1 day ago | 1 comments

GitHub repository for astroterm, an MIT-licensed C program that renders stars, planets, and constellations as a planetarium in the terminal.

astrotermterminaltuiastronomy

Show HN: A Truly Modular Keyboard(github.com)

258 points by NotARoomba 5 days ago | 90 comments

GitHub repository for Keybytes, an open-hardware modular keyboard where each key is its own PCB with a RISC-V MCU, connected via pogo pins and magnetic cases.

mechanical-keyboardmodular-keyboardkicadrisc-v

Related stories

I built a Game Boy emulator in F#(nickkossolapov.github.io)

328 points by elvis70 6 months ago | 74 comments

Blog post by Nick Kossolapov describing how he built Fame Boy, a Game Boy emulator in F# with sound that runs on desktop and web.

fsharpgame-boyemulationchip-8

I built a programming language that LLMs can't use(blog.picheta.me)

244 points by dom96 12 days ago | 179 comments

Blog post by Dominik Picheta introducing KillSwitch, a programming language he designed so that large language models cannot use it.

programming-languageskillswitchllmlanguage-design

Pico CSS is no longer maintained(github.com)

67 points by henrid 2 hours ago | 20 comments

GitHub discussion announcing that Pico CSS is no longer maintained, with v2.1.1 as the final release and the repository archived.

pico-csscss-frameworksgithubopen-source-maintenance

I learned Vulkan and wrote a small game engine with it(edw.is)

599 points by eliasdaler 2 years ago | 240 comments

Elias Daler's blog post on learning Vulkan and building a small game engine with two demo games in three months, with code on GitHub.

vulkangame-enginegraphics-programminggamedev

Writing Rust code that's fast by asking agents to make the code faster(minimaxir.com)

85 points by mooreds 1 month ago | 46 comments

Max Woolf blog post on using AI coding agents to iteratively optimize Rust code until it outperforms state-of-the-art libraries.

agentic-codingrustllmcode-optimization

Writing a C compiler in 500 lines of Python(vgel.me)

454 points by vgel 3 years ago | 142 comments

Blog post by vgel describing the design and architecture of a small C compiler written in about 500 lines of Python.

compilerscpythonwebassembly