Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
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