Search: github.com/xspec | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

841.

Llama.cpp speculative sampling: 2x faster inference for large models (github.com/ggerganov)

4 points

3 years ago

842.

Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them (github.com/kerberosmansour)

4 points

kerberosmansour

3 years ago

843.

Coze: A cryptographic JSON messaging specification designed for human readabili (github.com/Cyphrme)

4 points

3 years ago

844.

TypeScriptBC – Language specification for TypeScript with a Rust borrow checker (github.com/alshdavid)

4 points

5 years ago

845.

Einkbro: Android E-ink device specific Browser – pagination keys; reader mode (github.com/plateaukao)

4 points

5 years ago

846.

My speculations writing a coding platform in 8 weeks as a highschooler

4 points

6 years ago

847.

Show HN: Mandelwave: A mandelbrot inverse spectrogram with Griffin-Lim algorithm (github.com/iRyanBell)

4 points

6 years ago

848.

Spectrum injects JavaScript into unsecured webpages to show copyright notices (gist.github.com)

4 points

7 years ago

849.

I listed 550+ Industry Specific Machine Learning Projects (github.com/firmai)

4 points

7 years ago

850.

Spectre example code (gist.github.com)

4 points

DyslexicAtheist

8 years ago

851.

Raspberry Pi HAT Specification Released (github.com/raspberrypi)

4 points

12 years ago

852.

Speed up your Rails specs with parallel_tests AND zeus (like spork) (github.com/sevos)

4 points

13 years ago

853.

Meteor: first draft spec for DDP (github.com/meteor)

4 points

13 years ago

854.

Show HN: Agent-fox – write a spec, run agent-fox, and go do something else (github.com/agent-fox-dev)

4 points

a month ago

855.

MultiHead: Turn one GPU into a team of specialized AI agents (open source) (github.com/axsar)

4 points

3 months ago

856.

Show HN: Ossature – Spec-driven code generation with LLMs (ossature.dev)

4 points

3 months ago

857.

Show HN: Net RazorConsole – Build Interactive TUI with Razor and Spectre.Console (razorconsole.github.io)

4 points

6 months ago

858.

Show HN: ch, a terminal tool to highlight specific words in your command output (github.com/dtonon)

4 points

8 months ago

859.

Show HN: Generate AI agent tools from any OpenAPI spec (Claude, Cursor, etc.)

4 points

a year ago

860.

Render colored waveforms based on spectral energy contents (github.com/turbo)

4 points

a year ago

861.

Show HN: Async.nvim: Full Promise spec for Neovim and async NPM lib port for Lua (github.com/izelnakri)

4 points

2 years ago

862.

Abusing .NET Operator Overloads to Implement Domain Specific Language for HTML (github.com/guneysus)

4 points

2 years ago

863.

Show HN: Pumpduler – receive messages on specific time over sockets (github.com/hakiKhuva)

4 points

2 years ago

864.

OpenAPI-TUI: Terminal UI to list, browse and run APIs defined with OpenAPI spec (github.com/zaghaghi)

4 points

2 years ago

865.

Show HN: Mewz: A unikenrel specialized for running WASM (github.com)

4 points

2 years ago

866.

Formal specifications and static checking of interfaces in Julia (github.com/Keno)

4 points

3 years ago

867.

Open-Gamma-Detector: a hackable DIY gamma-ray spectrometer (github.com/OpenGammaProject)

4 points

3 years ago

868.

GPT-Engineer – Specify what you want it to build, clarify, and the AI builds it (github.com/AntonOsika)

4 points

3 years ago

869.

ReplitLM specialized on code completion open-sourced by Replit (github.com/replit)

4 points

3 years ago

870.

Show HN: Sysm lets you play custom sounds on specified events (github.com/jafarlihi)

4 points

3 years ago