Search: github.com/Form5 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Ask HN: Is there a JSON format for specifying a test case?

3 points

12 years ago

902.

Show HN: LowTeX -- a plaintext formatter (github.com/Hardmath123)

3 points

12 years ago

903.

Show HN: OpenMix, open-source computational framework for formulation science (github.com/vijayvkrishnan)

3 points

2 months ago

904.

Using Petri nets as a formal language for LLM-assisted development (github.com/pflow-xyz)

3 points

6 months ago

905.

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

3 points

8 months ago

906.

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

3 points

a year ago

907.

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

3 points

2 years ago

908.

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

3 points

3 years ago

909.

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

3 points

4 years ago

910.

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

3 points

5 years ago

911.

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

3 points

8 years ago

912.

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

3 points

10 years ago

913.

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

3 points

12 years ago

914.

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

3 points

13 years ago

915.

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

3 points

13 years ago

916.

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

3 points

11 days ago

917.

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

3 points

14 days ago

918.

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

3 points

2 months ago

919.

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

3 points

3 months ago

920.

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

3 points

3 months ago

921.

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

3 points

5 months ago

922.

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

3 points

5 months ago

923.

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

3 points

6 months ago

924.

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

3 points

7 months ago

925.

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

3 points

8 months ago

926.

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

3 points

9 months ago

927.

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

3 points

a year ago

928.

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

3 points

a year ago

929.

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

3 points

sharinglinks123

2 years ago

930.

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

3 points

2 years ago