Hackernews posts about Kan

1. Kani: A Model Checker for Rust (arxiv.org)
   92 points by Jimmc414 about 5 hours ago | 5 comments
2. Kansas City's push for facial recognition on public buses sparks privacy debate (apnews.com)
   7 points by smurda 15 days ago | discuss
3. Fedora 44 Gnome review – We're not in Kansas anymore (www.dedoimedo.com)
   5 points by jandeboevrie 16 days ago | discuss
4. June 2026 Kaney's Weird Files Is Out Now (kaneysweirdfiles.substack.com)
   4 points by experiencertim 6 days ago | discuss
5. Fedora 44 Gnome review – We're not in Kansas anymore (www.dedoimedo.com)
   4 points by dxs 21 days ago | discuss
6. Build an agent first Kanban board
   3 points by moose6912 7 days ago | 2 comments
7. QodFlow – a Kanban board AI agents can drive via MCP (www.qodflow.com)
   3 points by deimargd 23 days ago | 1 comments
8. Lead Mines of Galena, Kansas (dustbowlhighway.com)
   3 points by saltdoo 2 days ago | discuss
9. Every Resource in Kansas City (kc.cjohnson.io)
   3 points by thebuilderbob2 9 days ago | discuss
10. Show HN: A Kanban for vibe coding in Claude Code and Codex (www.fredrin.dev)
    2 points by jaequery 11 days ago | 2 comments
11. Masterfile – Scratch pad, vault, budget, notes, and Kanban in one iOS app (apps.apple.com)
    2 points by louiscada 23 days ago | 1 comments
12. Show HN: QR Code generator – micro/2 via numeric, alphanumeric, 8bitbyte, kanji (h1yapp.com)
    2 points by h1yapp 9 days ago | discuss
13. A short film on a 100 years old bridge in kano (www.youtube.com)
    2 points by ksamaila 21 days ago | discuss
14. Kan Extensions in Double Categories (bartoszmilewski.com)
    2 points by ibobev 21 days ago | discuss
15. Kan Extensions in Haskell (bartoszmilewski.com)
    2 points by ibobev 27 days ago | discuss
16. For Kodachrome Fans, Road Ends at Photo Lab in Kansas (2010) (www.nytimes.com)
    1 points by js2 6 days ago | 1 comments
17. Kanzi (en.wikipedia.org)
    1 points by thunderbong 18 days ago | discuss
18. Show HN: Kanbanero – a lightweight, local-first Kanban app for macOS (kanbanero.app)
    1 points by erlend_lm 27 days ago | discuss
19. Show HN: Sibyl – self-hosted cross-agent memory for AI coding agents (github.com)
    3 points by hyperb1iss 6 days ago | discuss
20. Show HN: Topolog – Plans as typed DAG programs, deadlines computed, not guessed (www.topolog.co.uk)
    3 points by rohithbv 26 days ago | discuss
21. Ultrafast machine learning on FPGAs via Kolmogorov-Arnold Networks (aarushgupta.io)
    283 points by ag2718 27 days ago | 52 comments
22. Facial recognition on public buses sparks debate over security and privacy (apnews.com)
    14 points by devonnull 14 days ago | 1 comments
23. Show HN: A Wordle-style daily trading challenge (kandlequiz.trade)
    4 points by ssarcandy 6 days ago | 1 comments
24. Show HN: a Rust OS kernel built for LLM inference (github.com)
    3 points by Kanchisaw 5 days ago | discuss
25. A Wordle-style daily trading challenge (kandlequiz.trade)
    2 points by ssarcandy 6 days ago | 1 comments
26. Prime Is Not Youth, Money, or Status. It Is Something More Human (kanyilmaz.me)
    1 points by demiculus 6 days ago | discuss
27. Show HN: GlyphX, a local-first LaTeX editor that compiles offline
    4 points by kanakkholwal 22 days ago | discuss
28. How do you process asynchronous tasks today? (meerkatagents.com)
    3 points by kannanreghu 15 days ago | 5 comments
29. FoxBox – Native MCP support for sending and receiving SMS from AI agents (www.smsfoxbox.it)
    3 points by kantadev 21 days ago | 1 comments
30. Ask HN: Are we going to see a portable S3 Tables alternative outside AWS?
    2 points by KankanHuo 26 days ago | discuss