Hacker News: keylehttps://news.ycombinator.com/user?id=keyleHacker News RSShttps://hnrss.org/hnrss v2.1.1Fri, 18 Sep 2026 13:07:38 +0000<![CDATA[New comment by keyle in "Bend – A language that blocks AI mistakes via proof, on CPU and GPU"]]>Qualityeesh!

]]>Fri, 18 Sep 2026 02:52:53 +0000https://news.ycombinator.com/item?id=49749695keylehttps://news.ycombinator.com/item?id=49749695https://news.ycombinator.com/item?id=49749695<![CDATA[New comment by keyle in "Bend – A language that blocks AI mistakes via proof, on CPU and GPU"]]>20K stars and a single commit an hour ago?

How many goats were sacrificed?

Genuinely wondering where this dark magic came from.

]]>Fri, 18 Sep 2026 01:11:14 +0000https://news.ycombinator.com/item?id=49749002keylehttps://news.ycombinator.com/item?id=49749002https://news.ycombinator.com/item?id=49749002<![CDATA[New comment by keyle in "Flet 1.0 – Build cross-platform apps in Python"]]>They didn't even show a prompt box with starry icon button!

]]>Fri, 18 Sep 2026 00:47:47 +0000https://news.ycombinator.com/item?id=49748837keylehttps://news.ycombinator.com/item?id=49748837https://news.ycombinator.com/item?id=49748837<![CDATA[New comment by keyle in "macOS 27 Golden Gate – Review"]]>Read the post. It doesn't look possible. Motives unknown.

]]>Wed, 16 Sep 2026 21:42:16 +0000https://news.ycombinator.com/item?id=49733432keylehttps://news.ycombinator.com/item?id=49733432https://news.ycombinator.com/item?id=49733432<![CDATA[New comment by keyle in "Pion, an agent designed to run any company autonomously"]]>Well the name Pion translates to Pawn in French. So that's a good start.

]]>Tue, 15 Sep 2026 01:27:49 +0000https://news.ycombinator.com/item?id=49706583keylehttps://news.ycombinator.com/item?id=49706583https://news.ycombinator.com/item?id=49706583<![CDATA[New comment by keyle in "Spaceships (Reverse Asteroid)"]]>The silly part is that you end up just looking at the radar and playing regular Asteroid anyway

]]>Mon, 14 Sep 2026 03:33:47 +0000https://news.ycombinator.com/item?id=49691635keylehttps://news.ycombinator.com/item?id=49691635https://news.ycombinator.com/item?id=49691635<![CDATA[New comment by keyle in "D2 Is Non-Profit"]]>It's pretty clear when you visit the website though.

]]>Mon, 07 Sep 2026 02:16:14 +0000https://news.ycombinator.com/item?id=49593074keylehttps://news.ycombinator.com/item?id=49593074https://news.ycombinator.com/item?id=49593074<![CDATA[New comment by keyle in "Muse Spark 1.3"]]>I am very impressed by this model so far. It's faaast and it seems to be just intelligent enough to do really well. It's UI work (simple python UI) is very clean and functional. The UX was 'there'.

]]>Thu, 03 Sep 2026 00:42:33 +0000https://news.ycombinator.com/item?id=49544560keylehttps://news.ycombinator.com/item?id=49544560https://news.ycombinator.com/item?id=49544560<![CDATA[New comment by keyle in "Maybe We Shouldn't Be Reviewing All This Code"]]>+1 for exhausting. Also my experience. Very valuable when you have to write business logic or a complex feature the business will rely on.

