Search: github.com/agda | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

871.

Ask HN: Help me understand RAG vs. fine tuning for building a coding partner

2 years ago

11 points

872.

Show HN: Simple Text Editor that auto saves txt files

6 years ago

11 points

873.

Show HN: Compliant-LLM: Audit AI Agents for Compliance with NIST AI RMF

github.com/fiddlecube

a year ago

11 points

874.

Show HN: SQLFrame – I ran PySpark without Spark on a SQL database

github.com/eakmanrq

2 years ago

11 points

875.

Show HN: Hagana – Runtime protection for Node.js to block supply chain attacks

github.com/yaakov123

4 years ago

11 points

876.

Show HN: FusionCore: ROS 2 sensor fusion that outperforms robot_localization

github.com/manankharwar

2 months ago

11 points

877.

Show HN: Fp-filters – A curated collection of TS/JS array filter functions

a year ago

11 points

878.

Show HN: I built an HTTP/2 server in C++ to learn the protocol and language

github.com/rhargreaves

6 months ago

11 points

879.

Ask HN: Is Adrian Colyer of "The Morning Paper" fame ok?

a year ago

11 points

880.

Show HN: AES-256 brute force using structured logic (UUIDs and xy = x/y rule)

github.com/ElSolem

a year ago

11 points

881.

Steam bans the worlds first interactive animated feature film because NFT's 0_0

5 years ago

11 points

882.

Ask HN: Why do people need more than git to manage dotfiles?

2 years ago

10 points

883.

Need collaborators for ADHD management system called Poppins

13 years ago

crawfordcomeaux

10 points

884.

Show HN: I built a dream interpreter in JavaScript, no AI, no server, just logic

github.com/Dino-Nuggies45

a year ago

10 points

885.

Show HN: Poker over SSH

github.com/theOGognf

2 years ago

10 points

886.

Show HN: Open Passkey – open-source passkey auth with free "backendless" host

github.com/locke-inc

2 months ago

10 points

887.

Show HN: Claude.md templates based on Boris Cherny's advice

github.com/abhishekray07

5 months ago

10 points

888.

Show HN: Rekapu – Learn while procrastinating. Answer flashcard to unblock sites

github.com/k-tkachov

6 months ago

10 points

889.

Show HN: Pomerium Agentic Access Gateway – dynamic auth for AI agents

a year ago

10 points

890.

Show HN: Skeet – A local-friendly command-line copilot that works with any LLM

github.com/knowsuchagency

a year ago

10 points

891.

Show HN: ColiVara – State of the Art RAG API with Vision Models

github.com/tjmlabs

2 years ago

10 points

892.

Show HN: A silly JavaScript-free web browser in the browser

4 years ago

10 points

893.

Ask HN: Why did anti-FOSS move by GrapheneOS not receive more attention?

3 years ago

throwaway_graph

9 points

894.

Show HN: I'm 35 and couldn't finish reading articles anymore, so I built this

parsely.obasic.app

6 months ago

9 points

895.

Ask HN: Should I ditch Wordpress for Ghost?

11 years ago

9 points

896.

Ask HN: What can I do to fight internet censorship in Spain as a non-EU citizen?

10 months ago

9 points

897.

Show HN: Catnip – Run Claude Code from Your iPhone Using GitHub Codespaces

github.com/wandb

6 months ago

9 points

898.

Show HN: The biggest achievement of my life so far

github.com/adityaprasad-sudo

5 months ago

ambitious_potat

9 points

899.

Show HN: Checkpoint 401 – forward auth server in TypeScript / Deno

github.com/crowdwave

2 years ago

9 points

900.

Show HN: ReJot – Database replication framework aimed at developers

github.com/rejot-dev

a year ago

9 points