{"exhaustive":{"nbHits":false,"typo":false},"exhaustiveNbHits":false,"exhaustiveTypo":false,"hits":[{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"z1mm32m4n"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Union Types in Flow and Reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://blog.jez.io/union-types-flow-reason/"}},"_tags":["story","author_z1mm32m4n","story_16894733"],"author":"z1mm32m4n","children":[16899419,16899474,16900141,16900693,16900767,16900816,16900899,16901292,16901312,16901426,16901570,16901927,16901945,16902877,16904013],"created_at":"2018-04-22T04:39:20Z","created_at_i":1524371960,"num_comments":53,"objectID":"16894733","points":109,"story_id":16894733,"title":"Union Types in Flow and Reason","updated_at":"2024-09-20T02:25:12Z","url":"https://blog.jez.io/union-types-flow-reason/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"Call-Levels"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"The Battle Between Emotion and Reason in Financial Markets"},"url":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"https://www.call-levels.com/blog/behavioral-finance-the-battle-between-emotion-and-reason/"}},"_tags":["story","author_Call-Levels","story_12504117"],"author":"Call-Levels","children":[12505206,12505427,12506238,12508189,12508473,12509159],"created_at":"2016-09-15T07:39:27Z","created_at_i":1473925167,"num_comments":22,"objectID":"12504117","points":72,"story_id":12504117,"title":"The Battle Between Emotion and Reason in Financial Markets","updated_at":"2024-09-19T23:39:39Z","url":"https://www.call-levels.com/blog/behavioral-finance-the-battle-between-emotion-and-reason/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"uncanny_guzus"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Show HN: LLMs Playing Mafia games \u2013 See them lie, deceive, and reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://mafia.opennumbers.xyz/"}},"_tags":["story","author_uncanny_guzus","story_43280128","show_hn"],"author":"uncanny_guzus","children":[43280389,43280446,43280451,43280475,43280486,43280488,43280639,43280677,43280771,43280832,43280994,43297038],"created_at":"2025-03-06T13:47:30Z","created_at_i":1741268850,"num_comments":24,"objectID":"43280128","points":42,"story_id":43280128,"title":"Show HN: LLMs Playing Mafia games \u2013 See them lie, deceive, and reason","updated_at":"2025-08-03T02:29:38Z","url":"https://mafia.opennumbers.xyz/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"ccapndave"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"ReScript (previously BuckleScript and Reason)"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://rescript-lang.org/"}},"_tags":["story","author_ccapndave","story_24160424"],"author":"ccapndave","children":[24161461,24161561,24161829,24161879,24162954,24163367],"created_at":"2020-08-14T17:06:01Z","created_at_i":1597424761,"num_comments":13,"objectID":"24160424","points":22,"story_id":24160424,"title":"ReScript (previously BuckleScript and Reason)","updated_at":"2025-05-01T03:56:24Z","url":"https://rescript-lang.org/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"lando2319"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Universities' Covid Policies Defy Science and Reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://bariweiss.substack.com/p/universities-covid-policies-defy"}},"_tags":["story","author_lando2319","story_29859644"],"author":"lando2319","children":[29859770,29861808],"created_at":"2022-01-09T03:20:45Z","created_at_i":1641698445,"num_comments":8,"objectID":"29859644","points":13,"story_id":29859644,"title":"Universities' Covid Policies Defy Science and Reason","updated_at":"2024-09-20T10:14:29Z","url":"https://bariweiss.substack.com/p/universities-covid-policies-defy"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"aeontech"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Kevoree Modeling Framework \u2013 toolset to structure and reason about complex data"},"url":{"matchLevel":"none","matchedWords":[],"value":"http://modeling.kevoree.org/"}},"_tags":["story","author_aeontech","story_10803323"],"author":"aeontech","children":[10806370],"created_at":"2015-12-28T20:55:28Z","created_at_i":1451336128,"num_comments":1,"objectID":"10803323","points":10,"story_id":10803323,"title":"Kevoree Modeling Framework \u2013 toolset to structure and reason about complex data","updated_at":"2024-09-19T22:37:38Z","url":"http://modeling.kevoree.org/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"steelstraw"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Universities' Covid Policies Defy Science and Reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://bariweiss.substack.com/p/universities-covid-policies-defy"}},"_tags":["story","author_steelstraw","story_29802790"],"author":"steelstraw","children":[29803009,29803244],"created_at":"2022-01-04T23:55:04Z","created_at_i":1641340504,"num_comments":1,"objectID":"29802790","points":9,"story_id":29802790,"title":"Universities' Covid Policies Defy Science and Reason","updated_at":"2024-09-20T10:08:34Z","url":"https://bariweiss.substack.com/p/universities-covid-policies-defy"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"ruchin_k"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Ask HN: Name your favorite productivity app and reason"}},"_tags":["story","author_ruchin_k","story_28626376","ask_hn"],"author":"ruchin_k","children":[28629849,28630702],"created_at":"2021-09-23T07:51:16Z","created_at_i":1632383476,"num_comments":2,"objectID":"28626376","points":7,"story_id":28626376,"title":"Ask HN: Name your favorite productivity app and reason","updated_at":"2024-09-20T09:26:49Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"snaky"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"FormuLog \u2013 extending Datalog to manipulate, and reason about logical formulae"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://arxiv.org/abs/1809.06274"}},"_tags":["story","author_snaky","story_18692885"],"author":"snaky","created_at":"2018-12-16T13:02:19Z","created_at_i":1544965339,"num_comments":0,"objectID":"18692885","points":7,"story_id":18692885,"title":"FormuLog \u2013 extending Datalog to manipulate, and reason about logical formulae","updated_at":"2024-09-20T03:35:02Z","url":"https://arxiv.org/abs/1809.06274"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"chmars"},"story_text":{"matchLevel":"none","matchedWords":[],"value":""},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"The Apple Tesla Connection: Fun and Reason With Numbers"},"url":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"http://www.mondaynote.com/2014/03/02/the-apple-tesla-connection-fun-and-reason-with-numbers/"}},"_tags":["story","author_chmars","story_7330845"],"author":"chmars","created_at":"2014-03-02T21:27:57Z","created_at_i":1393795677,"num_comments":0,"objectID":"7330845","points":6,"story_id":7330845,"story_text":"","title":"The Apple Tesla Connection: Fun and Reason With Numbers","updated_at":"2024-09-19T20:33:20Z","url":"http://www.mondaynote.com/2014/03/02/the-apple-tesla-connection-fun-and-reason-with-numbers/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"jedwhite"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Yann LeCun on a vision to make AI systems learn and reason like humans"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://ai.facebook.com/blog/yann-lecun-advances-in-ai-research/"}},"_tags":["story","author_jedwhite","story_30449711"],"author":"jedwhite","created_at":"2022-02-24T02:57:18Z","created_at_i":1645671438,"num_comments":0,"objectID":"30449711","points":5,"story_id":30449711,"title":"Yann LeCun on a vision to make AI systems learn and reason like humans","updated_at":"2024-09-20T10:35:58Z","url":"https://ai.facebook.com/blog/yann-lecun-advances-in-ai-research/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"sh3p"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Making Claude 3.7 Sonnet Think in Unicode and reason semi-symbolically [video]"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://www.youtube.com/watch?v=mhfWE_PWubE"}},"_tags":["story","author_sh3p","story_43164867"],"author":"sh3p","children":[43164868,43164892],"created_at":"2025-02-24T20:59:36Z","created_at_i":1740430776,"num_comments":1,"objectID":"43164867","points":3,"story_id":43164867,"title":"Making Claude 3.7 Sonnet Think in Unicode and reason semi-symbolically [video]","updated_at":"2025-02-25T05:14:46Z","url":"https://www.youtube.com/watch?v=mhfWE_PWubE"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"sgeneris"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"NoSQL, Big Data Analytics, and the Loss of Knowledge and Reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"http://www.allanalytics.com/author.asp?section_id=2386&doc_id=280912"}},"_tags":["story","author_sgeneris","story_12052727"],"author":"sgeneris","children":[12053674],"created_at":"2016-07-07T23:24:15Z","created_at_i":1467933855,"num_comments":1,"objectID":"12052727","points":3,"story_id":12052727,"title":"NoSQL, Big Data Analytics, and the Loss of Knowledge and Reason","updated_at":"2024-09-19T23:26:24Z","url":"http://www.allanalytics.com/author.asp?section_id=2386&doc_id=280912"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"FromTheArchives"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Do AI Reasoning Models Abstract and Reason Like Humans?"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://aiguide.substack.com/p/do-ai-reasoning-models-abstract-and"}},"_tags":["story","author_FromTheArchives","story_45573666"],"author":"FromTheArchives","created_at":"2025-10-13T21:43:07Z","created_at_i":1760391787,"num_comments":0,"objectID":"45573666","points":3,"story_id":45573666,"title":"Do AI Reasoning Models Abstract and Reason Like Humans?","updated_at":"2026-03-05T22:51:55Z","url":"https://aiguide.substack.com/p/do-ai-reasoning-models-abstract-and"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"tokyopanda"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Yann LeCun's vision to make AI systems learn and reason like animals and humans"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://ai.facebook.com/blog/yann-lecun-advances-in-ai-research/"}},"_tags":["story","author_tokyopanda","story_30531177"],"author":"tokyopanda","created_at":"2022-03-02T18:50:16Z","created_at_i":1646247016,"num_comments":0,"objectID":"30531177","points":3,"story_id":30531177,"title":"Yann LeCun's vision to make AI systems learn and reason like animals and humans","updated_at":"2024-09-20T10:35:36Z","url":"https://ai.facebook.com/blog/yann-lecun-advances-in-ai-research/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"nabla9"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Yann LeCun's vision to make AI systems learn and reason like animals and humans"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://ai.facebook.com/blog/yann-lecun-advances-in-ai-research/"}},"_tags":["story","author_nabla9","story_30444764"],"author":"nabla9","created_at":"2022-02-23T18:52:31Z","created_at_i":1645642351,"num_comments":0,"objectID":"30444764","points":3,"story_id":30444764,"title":"Yann LeCun's vision to make AI systems learn and reason like animals and humans","updated_at":"2024-09-20T10:35:32Z","url":"https://ai.facebook.com/blog/yann-lecun-advances-in-ai-research/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"huihuiilly"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"What myths, metaphors, and anecdotes can offer philosophy and reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://bostonreview.net/philosophy-religion/marta-figlerowicz-myths-enlightenment"}},"_tags":["story","author_huihuiilly","story_19625682"],"author":"huihuiilly","created_at":"2019-04-10T15:33:27Z","created_at_i":1554910407,"num_comments":0,"objectID":"19625682","points":3,"story_id":19625682,"title":"What myths, metaphors, and anecdotes can offer philosophy and reason","updated_at":"2024-09-20T04:01:52Z","url":"https://bostonreview.net/philosophy-religion/marta-figlerowicz-myths-enlightenment"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"CrankyBear"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Bringing open-source rhyme and reason to edge computing: LF Edge"},"url":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"https://www.zdnet.com/article/bringing-open-source-rhyme-and-reason-to-edge-computing-lf-edge/"}},"_tags":["story","author_CrankyBear","story_18999994"],"author":"CrankyBear","created_at":"2019-01-25T17:13:39Z","created_at_i":1548436419,"num_comments":0,"objectID":"18999994","points":3,"story_id":18999994,"title":"Bringing open-source rhyme and reason to edge computing: LF Edge","updated_at":"2024-09-20T03:46:31Z","url":"https://www.zdnet.com/article/bringing-open-source-rhyme-and-reason-to-edge-computing-lf-edge/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"CrankyBear"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"\u200bLinux Foundation seeks to bring rhyme and reason to open-source networking"},"url":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"http://www.zdnet.com/article/linux-foundation-seeks-to-bring-rhyme-and-reason-to-open-source-networking-projects/"}},"_tags":["story","author_CrankyBear","story_16226018"],"author":"CrankyBear","created_at":"2018-01-24T20:29:29Z","created_at_i":1516825769,"num_comments":0,"objectID":"16226018","points":3,"story_id":16226018,"title":"\u200bLinux Foundation seeks to bring rhyme and reason to open-source networking","updated_at":"2024-09-20T01:56:23Z","url":"http://www.zdnet.com/article/linux-foundation-seeks-to-bring-rhyme-and-reason-to-open-source-networking-projects/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"Bluestein"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Yann LeCun's vision to make AI systems learn and reason like animals and humans"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://ai.meta.com/blog/yann-lecun-advances-in-ai-research/"}},"_tags":["story","author_Bluestein","story_40820942"],"author":"Bluestein","children":[40820943],"created_at":"2024-06-28T14:30:31Z","created_at_i":1719585031,"num_comments":1,"objectID":"40820942","points":2,"story_id":40820942,"title":"Yann LeCun's vision to make AI systems learn and reason like animals and humans","updated_at":"2025-03-26T21:46:09Z","url":"https://ai.meta.com/blog/yann-lecun-advances-in-ai-research/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"whack"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Imagination, not evidence and reason, informs our most important decisions. Thi"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://iai.tv/articles/why-humans-are-the-most-irrational-animals-auid-1239"}},"_tags":["story","author_whack","story_20179211"],"author":"whack","created_at":"2019-06-13T22:36:05Z","created_at_i":1560465365,"num_comments":0,"objectID":"20179211","points":2,"story_id":20179211,"title":"Imagination, not evidence and reason, informs our most important decisions. Thi","updated_at":"2024-09-20T04:28:34Z","url":"https://iai.tv/articles/why-humans-are-the-most-irrational-animals-auid-1239"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"testcross"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Dune 1.0.0: first release of dune, the default build system for OCaml and Reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://discuss.ocaml.org/t/ann-dune-1-0-0/2267"}},"_tags":["story","author_testcross","story_17572081"],"author":"testcross","created_at":"2018-07-20T02:49:10Z","created_at_i":1532054950,"num_comments":0,"objectID":"17572081","points":2,"story_id":17572081,"title":"Dune 1.0.0: first release of dune, the default build system for OCaml and Reason","updated_at":"2024-09-20T02:49:00Z","url":"https://discuss.ocaml.org/t/ann-dune-1-0-0/2267"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"callmevlad"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Inference engines: 5 examples with TypeScript, Flow and Reason"},"url":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"https://codeburst.io/inference-engines-5-examples-with-typescript-flow-and-reason-edef2f4cf2d3"}},"_tags":["story","author_callmevlad","story_16290761"],"author":"callmevlad","created_at":"2018-02-02T14:38:42Z","created_at_i":1517582322,"num_comments":0,"objectID":"16290761","points":2,"story_id":16290761,"title":"Inference engines: 5 examples with TypeScript, Flow and Reason","updated_at":"2024-09-20T02:03:17Z","url":"https://codeburst.io/inference-engines-5-examples-with-typescript-flow-and-reason-edef2f4cf2d3"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"thangngoc89"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Inference engines: 5 examples with TypeScript, Flow and Reason"},"url":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"https://medium.com/@javierwchavarri/inference-engines-5-examples-with-typescript-flow-and-reason-edef2f4cf2d3"}},"_tags":["story","author_thangngoc89","story_16187563"],"author":"thangngoc89","created_at":"2018-01-19T16:42:50Z","created_at_i":1516380170,"num_comments":0,"objectID":"16187563","points":2,"story_id":16187563,"title":"Inference engines: 5 examples with TypeScript, Flow and Reason","updated_at":"2024-09-20T01:57:19Z","url":"https://medium.com/@javierwchavarri/inference-engines-5-examples-with-typescript-flow-and-reason-edef2f4cf2d3"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"knightofmars"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Kickstart \u2013 Free online resources promoting critical thinking and reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://www.kickstarter.com/projects/schoolofthought/critical-thinking-vs-a-post-truth-world"}},"_tags":["story","author_knightofmars","story_15747950"],"author":"knightofmars","created_at":"2017-11-21T14:18:30Z","created_at_i":1511273910,"num_comments":0,"objectID":"15747950","points":2,"story_id":15747950,"title":"Kickstart \u2013 Free online resources promoting critical thinking and reason","updated_at":"2024-09-20T01:40:35Z","url":"https://www.kickstarter.com/projects/schoolofthought/critical-thinking-vs-a-post-truth-world"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"ladydi"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Myth and Reason on the Mexican Border"},"url":{"matchLevel":"none","matchedWords":[],"value":"http://www.smithsonianmag.com/travel/myth-reason-mexican-border-180960357/?no-ist"}},"_tags":["story","author_ladydi","story_12559731"],"author":"ladydi","created_at":"2016-09-22T19:46:45Z","created_at_i":1474573605,"num_comments":0,"objectID":"12559731","points":2,"story_id":12559731,"title":"Myth and Reason on the Mexican Border","updated_at":"2024-09-19T23:45:09Z","url":"http://www.smithsonianmag.com/travel/myth-reason-mexican-border-180960357/?no-ist"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"fasteo"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Using research and reason in education (free e-book) [pdf]"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://lincs.ed.gov/publications/pdf/Stanovich_Color.pdf"}},"_tags":["story","author_fasteo","story_12521196"],"author":"fasteo","created_at":"2016-09-17T16:42:27Z","created_at_i":1474130547,"num_comments":0,"objectID":"12521196","points":2,"story_id":12521196,"title":"Using research and reason in education (free e-book) [pdf]","updated_at":"2024-09-19T23:41:26Z","url":"https://lincs.ed.gov/publications/pdf/Stanovich_Color.pdf"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"sandeepsr"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Using the collective intelligence of multiple models to debate and reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://multillm.ai/conversations/ca43ae94-4011-4f34-a1c3-b3d5a7de9135"}},"_tags":["story","author_sandeepsr","story_46299538"],"author":"sandeepsr","children":[46299539,46299587],"created_at":"2025-12-17T08:32:12Z","created_at_i":1765960332,"num_comments":2,"objectID":"46299538","points":1,"story_id":46299538,"title":"Using the collective intelligence of multiple models to debate and reason","updated_at":"2026-03-05T23:14:08Z","url":"https://multillm.ai/conversations/ca43ae94-4011-4f34-a1c3-b3d5a7de9135"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"zeotroph"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"A Critique of \u201cEnlightenment Now\u201d: When Truth and Reason Are No Longer Enough"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://www.theatlantic.com/magazine/archive/2018/04/steven-pinker-enlightenment-now/554054/?single_page=true"}},"_tags":["story","author_zeotroph","story_16678375"],"author":"zeotroph","children":[16678574],"created_at":"2018-03-26T12:39:59Z","created_at_i":1522067999,"num_comments":1,"objectID":"16678375","points":1,"story_id":16678375,"title":"A Critique of \u201cEnlightenment Now\u201d: When Truth and Reason Are No Longer Enough","updated_at":"2024-09-20T02:17:46Z","url":"https://www.theatlantic.com/magazine/archive/2018/04/steven-pinker-enlightenment-now/554054/?single_page=true"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"mfer"},"story_text":{"matchLevel":"none","matchedWords":[],"value":""},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"LastPass Breach, Password Security, and Reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"http://engineeredweb.com/blog/2015/lastpass-attack/"}},"_tags":["story","author_mfer","story_9726345"],"author":"mfer","created_at":"2015-06-16T15:11:23Z","created_at_i":1434467483,"num_comments":0,"objectID":"9726345","points":1,"story_id":9726345,"story_text":"","title":"LastPass Breach, Password Security, and Reason","updated_at":"2023-09-07T02:59:11Z","url":"http://engineeredweb.com/blog/2015/lastpass-attack/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"ThinkinSoul"},"story_text":{"matchLevel":"none","matchedWords":[],"value":""},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"(Is this) The right time and reason to pull the cord on your investment fund?"},"url":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"http://www.findmegoogle.com/2012/12/19/is-this-the-right-time-and-reason-to-pull-the-cord-on-your-investment-fund/"}},"_tags":["story","author_ThinkinSoul","story_4943945"],"author":"ThinkinSoul","created_at":"2012-12-19T18:33:03Z","created_at_i":1355941983,"num_comments":0,"objectID":"4943945","points":1,"story_id":4943945,"story_text":"","title":"(Is this) The right time and reason to pull the cord on your investment fund?","updated_at":"2024-09-19T19:06:38Z","url":"http://www.findmegoogle.com/2012/12/19/is-this-the-right-time-and-reason-to-pull-the-cord-on-your-investment-fund/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"veryluckyxyz"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Learning to Plan and Reason for Evaluation with Thinking-LLM-as-a-Judge"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://arxiv.org/abs/2501.18099"}},"_tags":["story","author_veryluckyxyz","story_42886521"],"author":"veryluckyxyz","created_at":"2025-01-31T10:56:35Z","created_at_i":1738320995,"num_comments":0,"objectID":"42886521","points":1,"story_id":42886521,"title":"Learning to Plan and Reason for Evaluation with Thinking-LLM-as-a-Judge","updated_at":"2025-02-04T03:15:20Z","url":"https://arxiv.org/abs/2501.18099"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"pppglowacki"},"story_text":{"matchLevel":"none","matchedWords":[],"value":""},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Behing the scenes story and reason for Bhug"},"url":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"http://businesshug.com/about/2012/07/behind-the-scenes-story-and-reason-for-businesshug/"}},"_tags":["story","author_pppglowacki","story_4262700"],"author":"pppglowacki","created_at":"2012-07-18T20:16:03Z","created_at_i":1342642563,"num_comments":0,"objectID":"4262700","points":1,"story_id":4262700,"story_text":"","title":"Behing the scenes story and reason for Bhug","updated_at":"2024-09-19T18:47:01Z","url":"http://businesshug.com/about/2012/07/behind-the-scenes-story-and-reason-for-businesshug/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"paulpauper"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Generative AI for Economic Research: LLMs Learn to Collaborate and Reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://www.nber.org/papers/w33198"}},"_tags":["story","author_paulpauper","story_42250981"],"author":"paulpauper","created_at":"2024-11-26T22:49:17Z","created_at_i":1732661357,"num_comments":0,"objectID":"42250981","points":1,"story_id":42250981,"title":"Generative AI for Economic Research: LLMs Learn to Collaborate and Reason","updated_at":"2024-11-26T22:50:05Z","url":"https://www.nber.org/papers/w33198"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"tu7001"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Can Consciousness, Logic and Reason Exist at Planck Time Awareness?"},"url":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"https://popularrationalism.substack.com/p/can-consciousness-logic-and-reason"}},"_tags":["story","author_tu7001","story_37570477"],"author":"tu7001","created_at":"2023-09-19T14:29:11Z","created_at_i":1695133751,"num_comments":0,"objectID":"37570477","points":1,"story_id":37570477,"title":"Can Consciousness, Logic and Reason Exist at Planck Time Awareness?","updated_at":"2024-09-20T15:13:50Z","url":"https://popularrationalism.substack.com/p/can-consciousness-logic-and-reason"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"cschmidt"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Large language models\u2019 ability to generate text also lets them plan and reason"},"url":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"https://www.economist.com/science-and-technology/2023/04/19/large-language-models-ability-to-generate-text-also-lets-them-plan-and-reason"}},"_tags":["story","author_cschmidt","story_35644880"],"author":"cschmidt","created_at":"2023-04-20T19:20:33Z","created_at_i":1682018433,"num_comments":0,"objectID":"35644880","points":1,"story_id":35644880,"title":"Large language models\u2019 ability to generate text also lets them plan and reason","updated_at":"2024-09-20T13:49:59Z","url":"https://www.economist.com/science-and-technology/2023/04/19/large-language-models-ability-to-generate-text-also-lets-them-plan-and-reason"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"rntn"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Emotion and Reason in Political Language"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://academic.oup.com/ej/article/132/643/1037/6490125"}},"_tags":["story","author_rntn","story_33283720"],"author":"rntn","created_at":"2022-10-21T02:26:32Z","created_at_i":1666319192,"num_comments":0,"objectID":"33283720","points":1,"story_id":33283720,"title":"Emotion and Reason in Political Language","updated_at":"2024-09-20T12:19:54Z","url":"https://academic.oup.com/ej/article/132/643/1037/6490125"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"born-jre"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Yann LeCun on a vision to make AI systems learn and reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://ai.facebook.com/blog/yann-lecun-advances-in-ai-research/"}},"_tags":["story","author_born-jre","story_30455124"],"author":"born-jre","created_at":"2022-02-24T14:31:04Z","created_at_i":1645713064,"num_comments":0,"objectID":"30455124","points":1,"story_id":30455124,"title":"Yann LeCun on a vision to make AI systems learn and reason","updated_at":"2024-09-20T10:36:32Z","url":"https://ai.facebook.com/blog/yann-lecun-advances-in-ai-research/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"june_tag1"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"The Reason ecosystem and Reason use cases for the enterprise \u2013 part 2"},"url":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"https://www.tag1consulting.com/blog/reason-ecosystem-and-reason-use-cases-enterprise-part-2"}},"_tags":["story","author_june_tag1","story_23779992"],"author":"june_tag1","created_at":"2020-07-09T13:36:07Z","created_at_i":1594301767,"num_comments":0,"objectID":"23779992","points":1,"story_id":23779992,"title":"The Reason ecosystem and Reason use cases for the enterprise \u2013 part 2","updated_at":"2024-09-20T06:37:05Z","url":"https://www.tag1consulting.com/blog/reason-ecosystem-and-reason-use-cases-enterprise-part-2"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"AlucardTR"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Elm-Architecture Comparison Between TypeScript, Elm and Reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://medium.com/strongly-typed-functional-languages-as-an/strongly-typed-functional-languages-as-an-alternative-to-the-popular-react-redux-stack-fdd2e6871da"}},"_tags":["story","author_AlucardTR","story_21834378"],"author":"AlucardTR","created_at":"2019-12-19T12:43:53Z","created_at_i":1576759433,"num_comments":0,"objectID":"21834378","points":1,"story_id":21834378,"title":"Elm-Architecture Comparison Between TypeScript, Elm and Reason","updated_at":"2024-09-20T05:19:32Z","url":"https://medium.com/strongly-typed-functional-languages-as-an/strongly-typed-functional-languages-as-an-alternative-to-the-popular-react-redux-stack-fdd2e6871da"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"CrankyBear"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Continuous Delivery Foundation Hopes to Bring Rhyme and Reason to CI/CD"},"url":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"https://www.zdnet.com/article/continuous-delivery-foundation-hopes-to-bring-rhyme-and-reason-to-cicd/"}},"_tags":["story","author_CrankyBear","story_19391799"],"author":"CrankyBear","created_at":"2019-03-14T18:09:15Z","created_at_i":1552586955,"num_comments":0,"objectID":"19391799","points":1,"story_id":19391799,"title":"Continuous Delivery Foundation Hopes to Bring Rhyme and Reason to CI/CD","updated_at":"2024-09-20T03:56:33Z","url":"https://www.zdnet.com/article/continuous-delivery-foundation-hopes-to-bring-rhyme-and-reason-to-cicd/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"jasim"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Conversation with Jordan Walke: React and Reason"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://www.reactiflux.com/transcripts/jordan-walke/"}},"_tags":["story","author_jasim","story_15963919"],"author":"jasim","created_at":"2017-12-19T20:26:31Z","created_at_i":1513715191,"num_comments":0,"objectID":"15963919","points":1,"story_id":15963919,"title":"Conversation with Jordan Walke: React and Reason","updated_at":"2024-09-20T01:49:11Z","url":"https://www.reactiflux.com/transcripts/jordan-walke/"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"nebelwerfer2k"},"story_text":{"matchLevel":"none","matchedWords":[],"value":"Well, i read this other thread here about automating non work tasks, now i'm interested in why you STILL DO certain recurring annoying tasks by hand."},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Ask HN: Most annoying, recurring task you didn't automate and reason for this?"}},"_tags":["story","author_nebelwerfer2k","story_15456822","ask_hn"],"author":"nebelwerfer2k","created_at":"2017-10-12T09:54:37Z","created_at_i":1507802077,"num_comments":0,"objectID":"15456822","points":1,"story_id":15456822,"story_text":"Well, i read this other thread here about automating non work tasks, now i'm interested in why you STILL DO certain recurring annoying tasks by hand.","title":"Ask HN: Most annoying, recurring task you didn't automate and reason for this?","updated_at":"2024-09-20T01:30:37Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"DiabloD3"},"title":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"The Weekly Standard\u2019s Arsenal to Fight Falsehoods: \u2018Facts, Logic and Reason\u2019"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://www.nytimes.com/2017/03/26/business/weekly-standard-falsehoods-stephen-hayes-mediator.html"}},"_tags":["story","author_DiabloD3","story_13998073"],"author":"DiabloD3","created_at":"2017-03-30T19:14:49Z","created_at_i":1490901289,"num_comments":0,"objectID":"13998073","points":1,"story_id":13998073,"title":"The Weekly Standard\u2019s Arsenal to Fight Falsehoods: \u2018Facts, Logic and Reason\u2019","updated_at":"2024-09-20T00:40:20Z","url":"https://www.nytimes.com/2017/03/26/business/weekly-standard-falsehoods-stephen-hayes-mediator.html"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"louiskw"},"story_text":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Hey HN, we\u2019re the cofounders of bloop (https://bloop.ai/), a code search engine which combines semantic search with GPT-4 to answer questions. We let you search your private codebases either the traditional way (regex or literal) or via semantic search, ask questions in natural language thanks to GPT-4, and jump between refs/defs with precise code navigation. Here\u2019s a quick demo: https://www.loom.com/share/8e9d59b88dd2409482ec02cdda5b9185
Traditional code search tools match the terms in your query against the codebase, but often you don\u2019t know the right terms to start with, e.g. \u2018Which library do we use for model inference?\u2019 (These types of questions are particularly common when you\u2019re learning a new codebase.) bloop uses a combination of neural semantic code search (comparing the meaning - encoded in vector representations - of queries and code snippets) and chained LLM calls to retrieve and reason about abstract queries.
Ideally, a LLM could answer questions about your code directly, but there is significant overhead (and expense) in fine-tuning the largest LLMs on private data. And although they\u2019re increasing, prompt sizes are still a long way off being able to fit a whole organisation\u2019s codebase.
We get around these limitations with a two-step process. First, we use GPT-4 to generate a keyword query which is passed to a semantic search engine. This embeds the query and compares it to chunks of code in vector space (we use Qdrant as our vector DB). We\u2019ve found that using a semantic search engine for retrieval improves recall, allowing the LLM to retrieve code that doesn\u2019t have any textual overlap with the query but is still relevant. Second, the retrieved code snippets are ranked and inserted into a final LLM prompt. We pass this to GPT-4 and its phenomenal understanding of code does the rest.
Let\u2019s work through an example. You start off by asking \u2018Where is the query parsing logic?\u2019 and then want to find out \u2018Which library does it use?\u2019. We use GPT-4 to generate the standalone keyword query: \u2018query parser library\u2019, which we then pass to a semantic search engine that returns a snippet demonstrating the parser in action: \u2018let pair = PestParser::parse(Rule::query, query);\u2019. We insert this snippet into a prompt to GPT-4, which is able to work out that pest is the library doing the legwork here, generating the answer \u2018The query parser uses the pest library\u2019.
You can also filter your search by repo or language - What\u2019s the readiness delay repo:myApp lang:yaml. GPT-4 will generate an answer constrained to the respective repo and language.
We also know that LLMs are not always (at least not yet) the best tool for the job. Sometimes you know exactly what you\u2019re looking for. For this, we\u2019ve built a fast, trigram index based regex search engine based on Tantivy. Because of this, bloop is fast at traditional search too. For code navigation, we\u2019ve built a precise go-to-ref/def engine based on scope resolution that uses Tree-sitter.
bloop is fully open-source. Semantic search, LLM prompts, regex search and code navigation are all contained in one repo: https://github.com/bloopAI/bloop.
Our software is standalone and doesn\u2019t run in your IDE. We were originally IDE-based but moved away from this due to constraints on how we could display code to the user.
bloop runs as a free desktop app on Mac, Windows and Linux: https://github.com/bloopAI/bloop/releases. On desktop, your code is indexed with a MiniLM embedding model and stored locally, meaning at index time your codebase stays private. Indexing is fast, except on the very largest repos (GPU indexing coming soon). \u2018Private\u2019 here means that no code is shared with us or OpenAI at index time, and when a search is made only relevant code snippets are shared to generate the response. (This is more or less the same data usage as Copilot).
We also have a paid cloud offering for teams ($12 per user per month). Members of the same organisation can search a shared index hosted by us.
We\u2019d love to hear your thoughts about the product and where you think we should take it next, and your thoughts on code search in general. We look forward to your comments!"},"title":{"matchLevel":"none","matchedWords":[],"value":"Launch HN: Bloop (YC S21) \u2013 Code Search with GPT-4"}},"_tags":["story","author_louiskw","story_35236275","launch_hn"],"author":"louiskw","children":[35236557,35236562,35236580,35236687,35236748,35236752,35236968,35237012,35237062,35237083,35237120,35237496,35237781,35237851,35237865,35238126,35238292,35238325,35238628,35241680,35242030,35242293,35242546,35243638,35245284,35252258],"created_at":"2023-03-20T18:27:32Z","created_at_i":1679336852,"num_comments":125,"objectID":"35236275","points":264,"story_id":35236275,"story_text":"Hey HN, we\u2019re the cofounders of bloop (https://bloop.ai/), a code search engine which combines semantic search with GPT-4 to answer questions. We let you search your private codebases either the traditional way (regex or literal) or via semantic search, ask questions in natural language thanks to GPT-4, and jump between refs/defs with precise code navigation. Here\u2019s a quick demo: https://www.loom.com/share/8e9d59b88dd2409482ec02cdda5b9185
Traditional code search tools match the terms in your query against the codebase, but often you don\u2019t know the right terms to start with, e.g. \u2018Which library do we use for model inference?\u2019 (These types of questions are particularly common when you\u2019re learning a new codebase.) bloop uses a combination of neural semantic code search (comparing the meaning - encoded in vector representations - of queries and code snippets) and chained LLM calls to retrieve and reason about abstract queries.
Ideally, a LLM could answer questions about your code directly, but there is significant overhead (and expense) in fine-tuning the largest LLMs on private data. And although they\u2019re increasing, prompt sizes are still a long way off being able to fit a whole organisation\u2019s codebase.
We get around these limitations with a two-step process. First, we use GPT-4 to generate a keyword query which is passed to a semantic search engine. This embeds the query and compares it to chunks of code in vector space (we use Qdrant as our vector DB). We\u2019ve found that using a semantic search engine for retrieval improves recall, allowing the LLM to retrieve code that doesn\u2019t have any textual overlap with the query but is still relevant. Second, the retrieved code snippets are ranked and inserted into a final LLM prompt. We pass this to GPT-4 and its phenomenal understanding of code does the rest.
Let\u2019s work through an example. You start off by asking \u2018Where is the query parsing logic?\u2019 and then want to find out \u2018Which library does it use?\u2019. We use GPT-4 to generate the standalone keyword query: \u2018query parser library\u2019, which we then pass to a semantic search engine that returns a snippet demonstrating the parser in action: \u2018let pair = PestParser::parse(Rule::query, query);\u2019. We insert this snippet into a prompt to GPT-4, which is able to work out that pest is the library doing the legwork here, generating the answer \u2018The query parser uses the pest library\u2019.
You can also filter your search by repo or language - What\u2019s the readiness delay repo:myApp lang:yaml. GPT-4 will generate an answer constrained to the respective repo and language.
We also know that LLMs are not always (at least not yet) the best tool for the job. Sometimes you know exactly what you\u2019re looking for. For this, we\u2019ve built a fast, trigram index based regex search engine based on Tantivy. Because of this, bloop is fast at traditional search too. For code navigation, we\u2019ve built a precise go-to-ref/def engine based on scope resolution that uses Tree-sitter.
bloop is fully open-source. Semantic search, LLM prompts, regex search and code navigation are all contained in one repo: https://github.com/bloopAI/bloop.
Our software is standalone and doesn\u2019t run in your IDE. We were originally IDE-based but moved away from this due to constraints on how we could display code to the user.
bloop runs as a free desktop app on Mac, Windows and Linux: https://github.com/bloopAI/bloop/releases. On desktop, your code is indexed with a MiniLM embedding model and stored locally, meaning at index time your codebase stays private. Indexing is fast, except on the very largest repos (GPU indexing coming soon). \u2018Private\u2019 here means that no code is shared with us or OpenAI at index time, and when a search is made only relevant code snippets are shared to generate the response. (This is more or less the same data usage as Copilot).
We also have a paid cloud offering for teams ($12 per user per month). Members of the same organisation can search a shared index hosted by us.
We\u2019d love to hear your thoughts about the product and where you think we should take it next, and your thoughts on code search in general. We look forward to your comments!","title":"Launch HN: Bloop (YC S21) \u2013 Code Search with GPT-4","updated_at":"2024-09-20T13:36:55Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"matijash"},"story_text":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Hi HN!
We are Martin and Matija, twin brothers and creators of Wasp (https://wasp-lang.dev). Wasp is a declarative language that makes it really easy to build full-stack web apps while still using the latest technologies such as React, Node.js and Prisma.
Martin and I both studied computer science where we mostly focused on algorithms for bioinformatics. Afterwards we led engineering teams in several SaaS companies, on the way gaining plenty of experience in building web apps.
Moving from one project to another, we used various technologies:\nJQuery -> Backbone -> Angular -> React, own scripts / makefile -> Grunt -> Gulp -> Webpack, PHP -> Java -> Node.js, \u2026 , and we always felt that things are harder than they should be. We were spending a lot of time adopting the latest tech stack and figuring out the best practices: how to make the web app performant, scalable, economical and secure and also how to connect all the pieces of the stack together.
While the tech stack kept advancing rapidly, the core requirements of the apps we were building changed very little (auth, routing, data model CRUD, ACL, \u2026). That is why about 1.5 years ago we started thinking about separating web app specification (what it should do) from its implementation (how it should do it).
This led us to the idea of extracting common web app features and concepts into a special specification language from which we could generate code in the currently popular technologies. We don\u2019t think it is feasible to replace everything with a single language so that is why we went with a DSL which integrates with the modern stack (right now React, NodeJS, Prisma).
Wasp lets you define high-level aspects of your web app (auth, routing, ACL, data models, CRUD) via a simple specification language and then write your specific logic in React and Node.js. The majority of the code is still being written in React and Node.js, with Wasp serving as the backbone of your whole application. To see some examples of what the language looks like in practice, take a look here: https://github.com/wasp-lang/wasp/blob/master/examples/tutor...
The main difference between Wasp and frameworks (e.g. Meteor, Blitz, Redwood) is that Wasp is a language, not a library. One benefit of that is a simpler and cleaner, declarative syntax, focused on the requirements and detached from the implementation details.
Another benefit of a DSL is that it allows Wasp to understand the web app\u2019s requirements during the build time and reason about it before generating the final code. For example, when generating code to be deployed to production, it could pick the most appropriate architecture based on its understanding of the web app and deploy it to serverless or another type of architecture (or even a combination). Another example would be reusing your data model logic through all the parts of the stack while defining it just once in Wasp. DSL opens the potential for optimisations, static analysis and extensibility.
Wasp\u2019s compiler is built in Haskell and it compiles the source code in Wasp + React/Node.js into the target code in just React and Node.js (currently in Javascript, but we plan to move to Typescript soon). The generated code is human readable and can easily be inspected and even ejected if Wasp becomes too limiting.
We are currently in Alpha and many features are still rough or missing, but you can try it out and build and deploy web apps! There are things we haven\u2019t solved yet and others that will probably change as we progress.
You can check out our repo at https://github.com/wasp-lang/wasp and give it a try at https://wasp-lang.dev/docs/.
Thank you for reading! We would love to get your feedback and also hear about your experiences building web apps - what has worked for you and where do you see the opportunities for improvement?"},"title":{"matchLevel":"none","matchedWords":[],"value":"Launch HN: Wasp (YC W21) \u2013 DSL for building full-stack web apps"}},"_tags":["story","author_matijash","story_26091956","launch_hn"],"author":"matijash","children":[26092049,26092090,26092236,26092322,26092336,26092380,26092635,26092660,26092681,26092752,26092769,26092877,26092988,26093043,26093186,26093283,26093801,26094118,26094265,26094386,26094506,26096285,26097817,26100199,26100223,26102170,26102320,26107414],"created_at":"2021-02-10T17:15:50Z","created_at_i":1612977350,"num_comments":79,"objectID":"26091956","points":222,"story_id":26091956,"story_text":"Hi HN!
We are Martin and Matija, twin brothers and creators of Wasp (https://wasp-lang.dev). Wasp is a declarative language that makes it really easy to build full-stack web apps while still using the latest technologies such as React, Node.js and Prisma.
Martin and I both studied computer science where we mostly focused on algorithms for bioinformatics. Afterwards we led engineering teams in several SaaS companies, on the way gaining plenty of experience in building web apps.
Moving from one project to another, we used various technologies:\nJQuery -> Backbone -> Angular -> React, own scripts / makefile -> Grunt -> Gulp -> Webpack, PHP -> Java -> Node.js, \u2026 , and we always felt that things are harder than they should be. We were spending a lot of time adopting the latest tech stack and figuring out the best practices: how to make the web app performant, scalable, economical and secure and also how to connect all the pieces of the stack together.
While the tech stack kept advancing rapidly, the core requirements of the apps we were building changed very little (auth, routing, data model CRUD, ACL, \u2026). That is why about 1.5 years ago we started thinking about separating web app specification (what it should do) from its implementation (how it should do it).
This led us to the idea of extracting common web app features and concepts into a special specification language from which we could generate code in the currently popular technologies. We don\u2019t think it is feasible to replace everything with a single language so that is why we went with a DSL which integrates with the modern stack (right now React, NodeJS, Prisma).
Wasp lets you define high-level aspects of your web app (auth, routing, ACL, data models, CRUD) via a simple specification language and then write your specific logic in React and Node.js. The majority of the code is still being written in React and Node.js, with Wasp serving as the backbone of your whole application. To see some examples of what the language looks like in practice, take a look here: https://github.com/wasp-lang/wasp/blob/master/examples/tutor...
The main difference between Wasp and frameworks (e.g. Meteor, Blitz, Redwood) is that Wasp is a language, not a library. One benefit of that is a simpler and cleaner, declarative syntax, focused on the requirements and detached from the implementation details.
Another benefit of a DSL is that it allows Wasp to understand the web app\u2019s requirements during the build time and reason about it before generating the final code. For example, when generating code to be deployed to production, it could pick the most appropriate architecture based on its understanding of the web app and deploy it to serverless or another type of architecture (or even a combination). Another example would be reusing your data model logic through all the parts of the stack while defining it just once in Wasp. DSL opens the potential for optimisations, static analysis and extensibility.
Wasp\u2019s compiler is built in Haskell and it compiles the source code in Wasp + React/Node.js into the target code in just React and Node.js (currently in Javascript, but we plan to move to Typescript soon). The generated code is human readable and can easily be inspected and even ejected if Wasp becomes too limiting.
We are currently in Alpha and many features are still rough or missing, but you can try it out and build and deploy web apps! There are things we haven\u2019t solved yet and others that will probably change as we progress.
You can check out our repo at https://github.com/wasp-lang/wasp and give it a try at https://wasp-lang.dev/docs/.
Thank you for reading! We would love to get your feedback and also hear about your experiences building web apps - what has worked for you and where do you see the opportunities for improvement?","title":"Launch HN: Wasp (YC W21) \u2013 DSL for building full-stack web apps","updated_at":"2026-05-13T17:13:53Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"hsikka"},"story_text":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Hey HN,
I am a graduate student doing ML research, and lately I've been thinking a lot about designing learning systems from the hardware through the software layers.
I have no experience with what is going at the processor levels, and I was wondering what prerequisite subjects or general curricula I should follow to learn and reason at these lower levels of abstraction.
To be clear, I'm doing this to build intuitions about new computational systems and how different chips, from ASIC to neuromorphic, may be designed.
Any resources or advice telling me I'm a fool is welcome!"},"title":{"matchLevel":"none","matchedWords":[],"value":"Ask HN: How to Self-Study Integrated Circuit Design?"}},"_tags":["story","author_hsikka","story_19890949","ask_hn"],"author":"hsikka","children":[19891117,19893447,19893875,19894412,19895605,19896024,19897059,19897283,19897698,19898030,19898132,19899501,19899861,19901273,19910562,19912343,19918930,19945473],"created_at":"2019-05-12T09:26:26Z","created_at_i":1557653186,"num_comments":39,"objectID":"19890949","points":178,"story_id":19890949,"story_text":"Hey HN,
I am a graduate student doing ML research, and lately I've been thinking a lot about designing learning systems from the hardware through the software layers.
I have no experience with what is going at the processor levels, and I was wondering what prerequisite subjects or general curricula I should follow to learn and reason at these lower levels of abstraction.
To be clear, I'm doing this to build intuitions about new computational systems and how different chips, from ASIC to neuromorphic, may be designed.
Any resources or advice telling me I'm a fool is welcome!","title":"Ask HN: How to Self-Study Integrated Circuit Design?","updated_at":"2026-02-23T19:26:40Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"segmenta"},"story_text":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Claude Code is great, but it\u2019s focused on coding. The missing piece is a native way to build and run custom background agents for non-code tasks. We built RowboatX as a CLI tool modeled after Claude Code that lets you do that. It uses the file system and unix tools to create and monitor background agents for everyday tasks, connect them to any MCP server for tools, and reason over their outputs.
Because RowboatX runs locally with shell access, the agents can install tools, execute code, and automate anything you could do in a terminal with your explicit permission. It works with any compatible LLM, including open-source ones.
Our repo is https://github.com/rowboatlabs/rowboat, and there\u2019s a demo video here: https://youtu.be/cyPBinQzicY
For example, you can connect RowboatX to the ElevenLabs MCP server and create a background workflow that produces a NotebookLM-style podcast every day from recent AI-agent papers on arXiv. Or you can connect it to Google Calendar and Exa Search to research meeting attendees and generate briefs before each event.
You can try these with: `npx @rowboatlabs/rowboatx`
We combined three simple ideas:
1. File system as state: Each agent\u2019s instruction, memory, logs, and data are just files on disk, grepable, diffable, and local. For instance, you can just run: grep -rl '"agent":"<agent-name>"' ~/.rowboat/runs to list every run for a particular workflow.
2. The supervisor agent: A Claude Code style agent that can create and run background agents. It predominantly uses Unix commands to monitor, update, and schedule agents. LLMs handle Unix tools better than backend APIs [1][2], so we leaned into that. It can also probe any MCP server and attach the tools to the agents.
3. Human-in-the-loop: Each background agent can emit a human_request message when needed (e.g. drafting a tricky email or installing a tool) that pauses execution and waits for input before continuing. The supervisor coordinates this.
I started my career over a decade ago building spam detection models at Twitter, spending a lot of my time in the terminal with Unix commands for data analysis [0] and Vowpal Wabbit for modeling. When Claude Code came along, it felt familiar and amazing to work with. But trying to use it beyond code always felt a bit forced. We built RowboatX to bring that same workflow to everyday tasks. It is Apache-2.0 licensed and easily extendable.
While there are many agent builders, running on the user's terminal enables unique use cases like computer and browser automation that cloud-based tools can't match. This power requires careful safety design. We implemented command-level allow/deny lists, with containerization coming next. We\u2019ve tried to design for safety from day one, but we\u2019d love to hear the community\u2019s perspective on what additional safeguards or approaches you\u2019d consider important here.
We\u2019re excited to share RowboatX with everyone here. We\u2019d love to hear your thoughts and welcome contributions!
\u2014
[0] https://web.stanford.edu/class/cs124/kwc-unix-for-poets.pdf\n[1] https://arxiv.org/pdf/2405.06807\n[2] https://arxiv.org/pdf/2501.10132"},"title":{"matchLevel":"none","matchedWords":[],"value":"Show HN: RowboatX \u2013 open-source Claude Code for everyday automations"},"url":{"matchLevel":"none","matchedWords":[],"value":"https://github.com/rowboatlabs/rowboat"}},"_tags":["story","author_segmenta","story_45970338","show_hn"],"author":"segmenta","children":[45970783,45973010,45973188,45974987,45976894,45978513,45978603,45982189,46098480],"created_at":"2025-11-18T18:50:00Z","created_at_i":1763491800,"num_comments":42,"objectID":"45970338","points":131,"story_id":45970338,"story_text":"Claude Code is great, but it\u2019s focused on coding. The missing piece is a native way to build and run custom background agents for non-code tasks. We built RowboatX as a CLI tool modeled after Claude Code that lets you do that. It uses the file system and unix tools to create and monitor background agents for everyday tasks, connect them to any MCP server for tools, and reason over their outputs.
Because RowboatX runs locally with shell access, the agents can install tools, execute code, and automate anything you could do in a terminal with your explicit permission. It works with any compatible LLM, including open-source ones.
Our repo is https://github.com/rowboatlabs/rowboat, and there\u2019s a demo video here: https://youtu.be/cyPBinQzicY
For example, you can connect RowboatX to the ElevenLabs MCP server and create a background workflow that produces a NotebookLM-style podcast every day from recent AI-agent papers on arXiv. Or you can connect it to Google Calendar and Exa Search to research meeting attendees and generate briefs before each event.
You can try these with: `npx @rowboatlabs/rowboatx`
We combined three simple ideas:
1. File system as state: Each agent\u2019s instruction, memory, logs, and data are just files on disk, grepable, diffable, and local. For instance, you can just run: grep -rl '"agent":"<agent-name>"' ~/.rowboat/runs to list every run for a particular workflow.
2. The supervisor agent: A Claude Code style agent that can create and run background agents. It predominantly uses Unix commands to monitor, update, and schedule agents. LLMs handle Unix tools better than backend APIs [1][2], so we leaned into that. It can also probe any MCP server and attach the tools to the agents.
3. Human-in-the-loop: Each background agent can emit a human_request message when needed (e.g. drafting a tricky email or installing a tool) that pauses execution and waits for input before continuing. The supervisor coordinates this.
I started my career over a decade ago building spam detection models at Twitter, spending a lot of my time in the terminal with Unix commands for data analysis [0] and Vowpal Wabbit for modeling. When Claude Code came along, it felt familiar and amazing to work with. But trying to use it beyond code always felt a bit forced. We built RowboatX to bring that same workflow to everyday tasks. It is Apache-2.0 licensed and easily extendable.
While there are many agent builders, running on the user's terminal enables unique use cases like computer and browser automation that cloud-based tools can't match. This power requires careful safety design. We implemented command-level allow/deny lists, with containerization coming next. We\u2019ve tried to design for safety from day one, but we\u2019d love to hear the community\u2019s perspective on what additional safeguards or approaches you\u2019d consider important here.
We\u2019re excited to share RowboatX with everyone here. We\u2019d love to hear your thoughts and welcome contributions!
\u2014
[0] https://web.stanford.edu/class/cs124/kwc-unix-for-poets.pdf\n[1] https://arxiv.org/pdf/2405.06807\n[2] https://arxiv.org/pdf/2501.10132","title":"Show HN: RowboatX \u2013 open-source Claude Code for everyday automations","updated_at":"2026-05-08T04:06:31Z","url":"https://github.com/rowboatlabs/rowboat"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"d_man"},"story_text":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"I work as a developer (Java full stack if it makes any difference) and live quite far from my workplace: it usually takes me one hour and a half to and from work by car. Moving closer to my workplace is not an option nor is it using other means to go back and forth (eg train/bus).\nI feel like my time spent on the road is mostly wasted: I'd like to find something IT-related to do (both listen to and reason about) that can help me learn new stuff. \nSince I'm passionate about Linux, I usually have a few Linux (or BSD) podcasts to listen to while driving but I found that to be not really instructive, just more enjoyable than listening to the radio or some music playlist. \nI'm looking for any kind of suggestion from fellow developers who are in the same spot and have found any interesting way or resources to 'spend wisely' their travel time. \nWhat resources would you suggest (if any exists) to learn something while driving (much like you would do with a foreign language audio course)? Is it even possible? Has anyone tried or can share an experience of 'audio learning' IT related?"},"title":{"matchLevel":"none","matchedWords":[],"value":"Ask HN: As a developer, how can I take advantage of time spent driving to work?"}},"_tags":["story","author_d_man","story_13000859","ask_hn"],"author":"d_man","children":[13000966,13001059,13001064,13001117,13001145,13001149,13001150,13001181,13001185,13001188,13001199,13001205,13001217,13001222,13001274,13001285,13001327,13001332,13001375,13001438,13001470,13001481,13001518,13001565,13001632,13001644,13001775,13002511,13002533,13002553,13002601,13002621,13002761,13002829,13003271,13003336,13003422,13003518,13003572,13004220,13004517,13005698,13008521,13009219,13011521,13011695,13013133,13014892,13016780,13029486],"created_at":"2016-11-20T20:05:19Z","created_at_i":1479672319,"num_comments":113,"objectID":"13000859","points":93,"story_id":13000859,"story_text":"I work as a developer (Java full stack if it makes any difference) and live quite far from my workplace: it usually takes me one hour and a half to and from work by car. Moving closer to my workplace is not an option nor is it using other means to go back and forth (eg train/bus).\nI feel like my time spent on the road is mostly wasted: I'd like to find something IT-related to do (both listen to and reason about) that can help me learn new stuff. \nSince I'm passionate about Linux, I usually have a few Linux (or BSD) podcasts to listen to while driving but I found that to be not really instructive, just more enjoyable than listening to the radio or some music playlist. \nI'm looking for any kind of suggestion from fellow developers who are in the same spot and have found any interesting way or resources to 'spend wisely' their travel time. \nWhat resources would you suggest (if any exists) to learn something while driving (much like you would do with a foreign language audio course)? Is it even possible? Has anyone tried or can share an experience of 'audio learning' IT related?","title":"Ask HN: As a developer, how can I take advantage of time spent driving to work?","updated_at":"2024-09-19T23:56:55Z"},{"_highlightResult":{"author":{"matchLevel":"none","matchedWords":[],"value":"patelajay285"},"story_text":{"fullyHighlighted":false,"matchLevel":"full","matchedWords":["andreason"],"value":"Hi, this is Ajay and Alex, and we\u2019re the founders of Plasticity (https://www.plasticity.ai/). We're building an API that helps developers create human-like natural language interfaces.
Four years ago, we hacked 3rd party commands into Siri without jailbreaking before Alexa Skills or SiriKit were released (https://www.wired.com/2014/04/googolplex/). It was the first App Store for voice commands. Since then, we\u2019ve worked on NL interfaces at Google and Apple Siri. Now we're tackling the next problem: products using NLP are fairly simplistic in what they can do for users. For example, systems like Siri still struggle to directly answer a basic question like "When is the Y Combinator application due?" because it can't understand and reason where the answer may lie in a sentence on Y Combinator's website.
We\u2019re approaching the problem differently by understanding the structure of language and relationships within text, instead of relying on more simplistic methods like keyword matching. We build a graph of entities and their relationships within a sentence along with other linguistic information. You can think of it as \u201cOpen Information Extraction\u201d with a lot more information (https://www.plasticity.ai/api/demo).
Currently, we use a TensorFlow model to perform classical tasks like parts of speech, tokenization, and syntax dependency trees. We built our own Wikipedia crawler for data to better handle chunking and disambiguation, which helps return more accurate results for multi-word entities in sentences like: "The band played let it be by the beatles." We wrote our open IE algorithms from scratch, focusing on speed. It's written completely in C++ and we are adding more features everyday.
Our public APIs are in beta right now, we\u2019re constantly working to improve the accuracy, and we\u2019re looking forward to hearing feedback. We\u2019d love to hear what the HN community is working on with NLP and how we can help!"},"title":{"matchLevel":"none","matchedWords":[],"value":"Launch HN: Plasticity (YC S17) \u2013 APIs for human-like natural language interfaces"}},"_tags":["story","author_patelajay285","story_15047929","launch_hn"],"author":"patelajay285","children":[15047998,15048291,15048364,15048462,15048464,15048562,15048719,15048995,15050362,15050518,15050539,15050942,15055517],"created_at":"2017-08-18T17:08:54Z","created_at_i":1503076134,"num_comments":47,"objectID":"15047929","points":93,"story_id":15047929,"story_text":"Hi, this is Ajay and Alex, and we\u2019re the founders of Plasticity (https://www.plasticity.ai/). We're building an API that helps developers create human-like natural language interfaces.
Four years ago, we hacked 3rd party commands into Siri without jailbreaking before Alexa Skills or SiriKit were released (https://www.wired.com/2014/04/googolplex/). It was the first App Store for voice commands. Since then, we\u2019ve worked on NL interfaces at Google and Apple Siri. Now we're tackling the next problem: products using NLP are fairly simplistic in what they can do for users. For example, systems like Siri still struggle to directly answer a basic question like "When is the Y Combinator application due?" because it can't understand and reason where the answer may lie in a sentence on Y Combinator's website.
We\u2019re approaching the problem differently by understanding the structure of language and relationships within text, instead of relying on more simplistic methods like keyword matching. We build a graph of entities and their relationships within a sentence along with other linguistic information. You can think of it as \u201cOpen Information Extraction\u201d with a lot more information (https://www.plasticity.ai/api/demo).
Currently, we use a TensorFlow model to perform classical tasks like parts of speech, tokenization, and syntax dependency trees. We built our own Wikipedia crawler for data to better handle chunking and disambiguation, which helps return more accurate results for multi-word entities in sentences like: "The band played let it be by the beatles." We wrote our open IE algorithms from scratch, focusing on speed. It's written completely in C++ and we are adding more features everyday.
Our public APIs are in beta right now, we\u2019re constantly working to improve the accuracy, and we\u2019re looking forward to hearing feedback. We\u2019d love to hear what the HN community is working on with NLP and how we can help!","title":"Launch HN: Plasticity (YC S17) \u2013 APIs for human-like natural language interfaces","updated_at":"2024-09-20T01:14:24Z"}],"hitsPerPage":50,"nbHits":2600,"nbPages":20,"page":0,"params":"query=Andreason&tags=story&hitsPerPage=50&advancedSyntax=true&analyticsTags=backend","processingTimeMS":30,"processingTimingsMS":{"_request":{"roundTrip":19},"afterFetch":{"format":{"highlighting":1,"total":2},"merge":{"mergeLoop":{"prepareNextHit":1,"total":1},"total":1},"total":2},"fetch":{"query":6,"scanning":21,"total":28},"total":30},"query":"Andreason","serverTimeMS":33}