peterkelly

6 ms·

1.
Show HN: Rex, a parallel functional language for scientific workflows(github.com)
28 points by peterkelly 1mo ago|8 comments
2.
by peterkelly 1mo ago
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
3.
Captain Bible Reverse Engineering(github.com)
37 points by peterkelly 2mo ago|2 comments
4.
Migrating Code by Proof: From F# to Python(logosresearch.ai)
1 points by peterkelly 2mo ago|0 comments
5.
Cpp2Rust: Automatic Translation of C++ to Safe Rust [pdf](web.ist.utl.pt)
2 points by peterkelly 2mo ago|0 comments
6.
I Taught Myself C by Rejecting Modern Tech [video](youtube.com)
3 points by peterkelly 2mo ago|0 comments
7.
Passport to Adventure: The Scumm Story(scummdoc.com)
2 points by peterkelly 3mo ago|0 comments
8.
Commodore Callback(commodore.net)
35 points by peterkelly 3mo ago|4 comments
9.
by peterkelly 3mo ago
Now all the malware can move from the install script to the module itself where it will inevitably still be run
10.
by peterkelly 4mo ago
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.
11.
by peterkelly 4mo ago
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
12.
by peterkelly 5mo ago
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 lik
13.
Remembering the Computer Literacy Project (1992) [video](youtube.com)
4 points by peterkelly 5mo ago|1 comments
14.
by peterkelly 6mo ago
> Every single one of them oversells their capacity That sounds like their problem, not ours
15.
Hammond XK-7D [video](youtube.com)
1 points by peterkelly 6mo ago|0 comments
16.
Only working copy of 50 year old computer program found when cleaning out office [video](youtube.com)
1 points by peterkelly 8mo ago|2 comments
17.
by peterkelly 10mo ago
Unless a violation of that contract can lead to a crash or security vulnerability...
18.
by peterkelly 10mo ago
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...
19.
by peterkelly 10mo ago
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
20.
by peterkelly 1y ago
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.
21.
by peterkelly 1y ago
Why do all the AI agents on the services page have human names and profile pictures if there are "no humans in the loop"?
22.
by peterkelly 1y ago
There was a post on HN the other day where someone was launching an email assistant that used AI to summarise emails that you received. The idea didn't excite me, it scared me. I really wish the tech industry would stop rushing out unr
23.
by peterkelly 1y ago
Create the problem, sell the solution.
24.
by peterkelly 1y ago
I thought vibe coding tools did this already
25.
by peterkelly 1y ago
If there's one thing I definitely don't want AI in the middle of, it's communication with other people. The potential for misunderstandings due to hallucination in summaries, both on my end and the recipient's, scares me
26.
by peterkelly 1y ago
I'm honestly curious why Apple (and other OS vendors like MS and various Linux distributions) still feel the need to tweak their UIs many, many years after having reached maturity. How many iterations does it take before you get it rig
27.
Vibe Coding Is the Worst Idea of 2025 [video](youtube.com)
5 points by peterkelly 1y ago|1 comments
28.
Uploading PDF via Files API and using in Streaming gives 400 bad request(github.com)
1 points by peterkelly 1y ago|0 comments
29.
Commodore 64 Ultimate(commodore.net)
176 points by peterkelly 1y ago|139 comments
30.
by peterkelly 1y ago
If AI coding agents were actually any good, you could preface your prompt with "attempt the following task four times in parallel" and that would be it.

More ›