Hacker News: bbeonx

New comment by bbeonx in "Caveman: Why use many token when few token do trick"

bbeonx — Sun, 05 Apr 2026 16:53:58 +0000

Thank. Too much word, me try read but no more tokens.

New comment by bbeonx in "Blacksky AppView"

bbeonx — Mon, 09 Mar 2026 00:38:06 +0000

this is true, "black" has been used in racist ways, but it got rehabbed and reclaimed in the 60s and 70s.

but more to the point, it is not currently used in a racist manner by the vast majority of the US, and certainly does not carry the same connotations as "yellow", so not really comparable imo

New comment by bbeonx in "Blacksky AppView"

bbeonx — Mon, 09 Mar 2026 00:33:20 +0000

"yellowsky" sounds racist because calling asians "yellow" is racist.

"whitesky" sounds racist because...well, i don't know if you're a big history buff but in the US white-people-only gatherings were always suuuuper racist.

New comment by bbeonx in "A compact camera built using an optical mouse"

bbeonx — Sat, 06 Dec 2025 20:49:15 +0000

agreed...i think it's fine to keep up with what the corporate world is doing, but these projects bring me real joy

New comment by bbeonx in "15,000 lines of verified cryptography now in Python"

bbeonx — Fri, 18 Apr 2025 20:47:49 +0000

This isn't really a metric. It's a description to help the reader understand the magnitude of effort that went into this project. SLoC is a bad metric for plenty of things, but I think it's fine for quickly conveying the scope of a project to a blog reader.

New comment by bbeonx in "The last RadioShack in Maryland is closing"

bbeonx — Tue, 15 Apr 2025 18:55:53 +0000

Followed closely by "The Breadboard Has Been Drinking"

New comment by bbeonx in "Show HN: Open-source Counter-Strike-like game"

bbeonx — Wed, 23 Oct 2024 16:00:54 +0000

chill, be nice

New comment by bbeonx in "Microsoft Tilecode"

bbeonx — Mon, 26 Oct 2020 16:59:59 +0000

You're presuming that every phrase was worded _just so_. This could very well have been from the author refactoring their sentence and not simplifying everything. They probably were thinking in these terms (the author is a PL guy from MSR who's pretty heavy into a lot of the formalism) and this sounds like a not-perfectly-polished formal thought.

It's technical, and sometimes technical writing isn't written perfectly. That doesn't mean it's due to willful obtusity, or trying to sound smart.

New comment by bbeonx in "Git-Based Wiki"

bbeonx — Wed, 02 Sep 2020 15:40:42 +0000

Meh, it's usable w/out github but you'll be reading raw markdown files (unless you get your own markdown renderer which isn't that big of a deal). But yeah, it's either an incomplete git-based wiki or a complete github based wiki.

New comment by bbeonx in "Jacob Collier’s four magical chords"

bbeonx — Sat, 30 Nov 2019 07:34:53 +0000

I found In My Room to be an incredibly moving album. Djesse left me feeling far less after a first listen, but when I returned a few days later I started to notice things I had missed and now I really enjoy that album as well.

I am very moved by his music, in large part because of its cleverness. At the same time, I completely understand why many people are left unmoved. Different strokes, I guess.

New comment by bbeonx in "LaTeX Coffee Stains (2009) [pdf]"

bbeonx — Sat, 26 Jan 2019 22:51:13 +0000

This is going on all of my homeworks (submitted electronically, of course)

New comment by bbeonx in "People older than 65 share the most fake news, a new study finds"

bbeonx — Thu, 10 Jan 2019 15:08:36 +0000

Pizza gate is an extreme. But also, yes, news has changed dramatucally over the last couple of decades and older generations maybe don't consume as defensively as younger generations. Over time this can make ridiculous things sound plausible.

I remember there was a trump meme going around where he supposedly said "if I ever ran for president it would be as a republican, they are all a bunch of morons". The first time I saw that it looked sketchy as hell, but both of my folks (intelligent people, mind you) bought it hook, line, and sinker. In general, it's younger people that I saw citing it as a fake while older people shared it. Totally anecdotal, I'll grant you, but I hardly think my experience is unique

New comment by bbeonx in "Oft-quoted paper on spread of fake news is retracted"

bbeonx — Thu, 10 Jan 2019 04:05:03 +0000

I don't know, I might push back here. While fake news can certainly be interpreted as news that is false, that is not how it is usually used. There is definitely an insinuation, and while the vanilla reading of the definitions of "fake" and "news" don't contain this insinuation, it exists none the less.

That being said, as a writer I might not be able to resist pointing out the irony that the paper on fake news was fake news :). I really can't fault the author.

New comment by bbeonx in "Russian Cosmonauts Say That the Hole in the Soyuz Was Drilled from the Inside"

bbeonx — Tue, 01 Jan 2019 23:00:14 +0000

Do what?

New comment by bbeonx in "How Math’s Most Famous Proof Nearly Broke (2015)"

bbeonx — Fri, 21 Dec 2018 13:12:06 +0000

Look into the Coq language, it is under active development and there is a lot of work going into it. Voevodsky was working in Coq, if I recall.

As to how hard it is to learn, you will have to learn a pretty decent amount. It all depends on your background. If you know what the Curry Howard correspondence is, you are in relatively good shape. If you've never heard of lambda calculus or first order logic, you may have some more work cut out for you.

Here is a nice article I read last night on explaining the move from set theory to type theory. It gets a bit technical but you might be able to get something from it.

https://golem.ph.utexas.edu/category/2013/01/from_set_theory...

New comment by bbeonx in "Topology of Numbers"

bbeonx — Thu, 20 Dec 2018 17:28:24 +0000

Oh cool, this is from Allen Hatcher. I've worked through some of his algebraic topology and it was very well written. I'm excited to look through this

New comment by bbeonx in "Companies use smartphone locations to help advertisers and even hedge funds"

bbeonx — Mon, 10 Dec 2018 12:59:15 +0000

rolls up sleeves alright, folks, let's get to it

New comment by bbeonx in "Python has brought computer programming to a vast new audience"

bbeonx — Sat, 17 Nov 2018 04:44:08 +0000

Ahhhh, but then they will ask how to print things and you'll have to explain monads :)

New comment by bbeonx in "Python has brought computer programming to a vast new audience"

bbeonx — Sat, 17 Nov 2018 04:40:00 +0000

Biggus Uptickus

New comment by bbeonx in "New antimatter gravity experiments begin at CERN"

bbeonx — Fri, 02 Nov 2018 22:32:51 +0000

I don't know why people keep posting about this. It really doesn't matter