Full page

Captured 1 day ago. Click for the whole screenshot.

Looks similar

Show HN: Agents infer Lego mechanisms from sources, then animate them(github.com)

24 points by antelocnova 7 days ago | 1 comments

GitHub repository for LDraw Mecha, agent tooling that infers mechanisms from LDraw LEGO model files and animates them as Blender files.

ldrawlegoblenderai-agents

Cancer vaccine for Yash, he's diagnosed with stage IV pancreatic cancer(github.com)

23 points by AsDivyansh 2 days ago | 4 comments

GitHub repository from the RNA Foundry sharing tumour sequencing data, code, and designs for a personalized mRNA cancer vaccine for a stage IV pancreatic cancer patient.

mrna-vaccinecancer-vaccinepancreatic-cancerbioinformatics

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.

typescriptlean4formal-verificationtype-systems

Show HN: Log every LLM call with tokens, cost, latency, and time to first token(github.com)

3 points by garritfra 2 days ago | 0 comments

GitHub repository for llmtee, a self-hosted single-binary Go proxy that logs LLM API calls with tokens, cost, latency and time to first token to SQLite or Postgres.

llm-proxyllm-observabilitygosqlite

Show HN: Stroq – a local audit of what your coding agent did and why(github.com)

82 points by agybay_07 8 days ago | 29 comments

GitHub repository for Stroq, an open-source tool that finds leaked secrets in AI coding agent sessions and guards future sessions with local hooks tracing risky commands.

ai-agentsclaude-codesecret-scanningprompt-injection

MoofTCP – A modern replacement for MacTCP on 68k Macs(github.com)

56 points by marcusbasant 7 days ago | 28 comments

GitHub repository for MoofTCP, an MIT-licensed, memory-lean drop-in replacement for MacTCP on 68000 Macs running System 6, written mostly in C.

mactcpclassic-mac68ksystem-6

Related stories

Show HN: Sumi.css – CSS Framework(github.com)

58 points by bepero 23 days ago | 13 comments

GitHub repository for Sumi.css, a minimalist classless-first CSS framework (6.7 KB gzipped) with dark mode, theming via custom properties, and no build step.

csscss-frameworkclassless-csscss-grid

Show HN: I built a web framework in C(github.com)

374 points by ashtonjamesd 1 year ago | 183 comments

GitHub repository for Lavandula, a fast, lightweight MIT-licensed web framework written in C for building web applications.

cweb-frameworklavandulabackend

Show HN: SafeScript, a safe version of JavaScript for executing untrusted code(github.com)

4 points by EGreg 5 days ago | 0 comments

GitHub repository for SafeScript, a safe subset of JavaScript that compiles to JS and PHP for sandboxed execution of untrusted code.

javascriptsandboxingsafescriptuntrusted-code

Show HN: Raven – The harness of harnesses, built for RSI(github.com)

49 points by cyfyifanchen 1 month ago | 39 comments

GitHub repository for Raven by EverMind-AI, a self-evolving multi-agent ecosystem billed as a 'harness of harnesses' for recursive self-improvement.

ai-agentsmulti-agentllmagent-harness

Llamafile lets you distribute and run LLMs with a single file(github.com)

972 points by tfinch 3 years ago | 253 comments

GitHub repository for Mozilla-Ocho's llamafile, a tool to distribute and run large language models as a single executable file.

llamafilellama-cppllmmozilla

Show HN: Rust Web Framework(github.com)

454 points by levkk 2 years ago | 236 comments

GitHub repository for Rwf, a Rails-like MVC web framework for Rust with ORM, templates, background jobs, auth, websockets, and a WSGI server for running Django.

rustweb-frameworkmvcorm