Search: github.com/LSYS | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

Yes, this is Java: Length distance = 100 MPH * 3 hr; (github.com/manifold-systems)

4 points

6 years ago

272.

Computer Networks: A Systems Approach (eBook) (github.com/SystemsApproach)

4 points

6 years ago

273.

Type-Safe GraphQL without a code generation step or other atrocities (github.com/manifold-systems)

4 points

7 years ago

274.

Unit expressions with Java, remarkably expressive (github.com/manifold-systems)

4 points

7 years ago

275.

Manifold: Java Extension Methods and Type-Safe Metaprogramming (github.com/manifold-systems)

4 points

7 years ago

276.

The System Design Primer (github.com/donnemartin)

4 points

8 years ago

277.

SysCA – Certificate tool for Sysadmins (github.com/markokr)

4 points

8 years ago

278.

System Design Primer: Learn how to design large scale systems (github.com/donnemartin)

4 points

9 years ago

279.

Show HN: Perch-Eye – Cross-Platform Face Comparison SDK for Android and iOS (github.com/Onix-Systems)

3 points

a year ago

280.

Syslog, ClickHouse, Kubernetes (github.com/Hardik94)

3 points

2 years ago

281.

Show HN: ChroniclerJ, efficient record-replay for Java programs (github.com/Programming-Systems-Lab)

3 points

13 years ago

282.

Userdb: Add birthDate field to JSON user records (github.com/systemd)

3 points

3 months ago

283.

Show HN: Morfist – A Multi-target Random Forest capable of mixed learning (github.com/systemallica)

3 points

6 years ago

284.

Show HN: Type-safe metaprogramming for Java (and other killer lang features) (github.com/manifold-systems)

3 points

8 years ago

285.

My systemtap toolkit to online analyze on production (github.com/detailyang)

3 points

10 years ago

286.

System2 – Multi-Agents for Data (github.com/diegoscarabelli)

3 points

23 days ago

287.

Type-Safe JDBC: Schema-First Native SQL in Java (github.com/manifold-systems)

3 points

3 months ago

288.

Show HN: A terminal-native web search agent built with the Subconscious SDK (github.com/subconscious-systems)

3 points

5 months ago

289.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle (github.com/welltyped-systems)

3 points

5 months ago

290.

Announce: SMTP DANE Verify – self-monitor your DANE policy (github.com/sys4)

3 points

5 months ago

291.

Noto: Local journaling chat UI with per-handle memory (Flask, SQLite, LM Studio) (github.com/brodiedellis-sys)

3 points

9 months ago

292.

Somebody on Reddit got the full 400 line devin AI system prompt (github.com/x1xhlol)

3 points

a year ago

293.

Java and SQL (github.com/manifold-systems)

3 points

2 years ago

294.

IJON Deep State Space Explorer (github.com/RUB-SysSec)

3 points

2 years ago

295.

Systeminformer: Monitor system resources, debug software and detect malware (github.com/winsiderss)

3 points

4 years ago

296.

Sysbox now works on K8s v1.21 (github.com/nestybox)

3 points

5 years ago

297.

sys_metrics is the fastest information fetching lib written in Rust (github.com/Martichou)

3 points

5 years ago

298.

System Programming wiki (UIUC) (github.com/angrave)

3 points

6 years ago

299.

Syscalls – A tool for building seccomp-bpf policies (github.com/avilum)

3 points

8 years ago

300.

Systemd: hostnamed does not like fqdns with trailing dots (github.com/systemd)

3 points

binaryapparatus

9 years ago