HackerTrans
TopNewTrendsCommentsPastAskShowJobs

peterkelly

10,676 karmajoined 14년 전
Peter Kelly

Email: [email protected] or [email protected]

Twitter: 0xpmkelly

https://www.pmkelly.net

http://blog.uxproductivity.com/

PGP key: http://www.pmkelly.net/pgp-key

Fingerprint: 5435 6718 59F0 DD1F BFA0 5E46 2523 BAA1 44AE 2966

Submissions

Migrating Code by Proof: From F# to Python

logosresearch.ai
1 points·by peterkelly·그저께·0 comments

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

web.ist.utl.pt
2 points·by peterkelly·그저께·0 comments

I Taught Myself C by Rejecting Modern Tech [video]

youtube.com
3 points·by peterkelly·3일 전·0 comments

Passport to Adventure: The Scumm Story

scummdoc.com
2 points·by peterkelly·12일 전·0 comments

Commodore Callback

commodore.net
35 points·by peterkelly·25일 전·4 comments

Remembering the Computer Literacy Project (1992) [video]

youtube.com
4 points·by peterkelly·2개월 전·1 comments

Hammond XK-7D [video]

youtube.com
1 points·by peterkelly·4개월 전·0 comments

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

youtube.com
1 points·by peterkelly·6개월 전·2 comments

comments

peterkelly
·지난달·discuss
Now all the malware can move from the install script to the module itself where it will inevitably still be run
peterkelly
·지난달·discuss
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.
peterkelly
·지난달·discuss
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: [email protected]
peterkelly
·2개월 전·discuss
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.
peterkelly
·3개월 전·discuss
> Every single one of them oversells their capacity

That sounds like their problem, not ours
peterkelly
·7개월 전·discuss
Unless a violation of that contract can lead to a crash or security vulnerability...
peterkelly
·8개월 전·discuss
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...
peterkelly
·8개월 전·discuss
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.
peterkelly
·9개월 전·discuss
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.
peterkelly
·10개월 전·discuss
Why do all the AI agents on the services page have human names and profile pictures if there are "no humans in the loop"?
peterkelly
·2년 전·discuss
Does it support ISO timestamps?
peterkelly
·4년 전·discuss
I think they'd make an excellent content for a loading screen on a game. Pick one at random and give the player something to think about while they're waiting. If this happens enough times, you'll get some repeats, which will help reinforce the message or at least re-trigger the thinking process.
peterkelly
·5년 전·discuss
That's what's so brilliant about this. The database query happens on the client, not on the server. The server side is entirely static hosting.
peterkelly
·6년 전·discuss
If all you're ever going to do with the result of an async function is await it immediately after calling, then you don't need async functions because you're just doing synchronous programming with extra syntax.

The reason there's a difference between foo() and await foo() is that the former gives you a future (aka Promise in JavaScript), while the latter gives you the result. You can then wait on multiple futures, so that things can happen concurrently.

If you add type annotations to your code and use mypy (which you definitely should), it'll pick up the distinction between the two types - Awaitable[str] vs str - and give you an error if you try to pass the future object to a function that expects a string.

The only case where I've run into problems is where I've called an async function that returns None, but have forgotten to await the result. In that case the function never actually begins execution.
peterkelly
·14년 전·discuss
The ironic thing is that if Facebook also forbid irrelevant posts, it would become a vast, empty wasteland.