Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
871.
Show HN: Update command: shell scripts to update systems, packages, projects (github.com/UpdateCommand)
1 point
jph
3 years ago
discuss
872.
SBP: A Programming Paradigm for Building Secure Software and Operating Systems (github.com/okTurtles)
1 point
gslepak
3 years ago
discuss
873.
An end-of-life (EOL) package scanner for container images, systems, and SBOMs (github.com/xeol-io)
1 point
mooreds
3 years ago
discuss
874.
System Design Primer – Collection of resources to help building systems at scale (github.com/donnemartin)
1 point
redbell
3 years ago
discuss
875.
SCOPE: An Open and Softwarized Prototyping Platform for NextG Systems (github.com/wineslab)
1 point
teleforce
3 years ago
discuss
876.
Natural lang to shell command – Supporting all operating systems (github.com/knid)
1 point
knid
3 years ago
discuss
877.
Valve Software's fork of Eigen with alternate threading systems from OpenMP (github.com/ValveSoftware)
1 point
app4soft
3 years ago
discuss
878.
Compis: Contemporary systems programming language in the spirit of C (github.com/rsms)
1 point
nateb2022
3 years ago
discuss
879.
Retro.css – A list of retro-inspired CSS frameworks and design systems (github.com/matt-auckland)
1 point
graderjs
3 years ago
discuss
880.
Port of Pangea Software’s racing game Cro-Mag Rally to modern operating systems (github.com/jorio)
1 point
Lammy
3 years ago
discuss
881.
UMEC: Unified Model and Embedding Compression for Efficient Rec. Systems (github.com/VITA-Group)
1 point
trifit
4 years ago
discuss
882.
Val: Mutable value semantics and generic programming for systems programming (github.com/val-lang)
1 point
ingve
4 years ago
discuss
883.
Backup: Ruby Gem for Easy full stack backup operations on Unix-like systems (github.com/backup)
1 point
thunderbong
4 years ago
discuss
884.
Verus: Verified Rust for low-level systems code (github.com/secure-foundations)
1 point
blopeur
4 years ago
discuss
885.
Takeover Scada Systems (github.com/aydinnyunus)
1 point
socketpuppets
4 years ago
discuss
886.
Application recommender for GNU/Linux systems (github.com/tassia)
1 point
pabs3
4 years ago
discuss
887.
BSL: Header-only library for development of critical systems applications (github.com/Bareflank)
1 point
ingve
4 years ago
discuss
888.
Show HN: Go Micro – a Go framework for distributed systems development (github.com/asim)
1 point
asim
5 years ago
discuss
889.
Optimal Control for Switched Systems (github.com/leggedrobotics)
1 point
unglaublich
5 years ago
discuss
890.
Lutris: Play video games from all eras and from most gaming systems (github.com/lutris)
1 point
indigodaddy
5 years ago
discuss
891.
Show HN: uinix-ui – A minimal framework-agnostic UI system to build UI systems (github.com/uinix-js)
1 point
chrisrzhou
5 years ago
discuss
892.
Mech: Language for developing data-driven, reactive systems in Rust (github.com/mech-lang)
1 point
adamnemecek
5 years ago
discuss
893.
Automatically Detecting and Fixing Concurrency Bugs in Go Software Systems (github.com/system-pclub)
1 point
mastabadtomm
5 years ago
discuss
894.
Jepsen Maelstrom: Workbench for Learning to Write Distributed Systems (github.com/jepsen-io)
1 point
cube2222
5 years ago
discuss
895.
xdispatch: Grand Central Dispatch brought to all major operating systems (github.com/mlba-team)
1 point
adamnemecek
5 years ago
discuss
896.
Battery management utility for Linux systems written in Go (github.com/leveson)
1 point
leveson
5 years ago
discuss
897.
Code management tool for SAP systems written in ABAP (github.com/abapGit)
1 point
sirffuzzylogik
5 years ago
discuss
898.
Gossm: CLI for AWS Systems Manger Session Manager (github.com/gjbae1212)
1 point
based2
6 years ago
discuss
899.
C99 library for weird number systems such as base -1+I, base -2, and others
1 point
boofgod
6 years ago
discuss
900.
Ask HN: Who is doing interesting work in distributed/p2p systems?
1 point
jamii
15 years ago
discuss
More