Search: github.com/lra | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

601.

LWM – Open LLM with 1M Tokens Context Window (github.com/LargeWorldModel)

161 points

2 years ago

602.

Operating System Development in Rust (github.com/rust-lang)

160 points

11 years ago

603.

LambCI – A continuous integration system built on AWS Lambda (github.com/lambci)

160 points

10 years ago

604.

Coq-of-rust: Formal verification tool for Rust (github.com/formal-land)

159 points

a year ago

605.

Use the WiFi Chip on RaspberryPi/Broadcom as Software-Defined Radio (SDR) (github.com/seemoo-lab)

159 points

5 years ago

606.

Show HN: Language Evolution Simulation (github.com/fatiherikli)

159 points

10 years ago

607.

Show HN: A Go Library for Better Access Control (github.com/ory)

158 points

9 years ago

608.

Dhall: a programmable configuration language that is not Turing-complete (github.com/dhall-lang)

157 points

9 years ago

609.

Rust RFC 2094: non-lexical lifetimes (github.com/rust-lang)

156 points

9 years ago

610.

Changelog for Elixir v1.11 (github.com/elixir-lang)

153 points

6 years ago

611.

Show HN: Laboratory, a Python port of GitHub's Scientist library for refactoring (github.com/joealcorn)

153 points

10 years ago

612.

Rust stabilizes generic associated types (github.com/rust-lang)

152 points

4 years ago

613.

Janet – A dynamic language and bytecode VM (github.com/janet-lang)

152 points

7 years ago

614.

Layoff Runbook (github.com/derwiki)

150 points

3 years ago

615.

Add variables to Python traceback (github.com/andy-landy)

149 points

6 years ago

616.

Lahja – A generic event bus implementation written in Python (github.com/ethereum)

148 points

7 years ago

617.

Show HN: Laudspeaker – open-source customer journey automation (github.com/laudspeaker)

148 points

3 years ago

618.

An HN style social news site written in Ruby/Sinatra/Redis/JQuery by Antirez (github.com/antirez)

145 points

15 years ago

619.

Toybox: All-in-one Linux command line (github.com/landley)

144 points

5 years ago

620.

Show HN: Tiny, fast, and free API to geolocate IP addresses (github.com/Risk3sixty-Labs)

144 points

6 years ago

621.

Melody – a language that compiles to regular expressions (github.com/yoav-lavi)

143 points

4 years ago

622.

Golang landmines (gist.github.com)

141 points

10 years ago

623.

Show HN: Lunatic – Actor System for Rust/WebAssembly (github.com/lunatic-lang)

141 points

6 years ago

624.

Show HN: Lady Deirdre 2 – Rust Framework for Compilers and LSP Servers (github.com/Eliah-Lakhin)

141 points

2 years ago

625.

Reddit Terminal Viewer development is shutting down (github.com/michael-lazar)

140 points

7 years ago

626.

Show HN: Buzz, strongly typed scripting language written in Zig (github.com/buzz-language)

140 points

4 years ago

627.

TensorFlow Tutorials with YouTube Videos (github.com/Hvass-Labs)

139 points

8 years ago

628.

Show HN: Software for Remote GPU-over-IP (github.com/Juice-Labs)

138 points

3 years ago

629.

Show HN: Explore large language models with 512MB of RAM (github.com/jncraton)

138 points

3 years ago

630.

Recreated sources for the book “UNIX Text Processing,” published in 1987 (github.com/larrykollar)

138 points

rdpintqogeogsaa

4 years ago