HackerTrans
トップ新着トレンドコメント過去質問紹介求人

peterkelly

10,676 カルマ登録 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

投稿

Migrating Code by Proof: From F# to Python

logosresearch.ai
1 ポイント·投稿者 peterkelly·一昨日·0 コメント

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

web.ist.utl.pt
2 ポイント·投稿者 peterkelly·3 日前·0 コメント

I Taught Myself C by Rejecting Modern Tech [video]

youtube.com
3 ポイント·投稿者 peterkelly·3 日前·0 コメント

Passport to Adventure: The Scumm Story

scummdoc.com
2 ポイント·投稿者 peterkelly·12 日前·0 コメント

Commodore Callback

commodore.net
35 ポイント·投稿者 peterkelly·26 日前·4 コメント

Remembering the Computer Literacy Project (1992) [video]

youtube.com
4 ポイント·投稿者 peterkelly·2 か月前·1 コメント

Hammond XK-7D [video]

youtube.com
1 ポイント·投稿者 peterkelly·4 か月前·0 コメント

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

youtube.com
1 ポイント·投稿者 peterkelly·6 か月前·2 コメント

コメント

peterkelly
·先月·議論
Now all the malware can move from the install script to the module itself where it will inevitably still be run
peterkelly
·先月·議論
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
·先月·議論
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 か月前·議論
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 か月前·議論
> Every single one of them oversells their capacity

That sounds like their problem, not ours
peterkelly
·7 か月前·議論
Unless a violation of that contract can lead to a crash or security vulnerability...
peterkelly
·8 か月前·議論
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 か月前·議論
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 か月前·議論
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 か月前·議論
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 年前·議論
Does it support ISO timestamps?
peterkelly
·4 年前·議論
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 年前·議論
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 年前·議論
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 年前·議論
The ironic thing is that if Facebook also forbid irrelevant posts, it would become a vast, empty wasteland.