Hacker News: ernsheong

New comment by ernsheong in "Open source Kanban desktop app that runs parallel agents on every card"

ernsheong — Sat, 23 May 2026 02:14:04 +0000

hmm 404 for me

New comment by ernsheong in "OpenAI is connecting ChatGPT to bank accounts via Plaid"

ernsheong — Fri, 15 May 2026 16:58:30 +0000

What could go wrong

New comment by ernsheong in "Cloudflare's AI Platform: an inference layer designed for agents"

ernsheong — Thu, 16 Apr 2026 14:48:55 +0000

What is Cloudflare trying to be? Everything everywhere all at once?

New comment by ernsheong in "Cal.com is going closed source"

ernsheong — Thu, 16 Apr 2026 01:34:28 +0000

Well let’s just finish and CLOSE them off. Delete all your subscriptions, boys.

New comment by ernsheong in "Lean proved this program correct; then I found a bug"

ernsheong — Tue, 14 Apr 2026 01:34:41 +0000

Alan Turing already proved with the Halting Problem that reasoning about program correctness is not possible. But we still try.

Wikipedia: [1] Turing proved no algorithm exists that always correctly decides whether, for a given arbitrary program and input, the program halts when run with that input. The essence of Turing's proof is that any such algorithm can be made to produce contradictory output and therefore cannot be correct.

[1] https://en.wikipedia.org/wiki/Halting_problem

New comment by ernsheong in "JSON formatter Chrome plugin now closed and injecting adware"

ernsheong — Sat, 11 Apr 2026 03:52:11 +0000

A decent JSON formatter should really ship natively in the browser as well.

New comment by ernsheong in "Sam Altman may control our future – can he be trusted?"

ernsheong — Tue, 07 Apr 2026 08:36:36 +0000

I bet Satya Nadella is regretting defending Altman now.

New comment by ernsheong in "Media scraper Gallery-dl is moving to Codeberg after receiving a DMCA notice"

ernsheong — Mon, 06 Apr 2026 04:15:55 +0000

They can just file another DMCA against Codeberg, what am I missing here?

New comment by ernsheong in "Marriage over, €100k down; AI users whose lives were wrecked by delusion"

ernsheong — Thu, 26 Mar 2026 16:07:40 +0000

Just ChatGPT? Or are the rest also just as capable at delusioning users?

New comment by ernsheong in "False claims in a widely-cited paper"

ernsheong — Thu, 26 Mar 2026 04:06:55 +0000

I'm very confused because there are 2 Andrews, the author in the blog post only states "Andrew", and by the list of Authors the author seems to be Andrew Gelman, but the slug in the first link is "aking", and then there is also Andrew King, lol.

New comment by ernsheong in "Yann LeCun raises $1B to build AI that understands the physical world"

ernsheong — Wed, 11 Mar 2026 05:00:49 +0000

One wonders why this sort of research isn’t in academia but in startups instead.

New comment by ernsheong in "Google Workspace CLI"

ernsheong — Thu, 05 Mar 2026 06:50:47 +0000

Archived in 3… 2… 1…

New comment by ernsheong in "Web Components: The Framework-Free Renaissance"

ernsheong — Fri, 20 Feb 2026 12:12:46 +0000

I’m an early fan (Polymer, anyone?) but somehow the mindshare is just not there and trying to evangelize it to mainstream was too much. So now it just kinda there for people to slowly discover when they run into niche use cases.

New comment by ernsheong in "AI makes the easy part easier and the hard part harder"

ernsheong — Mon, 09 Feb 2026 00:22:40 +0000

404

JobXcess.com – Job Aggregator

ernsheong — Wed, 21 May 2025 00:40:37 +0000

Article URL: https://www.jobxcess.com/us

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

Points: 2

# Comments: 0

New comment by ernsheong in "Public Companies ranked by Market Cap"

ernsheong — Tue, 22 Apr 2025 11:59:24 +0000

I added a shim. Can you try now?

New comment by ernsheong in "Public Companies ranked by Market Cap"

ernsheong — Sun, 13 Apr 2025 03:42:02 +0000

Hey thanks. Yeah it is a bit too long because it comes from a data provider. I simply can't write a shortened summary for 30000 companies. But point taken.

The similar companies is purely industry segmentation, which can never be 100% correct. Different sites use different providers for segmentation and this is the best one I settled on.

New comment by ernsheong in "Public Companies ranked by Market Cap"

ernsheong — Sun, 13 Apr 2025 03:39:40 +0000

Thanks for comment. It's the Rails default, will look into it. The latest Opera definitely supported, are you sure you can't upgrade?

New comment by ernsheong in "Public Companies ranked by Market Cap"

ernsheong — Sat, 12 Apr 2025 17:10:14 +0000

Made this site. Let me know your thoughts!

Public Companies ranked by Market Cap

ernsheong — Sat, 12 Apr 2025 17:10:14 +0000

Article URL: https://gomarketcap.com/

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

Points: 3

# Comments: 6