Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

841.

Ask HN: Yahoo Pipes Replacement?

13 points

11 years ago

842.

Show HN: Bonsai 1.7B ternary model at 442T/s on M4 Max (agents2agents.ai)

13 points

a month ago

843.

Show HN: Prisma Next – data contracts, migration graphs, agent DX (github.com/prisma)

13 points

18 days ago

844.

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

13 points

3 years ago

845.

VictoriaLogs Beats Elasticsearch, MongoDB and PostgreSQL in ClickBench

13 points

a year ago

846.

Show HN: I Built an Open Source API with Insanely Fast Whisper and Fly GPUs (github.com/JigsawStack)

13 points

2 years ago

847.

Show HN: punq – open-source Kubernetes manager with team collaboration (github.com/mogenius)

13 points

3 years ago

848.

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

13 points

8 years ago

849.

Show HN: Ontology-driven knowledge graph extraction from text

13 points

7 months ago

850.

Show HN: CivBench a long-horizon AI benchmark for multi-agent games (clashai.live)

12 points

3 months ago

851.

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

12 points

4 years ago

852.

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

12 points

6 years ago

853.

Show HN: Playground for OpenAI API with function calls (gpt342.s3.us-east-1.amazonaws.com)

12 points

3 years ago

854.

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

12 points

13 years ago

855.

Show HN: Collie – A minimal RSS reader just for you (github.com/parksb)

12 points

3 years ago

856.

Show HN: Decentralized Database (github.com/dbpunk-labs)

12 points

3 years ago

857.

Show HN: Keystone – configure Dockerfiles and dev containers for any repo (github.com/imbue-ai)

12 points

4 months ago

858.

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

12 points

3 years ago

859.

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

11 points

3 months ago

860.

Show HN: A competition game to write bots for the most efficient algo (github.com/kingofthegrid)

11 points

a year ago

861.

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

11 points

2 years ago

862.

Show HN: Simple Text Editor that auto saves txt files

11 points

6 years ago

863.

Show HN: Compliant-LLM: Audit AI Agents for Compliance with NIST AI RMF (github.com/fiddlecube)

11 points

a year ago

864.

Show HN: SQLFrame – I ran PySpark without Spark on a SQL database (github.com/eakmanrq)

11 points

2 years ago

865.

Show HN: Hagana – Runtime protection for Node.js to block supply chain attacks (github.com/yaakov123)

11 points

4 years ago

866.

Show HN: FusionCore: ROS 2 sensor fusion that outperforms robot_localization (github.com/manankharwar)

11 points

a month ago

867.

Show HN: Fp-filters – A curated collection of TS/JS array filter functions (npmjs.com)

11 points

a year ago

868.

Show HN: I built an HTTP/2 server in C++ to learn the protocol and language (github.com/rhargreaves)

11 points

5 months ago

869.

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

11 points

a year ago

870.

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

11 points

a year ago