Hacker News: Ethan_Barry

New comment by Ethan_Barry in "A misalignment of AI in mathematics"

Ethan_Barry — Fri, 11 Sep 2026 22:34:21 +0000

There was a hash collision bug in the main Lean kernel that was patched, but AFAIK nothing relied on it. You'd have to know what you were doing to accidentally get there...

Exploring SML (Language Review by a Firmware Guy)

Ethan_Barry — Sat, 29 Aug 2026 17:08:36 +0000

Article URL: https://howdytx.technology/exploring-sml-nj/

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

Points: 4

# Comments: 0

New comment by Ethan_Barry in "Public Sans – A strong, neutral typeface"

Ethan_Barry — Tue, 30 Dec 2025 18:07:08 +0000

Try Garamond!

New comment by Ethan_Barry in "Public Sans – A strong, neutral typeface"

Ethan_Barry — Tue, 30 Dec 2025 17:01:15 +0000

To be fair, it's replacing Calibri, so it's still an improvement. We should just use Garamond or Caslon for everything, but that'll never happen. :(

Tech Policy Should Look Like Engineering Requirements

Ethan_Barry — Tue, 30 Dec 2025 16:54:15 +0000

Article URL: https://howdytx.technology/tech-policy/

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

Points: 3

# Comments: 0

New comment by Ethan_Barry in "Non-Zero-Sum Games"

Ethan_Barry — Tue, 30 Dec 2025 16:52:30 +0000

I'm a sucker for anything with game theory in the title. Can't wait to read more; thanks for sharing!

New comment by Ethan_Barry in "Ask HN: Favorite Little Corners of the Internet?"

Ethan_Barry — Tue, 11 Jun 2024 21:19:49 +0000

You got it! By approximate category and in no particular order:

## MISCELLANEOUS

- [Low Tech Magazine](https://solar.lowtechmagazine.com), a solar-powered website showcasing the amazing low-tech things you can do with a little ingenuity,

- [Stephen Wolfram's Blog](https://writings.stephenwolfram.com) on math, compsci, and everything else,

- [Cool Macrophotography](https://www.barrywebbimages.co.uk/Images/Macro/Slime-Moulds-...) for amazing pictures of tiny things (WARNING: Time Sink!),

## COMPUTER SCIENCE

- [While-True-Do](https://blog.while-true-do.io) has lots of stuff on Linux administration and self-hosting,

- [Backend Banter](https://www.backendbanter.fm) for a great podcast on backend development,

- [Two Wrongs](https://two-wrongs.com) for statistics and functional programming,

- [Math ∩ Programming](https://www.jeremykun.com/) where math and programming intersect! Written by a Googler...

- [Paul Bourke's site](https://paulbourke.net/) where you can get happily lost exploring old pages on every topic CS touches,

- [Jason Punyon's blog](https://jasonpunyon.com) for some fun algorithms and things,

- [Yossi Kreinin's blog](https://yosefk.com/blog) for C, Python, and plenty of non-technical topics,

- [Adrian Sampson's academic blog](https://www.cs.cornell.edu/~asampson/blog) for an academic's perspective,

- [Cool polyhedra viewer project](https://georgehart.com/virtual-polyhedra/vp.html) if you like geometry,

- [Another academic blog on CS](https://11011110.github.io/blog) from a prof at UCal Irvine,

- [A Linux & Rust blog](https://harald.hoyer.xyz) which has a lot of older content, but isn't very active now,

- [Matt Palmer's blog](https://hezmatt.org/~mpalmer/blog) is pretty neat. More varied CS topics...

- [Austin Henley's blog](https://austinhenley.com/blog.html) stays pretty active, and it's a former MS researcher writing it,

- [Jack Vanlightly's blog](https://jack-vanlightly.com/) on system architecture and data processing,

- [Computational Complexity blog](https://blog.computationalcomplexity.org) written jointly by academics,

- [Matt Might's blog](https://matt.might.net/articles) which covers everything related to CS and academia,

- [Dr. Brian Callahan's blog](https://briancallahan.net/blog/archive.html) mostly dealing with UNIX and C compilation,

- [The Dictionary of Data Structures & Algorithms](https://xlinux.nist.gov/dads) from NIST (very old website),

- [Red Tomato's blog](https://tech.aufomm.com) on Linux server administration,

## ART & TYPOGRAPHY

- [Typographica](https://typographica.org) for typeface design news (check out their creator's other projects as well...)

- [Minimal Gallery](https://minimal.gallery) showcases great user-submitted minimal web designs,

- [Letterform Archive](https://letterformarchive.org) in San Francisco, for collections and tidbits on pieces of typographic history.

That's about it for now...

New comment by Ethan_Barry in "Inside mysterious radio station that transmits eerie coded messages across US"

Ethan_Barry — Tue, 11 Jun 2024 17:29:37 +0000

Hilarious that the computer running it is a Windows XP box. What are the odds it's already been hacked? :-)

New comment by Ethan_Barry in "Ask HN: Favorite Little Corners of the Internet?"

Ethan_Barry — Tue, 11 Jun 2024 17:22:01 +0000

Definitely my Mastodon server---there's a lot of discussion on the Fediverse, and I've had nothing but enjoyment from it. Also, I have a long list of blogs in my RSS reader that qualify as "small corners." I could share some if you're interested!

Teaching Calculus to Computers in Rust

Ethan_Barry — Tue, 11 Jun 2024 17:19:59 +0000

Article URL: https://howdytx.technology/the-best-possible-quadrature-routine-within-reason/

Hacker News: Ethan_Barry

New comment by Ethan_Barry in "A misalignment of AI in mathematics"

Exploring SML (Language Review by a Firmware Guy)

New comment by Ethan_Barry in "Public Sans – A strong, neutral typeface"

New comment by Ethan_Barry in "Public Sans – A strong, neutral typeface"

Tech Policy Should Look Like Engineering Requirements

New comment by Ethan_Barry in "Non-Zero-Sum Games"

New comment by Ethan_Barry in "Ask HN: Favorite Little Corners of the Internet?"

New comment by Ethan_Barry in "Inside mysterious radio station that transmits eerie coded messages across US"

New comment by Ethan_Barry in "Ask HN: Favorite Little Corners of the Internet?"

Teaching Calculus to Computers in Rust

Compiling an Antique Language with Rust