HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
241.
▲
Verus: Verified Rust for low-level systems code
github.com/secure-foundations
48 comments
a year ago
mmcloughlin
158 points
242.
▲
Document poisoning in RAG systems: How attackers corrupt AI's sources
aminrj.com
48 comments
3 months ago
aminerj
155 points
243.
▲
Launch HN: Batch (YC S20) – Replays for event-driven systems
58 comments
6 years ago
dsies
154 points
244.
▲
Microsoft Build Accelerator – open-source build engine for large systems
github.com/Microsoft
41 comments
7 years ago
shanselman
154 points
245.
▲
Project Oak: Meaningful control of data in distributed systems
github.com/project-oak
50 comments
2 years ago
tiziano88
147 points
246.
▲
Fibre:A WebGL application for visualizing 3D vector fields and dynamical systems
github.com/portsmouth
34 comments
7 years ago
corysama
146 points
247.
▲
Haskus – A Haskell Framework for Systems Programming
github.com/haskus
15 comments
9 years ago
Vosporos
146 points
248.
▲
A collection of small study projects which teach basic systems coding in Python
github.com/zedshaw
12 comments
13 years ago
bbgm
145 points
249.
▲
Go Micro: a standard library for distributed systems development
github.com/go-micro
44 comments
4 years ago
Kinrany
141 points
250.
▲
Mruby: Ruby for Embedded Systems
github.com/mruby
37 comments
6 months ago
nateb2022
141 points
251.
▲
Fallout1-ce: Fallout for modern operating systems
github.com/alexbatalov
39 comments
2 years ago
ulrischa
138 points
252.
▲
Replication, atomicity and order in distributed systems
afeinberg.github.com
6 comments
15 years ago
strlen
138 points
253.
▲
Ferret: a Lisp implementation for real time embedded control systems
github.com/nakkaya
36 comments
8 years ago
tosh
135 points
254.
▲
Distributed Systems with ZeroMQ and gevent
raw.github.com
17 comments
15 years ago
llambda
134 points
255.
▲
Stateright: A model checker for implementing distributed systems
github.com/stateright
24 comments
5 years ago
yagizdegirmenci
133 points
256.
▲
GNU Guix package definitions for Gov.uk software and systems
github.com/alphagov
42 comments
7 years ago
jboynyc
131 points
257.
▲
Show HN: FontEdit – A desktop app to develop fonts for embedded systems displays
github.com/ayoy
23 comments
6 years ago
ayoy
130 points
258.
▲
Show HN: I built a handheld CHIP-8 game console to teach myself embedded systems
github.com/kurtjd
13 comments
4 years ago
kurtjd
128 points
259.
▲
Project Oak – Meaningful control of data in distributed systems
github.com/project-oak
25 comments
7 years ago
azhenley
125 points
260.
▲
Architectural patterns of resilient distributed systems
github.com/Randommood
3 comments
11 years ago
yarapavan
124 points
261.
▲
Metaflow: Build, Manage and Deploy AI/ML Systems
github.com/Netflix
24 comments
a year ago
plokker
123 points
262.
▲
Examples and best practices for building recommendation systems
github.com/Microsoft
8 comments
7 years ago
navigaid
122 points
263.
▲
GitHub – system-design-primer: Learn how to design large-scale systems
github.com/donnemartin
20 comments
3 years ago
msolujic
112 points
264.
▲
Riemann, a distributed systems monitor (built in Clojure)
aphyr.github.com
21 comments
13 years ago
whalesalad
111 points
265.
▲
OpenVi: Portable OpenBSD vi for Unix systems
github.com/johnsonjh
66 comments
4 years ago
rdpintqogeogsaa
109 points
266.
▲
Show HN: Agency – Unifying human, AI, and other computing systems, in Python
github.com/operand
15 comments
3 years ago
0perand
106 points
267.
▲
Show HN: Confidential computing for high-assurance RISC-V embedded systems
github.com/IBM
9 comments
a year ago
mrnoone
103 points
268.
▲
MicroWeb DOS web browser – for 8088 systems
github.com/jhhoward
16 comments
4 years ago
bane
102 points
269.
▲
DOjS is a JavaScript programming environment for systems running MS-DOS
github.com/SuperIlu
39 comments
3 years ago
graderjs
96 points
270.
▲
Portable OpenBSD vi for Unix systems
github.com/johnsonjh
26 comments
3 years ago
rdpintqogeogsaa
96 points
More