Search: github.com/agda | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

841.

Show HN: Paradict – Streamable multi-format serialization with schema

github.com/pyrustic

3 years ago

14 points

842.

Show HN: ChatHN – Chat with Hacker News using natural language

chathn.vercel.app

3 years ago

14 points

843.

Show HN: Constellation – An always encrypted Kubernetes engine

github.com/edgelesssys

4 years ago

14 points

844.

Show HN: Retrace – reverse debugging for production CPython applications

github.com/retracesoftware

a month ago

14 points

845.

Show HN: I trained a chess engine to play like humans

a month ago

14 points

846.

Show HN: SecretMemoryLocker – File Encryption Without Static Passwords

github.com/SecretML

10 months ago

14 points

847.

Show HN: Enter your domain and my open-source agent will hack it

github.com/usestrix

10 months ago

14 points

848.

Show HN: CargoWall – eBPF Firewall for GitHub Actions

github.com/code-cargo

3 months ago

14 points

849.

Show HN: TheAuditor – Offline security scanner for AI-generated code

github.com/TheAuditorTool

10 months ago

13 points

850.

Show HN: Personal Site, and the Static Site Generator I Wrote to Build It

7 years ago

13 points

851.

Ask HN: Yahoo Pipes Replacement?

11 years ago

13 points

852.

Show HN: Bonsai 1.7B ternary model at 442T/s on M4 Max

agents2agents.ai

2 months ago

13 points

853.

Show HN: Prisma Next – data contracts, migration graphs, agent DX

github.com/prisma

a month ago

13 points

854.

Show HN: Automatically convert your GPT-3.5 prompt to Llama 2

3 years ago

13 points

855.

VictoriaLogs Beats Elasticsearch, MongoDB and PostgreSQL in ClickBench

a year ago

13 points

856.

Show HN: I Built an Open Source API with Insanely Fast Whisper and Fly GPUs

github.com/JigsawStack

2 years ago

13 points

857.

Show HN: punq – open-source Kubernetes manager with team collaboration

github.com/mogenius

3 years ago

13 points

858.

PSA: You can see a record of IPs that have attempted to hack your GitHub account

8 years ago

13 points

859.

Show HN: Ontology-driven knowledge graph extraction from text

7 months ago

13 points

860.

Show HN: CivBench a long-horizon AI benchmark for multi-agent games

4 months ago

12 points

861.

Tell HN: Linux Mint support IRC appears to me captured by juvenile moderators

4 years ago

12 points

862.

Ask HN: How to Decode .exe Binary to Recover Source Code

6 years ago

12 points

863.

Show HN: Playground for OpenAI API with function calls

gpt342.s3.us-east-1.amazonaws.com

3 years ago

12 points

864.

Show HN: Code pastes in local storage, shared via Web Sockets

13 years ago

12 points

865.

Show HN: Collie – A minimal RSS reader just for you

github.com/parksb

3 years ago

12 points

866.

Show HN: Decentralized Database

github.com/dbpunk-labs

4 years ago

12 points

867.

Show HN: Keystone – configure Dockerfiles and dev containers for any repo

github.com/imbue-ai

4 months ago

12 points

868.

Show HN: UpTrain (YC W23) – open-source tool to evaluate LLM response quality

demo.uptrain.ai

3 years ago

12 points

869.

Built a 1.3M-line agent-native OS in Rust while homeless. What now?

3 months ago

11 points

870.

Show HN: A competition game to write bots for the most efficient algo

github.com/kingofthegrid

a year ago

11 points