Search: github.com/srs | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Type-Safe GraphQL without a code generation step or other atrocities

github.com/manifold-systems

7 years ago

4 points

242.

Unit expressions with Java, remarkably expressive

github.com/manifold-systems

7 years ago

4 points

243.

Manifold: Java Extension Methods and Type-Safe Metaprogramming

github.com/manifold-systems

7 years ago

4 points

244.

The System Design Primer

github.com/donnemartin

8 years ago

4 points

245.

SysCA – Certificate tool for Sysadmins

github.com/markokr

8 years ago

4 points

246.

System Design Primer: Learn how to design large scale systems

github.com/donnemartin

9 years ago

4 points

247.

Show HN: Perch-Eye – Cross-Platform Face Comparison SDK for Android and iOS

github.com/Onix-Systems

a year ago

3 points

248.

Syslog, ClickHouse, Kubernetes

github.com/Hardik94

2 years ago

3 points

249.

Show HN: ChroniclerJ, efficient record-replay for Java programs

github.com/Programming-Systems-Lab

13 years ago

3 points

250.

Userdb: Add birthDate field to JSON user records

github.com/systemd

3 months ago

3 points

251.

Show HN: Morfist – A Multi-target Random Forest capable of mixed learning

github.com/systemallica

6 years ago

3 points

252.

Show HN: Type-safe metaprogramming for Java (and other killer lang features)

github.com/manifold-systems

8 years ago

3 points

253.

My systemtap toolkit to online analyze on production

github.com/detailyang

10 years ago

3 points

254.

System2 – Multi-Agents for Data

github.com/diegoscarabelli

a month ago

3 points

255.

Type-Safe JDBC: Schema-First Native SQL in Java

github.com/manifold-systems

4 months ago

3 points

256.

Show HN: A terminal-native web search agent built with the Subconscious SDK

github.com/subconscious-systems

5 months ago

3 points

257.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle

github.com/welltyped-systems

6 months ago

3 points

258.

Announce: SMTP DANE Verify – self-monitor your DANE policy

github.com/sys4

6 months ago

3 points

259.

Noto: Local journaling chat UI with per-handle memory (Flask, SQLite, LM Studio)

github.com/brodiedellis-sys

10 months ago

3 points

260.

Somebody on Reddit got the full 400 line devin AI system prompt

github.com/x1xhlol

a year ago

3 points

261.

github.com/manifold-systems

2 years ago

3 points

262.

IJON Deep State Space Explorer

github.com/RUB-SysSec

2 years ago

3 points

263.

Systeminformer: Monitor system resources, debug software and detect malware

github.com/winsiderss

4 years ago

3 points

264.

Sysbox now works on K8s v1.21

github.com/nestybox

5 years ago

3 points

265.

sys_metrics is the fastest information fetching lib written in Rust

github.com/Martichou

5 years ago

3 points

266.

System Programming wiki (UIUC)

github.com/angrave

6 years ago

3 points

267.

Syscalls – A tool for building seccomp-bpf policies

github.com/avilum

8 years ago

3 points

268.

Systemd: hostnamed does not like fqdns with trailing dots

github.com/systemd

9 years ago

binaryapparatus

3 points

269.

Distributed A/V Across Multiple Raspberry-Pis

github.com/systemics

10 years ago

3 points

270.

Systemd reinvents mount(8) with systemd-mount

github.com/systemd

10 years ago

3 points