Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
301.
▲
Systems programming in pulseaudio: untagged unions, fs races, edge cases, and docs
(gist.github.com)
41 points
straylark
8 years ago
4 comments
302.
▲
An Evaluation of Location Encoding Systems (2018)
(github.com/google)
41 points
Tomte
7 years ago
discuss
303.
▲
Crash Linux systems over the air (CVE-2022-42722 POC on an ESP32)
(github.com/jo-m)
40 points
jo-m
4 years ago
1 comment
304.
▲
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(github.com/p-org)
37 points
Davidbrcz
6 months ago
5 comments
305.
▲
Einstein: NewtonOS running on other operating systems
(github.com/pguyot)
37 points
jasonmp85
11 years ago
4 comments
306.
▲
SwarmKit by Docker: a toolkit to orchestrate distributed systems at any scale
(github.com/docker)
37 points
shykes
10 years ago
4 comments
307.
▲
Adele is an open source repository of design systems and pattern libraries
(github.com/UXPin)
35 points
mooreds
4 years ago
4 comments
308.
▲
Learn how to design large-scale systems
(github.com/donnemartin)
34 points
gilad
6 years ago
1 comment
309.
▲
Notes on distributed systems from Kyle Kingsbury (aphyr)
(github.com/aphyr)
34 points
jxf
10 years ago
1 comment
310.
▲
CSMWrap: Legacy BIOS booting on UEFI-only systems via SeaBIOS
(github.com/CSMWrap)
33 points
_joel
3 months ago
4 comments
311.
▲
Evaluation of Location Encoding Systems (2021)
(github.com/google)
32 points
tosh
3 years ago
14 comments
312.
▲
Corrosion: Gossip-based service discovery for large distributed systems
(github.com/superfly)
32 points
logic
3 years ago
1 comment
313.
▲
Embeddedipsec: IPsec for Embedded Systems
(github.com/tinytux)
31 points
zdw
3 years ago
2 comments
314.
▲
Automated tool to study and reverse-engineer algorithmic recommendation systems
(github.com/jsoma)
31 points
hezag
5 years ago
1 comment
315.
▲
Mechanoid: WASM Applications on Embedded Systems
(github.com/hybridgroup)
31 points
hasheddan
2 years ago
discuss
316.
▲
Counterexamples in type systems
(github.com/stedolan)
28 points
todsacerdoti
3 years ago
4 comments
317.
▲
BSD Owl: A build system targeting modern Unix systems
(github.com/michipili)
26 points
eatonphil
11 years ago
14 comments
318.
▲
Show HN: A clock synchronization library in golang for distributed systems
(github.com/rubrikinc)
26 points
mvijaykarthik
8 years ago
1 comment
319.
▲
A new approach to data handling between systems/for AI
(github.com/dev-formata-io)
23 points
AmeliaWampler
a year ago
6 comments
320.
▲
Steed: Rust's standard library, free of C dependencies, for Linux systems
(github.com/japaric)
23 points
Perceptes
9 years ago
discuss
321.
▲
Conductor: A framework for testing distributed systems
(github.com/gvnn3)
21 points
luu
11 years ago
2 comments
322.
▲
ARSnova – modern, web-based approach to Audience Response Systems (ARS)
(github.com/particify)
21 points
pabs3
4 years ago
1 comment
323.
▲
Systemizer: Tool that allows you to simulate data flow of distributed systems
(github.com/honzaap)
21 points
doppp
5 years ago
discuss
324.
▲
Show HN: FLOX – C++ framework for building trading systems
(github.com/eeiaao)
19 points
eeiaao
a year ago
4 comments
325.
▲
Show HN: Orbit a systems level programming language that compiles .sh to LLVM
(github.com/SIE-Libraries)
17 points
TheCodingDecode
6 months ago
13 comments
326.
▲
Kyoto Tycoon for modern systems
(github.com/sapo)
17 points
rcarmo
11 years ago
7 comments
327.
▲
The P Programming Language: Formal modeling and analysis of distributed systems
(github.com/p-org)
17 points
wslh
2 years ago
2 comments
328.
▲
Embeddable Linux Kernel Subset: Linux-like OS for systems like 8086
(github.com/jbruchon)
17 points
stevefan1999
4 years ago
1 comment
329.
▲
Show HN: Open source Live Chat Engine for your own systems
(github.com/edolganov)
17 points
edolganov
11 years ago
discuss
330.
▲
Show HN: Axe - A Systems Programming Language with Builtin Parallelism and No GC
(axelang.org)
16 points
death_eternal
6 months ago
5 comments
More