Search: github.com/system76 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Yes, this is Java: Length distance = 100 MPH * 3 hr;

github.com/manifold-systems

6 years ago

4 points

152.

Computer Networks: A Systems Approach (eBook)

github.com/SystemsApproach

6 years ago

4 points

153.

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

github.com/manifold-systems

7 years ago

4 points

154.

Unit expressions with Java, remarkably expressive

github.com/manifold-systems

7 years ago

4 points

155.

Manifold: Java Extension Methods and Type-Safe Metaprogramming

github.com/manifold-systems

7 years ago

4 points

156.

The System Design Primer

github.com/donnemartin

8 years ago

4 points

157.

System Design Primer: Learn how to design large scale systems

github.com/donnemartin

9 years ago

4 points

158.

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

github.com/Onix-Systems

a year ago

3 points

159.

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

github.com/Programming-Systems-Lab

13 years ago

3 points

160.

Userdb: Add birthDate field to JSON user records

github.com/systemd

3 months ago

3 points

161.

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

github.com/systemallica

6 years ago

3 points

162.

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

github.com/manifold-systems

8 years ago

3 points

163.

My systemtap toolkit to online analyze on production

github.com/detailyang

10 years ago

3 points

164.

System2 – Multi-Agents for Data

github.com/diegoscarabelli

a month ago

3 points

165.

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

github.com/manifold-systems

4 months ago

3 points

166.

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

github.com/subconscious-systems

5 months ago

3 points

167.

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

github.com/welltyped-systems

6 months ago

3 points

168.

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

github.com/x1xhlol

a year ago

3 points

169.

github.com/manifold-systems

2 years ago

3 points

170.

Systeminformer: Monitor system resources, debug software and detect malware

github.com/winsiderss

4 years ago

3 points

171.

System Programming wiki (UIUC)

github.com/angrave

6 years ago

3 points

172.

Systemd: hostnamed does not like fqdns with trailing dots

github.com/systemd

9 years ago

binaryapparatus

3 points

173.

Distributed A/V Across Multiple Raspberry-Pis

github.com/systemics

10 years ago

3 points

174.

Systemd reinvents mount(8) with systemd-mount

github.com/systemd

10 years ago

3 points

175.

Chrome extension to replace “systemd” with “butts” on websites

github.com/jfrazelle

12 years ago

3 points

176.

OSv, a new open-source operating system for virtual-machines

github.com/cloudius-systems

12 years ago

3 points

177.

github.com/systemd

3 months ago

3 points

178.

Show HN: System prompts and models of top AI tools (Claude Code, Cursor, Devin)

github.com/x1xhlol

4 months ago

3 points

179.

Show HN: Chaos Agents – Run chaos experiments with Agents

github.com/system32-ai

4 months ago

3 points

180.

Show HN: Covpeek – Cross-language coverage report CLI parser (Rust/Go/TS/Python)

github.com/Chapati-Systems

7 months ago

3 points