Hacker News: jsmorph

New comment by jsmorph in ""Why not just use Lean?""

jsmorph — Mon, 27 Apr 2026 15:51:50 +0000

Re 1: Discussing and guiding the desirable theorems for general-purpose programs has been a major challenge for us. Proofs for their own sake (bad?) vs glorious general results (good but hard?). Actual human guidance there can be critical there at least for now.

New comment by jsmorph in "“Why not just use Lean?”"

jsmorph — Mon, 27 Apr 2026 15:44:54 +0000

Slightly off topic: This project https://agentcourt.ai/arb/analysis/index.html uses a Go/Lean hybrid design. The Go code is mostly glue, and the Lean code is the logic https://github.com/agentcourt/adjudication/tree/main/arb/eng.... It's not math-intensive. Really just functional programming with some interesting proofs (including soundness ideally). Go code can migrate to Lean code when that makes sense.

New comment by jsmorph in "Paradigms of A.I. Programming: Case Studies in Common Lisp (1991)"

jsmorph — Fri, 05 May 2023 11:31:16 +0000

The section [0] on pattern matching [1] was an important inspiration for some pattern matching that's running in large-scale production today [2].

[0] https://norvig.github.io/paip-lisp/#/chapter5?id=_52-pattern...

[1] https://github.com/norvig/paip-lisp/blob/main/lisp/patmatch....

[2] https://github.com/Comcast/sheens#pattern-matching

Linux Foundation Announces Launch of TLA+ Foundation

jsmorph — Fri, 21 Apr 2023 16:22:24 +0000

Article URL: https://www.linuxfoundation.org/press/linux-foundation-launches-tlafoundation

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

Points: 10

# Comments: 1

New comment by jsmorph in "ChatGPT can now call Wolfram Alpha"

jsmorph — Thu, 23 Mar 2023 18:51:36 +0000

Same. Maybe a GPT-driven super-tactic.

LLM generates some anti-microbial proteins

jsmorph — Sun, 29 Jan 2023 13:56:30 +0000

Article URL: https://www.newscientist.com/article/2356597-ai-has-designed-bacteria-killing-proteins-from-scratch-and-they-work/

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

Points: 1

# Comments: 0

Swarm – Low cost, global satellite connectivity for IoT

jsmorph — Thu, 03 Nov 2022 18:31:57 +0000

Article URL: https://swarm.space/

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

Points: 230

# Comments: 156

New comment by jsmorph in "The Little Typer (2018)"

jsmorph — Tue, 11 Oct 2022 17:38:34 +0000

[0] https://en.wikipedia.org/wiki/Homotopy_type_theory

[1] https://homotopytypetheory.org/book/

New comment by jsmorph in "Candide – Identify Plants with a Photo"

jsmorph — Tue, 27 Jul 2021 12:07:34 +0000

https://www.inaturalist.org/ also does this kind of thing. iNaturalist works well for lots of different organisms.

Show HN: Sheens: state machines for message processing

jsmorph — Thu, 31 Jan 2019 13:58:12 +0000

Article URL: https://github.com/Comcast/sheens

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

Points: 1

# Comments: 0

New comment by jsmorph in "Todo: Talk Openly, Develop Openly"

jsmorph — Wed, 17 Sep 2014 13:31:41 +0000

I hope this group can figure out a master contributor license agreement. Getting together N bilateral CLAs is not ideal.

A Bayesian Model for an Increasing Function (using Stan)

jsmorph — Sat, 23 Nov 2013 14:50:16 +0000

Article URL: http://blog.davidchudzicki.com/2013/10/a-bayesian-model-for-function.html

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

Points: 1

# Comments: 0

New comment by jsmorph in "Ulam spiral"

jsmorph — Sat, 09 Nov 2013 23:43:00 +0000

Here's a colorization based on compositeness:

  http://blog.morphism.com/2010/05/building-numbers.html

OpenCL and the 13 Dwarfs

jsmorph — Tue, 15 Oct 2013 01:29:30 +0000

Article URL: http://synergy.cs.vt.edu/pubs/papers/feng-icpe12-opencl-13-dwarfs.pdf

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

Points: 4

# Comments: 0

Pharo: A malleable and powerful platform

jsmorph — Sun, 13 Oct 2013 13:59:57 +0000

Article URL: http://www.slideshare.net/pharoproject/pharo-tutorial-at-ecooptutorial

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

Points: 87

# Comments: 50

Using The Dec Alpha As A Programmable Micro-engine (1994)

jsmorph — Thu, 10 Oct 2013 19:51:44 +0000

Article URL: http://pt.withy.org/publications/VLM.html

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

Points: 1

# Comments: 0

New comment by jsmorph in "The Ulam spiral: hidden structure among the prime numbers"

jsmorph — Wed, 29 Dec 2010 14:27:34 +0000

Similar visualizations here:

  http://blog.morphism.com/2010/05/building-numbers.html
  http://blog.morphism.com/2010/07/pdfs-from-building-numbers.html

That stuff was generated using Mathematica.