Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
691.
Google-DeepMind/formal-conjectures: collection of formalized conjectures in lean (github.com/google-deepmind)
4 points
diginova
a year ago
discuss
692.
Formatters, linters, and compilers: Oh my (github.com/readme)
4 points
Brajeshwar
3 years ago
discuss
693.
Microsoft's AI for Beginners (github.com/microsoft)
4 points
gits1225
4 years ago
discuss
694.
Decompression Routines for Ancient Formats (github.com/temisu)
4 points
doener
6 years ago
discuss
695.
The Forge: Rendering Library Used on Stormland and Tomb Raider Released (github.com/ConfettiFX)
4 points
bbmario
6 years ago
discuss
696.
Free resources to learn any topic (github.com/aviaryan)
4 points
aviaryan
7 years ago
discuss
697.
Show HN: A Free Course in Deep Learning Using TensorFlow (github.com/open-source-for-science)
4 points
irsina
8 years ago
discuss
698.
CLI for Full Stack Engineers (github.com/nemild)
4 points
jaytaylor
8 years ago
discuss
699.
Show HN: Datasets for start with Machine Learning (github.com/pplonski)
4 points
pplonski86
9 years ago
discuss
700.
Google Form Stripper (github.com/phazonoverload)
4 points
Kinnard
10 years ago
discuss
701.
Forth in a spreadsheet (github.com/tiluser)
4 points
pointfree
10 years ago
discuss
702.
A Terminal UI (TUI) Alternative to GHelper for Asus ROG / TUF Laptops on Linux (github.com/Ichihiroy)
3 points
ichihiroy
3 months ago
2 comments
703.
Show HN: A browser extension that removes the algorithmic X 'For you' evil tab (github.com/alterebro)
3 points
alterebro
a year ago
2 comments
704.
Python Requests is getting an interesting alternative (github.com/psf)
3 points
zedledplin
2 years ago
2 comments
705.
Show HN: Accurately transform words e.g. “election” – “elect”, “electoral” etc. (github.com/gutfeeling)
3 points
steinsgate
10 years ago
2 comments
706.
A zelda sound will be played when your specs pass :) (github.com/Poilon)
3 points
tibastral2
11 years ago
1 comment
707.
Anti-Forensics Tools (github.com/int0x80)
3 points
ShaneWilton
12 years ago
1 comment
708.
Ubuntu Unity for Arch Linux (github.com/chenxiaolong)
3 points
vikas0380
12 years ago
1 comment
709.
The smallest pixel art diffusion app using local AI on a mobile phone (github.com/cochranblock)
3 points
cochranblock
2 months ago
1 comment
710.
Show HN: Spend weekend Claude tokens making your code bulletproof with Lean (github.com/savarin)
3 points
kurinikku
2 months ago
1 comment
711.
Agentic Representation of Ecosystems (github.com/offtrailstudio)
3 points
megabless123
3 months ago
1 comment
712.
Paperfold for iOS (github.com/honcheng)
3 points
huda
14 years ago
1 comment
713.
Programming for Kids (github.com/jackdoe)
3 points
plurby
3 years ago
1 comment
714.
Automating your communication between Visual Studio Code and ChatGPT (github.com/ivangabriele)
3 points
IvanGabriele
3 years ago
1 comment
715.
Python for Coding Interviews (github.com/mmicu)
3 points
Pessimist5318
3 years ago
1 comment
716.
Amazon Linux Hotpatch for Apache Log4j Needs a Patch (github.com/corretto)
3 points
cntlzw
4 years ago
1 comment
717.
Soda – an open-source document API for Oracle Database (github.com/oracle)
3 points
gvenzl
6 years ago
1 comment
718.
ForwardTacotron – Generating speech without attention (github.com/as-ideas)
3 points
datitran
6 years ago
1 comment
719.
Show HN: Multipart/form-data parser based on Cython (supports parsing chunks) (github.com/siddhantgoel)
3 points
siddhant
9 years ago
1 comment
720.
React Form – A new lightweight framework and utility for building powerful forms (github.com/tannerlinsley)
3 points
tannerlinsley
10 years ago
1 comment
More