Search: github.com/forem | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL (github.com/matthew-scherf)

3 points

8 months ago

932.

Compost is an RPC protocol generator with a simple wire format (github.com/STMicroelectronics)

3 points

a year ago

933.

Owl project (OCaml scientific computing) formally concluded (github.com/owlbarn)

3 points

2 years ago

934.

Show HN: A Prettier plugin for formatting imports in Astro files (github.com/ot07)

3 points

3 years ago

935.

Show HN: Active Hashcash – Ruby gem to protect forms against bots (github.com/BaseSecrete)

3 points

4 years ago

936.

We created a Chrome extension to spam the anti-abortion vigilante form

3 points

5 years ago

937.

Blots: A simple paper-based storage format (github.com/lf94)

3 points

8 years ago

938.

Ask HN: README.tex and math formulas for GitHub?

3 points

10 years ago

939.

Show HN: CLImate – Colors, formatting, and more for PHP in the terminal (github.com/joetannenbaum)

3 points

12 years ago

940.

XCPretty - fast and 100% compatible xcodebuild formatter (github.com/mneorr)

3 points

12 years ago

941.

Should I file a lawsuit against my former employer? (gist.github.com)

3 points

13 years ago

942.

Issue for formalised proof of P=NP (github.com/TiruArt)

3 points

6 days ago

943.

Show HN: TIL – a timeline file format with a spiral viewer and editor (til.rfy.nz)

3 points

8 days ago

944.

Make2c - Revolutionary Discovery of the Music Math Formula (github.com/sfeltenberg)

3 points

2 months ago

945.

BETO – A protocol that formalizes what LLMs don't know (github.com/aramirez-maza)

3 points

3 months ago

946.

JSON-up: Stop scattering "if" checks for old JSON formats across your codebase (github.com/Nano-Collective)

3 points

3 months ago

947.

Run Moltbot (Formely Clawdbot) on Cloudflare Workers (github.com/cloudflare)

3 points

4 months ago

948.

Whenwords – A relative time formatting library, with no code (github.com/dbreunig)

3 points

5 months ago

949.

Show HN: Nano.noq – Experimental key-container format (github.com/NOQ-DAFFACTOR)

3 points

6 months ago

950.

AI satisfies formal structural subjectivity in the S₀ protocol (github.com/jengbeng)

3 points

6 months ago

951.

HTML-form an Htmx-like library (github.com/jon49)

3 points

8 months ago

952.

Show HN: SJT- A lightweight structured JSON table format for APIs

3 points

9 months ago

953.

FastLanes: Next-Gen Big Data File Format (github.com/cwida)

3 points

10 months ago

954.

Show HN: Export Slack messages during your vacation into LLM-friendly format (github.com/banagale)

3 points

a year ago

955.

SQLite VFS for ZSTD seekable format (github.com/jtarchie)

3 points

sharinglinks123

2 years ago

956.

Arx, a new file archive format (github.com/jubako)

3 points

2 years ago

957.

Show HN: RegExd | A JavaScript Regular Expression Builder, Tester, Formatter (randhx.github.com)

3 points

14 years ago

958.

GGUF File Format Specification (github.com/philpax)

3 points

3 years ago

959.

OpenAI Cookbook: How to format inputs to ChatGPT models (github.com/openai)

3 points

3 years ago

960.

QOI – The “Quite OK Image Format” for fast, lossless image compression (github.com/phoboslab)

3 points

4 years ago