Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Show HN: I made a web component for writing keyboard layout tours
(github.com/mrled)
1 point
mrled
a year ago
discuss
2.
▲
Lkbm: LED-Key BitMasks to Control the Ploopy Nano Trackball
(github.com/qmk)
2 points
mrled
2 years ago
discuss
3.
▲
Show HN: Agents Council – Connect Claude, Codex, and Local Agents via MCP
(github.com/MrLesk)
3 points
mrlesk
5 months ago
discuss
4.
▲
Backlog.md – Markdown‑native Task Manager and Kanban visualizer for any Git repo
(github.com/MrLesk)
254 points
mrlesk
a year ago
62 comments
5.
▲
F# RISC-V Instruction Set formal specification
(github.com/mrLSD)
134 points
mrLSD-dev
3 years ago
42 comments
6.
▲
F# RISC-V Instruction Set Formal Specification
(github.com/mrLSD)
122 points
adamnemecek
7 years ago
16 comments
7.
▲
Custom Semantic Analyzer library written Rust lang
(github.com/mrLSD)
19 points
mrLSD-dev
2 years ago
discuss
8.
▲
Show HN: World Countries in JSON, CSV and XML
(github.com/mledoze)
7 points
gulbrandr
14 years ago
1 comment
9.
▲
Swift EVM (Ethereum Virtual Machine) new release v0.5.13
(github.com/mrLSD)
2 points
mrLSD-dev
a year ago
3 comments
10.
▲
Rust library semantic-analyzer-rs for creating subset of compilers
(github.com/mrLSD)
2 points
mrLSD-dev
3 years ago
1 comment
11.
▲
Beat the $5 wrench: multi-passphrase multi-content in a single encrypted file
(github.com/mredigonda)
2 points
mredigonda
3 years ago
1 comment
12.
▲
World Countries in JSON, CSV, XML and YAML
(github.com/mledoze)
2 points
TranceMan
11 years ago
discuss
13.
▲
New open source F# RISC-V ISA formal specification and CPU simulation
(github.com/mrLSD)
2 points
sfxws2006
7 years ago
discuss
14.
▲
Revisiting some JavaScript I wrote to manage buffs/gear/stats/data in games
(github.com/MrLeap)
1 point
MrLeap
3 years ago
1 comment
15.
▲
A nvim plugin which searches a file and runs a command on it
(github.com/mrded)
1 point
mrded
4 years ago
1 comment
16.
▲
F# RISC-V Instruction Set Formal Specification
(github.com/mrLSD)
1 point
adamnemecek
7 years ago
discuss
17.
▲
Reduce your LLM agent costs by 90% with structure-preserving HTML compression
(github.com/emmetify)
13 points
maledorak
a year ago
10 comments
18.
▲
Koch – a simple Chef zero replacement
(github.com/marius)
4 points
Maledictus
3 years ago
2 comments
19.
▲
A Complete Machine Learning Package
(github.com/Nyandwi)
4 points
mrleinad
5 years ago
discuss
20.
▲
GPT Engineer
(github.com/AntonOsika)
3 points
mrleinad
3 years ago
discuss
21.
▲
A mathematical model for the effect on fake news
(github.com/dmmeier)
2 points
mrleiter
8 years ago
1 comment
22.
▲
Sisyphus: high-performance data processing framework
(github.com/Titousensei)
2 points
mrlebowski
13 years ago
discuss
23.
▲
Back-End Developer Interview Questions
(github.com/arialdomartini)
2 points
mrleinad
8 years ago
discuss
24.
▲
A high performance, open source, general-purpose HTTP2 RPC framework from Google
(github.com)
1 point
mreddy
11 years ago
discuss
25.
▲
Aurora EVM rust library: Cancun hard fork release
(github.com/aurora-is-near)
1 point
mrLSD-dev
2 years ago
discuss
26.
▲
Microsoft Media Platform Content Manager in github
(github.com/stwood)
1 point
mrleinad
15 years ago
discuss