Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Show HN: Type-safe RESTful framework for fullstack with zero dependency
(github.com/withtyped)
1 point
pseudopuppet
4 years ago
1 comment
2.
▲
Show HN: withtyped – write SQL-in-TS and get 4 tailored dev engines
(github.com/withtyped)
1 point
pseudopuppet
3 years ago
discuss
3.
▲
Hazel: A live functional programming environment with typed holes
(github.com/hazelgrove)
73 points
azhenley
a year ago
16 comments
4.
▲
HN Research Agent (Fenic and PydanticAI) with typed, citation-backed answers
(github.com/typedef-ai)
12 points
Stephen_Oladele
8 months ago
discuss
5.
▲
Ollama Holes: Haskell Source with Typed Holes
(github.com/Tritlo)
4 points
mcbuilder
a year ago
discuss
6.
▲
Show HN: An opinionated TS package build toolchain with typed configuration
(github.com/pkg-tools)
4 points
crowprose
2 years ago
discuss
7.
▲
Claude Code plugin for LLM research with typed claims and conflict detection
(github.com/grainulation)
3 points
volatilityfund
2 months ago
discuss
8.
▲
Show HN: OpenSymbolicAI – Agents with typed variables, not just context stuffing
2 points
rksart
4 months ago
1 comment
9.
▲
Mnemos – Open-source memory layer with typed conflict resolution for AI agents
(github.com/Sohamp2809)
2 points
Soham2809
3 months ago
discuss
10.
▲
Flask with typed auto-documentation, inspired by FastAPI
(github.com/ironslob)
2 points
ironslob
5 years ago
discuss
11.
▲
Show HN: Synchrotron, a real-time DSP engine in pure Python
(synchrotron.thatother.dev)
82 points
andromedaM31
10 months ago
5 comments
12.
▲
Show HN: Comfy Nodekit – build/serialize ComfyUI workflows in Python
(github.com/katalist-ai)
11 points
zkanda
7 months ago
4 comments
13.
▲
Show HN: InsForge – A Postgres BaaS built for prompt-driven development
(insforge.dev)
7 points
tonychang430
7 months ago
discuss
14.
▲
Show HN: Memoriki – LLM Wiki+MemPalace for persistent personal knowledge bases
5 points
Aianback
2 months ago
discuss
15.
▲
Show HN: Agd – a content-addressed DAG for tracking what AI agents do
(github.com/frontman-ai)
4 points
BlueHotDog2
3 months ago
2 comments
16.
▲
Show HN: Colnade – Type-Safe DataFrames for Python
(github.com/jwde)
3 points
jwde
3 months ago
1 comment
17.
▲
Show HN: Astro MD Editor – Schema-aware editor for Astro content collections
(github.com/bimsina)
2 points
bimsina
3 months ago
discuss
18.
▲
Show HN: Simple – a bytecode VM and language stack I built with AI
(github.com/JJLDonley)
2 points
tangjiehao
4 months ago
discuss
19.
▲
Show HN: Vix.cpp v1.17.0 – Production-grade web back end examples in modern C++
2 points
gkirira
5 months ago
discuss
20.
▲
Show HN: Give LLMs TypeScript tools without writing MCP servers
(github.com/jx-codes)
2 points
jmcodes
8 months ago
discuss
21.
▲
Show HN: TypedFunc - Create Typed Arguments & Functions in JavaScript
(github.com/christopherdebeer)
2 points
iambot
14 years ago
discuss
22.
▲
OpenForgeAI – Production agentic architecture I used to build a SaaS alone
1 point
openforgeai
4 months ago
1 comment
23.
▲
Show HN: Hyperterse – a super fast runtime to connect your data to your agents
(github.com/hyperterse)
1 point
samrith
4 months ago
1 comment
24.
▲
Show HN: Claude Agent SDK for Laravel – Build AI Agents with Claude Code in PHP
(github.com/mohamed-ashraf-elsaed)
1 point
mohamedelsaed
3 months ago
discuss
25.
▲
Brain file format for AI agents – one file, any LLM, sub-millisecond queries
1 point
morshola
4 months ago
discuss
26.
▲
Show HN: Safe-fetch – fetch() without try/catch
(github.com/Asouei)
1 point
asouei
9 months ago
discuss
27.
▲
Launch HN: Lunatic (YC W21) – An Erlang Inspired WebAssembly Platform
162 points
withtypes
5 years ago
39 comments
28.
▲
Show HN: WireTyped – typed, error-first HTTP client for fetch
(github.com/kasperrt)
2 points
kasperrt
6 months ago
discuss