Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
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