blowski

50 ms·

301.
by blowski 3y ago
The maths goes over my head, but this paragraph was very interesting: > Tao then kicked off an effort to formalize the proof in Lean, a programming language that helps mathematicians verify theorems. In just a few weeks, that effort succ
302.
by blowski 3y ago
So phone numbers could have become more semantic. Instead we have arbitrary phone numbers and wrap meaning around them. I guess it’s been so long that I needed to find and type out a phone number that I don’t think about it any more.
303.
by blowski 3y ago
> The person writing the "bricking the train" part should have realized that there is practically no legitimate reason for that code to be written Hey Janusz, can you build a safety feature that prevents the train from operatin
304.
by blowski 3y ago
> Dear software engineers, please do not commit a crime Yes, developers shouldn't knowingly write code to commit crime, but developers don't tend to receive instructions that directly. Unsurprisingly, the company doesn't m
305.
by blowski 3y ago
> It’s odd to me tbh that phone numbers were solved with contact lists and address books What's odd about that? I didn't really understand your comment.
306.
by blowski 3y ago
Absolutely. The lesson is "goodbye to over-applying a rule without considering context-specific trade-offs", which is a lesson that takes time to learn.
307.
by blowski 3y ago
I email Word docs around. It’s like low-tech version control - I know exactly what was in the doc, and can recover it easily.
308.
by blowski 3y ago
Wordpress is pretty big in enterprise blog-like sites, with their WordPress VIP offering.
309.
by blowski 3y ago
Is there any downside to storing JSON-B even if you’re not planning to query it? For example, size on disk, read/write performance?
310.
by blowski 3y ago
The linked article says it's not a problem with all implementations. This would suggest device manufacturers can defend against it, but some have chosen not to. Given the choice of a laptop where this risk is mitigated and one where it
311.
by blowski 3y ago
This line of thinking can and is used as an excuse for all sorts of security shortcomings. Yes, in threat modelling, this would be give fairly limited opportunity as an attack vector, but any successful attack could have a massive impact. I
312.
by blowski 3y ago
In the UK it’s a crime to “flee the scene of an accident”, even if that accident was a minor scratch on a stationery vehicle.
313.
by blowski 3y ago
It's an entirely reasonable question to ask "is there any specific as to why this is being posted today?". If the answer is no, that's fine, but there may be extra context that is interesting and not obvious.
314.
by blowski 3y ago
Following fashions can bring you a bit of short term cash, but it won’t build a long-term sustainable business.
315.
by blowski 3y ago
Perhaps the leasehold model is interesting. With the PlayStation example, they can withdraw access to the content at any time, whereas a leasehold gives you restricted ownership for a fixed period of time.
316.
by blowski 3y ago
There's a bit of selection bias. Developers are more willing to stay working on good systems for much longer, so there are fewer job openings for other developers to work on them. Hence, most job openings are to work on crappy systems.
317.
by blowski 3y ago
Mine (starting in late 1980s) was GW-BASIC -> Visual Basic (esp with Access) -> Ruby -> PHP/WordPress -> JavaScript -> everything else. It worked then because it was hard to find education material, and the alternatives
318.
by blowski 3y ago
If you're teaching 10 year old kids to code, is there an advantage to using something like this over Python or JavaScript?
319.
by blowski 3y ago
HN conversation from the time. https://news.ycombinator.com/item?id=4329101
320.
by blowski 3y ago
I'd guess a significant proportion of OSS maintainers _are_ in it for some combination of ego-trip, or a misguided belief that it will make them rich. Both outcomes may seem less likely if you're just fixing somebody else's s
321.
Amusing Ourselves to Death(en.wikipedia.org)
6 points by blowski 3y ago|1 comments
322.
by blowski 3y ago
That would mean roughly an extra 600K subscribers. I imagine Elon Musk is using it more as his own personal megaphone, and has the means and motivation to pay whatever it takes for quite some time yet.
323.
by blowski 3y ago
Same as it ever was. The “proles” want to be entertained not made to think - this is an observation that dates back a long time.
324.
by blowski 3y ago
Would Bard understand if, say, a person in the video smiled or there was a sarcastic tone to a bit of audio?
325.
by blowski 3y ago
In theory, it sounds pretty interesting. PHP's ethos is quite different though - e.g. PHP's "arrays for everything" vs Java's "specific types for every case". Also, the absence of generics in PHP is a huge
326.
by blowski 3y ago
It's more like working in a world where there are rewards and risks. There is a good argument that the world as a whole would be better off without the current App Store model, but it makes sense for individuals to aim to profit from t
327.
by blowski 3y ago
My first computer was in the 1980s, bought for my Dad by Shell so he could work from home, despite not having any work that could be done remotely. His manager had a huge stationery budget.
328.
by blowski 3y ago
Things I didn't use my 1998 PC for: * realtime collaborative spreadsheet editing * 28 inch high definition monitor * watching movies in HD * playing almost lifelike games * browsing an extremely hostile internet * live backing up all m
329.
by blowski 3y ago
Probably the biggest story since the last one. And until the next one.
330.
by blowski 3y ago
My first thought goes to heat from the router, not microwaves. Or maybe they get disturbed more often by someone fiddling with the router.

More ›