Recent submissions

Comment · 1 year ago
Ah, blockchains, where people realize all those "it doesn't matter bugs" with 3 layers of indirection due to shaky primitives, actually matter. Other bugs like this could be used to execute arbitrary code on the computer that compiles the software, calling random "important looking" stuff into memory (xz backdoor style) to be decoded and executed by the backdoor. Of course, there will never be a day where you can compile untrusted code in Solidity.

> The lesson? Always test critical software under multiple compilers and library versions — especially when enabling a new language standard.

Don't have giga-complicated language jockey stuff backing software that can't afford to even have one bug.

Comment · 1 year ago
This stuff is cool as hell. I'd break out a CRT TV and try to get it working, but it feels not worth it without official NTSC or PAL broadcasts. Straight from the analog VBI on air or bust.
Comment · 1 year ago
You can exercise in doors though
Comment · 1 year ago
Don't go outside. Move only in cars. To be honest, going outside sucks in most cities.
Comment · 1 year ago
How to tell you're running Windows 10: Right click an item in the taskbar. The menu will pop up one second later.
Comment · 1 year ago
Did you have the devils0wn copy though?
Comment · 1 year ago
I don't know, classifieds still exist. Obviously internet is superior for this, but not everyone can afford internet of any kind, since the bloat scaled with Moore's law. 500KB/s right will give you the same rate of browsing articles as dial up in the 90s. Phones have been becoming obsolete after 2 years. That doesn't necessarily dictate the market but yeah.
Comment · 1 year ago
This is happening across all industries, unfortunately. Medical, engineering, pharmaceuticals, law enforcement, military, transportation, law... Thanks for a perfect post that describes the problem! We need more of these. Most people know they're doing it too, they just need to be told more.
Comment · 1 year ago
I think robots.txt should be ignored. Everyone wants people to not do things they don't like. We don't have to entertain each and every such one. The future is IPFS or something like it, so "crawling" will be a meaningless act.
Comment · 1 year ago
Yes, I may have accidentally spilled, but I prefer ML modules to typeclasses.
Comment · 1 year ago
My peers and I work on a language centered around "constructive data modeling" (first time I hear it called that). We implement integers, and indeed, things like non empty lists using algebraic data types, for example. You can both have a theory of values that doesn't rely on trapdoors like "int32" or "string", as well as encode invariants, as this article covers.

As I understand it, the primary purpose of newtypes is actually just to work around typeclass issues like in the examples mentioned at the end of the article. They are specifically designed to be zero cost, because you want to not pay when you work around the type class instance already being taken for the type you want to make an instance for. When you make an abstract data type by not exporting the data constructors, that can be done with or without newtype.

Comment · 1 year ago
> avocado, olive, and coconut oil; ten basic spices; honey, maple syrup, apple cider vinegar, soy sauce, miso, and almond butter.

This is what happens when you use Google for recipes. And a good hint that this article does not represent the average demographic; most people outside of her's do not want room mates good reason.

Comment · 1 year ago
Just learned they've stopped publishing. Sad! The old web is really dying. Seems like a bug though? They said they'll keep the site up "indefinitely".

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton