Hacker News: peterkelly

Show HN: Rex, a parallel functional language for scientific workflows

peterkelly — Mon, 17 Aug 2026 05:28:07 +0000

https://peterkelly.github.io/rex/

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

Points: 28

# Comments: 8

New comment by peterkelly in "Ask HN: Who wants to be hired? (August 2026)"

peterkelly — Tue, 04 Aug 2026 00:50:58 +0000

Location: Thailand (I have a work visa; no sponsorship needed)

Remote: Yes, remote only

Willing to relocate: No

Technologies: Compilers, interpreters, language runtimes, distributed systems

Resume/CV: https://www.pmkelly.net/resume.pdf

Email: peter@pmkelly.net

A bit about me: PhD in Computer Science + 18 years of industry experience. T-shaped; primary focus is on workflow engines but I've done a bit of everything.

Captain Bible Reverse Engineering

peterkelly — Sun, 02 Aug 2026 17:38:34 +0000

Article URL: https://github.com/peterkelly/captain-bible-re

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

Points: 37

# Comments: 2

Migrating Code by Proof: From F# to Python

peterkelly — Fri, 10 Jul 2026 04:17:07 +0000

Article URL: https://www.logosresearch.ai/news/migrating-code-by-proof/

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

Points: 1

# Comments: 0

Cpp2Rust: Automatic Translation of C++ to Safe Rust [pdf]

peterkelly — Thu, 09 Jul 2026 08:24:56 +0000

Article URL: https://web.ist.utl.pt/nuno.lopes/pubs/cpp2rust-pldi26.pdf

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

Points: 2

# Comments: 0

I Taught Myself C by Rejecting Modern Tech [video]

peterkelly — Wed, 08 Jul 2026 12:52:02 +0000

Article URL: https://www.youtube.com/watch?v=I7CeqmFiWYY

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

Points: 3

# Comments: 0

Passport to Adventure: The Scumm Story

peterkelly — Mon, 29 Jun 2026 14:29:11 +0000

Article URL: https://www.scummdoc.com/

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

Points: 2

# Comments: 0

Commodore Callback

peterkelly — Tue, 16 Jun 2026 09:08:36 +0000

Article URL: https://commodore.net/callback/

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

Points: 35

# Comments: 4

New comment by peterkelly in "Upcoming breaking changes for npm v12"

peterkelly — Wed, 10 Jun 2026 06:48:36 +0000

Now all the malware can move from the install script to the module itself where it will inevitably still be run

New comment by peterkelly in "1-Click GitHub Token Stealing via a VSCode Bug"

peterkelly — Wed, 03 Jun 2026 06:54:22 +0000

If only there were some kind of system for recording the version history and viewing what changes had been made to the code between releases.

New comment by peterkelly in "Ask HN: Who wants to be hired? (June 2026)"

peterkelly — Tue, 02 Jun 2026 06:44:08 +0000

PhD in Computer Science with 15+ years experience bridging the gap between the worlds of compilers/interpreters and scientific & business workflow orchestration systems. The world deserves better languages and developer tooling and it's my mission to continue exploring what's possible.

Location: Chiang Mai, Thailand

Remote: Yes

Willing to relocate: No

Technologies: Compilers, interpreters, language runtimes, distributed systems. Rust, Python, C, C++, TypeScript, Postgres.

Résumé/CV: https://www.pmkelly.net/resume.pdf

Email: peter@pmkelly.net

New comment by peterkelly in "DAG Workflow Engine"

peterkelly — Mon, 04 May 2026 16:46:22 +0000

I've always been of the view that for a workflow language, you should use a proper, turing-complete functional language which gives you all the usual flexiblity for transformations on intermediate data, while also supporting things like automatic parallelisation of things like external, compute-intensive tasks.

I recommend checking out https://github.com/peterkelly/rex and also my PhD thesis on the topic https://www.pmkelly.net/publications/thesis.pdf.

The gap in flexiblity between DAG-only and a full language designed for the task is a significant one.

Remembering the Computer Literacy Project (1992) [video]

peterkelly — Thu, 30 Apr 2026 09:30:18 +0000

Article URL: https://www.youtube.com/watch?v=JZjNHnYFqOA

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

Points: 4

# Comments: 1

New comment by peterkelly in "Tell HN: Anthropic no longer allowing Claude Code subscriptions to use OpenClaw"

peterkelly — Sat, 04 Apr 2026 07:48:48 +0000

> Every single one of them oversells their capacity

That sounds like their problem, not ours

Hammond XK-7D [video]

peterkelly — Sun, 08 Mar 2026 18:22:28 +0000

Article URL: https://www.youtube.com/watch?v=hHDP3GcAJAw

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

Points: 1

# Comments: 0

Only working copy of 50 year old computer program found when cleaning out office [video]

peterkelly — Fri, 09 Jan 2026 10:09:53 +0000

Article URL: https://www.youtube.com/watch?v=m-3RJaKcw_4

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

Points: 1

# Comments: 2

New comment by peterkelly in "Why I stopped using JSON for my APIs"

peterkelly — Tue, 02 Dec 2025 05:15:54 +0000

Unless a violation of that contract can lead to a crash or security vulnerability...

New comment by peterkelly in "The Manuscripts of Edsger W. Dijkstra"

peterkelly — Sun, 09 Nov 2025 15:52:09 +0000

The most important one in the context of 2025 is this one:

On the foolishness of "natural language programming". https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667...

New comment by peterkelly in "[dead]"

peterkelly — Sat, 08 Nov 2025 13:08:04 +0000

Flagged because this takes you to a random website so everyone is going to be reading a different article.

I love Kagi as a search engine, and this is a cool idea, but posting a "random web page selector" without explanation on HN is just confusing.

New comment by peterkelly in "Show HN: Autism Simulator"

peterkelly — Thu, 02 Oct 2025 07:13:28 +0000

For some people it's a job.

For others it's a calling.

Nothing wrong with either - I just think it's worth being aware that people have different motivations.