Full page

Captured 6 days ago. Click for the whole screenshot.

Looks similar

6-11X speedup running Qwen3.6 on my RTX 4090, full repo.(github.com)

10 points by AI4Science 7 hours ago | 0 comments

GitHub repository for Lightreason, a Python/CUDA project claiming LLM token-generation speedups for Qwen models on consumer GPUs, with benchmarks and a demo chat.

llm-inferencespeculative-decodingqwenrtx-4090

Show HN: Ramasite, a Self-Contained Laravel/Filament/SQLite CMS(github.com)

3 points by DaleFranks 1 day ago | 0 comments

GitHub repository for RamaSite, a self-contained MIT-licensed CMS built with Laravel, Filament and SQLite, largely written with Claude Code.

cmslaravelfilamentsqlite

Sift: LSP, Lint, Format Lisp, Scheme and Emacs Lisp(github.com)

73 points by jjba23 2 days ago | 10 comments

GitHub repository for Sift, a formatter, linter and LSP language server for Lisp, Scheme and Emacs Lisp code.

lispschemeemacs-lisplanguage-server-protocol

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

Show HN: Spindle – a full-featured, type-safe web framework for OCaml 5(github.com)

51 points by zaiev 8 days ago | 8 comments

GitHub repository for Spindle, a type-safe, multicore, Eio-native web framework for OCaml 5 with OpenAPI, Zod and Melange client generation and MCP support.

ocamlweb-frameworkeioopenapi

Show HN: Cerulion – ROS 2-compatible robotics runtime with multi-process replay(github.com)

8 points by lakshays 1 day ago | 2 comments

GitHub repository for Cerulion, an AGPL-licensed Rust robotics runtime compatible with ROS 2 offering zero-copy shared-memory IPC and deterministic multi-process replay.

ros2roboticsrusticeoryx2

Related stories

Pgactive: Postgres active-active replication extension(github.com)

327 points by ForHackernews 1 year ago | 86 comments

GitHub repository for pgactive, an AWS open-source PostgreSQL extension providing active-active (multi-master) replication.

postgresqlreplicationactive-activeaws

Postgres Language Server(github.com)

899 points by kiwicopple 3 years ago | 112 comments

GitHub repository for Supabase's Postgres Language Server, an LSP implementation that uses the real Postgres parser via libpg_query for IDE features.

postgreslanguage-server-protocolsupabaselibpg-query

SQLedge: Replicate Postgres to SQLite on the Edge(github.com)

323 points by clessg 3 years ago | 62 comments

GitHub repository for SQLedge, a tool that replicates a Postgres database to SQLite instances running on the edge.

postgresqlsqlitereplicationedge-computing

DeepSeek-Prover-V2(github.com)

359 points by meetpateltech 1 year ago | 74 comments

GitHub repository for DeepSeek-Prover-V2, DeepSeek's model for formal theorem proving, containing a paper PDF, README, model license, and miniF2F solutions.

deepseektheorem-provinglean-4llm

MitmProxy2Swagger: Automagically reverse-engineer REST APIs(github.com)

520 points by AbuAssar 1 year ago | 60 comments

GitHub repository for mitmproxy2swagger, a tool that generates OpenAPI/Swagger specs by reverse-engineering REST APIs from captured traffic or HAR files.

mitmproxyopenapiswaggerreverse-engineering

Openrsync: An implementation of rsync, by the OpenBSD team(github.com)

448 points by sph 5 months ago | 168 comments

GitHub repository for openrsync, a BSD-licensed clean-room implementation of the rsync file synchronization tool from the OpenBSD project.

openrsyncrsyncopenbsdfile-sync