Definitely not good for long running work and chasing bugs.

]]>Wed, 02 Sep 2026 23:46:09 +0000https://news.ycombinator.com/item?id=49544155keylehttps://news.ycombinator.com/item?id=49544155https://news.ycombinator.com/item?id=49544155<![CDATA[New comment by keyle in "Evidence of Fraud in an Influential Study About Procrastination"]]>I'm glad the authors seem to have acknowledged the problem and not doing much about it :-)

]]>Tue, 01 Sep 2026 00:09:53 +0000https://news.ycombinator.com/item?id=49516377keylehttps://news.ycombinator.com/item?id=49516377https://news.ycombinator.com/item?id=49516377<![CDATA[New comment by keyle in "Nvidia agrees to acquire Hugging Face for $13B"]]>Owning the roots, the trunk, the branches and the tip of the leafs.

]]>Thu, 27 Aug 2026 02:12:13 +0000https://news.ycombinator.com/item?id=49458634keylehttps://news.ycombinator.com/item?id=49458634https://news.ycombinator.com/item?id=49458634<![CDATA[New comment by keyle in "Nvidia agrees to acquire Hugging Face for $13B"]]>It also means that finding models that aren't "approved" will be dealt by other websites.

]]>Thu, 27 Aug 2026 02:10:24 +0000https://news.ycombinator.com/item?id=49458621keylehttps://news.ycombinator.com/item?id=49458621https://news.ycombinator.com/item?id=49458621<![CDATA[New comment by keyle in "Worst-case glacial lake flood scenarios in a transboundary Himalayan basin 2022"]]>Likely the tourists are better accounted for than the locals. Numbers are likely much higher :(

]]>Thu, 27 Aug 2026 00:16:12 +0000https://news.ycombinator.com/item?id=49457692keylehttps://news.ycombinator.com/item?id=49457692https://news.ycombinator.com/item?id=49457692<![CDATA[New comment by keyle in "Kobo can run apps now"]]>I see terminal there, is there someone working in vim yet?

]]>Sat, 22 Aug 2026 02:38:54 +0000https://news.ycombinator.com/item?id=49396095keylehttps://news.ycombinator.com/item?id=49396095https://news.ycombinator.com/item?id=49396095<![CDATA[New comment by keyle in "Gemini 3.7 Flash"]]>FYI Gemini's version is less broken than Opus' in Safari...

]]>Thu, 13 Aug 2026 23:37:27 +0000https://news.ycombinator.com/item?id=49293073keylehttps://news.ycombinator.com/item?id=49293073https://news.ycombinator.com/item?id=49293073<![CDATA[New comment by keyle in "Flutter 3.47"]]>We use flutter at work. When you need to target various platforms for the same code base it's extremely competent.

]]>Thu, 13 Aug 2026 07:27:44 +0000https://news.ycombinator.com/item?id=49282755keylehttps://news.ycombinator.com/item?id=49282755https://news.ycombinator.com/item?id=49282755<![CDATA[New comment by keyle in "LinkedIn CringeBot 3000"]]>How many days until the linkedin zombies actually use it for their posts?

]]>Wed, 12 Aug 2026 09:11:30 +0000https://news.ycombinator.com/item?id=49269655keylehttps://news.ycombinator.com/item?id=49269655https://news.ycombinator.com/item?id=49269655<![CDATA[New comment by keyle in "The hardest working font in Manhattan (2025)"]]>Nice one, thanks!

]]>Wed, 12 Aug 2026 08:56:04 +0000https://news.ycombinator.com/item?id=49269560keylehttps://news.ycombinator.com/item?id=49269560https://news.ycombinator.com/item?id=49269560<![CDATA[New comment by keyle in "The hardest working font in Manhattan (2025)"]]>It's a pretty font and gives that instant retro look on keyboards for example.

I've tried it on the computer with "Gorton Digital" and that's just terrible, I can't recommend it. The spacing/kerning is all wrong.

Hoping someone takes on the project of making a nice digital font, potentially a mono-spaced one too.

]]>Wed, 12 Aug 2026 04:36:09 +0000https://news.ycombinator.com/item?id=49267841keylehttps://news.ycombinator.com/item?id=49267841https://news.ycombinator.com/item?id=49267841<![CDATA[Cloudflare-OS]]>Article URL: https://www.phoronix.com/news/Cloudflare-OS

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

Points: 2

# Comments: 0

]]>Thu, 06 Aug 2026 05:43:35 +0000https://www.phoronix.com/news/Cloudflare-OSkeylehttps://news.ycombinator.com/item?id=49192910https://news.ycombinator.com/item?id=49192910