Full page

Captured 8 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

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

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

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: Hob - Open-source, on device alternative to Claude Cowork and ChatGPT(github.com)

125 points by pancomplex 3 days ago | 30 comments

GitHub repository for Hob, an MIT-licensed desktop app for Mac, Windows and Linux that runs open-weight LLMs locally as an offline alternative to Claude and ChatGPT.

local-llmllama-cppelectrongemma

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

Related stories

Free IRS-run tax filing pilot to be available in 13 states(irs.gov)

823 points by dwynings 3 years ago | 298 comments

IRS news release announcing the Direct File pilot, a free IRS-run tax filing option projected for eligible taxpayers in 13 states for the 2024 season.

irsdirect-filetax-filinggovernment-services

IRS Direct File on GitHub(chrisgiven.com)

663 points by nickthegreek 1 year ago | 280 comments

A 404 Media article reporting that the IRS Direct File tax filing software, opposed by TurboTax, has been open sourced on GitHub.

irs-direct-fileirstax-filingturbotax

Show HN: Wat – Deep inspection of Python objects(github.com)

352 points by igrek51 2 years ago | 83 comments

GitHub repository for Wat, an MIT-licensed Python tool for deep inspection of Python objects at runtime.

pythonintrospectiondebuggingdeveloper-tools

IronRDP: a Rust implementation of Microsoft's RDP protocol(github.com)

506 points by mikece 1 year ago | 208 comments

GitHub repository for IronRDP, Devolutions' open-source Rust implementation of the Microsoft Remote Desktop Protocol (RDP).

rustrdpremote-desktopmicrosoft

Grok(github.com)

1034 points by pierre 2 years ago | 375 comments

GitHub repository from xAI containing the open release of the Grok language model code and checkpoint loading scripts under Apache-2.0.

grokxailarge-language-modelsopen-weights

IRS tests free e-filing system that could compete with tax prep giants(washingtonpost.com)

693 points by elicash 3 years ago | 349 comments

Washington Post article reporting that the IRS is testing a prototype free government e-filing system that could compete with commercial tax preparation companies.

irstax-filinge-filegovernment-software