Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
811.
TLA+ Formal Modeling and Programmers: Avoiding the Imperative “Brainwash”
4 points
doonesbury
5 years ago
2 comments
812.
Ask HN: Help with PGP ported to PHP
4 points
jakejake
11 years ago
1 comment
813.
Show HN: Parse LLM Markdown streams incrementally on the server or client (github.com/nimeshnayaju)
4 points
nayajunimesh
24 days ago
1 comment
814.
Show HN: OneRingAI – Single TypeScript library for multi-vendor AI agents (oneringai.io)
4 points
jhoxray
4 months ago
1 comment
815.
Show HN: Fast360 – A web tool to benchmark open-source OCR models side-by-side (fast360.xyz)
4 points
yanaimngvov
10 months ago
1 comment
816.
Show HN: Driftcop – Open-source CLI SAST for "MCP rug pull attacks in AI Agents" (github.com/sudoviz)
4 points
vinaypanghal
10 months ago
1 comment
817.
Show HN: CocoIndex – Open-Source Data transformation for AI, only process delta (github.com/cocoindex-io)
4 points
badmonster
a year ago
1 comment
818.
Can someone who works on GitHub explain why "Hide whitespace" doesn't persist?
4 points
stravant
a year ago
1 comment
819.
Show HN: Quantum-Enhanced Mathematical Reasoning System – Expert Verification
4 points
nandakishor_ml
a year ago
1 comment
820.
Show HN: A complete double-entry accounting system in PostgreSQL (github.com/gerdemb)
4 points
gerdemb
2 years ago
1 comment
821.
Show HN: Use Purple LLaMA to test ChatGPT safeguards
4 points
saqadri
2 years ago
1 comment
822.
Show HN: Neosync – Open Source Data Replication and Anonymization (github.com/nucleuscloud)
4 points
edrenova
2 years ago
1 comment
823.
Show HN: A web service for E2E P2P file transfers with chat (drop.lol)
4 points
matsz
3 years ago
1 comment
824.
Image Holder – Self Hosted app for managing own images
4 points
popovmp
8 years ago
1 comment
825.
Show HN: Treats Human and AI the Same (github.com/haozeli2009)
4 points
haozeli
13 days ago
discuss
826.
Show HN: Twatch – Rewind, search, and diff TUI applications (github.com/blacknon)
4 points
blacknon
a month ago
discuss
827.
Show HN: Xata, open-source Postgres platform with copy-on-write branches (github.com/xataio)
4 points
tee-es-gee
2 months ago
discuss
828.
Show HN: Sandbox agents without losing your dev environment (github.com/wrr)
4 points
mixedbit
2 months ago
discuss
829.
Show HN: Slate – Open-source AI workspace with a built-in browser (github.com/slate-ai)
4 points
meteor333
3 months ago
discuss
830.
Show HN: Epupp – Live, REPL-driven, browser tampering (github.com/PEZ)
4 points
cospaia
3 months ago
discuss
831.
Show HN: Raya – TypeScript-like language with Go-like concurrency model (github.com/rizqme)
4 points
rizqme
4 months ago
discuss
832.
Show HN: MuJoCo React (github.com/noah-wardlow)
4 points
noahwardlow
4 months ago
discuss
833.
Show HN: A small embeddable Datalog engine in Zig
4 points
habedi0
4 months ago
discuss
834.
Show HN: Open-source tool for converting docs into .md and loading into Postgres (github.com/pgEdge)
4 points
pgedge_postgres
5 months ago
discuss
835.
Show HN: Missing puzzle in binary analysis: finding num constants in .so/.bin
4 points
DenisDolya
5 months ago
discuss
836.
Show HN: Lite³ – A JSON-Compatible Zero-Copy Serialization Format in 9.3 kB of C (github.com/fastserial)
4 points
eliasdejong
7 months ago
discuss
837.
Show HN: Awsui – A Modern Textual-Powered AWS CLI TUI (github.com/junminhong)
4 points
jasper_go
8 months ago
discuss
838.
Show HN: CLIPSQLite – A SQLite Library for Clips Resources Readme (github.com/mrryanjohnston)
4 points
ryjo
8 months ago
discuss
839.
Show HN: I am vibe coding a collaborative vibe coding tool
4 points
brainless
9 months ago
discuss
840.
Show HN: Pipec – utility to compose complex shell pipelines (github.com/kriomant)
4 points
kriomant
10 months ago
discuss
More