Hackernews posts about Functorio

  1. Type Theory and Functional Programming (1999) [pdf] (www.cs.cornell.edu)
    193 points by fanf2 2 days ago | 86 comments
  2. Some dogs can classify their toys by function (arstechnica.com)
    31 points by pseudolus 3 days ago | 3 comments
  3. We Trained a 3B Function-Calling Git Agent for Local Use (www.distillabs.ai)
    6 points by maciejgryka 1 day ago | 2 comments
  4. Factorio Windows executables now undergo code signing (wiki.factorio.com)
    4 points by xvv 14 days ago | 4 comments
  5. Human skin cells to create functional eggs, new infertility treatments (www.cnn.com)
    4 points by Brajeshwar 1 day ago | discuss
  6. Breaking decompilers with single-function, and no-main() C codebases (joshua.hu)
    2 points by ingve about 6 hours ago | discuss
  7. C4 – C in Four Functions (github.com)
    2 points by welovebunnies 2 days ago | discuss
  8. Launch HN: Airweave (YC X25) – Let agents search any app (github.com)
    161 points by lennertjansen 2 days ago | 30 comments
  9. Launch HN: Slashy (YC S25) – AI that connects to apps and does tasks
    70 points by hgaddipa001 28 days ago | 100 comments
  10. The Death of Utilitarian Programming
    30 points by pyeri 5 days ago | 32 comments
  11. Show HN: Grapes Studio – HTML-first WYSIWYG website editor with LLM assistant (grapesjs.com)
    22 points by griffinkelly about 13 hours ago | 8 comments
  12. Show HN: Assemble Labs – Hardware Brain for LLMs/IDEs
    18 points by nimabanai 1 day ago | discuss
  13. Ask HN: What am I doing wrong Re Agentic coding
    17 points by tlonny 10 days ago | 16 comments
  14. Show HN: We built a modern research paper reader (ontosyn.com)
    11 points by weyxie 1 day ago | 2 comments
  15. Show HN: Fragno – Toolkit for building full-stack libraries (fragno.dev)
    5 points by WilcoKruijer about 13 hours ago | 2 comments
  16. Show HN: I got tired of spreadsheets, so I built a Python GUI to track invoices (github.com)
    5 points by rytisg 3 days ago | discuss
  17. Show HN: Self-hosted API for CRUD-ing JSON data (timokats.xyz)
    3 points by tiemster about 9 hours ago | 2 comments
  18. Show HN: OS Library for Conditional Gaussian Mixture Modelling in Python
    2 points by sitmo about 18 hours ago | 1 comments
  19. Show HN: Gitvizz – visualize your codebase as interactive dependency graphs (www.gitvizz.com)
    2 points by Adithya-Kolavi about 13 hours ago | discuss
  20. Show HN: A new version of the complex pattern discovery tool is now available (github.com)
    2 points by chernishev 2 days ago | discuss
  21. The Need for Cognitrail: Why We Must Unify Agentic Frameworks
    1 points by ista21_ai about 9 hours ago | discuss
  22. Show HN: Summarise voice notes and YouTube links inside WhatsApp and Telegram (voicenxt.com)
    1 points by oathly-dev 1 day ago | discuss
  23. Show HN: An asynchronous database connection manager for Python (github.com)
    1 points by impoppy 1 day ago | discuss
  24. Show HN: A Pips game website – my first game
    1 points by pipsgame 1 day ago | discuss
  25. Mathematics and Human Activities (en.wikipedia.org)
    3 points by o4c 2 days ago | discuss
  26. Functorio: Build Factorio factories in the Lean 4 (github.com)
    2 points by adamnemecek about 1 month ago | discuss
  27. Functorizing Large Collections of Modules (inbox.vuxu.org)
    2 points by pbardea 2 months ago | discuss
  28. Functorial String Diagrams for Reverse-Mode Automatic Differentiation (2021) (arxiv.org)
    1 points by gone35 9 months ago | discuss
  29. Gaia, a Tool for Testing API Servers (www.functori.com)
    2 points by cago about 1 year ago | 1 comments
  30. Fuzz Testing, Uncovering Software Vulnerabilities (www.functori.com)
    2 points by cago over 1 year ago | 1 comments
  31. Phrase origin: Why do we "call" functions? (quuxplusone.github.io)
    305 points by todsacerdoti 3 months ago | 226 comments
  32. Ask HN: Functional Programming Hype
    3 points by Mtende over 1 year ago | 3 comments
  33. Show HN: Stagehand – an open source browser automation framework powered by AI (github.com)
    326 points by hackgician 9 months ago | 86 comments
  34. Show HN: MCP server for searching and downloading documents from Anna's Archive (github.com)
    256 points by iosifache 3 months ago | 79 comments
  35. Show HN: Simplex: Automate browser workflows using code and natural language (www.simplex.sh)
    147 points by marcon680 9 months ago | 37 comments
  36. Show HN: My first Go project, a useless animated bunny sign for your terminal (github.com)
    26 points by stgr_codes about 1 month ago | 17 comments
  37. Why did software become worse lately?
    19 points by headsnap_io over 1 year ago | 41 comments