HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
A schema language for defining the structure of JSON data
github.com/mschema
1 comment
12 years ago
niix
5 points
2.
▲
Mschematool – minimal database schema migration tool
github.com/aartur
discuss
12 years ago
aartur
1 points
3.
▲
Show HN: Guardrails for AI-written Markdown: enforce document with mdschema
github.com/jackchuka
discuss
5 months ago
jackchuka
1 points
4.
▲
Show HN: Ruroco – like port knocking, but better
github.com/beac0n
102 comments
2 years ago
mschempp
127 points
5.
▲
CS and Math Resources
discuss
8 months ago
Shaneso
2 points
6.
▲
Show HN: FuturLang – Natural language formal verification
1 comment
5 months ago
wapiou
1 points
7.
▲
Show HN: TubeSkip – auto-skip YouTube based on keywords like banned artists
github.com/MichealReed
discuss
2 years ago
uLogMicheal
1 points
8.
▲
DHCPwn: A DHCP exhaustion tool
github.com/mschwager
24 comments
10 years ago
svenfaw
83 points
9.
▲
Len/Mathematics: A computational algebra system in Smalltalk
github.com/len
18 comments
9 years ago
mpweiher
75 points
10.
▲
Mathematics Dataset
github.com/deepmind
discuss
7 years ago
stablemap
15 points
11.
▲
Minidisc: Zero-config service discovery for Tailscale networks
github.com/mscheidegger
discuss
a year ago
todsacerdoti
4 points
12.
▲
Show HN: R.I.P.Link – Find dead links on the web
github.com/mschwager
discuss
9 years ago
schwag09
4 points
13.
▲
Ternative – C++/CUDA inference engine for ternary LLMs with runtime LoRA
github.com/michelangeloromerochisco
1 comment
a month ago
michelangeloro
3 points
14.
▲
Mathematics all-in-one cheat-sheet (2013) [pdf]
github.com/ourway
discuss
5 years ago
rodmena
3 points
15.
▲
Show HN: Cohesion – A tool for measuring Python class cohesion
github.com/mschwager
discuss
10 years ago
schwag09
3 points
16.
▲
Mathematics Roadmap
github.com/TalalAlrawajfeh
discuss
a year ago
gmays
2 points
17.
▲
Speculative decoding of llama2 models in pure C
github.com/mscheong01
discuss
2 years ago
mscheong
2 points
18.
▲
Show HN: InterfAIce – Harness the power of ChatGPT by defining interfaces
github.com/mscheong01
discuss
3 years ago
mscheong
2 points
19.
▲
Mathematics – A computational algebra system in Smalltalk
github.com/len
discuss
7 years ago
lelf
2 points
20.
▲
Mathematics: A computational algebra system in Smalltalk
github.com/len
discuss
8 years ago
mpweiher
2 points
21.
▲
Show HN: Fierce – A Python rewrite of the classic DNS reconnaissance tool
github.com/mschwager
discuss
10 years ago
schwag09
2 points
22.
▲
Fierce: DNS reconnaissance tool
github.com/mschwager
discuss
10 years ago
adamnemecek
2 points
23.
▲
Mathematics Roadmap
github.com/TalalAlrawajfeh
discuss
4 years ago
sambapa
1 points
24.
▲
Query and visualize GitHub repo activity contributions with entity attribution
github.com/mchmarny
discuss
4 years ago
mchmarny
1 points
25.
▲
Mathematical Foundations of Reinforcement Learning
github.com/MathFoundationRL
43 comments
a year ago
ibobev
424 points
26.
▲
McSema: An Executable Lifter
github.com/lifting-bits
discuss
6 years ago
momonga
2 points
27.
▲
How to get a solid mathematics base using Functional Programming
github.com/ryukinix
discuss
10 years ago
lerax
2 points
28.
▲
Show HN: Cryptography-to-Math
github.com/gabrielg
discuss
11 years ago
hodgesmr
1 points
29.
▲
SpeedLimit lets you simulate slow Internet connections, for testing
mschrag.github.com
discuss
14 years ago
pud
2 points
30.
▲
Show HN: CPU-based Neural Net. Zero floats. Returns "I don't know"
github.com/probabilistic-minds-consortium
discuss
5 months ago
kwojno
1 points
More