OpenDevin – open-source implementation of devin(github.com)

71 points by gerroo 2 years ago | 18 comments

Show HN: Togomak – declarative pipeline orchestrator based on HCL and Terraform(github.com)

38 points by srevinsaju 3 years ago | 16 comments

Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec(github.com)

117 points by g0xA52A2A 2 years ago | 10 comments

Gooey: A GPU-accelerated UI framework for Zig(github.com)

187 points by ksec 4 months ago | 73 comments

Show HN: An SQS Alternative on Postgres(github.com)

225 points by chuckhend 2 years ago | 98 comments

Show HN: Qoord, a simple quantum circuit simulator(github.com)

9 points by isotropy 2 years ago | 1 comments

Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com)

564 points by nicolas-siplis 1 month ago | 287 comments

Landing page for Bend, a fast programming language with Python-like syntax, CUDA parallelism, and Lean-style proofs to verify AI-written code.

Nvidia Warp: A Python framework for high performance GPU simulation and graphics(github.com)

453 points by jarmitage 2 years ago | 125 comments

GitHub repository for NVIDIA Warp, a Python framework for writing high-performance GPU simulation and graphics code.

Heretic: Automatic censorship removal for language models(github.com)

705 points by melded 11 months ago | 339 comments

GitHub repository for Heretic, an AGPL-licensed tool for fully automatic censorship removal (abliteration) in transformer language models.

Jev Based Code Review(github.com)

38 points by namanbhulawat 1 month ago | 39 comments

GitHub repository for jev-code-reviewer, an MIT-licensed tool that prioritizes code changes for human review and uses OpenAI to explain them, via CLI, agent skill, and GitHub extension.

gpuvis: GPU Trace Visualizer(github.com)

67 points by luu 23 days ago | 10 comments

GitHub repository for gpuvis, an MIT-licensed GPU trace visualizer tool for viewing GPU and CPU event timelines.

Show HN: JevBench, a reproducible benchmark for typed decision models(benchmarkheaven.com)

119 points by florianstandhar 1 month ago | 32 comments

Benchmark Heaven's JevBench v1.3.0 leaderboard page ranking 52 Jev-class typed decision models on intelligence, calibration, speed and cost across 534 decisions.