Search: github.com/xspec | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

TLA+ specification of the Ceph consensus algorithm (github.com/afonsonf)

3 points

5 years ago

452.

A Tour of the RISC-V ISA Formal Specification (github.com/rsnikhil)

3 points

6 years ago

453.

Swagger Rest API Server and Client Generator (github.com/swagger-api)

3 points

11 years ago

454.

Agent API Spec Design: When API Callers Change from Application to AI Agent (github.com/tomsun28)

2 points

3 months ago

455.

New config file format based on Markdown (github.com/mol-format)

2 points

2 months ago

456.

Show HN: UCP – A file-system protocol to fix AI amnesia (github.com/CorePack-AI)

2 points

5 months ago

457.

Incorporate monads and category theory to Promises/A+ (github.com/promises-aplus)

2 points

13 years ago

458.

Built this for my civil engineering firm's static site on Cloudflare Pages (github.com/bwengr)

2 points

a month ago

459.

Preliminary in-progress RISC-V "P" Extension (github.com/riscv)

2 points

a month ago

460.

Amazingly succinct ES6 summary (espadrine.github.com)

2 points

14 years ago

461.

Show HN: YouTube Musical Spectrum is now available on Spotify and SoundCloud (github.com/mfcc64)

2 points

7 months ago

462.

Claude Code Spec Workflow: Automated Spec-Driven Workflow for Claude Code (github.com/Pimzino)

2 points

a year ago

463.

Evergreen Protocol (github.com/google-deepmind)

2 points

2 years ago

464.

Show HN: YouTube Musical Spectrum – visualizer for YouTube with musical notes (github.com/mfcc64)

2 points

3 years ago

465.

The Portal Network (github.com/ethereum)

2 points

michaelsbradley

4 years ago

466.

Build a Debian Raspberry Pi 3 Image (github.com/Debian)

2 points

7 years ago

467.

The state of the proposed H element (github.com/jonathantneal)

2 points

9 years ago

468.

Show HW: Markdown Object Language (github.com/mol-format)

1 point

a month ago

469.

Show HN: Agent – Inline code annotations for AI agents (github.com/codebasedlearning)

1 point

a month ago

470.

Show HN: Endemic Species (AES) Release on World Environment Day (github.com/shenlu89)

1 point

2 years ago

471.

Working draft of the proposed RISC-V V vector extension (github.com/riscv)

1 point

2 years ago

472.

Show HN: Arc OS – spec-first audit layer for GPT prompts (MD and self-check) (github.com/arenalensmuaydata)

1 point

a year ago

473.

Concerns over mask register design in RISC-V Vector Extension v1.0 (github.com/riscv)

1 point

4 years ago

474.

Py.spec – RSpec style tests in py.test (github.com/jasonkeene)

1 point

12 years ago

475.

TimeSeries Format Specification Proposal (github.com/StevenLeRoux)

1 point

13 years ago

476.

Show HN: theta-spec - a humble harness agnostic configuration spec (github.com/tamarillo-ai)

1 point

9 days ago

477.

Stateless settlement-gated HTTP APIs using UTXO replay protection (github.com/ruidasilva)

1 point

a month ago

478.

1024-bit prime,аvrg speed of~34ms;minimum latency:1.90 Ms.;over 1000 generations (github.com/model-vpr)

1 point

a month ago

479.

5x faster prime generation than OpenSSL via Riemann zeta zeros (SpectralPrimes) (github.com/model-vpr)

1 point

2 months ago

480.

Show HN: Claude Livestreaming NetHack on GitHub Actions (github.com/ada-yang-dev)

1 point

5 months ago