Hacker News: jasonhemannhttps://news.ycombinator.com/user?id=jasonhemannHacker News RSShttps://hnrss.org/hnrss v2.1.1Sun, 12 Apr 2026 06:49:50 +0000<![CDATA[Show HN: CanhazKanren: A MicroKanren in Lolcode 1.3]]>A minimal miniKanren, in strict LOLCODE 1.3. Logic variables, unification, goal composition, and bounded search, in one file. Slices and dices.

Comments URL: https://news.ycombinator.com/item?id=47600680

Points: 2

# Comments: 0

]]>Wed, 01 Apr 2026 13:35:57 +0000https://github.com/jasonhemann/canHazKanrenjasonhemannhttps://news.ycombinator.com/item?id=47600680https://news.ycombinator.com/item?id=47600680<![CDATA[New comment by jasonhemann in "Make macOS consistently bad unironically"]]>I love that there are people who are observant enough to notice these kinds of things, a vanguard for those of us who are blithely unaware and protected due to their vigilance.

]]>Fri, 27 Mar 2026 20:00:39 +0000https://news.ycombinator.com/item?id=47547489jasonhemannhttps://news.ycombinator.com/item?id=47547489https://news.ycombinator.com/item?id=47547489<![CDATA[New comment by jasonhemann in "Brew cask audit finds apps unmanaged by homebrew"]]>Sometimes you install something manually, and forget that you did so. If you would rather have your installation managed by homebrew, you might find this useful.

]]>Mon, 23 Mar 2026 16:07:50 +0000https://news.ycombinator.com/item?id=47491413jasonhemannhttps://news.ycombinator.com/item?id=47491413https://news.ycombinator.com/item?id=47491413<![CDATA[Brew cask audit finds apps unmanaged by homebrew]]>Article URL: https://github.com/jasonhemann/brew-cask-audit

Comments URL: https://news.ycombinator.com/item?id=47491412

Points: 4

