Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
451.
TLA+ specification of the Ceph consensus algorithm (github.com/afonsonf)
3 points
afonsonf
5 years ago
discuss
452.
A Tour of the RISC-V ISA Formal Specification (github.com/rsnikhil)
3 points
matt_d
6 years ago
discuss
453.
Swagger Rest API Server and Client Generator (github.com/swagger-api)
3 points
davidjnelson
11 years ago
discuss
454.
Agent API Spec Design: When API Callers Change from Application to AI Agent (github.com/tomsun28)
2 points
tomsun28
3 months ago
2 comments
455.
New config file format based on Markdown (github.com/mol-format)
2 points
dankrusi
2 months ago
1 comment
456.
Show HN: UCP – A file-system protocol to fix AI amnesia (github.com/CorePack-AI)
2 points
breezenik
5 months ago
1 comment
457.
Incorporate monads and category theory to Promises/A+ (github.com/promises-aplus)
2 points
espadrine
13 years ago
discuss
458.
Built this for my civil engineering firm's static site on Cloudflare Pages (github.com/bwengr)
2 points
bwengr
a month ago
discuss
459.
Preliminary in-progress RISC-V "P" Extension (github.com/riscv)
2 points
camel-cdr
a month ago
discuss
460.
Amazingly succinct ES6 summary (espadrine.github.com)
2 points
devinrhode2
14 years ago
discuss
461.
Show HN: YouTube Musical Spectrum is now available on Spotify and SoundCloud (github.com/mfcc64)
2 points
mfcc64
7 months ago
discuss
462.
Claude Code Spec Workflow: Automated Spec-Driven Workflow for Claude Code (github.com/Pimzino)
2 points
thenaturalist
a year ago
discuss
463.
Evergreen Protocol (github.com/google-deepmind)
2 points
zerojames
2 years ago
discuss
464.
Show HN: YouTube Musical Spectrum – visualizer for YouTube with musical notes (github.com/mfcc64)
2 points
mfcc64
3 years ago
discuss
465.
The Portal Network (github.com/ethereum)
2 points
michaelsbradley
4 years ago
discuss
466.
Build a Debian Raspberry Pi 3 Image (github.com/Debian)
2 points
fanf2
7 years ago
discuss
467.
The state of the proposed H element (github.com/jonathantneal)
2 points
bryanrasmussen
9 years ago
discuss
468.
Show HW: Markdown Object Language (github.com/mol-format)
1 point
dankrusi
a month ago
2 comments
469.
Show HN: Agent – Inline code annotations for AI agents (github.com/codebasedlearning)
1 point
Alex-Aachen
a month ago
2 comments
470.
Show HN: Endemic Species (AES) Release on World Environment Day (github.com/shenlu89)
1 point
shenlu
2 years ago
2 comments
471.
Working draft of the proposed RISC-V V vector extension (github.com/riscv)
1 point
tosh
2 years ago
2 comments
472.
Show HN: Arc OS – spec-first audit layer for GPT prompts (MD and self-check) (github.com/arenalensmuaydata)
1 point
axezing121321
a year ago
1 comment
473.
Concerns over mask register design in RISC-V Vector Extension v1.0 (github.com/riscv)
1 point
gchadwick
4 years ago
1 comment
474.
Py.spec – RSpec style tests in py.test (github.com/jasonkeene)
1 point
jasonkeene
12 years ago
discuss
475.
TimeSeries Format Specification Proposal (github.com/StevenLeRoux)
1 point
StevenLeRoux
13 years ago
discuss
476.
Show HN: theta-spec - a humble harness agnostic configuration spec (github.com/tamarillo-ai)
1 point
ivanbelenky
9 days ago
discuss
477.
Stateless settlement-gated HTTP APIs using UTXO replay protection (github.com/ruidasilva)
1 point
ruidasilva
a month ago
discuss
478.
1024-bit prime,аvrg speed of~34ms;minimum latency:1.90 Ms.;over 1000 generations (github.com/model-vpr)
1 point
vpr-research
a month ago
discuss
479.
5x faster prime generation than OpenSSL via Riemann zeta zeros (SpectralPrimes) (github.com/model-vpr)
1 point
vpr-research
2 months ago
discuss
480.
Show HN: Claude Livestreaming NetHack on GitHub Actions (github.com/ada-yang-dev)
1 point
ada-yang
5 months ago
discuss
More