HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
841.
▲
Show HN: Tool for typing special characters hassle-free
github.com/alex028502
1 comment
3 years ago
alex028502
4 points
842.
▲
Llama.cpp speculative sampling: 2x faster inference for large models
github.com/ggerganov
1 comment
3 years ago
bobivl
4 points
843.
▲
Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them
github.com/kerberosmansour
1 comment
3 years ago
kerberosmansour
4 points
844.
▲
Coze: A cryptographic JSON messaging specification designed for human readabili
github.com/Cyphrme
1 comment
3 years ago
todsacerdoti
4 points
845.
▲
TypeScriptBC – Language specification for TypeScript with a Rust borrow checker
github.com/alshdavid
1 comment
5 years ago
apatheticonion
4 points
846.
▲
Einkbro: Android E-ink device specific Browser – pagination keys; reader mode
github.com/plateaukao
1 comment
5 years ago
coolwulf
4 points
847.
▲
My speculations writing a coding platform in 8 weeks as a highschooler
1 comment
6 years ago
tr1ll10nb1ll
4 points
848.
▲
Show HN: Mandelwave: A mandelbrot inverse spectrogram with Griffin-Lim algorithm
github.com/iRyanBell
1 comment
6 years ago
iryanbell
4 points
849.
▲
Spectrum injects JavaScript into unsecured webpages to show copyright notices
gist.github.com
1 comment
7 years ago
jzebedee
4 points
850.
▲
I listed 550+ Industry Specific Machine Learning Projects
github.com/firmai
1 comment
7 years ago
callli
4 points
851.
▲
Spectre example code
gist.github.com
1 comment
8 years ago
DyslexicAtheist
4 points
852.
▲
Raspberry Pi HAT Specification Released
github.com/raspberrypi
discuss
12 years ago
0xFR
4 points
853.
▲
Speed up your Rails specs with parallel_tests AND zeus (like spork)
github.com/sevos
discuss
13 years ago
artur_roszczyk
4 points
854.
▲
Meteor: first draft spec for DDP
github.com/meteor
discuss
13 years ago
qiqing
4 points
855.
▲
Show HN: Agent-fox – write a spec, run agent-fox, and go do something else
github.com/agent-fox-dev
discuss
2 months ago
mickuehl
4 points
856.
▲
MultiHead: Turn one GPU into a team of specialized AI agents (open source)
github.com/axsar
discuss
3 months ago
axsar
4 points
857.
▲
Show HN: Ossature – Spec-driven code generation with LLMs
ossature.dev
discuss
3 months ago
beshrkayali
4 points
858.
▲
Show HN: Net RazorConsole – Build Interactive TUI with Razor and Spectre.Console
razorconsole.github.io
discuss
7 months ago
BigBigMiao
4 points
859.
▲
Show HN: ch, a terminal tool to highlight specific words in your command output
github.com/dtonon
discuss
8 months ago
dtonon
4 points
860.
▲
Show HN: Generate AI agent tools from any OpenAPI spec (Claude, Cursor, etc.)
discuss
a year ago
johnxie
4 points
861.
▲
Render colored waveforms based on spectral energy contents
github.com/turbo
discuss
a year ago
summarity
4 points
862.
▲
Show HN: Async.nvim: Full Promise spec for Neovim and async NPM lib port for Lua
github.com/izelnakri
discuss
2 years ago
izelnakri
4 points
863.
▲
Abusing .NET Operator Overloads to Implement Domain Specific Language for HTML
github.com/guneysus
discuss
2 years ago
guneysu
4 points
864.
▲
Show HN: Pumpduler – receive messages on specific time over sockets
github.com/hakiKhuva
discuss
2 years ago
letmecheck
4 points
865.
▲
OpenAPI-TUI: Terminal UI to list, browse and run APIs defined with OpenAPI spec
github.com/zaghaghi
discuss
2 years ago
todsacerdoti
4 points
866.
▲
Show HN: Mewz: A unikenrel specialized for running WASM
github.com
discuss
2 years ago
Saza-ku
4 points
867.
▲
Formal specifications and static checking of interfaces in Julia
github.com/Keno
discuss
3 years ago
amkkma
4 points
868.
▲
Open-Gamma-Detector: a hackable DIY gamma-ray spectrometer
github.com/OpenGammaProject
discuss
3 years ago
_Microft
4 points
869.
▲
GPT-Engineer – Specify what you want it to build, clarify, and the AI builds it
github.com/AntonOsika
discuss
3 years ago
danboarder
4 points
870.
▲
ReplitLM specialized on code completion open-sourced by Replit
github.com/replit
discuss
3 years ago
wyem
4 points
More