Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
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