Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
91.
Agent Engine Optimization (AEO): Selling to AI Agents (github.com/subconscious-systems)
1 point
hyluo
3 months ago
discuss
92.
Kevros – Governance-as-a-service API for AI agents (github.com/ndl-systems)
1 point
kevros_ai_chain
4 months ago
discuss
93.
GitHub-traffic: GitHub traffic CLI utility with bonus features (github.com/manifold-systems)
1 point
thunderbong
a year ago
discuss
94.
A re-imagined Love2d version of QBasic gorillas (github.com/systemsoverload)
1 point
beshrkayali
14 years ago
discuss
95.
Show HN: Ditch your ORM with type-safe native SQL (github.com/manifold-systems)
1 point
owlstuffing
2 years ago
discuss
96.
Show HN: Automatic Type-Safe CSV (github.com/manifold-systems)
1 point
owlstuffing
2 years ago
discuss
97.
Type-safe access to PostgreSQL in Java (github.com/manifold-systems)
1 point
owlstuffing
2 years ago
discuss
98.
Multiple return values for Java, also tuples, also 'auto' (github.com/manifold-systems)
1 point
mckinney
4 years ago
discuss
99.
Ferrous Teaching Material (github.com/ferrous-systems)
1 point
hkmatsumoto
5 years ago
discuss
100.
Let's Encrypt Collection for Ansible – Stable Version 1.0.0 (github.com/T-Systems-MMS)
1 point
zufallsheld
5 years ago
discuss
101.
A set of tools for describing, running and visualizing systems diagrams (github.com/lethain)
1 point
mooreds
5 years ago
discuss
102.
Type-Safe GraphQL in Kotlin (github.com/manifold-systems)
1 point
mckinney
6 years ago
discuss
103.
Java Ranges: Range range = 1 to 5; (github.com/manifold-systems)
1 point
mckinney
6 years ago
discuss
104.
Ansible-Collection containing modules to change Icinga-objects with director API (github.com/T-Systems-MMS)
1 point
zufallsheld
6 years ago
discuss
105.
Type-Safe Unit Expressions for Java (github.com/manifold-systems)
1 point
mckinney
6 years ago
discuss
106.
Operator Overloading Added to Java (github.com/manifold-systems)
1 point
mckinney
7 years ago
discuss
107.
Open Mesh lock down exploit (github.com/true-systems)
1 point
spaceboy
9 years ago
discuss
108.
Show HN: C++ library for embedded and IoT projects (ESP32) (github.com/open-control-systems)
8 points
dshil
a year ago
discuss
109.
Show HN: device-hub – self-hosted IoT data collection and monitoring (github.com/open-control-systems)
4 points
dshil
a year ago
discuss
110.
Show HN: Auditor Core–CLI security auditing engine with mathematical SPI scoring (github.com/auditor-core-systems)
1 point
EldorZ
3 months ago
discuss
111.
device-hub – a self-hosted solution for collecting and storing IoT device data
1 point
dshil
a year ago
discuss
112.
Formal Systems in Biology (github.com/prathyvsh)
133 points
tablet
6 years ago
37 comments
113.
Implementations of various type systems in OCaml (github.com/tomprimozic)
113 points
mercurial
12 years ago
6 comments
114.
Grow Your Own Type System (github.com/tomprimozic)
105 points
wtetzner
11 years ago
8 comments
115.
Show HN: Simple refined types implementation that can prevent Heartbleed (github.com/tomprimozic)
56 points
tomp
12 years ago
13 comments
116.
Show HN: Minimal DL library in C – 24 NAIVE CUDA/CPU ops, autodiff, Python API (github.com/IaroslavElistratov)
13 points
iaroo
6 months ago
1 comment
117.
Show HN: DarkDarkGo – Distributed Search Engine for the Darknet (github.com/Bennington-Distributed-Systems-2017)
5 points
hoanhan101
7 years ago
discuss
118.
We modeled Google and Bing to build a distributed search engine for the dark web (github.com/Bennington-Distributed-Systems-2017)
4 points
hoanhan101
7 years ago
2 comments
119.
Show HN: Refined types – a better type system for more secure software (github.com/tomprimozic)
3 points
tomp
12 years ago
discuss
120.
Distributed Systems Journey – Roadmap to becoming a distributed systems PhD (github.com/ericdouglas)
3 points
ericdouglas
6 years ago
discuss
More