# Comments: 1

]]>Mon, 23 Mar 2026 16:07:50 +0000https://github.com/jasonhemann/brew-cask-auditjasonhemannhttps://news.ycombinator.com/item?id=47491412https://news.ycombinator.com/item?id=47491412<![CDATA[New comment by jasonhemann in "Emulating Goto in Scheme with Continuations"]]>Effect handlers would like to have a word.

]]>Mon, 23 Feb 2026 23:06:09 +0000https://news.ycombinator.com/item?id=47130329jasonhemannhttps://news.ycombinator.com/item?id=47130329https://news.ycombinator.com/item?id=47130329<![CDATA[New comment by jasonhemann in "Financing My Klarna Doritos Locos Taco"]]>Oh really? Not in my neighborhood.

]]>Sat, 11 Oct 2025 02:32:01 +0000https://news.ycombinator.com/item?id=45546086jasonhemannhttps://news.ycombinator.com/item?id=45546086https://news.ycombinator.com/item?id=45546086<![CDATA[New comment by jasonhemann in "Show HN: rm-safely – A shell alias that moves files to trash instead of deleting"]]>There is indeed a similar, maybe even same, trash that works on MacOS and available on brew. Users are covered there too.

]]>Sun, 07 Sep 2025 21:05:54 +0000https://news.ycombinator.com/item?id=45162145jasonhemannhttps://news.ycombinator.com/item?id=45162145https://news.ycombinator.com/item?id=45162145<![CDATA[New comment by jasonhemann in "Solving `Passport Application` with Haskell"]]>Just fantastic. Bravo.

]]>Sun, 29 Jun 2025 08:09:33 +0000https://news.ycombinator.com/item?id=44411190jasonhemannhttps://news.ycombinator.com/item?id=44411190https://news.ycombinator.com/item?id=44411190<![CDATA[New comment by jasonhemann in "Reanimation of the original Logic Theorist, the first AI, in IPL-V [video]"]]>This video is charming

]]>Wed, 30 Apr 2025 00:36:55 +0000https://news.ycombinator.com/item?id=43839835jasonhemannhttps://news.ycombinator.com/item?id=43839835https://news.ycombinator.com/item?id=43839835<![CDATA[New comment by jasonhemann in "Scryer Prolog NPM package (experimental)"]]>Awesome!

]]>Sun, 16 Feb 2025 18:49:44 +0000https://news.ycombinator.com/item?id=43070488jasonhemannhttps://news.ycombinator.com/item?id=43070488https://news.ycombinator.com/item?id=43070488<![CDATA[New comment by jasonhemann in "OCR4all"]]>I was going to say, isn't tesseract /already/ OCR for everyone?

]]>Fri, 14 Feb 2025 03:31:12 +0000https://news.ycombinator.com/item?id=43044526jasonhemannhttps://news.ycombinator.com/item?id=43044526https://news.ycombinator.com/item?id=43044526<![CDATA[New comment by jasonhemann in "What Is miniKanren?"]]>What I was thinking of was this one: https://en.wikipedia.org/wiki/Planner_(programming_language)... . I don't imagine there's any more formal a specification beyond what-they-implemented (but I haven't actually read the paper!)

]]>Sun, 05 Jan 2025 17:32:10 +0000https://news.ycombinator.com/item?id=42603347jasonhemannhttps://news.ycombinator.com/item?id=42603347https://news.ycombinator.com/item?id=42603347<![CDATA[New comment by jasonhemann in "What Is miniKanren?"]]>Emails are definitely welcome too! Wherever you get stuck is a failure on the part of the authors.

]]>Sun, 05 Jan 2025 17:29:52 +0000https://news.ycombinator.com/item?id=42603331jasonhemannhttps://news.ycombinator.com/item?id=42603331https://news.ycombinator.com/item?id=42603331<![CDATA[New comment by jasonhemann in "What Is miniKanren?"]]>IIRC, Dan told me that a million years ago, when they were choosing a name for the Kanren sourceforge repo, they had to use a name with a word that was sufficiently prominent on the internet. Kanren worked because there were enough hits for KanREN.

]]>Sat, 04 Jan 2025 18:12:00 +0000https://news.ycombinator.com/item?id=42596515jasonhemannhttps://news.ycombinator.com/item?id=42596515https://news.ycombinator.com/item?id=42596515<![CDATA[New comment by jasonhemann in "What Is miniKanren?"]]>I have a vague recollection about that kind of a declarative UI framework, but I can't remember a single detail. But it's definitely an interesting idea and I know there are other folk out there also interested in your idea.

]]>Sat, 04 Jan 2025 17:23:37 +0000https://news.ycombinator.com/item?id=42596117jasonhemannhttps://news.ycombinator.com/item?id=42596117https://news.ycombinator.com/item?id=42596117<![CDATA[New comment by jasonhemann in "What Is miniKanren?"]]>Interesting fact, there's a neat connection between Micro-Planner and the genesis of Prolog. So I think you could be on to something.

]]>Sat, 04 Jan 2025 17:20:15 +0000https://news.ycombinator.com/item?id=42596089jasonhemannhttps://news.ycombinator.com/item?id=42596089https://news.ycombinator.com/item?id=42596089<![CDATA[New comment by jasonhemann in "What Is miniKanren?"]]>That's somewhat comforting! But on the other hand, it means also that some of the folk who would be perfectly able to understand the big idea are getting gatekept by just the look of the parentheses, even though host's concrete syntax is of little importance. Which is a darn shame.

]]>Sat, 04 Jan 2025 17:14:58 +0000https://news.ycombinator.com/item?id=42596051jasonhemannhttps://news.ycombinator.com/item?id=42596051https://news.ycombinator.com/item?id=42596051<![CDATA[New comment by jasonhemann in "What Is miniKanren?"]]>I think these are great points. Everything should be smooth as butter for an interested reader, and the tutorial should be so approachable and such a page-turner that the curious are hooked on page one and can't put it down.

Really---anything short of that is sub-optimal performance. I think some of it comes from new eyes reading and pointing out room for improvement. The other half is someone having the time to figure out the fix and implement it.

]]>Sat, 04 Jan 2025 17:00:01 +0000https://news.ycombinator.com/item?id=42595921jasonhemannhttps://news.ycombinator.com/item?id=42595921https://news.ycombinator.com/item?id=42595921<![CDATA[New comment by jasonhemann in "What Is miniKanren?"]]>One of the hopes is that you can drop in your favorite host language's syntax and get a working implementation. What's your usual language stack these days?

]]>Fri, 03 Jan 2025 05:08:39 +0000https://news.ycombinator.com/item?id=42582671jasonhemannhttps://news.ycombinator.com/item?id=42582671https://news.ycombinator.com/item?id=42582671<![CDATA[New comment by jasonhemann in "What Is miniKanren?"]]>No, but I would so love to hear someone from the team give a talk about it. That's so darn awesome

]]>Fri, 03 Jan 2025 05:04:38 +0000https://news.ycombinator.com/item?id=42582645jasonhemannhttps://news.ycombinator.com/item?id=42582645https://news.ycombinator.com/item?id=42582645