skysight-inc/HackerNews huggingface dataset:
This agreement would not prevent countries from agreeing to cooperate on whatever issues that matter to them. What it would prevent is other countries from trying to covertly overthrow, manipulate the elections (in countries with them), etc in other countries in an attempt to put a new government in power that would agree with them on issues.
(I work at Vercel) You can set up the Vercel Firewall to block traffic: https://vercel.com/docs/security/vercel-waf/custom-rules
Non-software engineering doesn't excessively use formal methods. Only where required. (Like where a system is tightly optimized.)

For instance, in electronic engineering, you don't use the most accurate model of a diode at all times. Sometimes it's just a one-way valve. Sometimes, it's just one-way valve with a 0.7V drop (if silicon).

In mass production, you will not get the accurate parts needed for the most formal model to be justifiable, and the cost of those parts would not be justified in most of the circuitry.
Is there any backing to this that doesn’t originate from a very disgruntled former employee?
> If waste bothers you, focus on something worthwhile like canceling just one airline flight.

That's just whataboutism: If there's an alternative way of solving the same problem that generates less waste, why not use it?

I find the contactless coin form factor for single rides quite clever personally, and I don't see any downsides compared to paper single-use tickets (other than that validators and gates need some storage container to collect them, which could be tricky in buses).
This is exactly the kind of dismissal I was looking for to confirm the validity of the author's claims.
I made my pet feeder do this! No ai necessary, though--they just stand on a scale to activate it.
I used to own a Fit, and a friend of mine asked me out of everybody with pickups, minivans, SUVs, etc. to borrow my car to pick up a pinball machine a few hours away. It's ridiculous how much stuff you can put in the back of that thing.
> the locking implications of autovacuum

I thought the only case this would be a worry is if the auto vacuum is to prevent wraparound
Ah! I called them comma-commands https://wiki.roshangeorge.dev/index.php/Comma_command and I was wondering what the source material was. Now I know!

I feel like these small web people's blogs were so much more accessible before link aggregators got this mainstream.
There is a similar type of app called NetPad.
https://github.com/tareqimbasher/NetPad

It's not as good as LINQPad, but it runs on the Mac.
The Blockchain Industry's Quantum Leap – DAO Owned Data Centers
I find the plastic tokens quite clever, but QR codes are not a great option for mobile ticketing at transit gates: Often it takes people forever to pull up the code in the right orientation and dial up the brightness enough for the scan to work. Not something I love to deal with when I want to catch a train.
According tithe article, it wasn’t even true. FTA:

“Early operating system designers had to adopt some
"end-of-line" convention using CR and LF; some used LF, some used
CR, and some used a two-octet sequence: LF CR or CR LF.”

⇒ OSes that used CR LF didn’t have to do that translation.
We in the US we like to DiG
I've resorted to just teaching four plot types when I teach visualization.

- Bar

- Scatter

- Line

- Histogram

You can tell 90% of your stories with these plots. (If you pay attention to professional viz groups, Economist, NY Times, etc, they use these.)

Don't waste your time with other plots unless you have mastered these. When you master these, you will realize you don't need other charts.
In reality, it's more like: any idiot can build a bridge that, in some places, is 5X as strong as it will ever need to be, in other places 2X as strong, and in a couple places only 0.8X as strong as it will ever need to be.

It takes the engineer to build it so that every part is 1.25X as strong as it will ever need to be, consistently everywhere.

To the idiot, that then looks like it is barely standing, because some parts are 4X weaker than he would have made them, based on bad intutition.
If you really want a system that uses optical scanning and allows one ticket to be used multiple times, just make sure that there's enough room on the ticket for one QR code per trip. When validating, you'd print a new code in free space. You can also either print something over the old one to invalidate it, or just leave it and let the system itself figure out which of the codes is newest.
Wow! This might actually make it possible for Actually Portable Executable to support running on Windows ARM. I'm already putting the ARM code inside all my binaries. There's just never been a way to encode that in the PE headers. But if my emulated WinMain() function for x86-64 could detect that it's being emulated and then simply ask a WIN32 API to jump to the ARM entrypoint instead, it'd be the perfect solution to my problems. I actually think I'm going to rush out and buy a Windows ARM computer right now.
The article's full argument seems to be that there are alternatives which are applicable where box plots are not and, at least in most cases, better where they are (there is a tacit (IIRC) subtext of "given that we're using software to do the plotting.")

This is debatable, but noting that box plots are satisfactory for unimodal gaussian-ish distributions is not a very persuasive response.
But probably much better than custom VM like TrueType bytecodes or embedded PostScript...
There is a link to what appears to be an EPA report in the mastadon thread.
I feel there must be better ways of learning the principles of algorithms than balancing trees. I suffered through RB trees.
Here's the EPA report: https://www.dropbox.com/scl/fo/312oqvretg7yyhfx0ohx4/AGZduVX...
What exactly does the P2P network do? Does my node communicate with the nodes of strangers?
How about the pizza punch with the V8 and garlic that is "guaranteed to make the teen scene"
A Fading Japan Regained Its Superpowers
Agreed, also, if anyone has ever dealt with regualtors before things like:

> at least 19 potential violations

Is about 00.00% noteworthy to me until it is defined as to what those are, and I guarantee that none of them will be “poisoned employees living quarters”.

Same with the repeating “illegal” over and over. Not having the right sticker on something might be illegal (EDIT: good guess? More like I know this game, the EPA isn’t what you think they are), transporting at night without filling the right form might be illegal, not following a process because you chose an objectively better system that isn’t on the books might be illegal.

I have some idea how Apple handles their materials, the same way every other major company does, which good or bad, is almost definitely more legal than the majority of small companies. But this is a scale discussion.

I can hear the ax grinding in every post. What is clear is that she is in it for a payday.

EDIT: read some of the report. Apple marked a bucket as waste, the EPA could not determine if it was state, federal, or even waste at all. HOW LONG WILL THESE BASTARDS KEEP GETTING AWAY WITH THIS!!?
> If you read Teaching Introductory Physics the author very clearly points out that there is no way of knowing the direction of the charge

The author is wrong and you also. If people don't know about things then I'd rather have them stay quiet and learn about them rather than spreading misinformation.

DC Current flow: https://energyeducation.ca/encyclopedia/Direct_current#:~:te....

AC Current flows both ways: https://energyeducation.ca/encyclopedia/Alternating_current
The Hand: Is Paper Bitcoin Suppressing BTC Prices?
I recently learned that you can just give a printing company a hundred bucks or so and have custom NFC cards printed for you, you don't actually have to be a big transit agency with an ongoing contract for millions of the things and a custom JavaCard NFC application or w/e coded for you.

I used this knowledge to replace the QR code membership card to my friend's bar with an NFC card version, it looks really cool in your wallet compared to all the flimsy paper stamp cards from the other bars.
Micropolis should work on modern systems

https://www.donhopkins.com/home/micropolis/

Check for a package for your OS if you don't want to build from source.
the great merit of society is to make one appreciate solitude
I’m working with a LLM right this moment to build some front end with react and redux, the technologies that I have almost no knowledge of. I posed questions and the LLM gave me the answers along with JavaScript code, a language that I’m also very rusty with. All of the code compiled, and most of them worked as expected. There were errors, some of them I had no idea what they were about. LLM was able to explained the issues and gave me revised code that worked.

All in all it’s been a great experience, it’s like working with a mentor along the way. It must have saved me a great deal of time, given how rookie I am. I do need to verify the result.

Where did you get the 95% figure? And whether what it does is text generation or fact or knowledge generation is irrelevant. It’s really a valuable tool and is way above anything I’ve used.
How does it compare to Nova-Fortis, PMFS, Strata, Ziggurat (Rust), SplitFS, and Aerie?
Yes, that's the general consensus in the comments. It doesn't even sound safe to me and I'm not a full security pro. But OP did it as a PoC/for fun. It's okay to have fun still.
Ypu can use two spaces to get code indented correctly. I guess this programs tries to use brute force to break RSA, but the numbers are huge and this takes too much time. Can you explain your question?
Weighing Up Galileo's Evidence
The best thing about traditional meat is the evolved immune system and kidneys.
Is roboflow in the picture because the Pi doesn't have the power to do object recognition?
I can. Can’t say for all the others.
1) human body doesn't use silver. At all. Which means it accumulates over lifetime.

2) nano means it is not subject to elimination by food pipeline. It will cross into tissue and stay there, addition only.
We had a small cheap sedan that was rear-ended and pushed into oncoming traffic while waiting to turn when my wife was driving. Since she's been hit thrice in sedans and not once in our minivan, she's come to the conclusion that she needs a bigger vehicle just to be seen. It's not an argument I buy, but I understand how she has reached that conclusion.
Without the ability to keep other people from creating them, not creating them is suicide.
The conversations about people being misled by LLM's remind me of when the Internet was new (not safe!), when Wikipedia was new (not safe!) and social media was new (still not safe!)

And they're right, it's not safe! Yes, people will certainly be misled. The Internet is not safe for gullible people, and LLM's are very gullible too.

With some work, eventually they might get LLM's to be about as accurate as Wikipedia. People will likely trust it too much, but the same is true of Wikipedia.

I think it's best to treat LLM's as a fairly accurate hint provider. A source of good hints can be a very useful component of a larger system, if there's something else doing the vetting.

But if you want to know whether something is true, you need some other way of checking it. An LLM cannot check anything for you - that's up to you. If you have no way of checking its hints, you're in trouble.
On the other hand, in many cases what's defined as the "bare minimum" ends up being more than expected. The corner-cutting approach ends up pricier than the thorough approach in the long run, because it must be constantly adjusted if not entirely re-done.

e.g. building a bridge to support a city's normal traffic density, but the city ends up growing, and the way the bridge was designed makes adding reinforcement difficult. Or building a bridge whose materials start to melt at a certain temperature that's above what's expected for the region, but climate change raises the temperature over the threshold, so it needs a completely different material.

Hence the article's point that software companies should invest in formal methods, because while formally proving something is a long process without much reward in the short term, it eliminates an entire class of bugs which, in some long-term projects, makes it worth the effort.
Most Walmarts that I've come across at least have other stores nearby. I can't help but wonder how these will impact poorer, rural areas where Dollar General is king.

DG already has already faced lawsuits related to their advertised pricing vs price at the register. Surge pricing in a food desert sounds like a Late Stage Capitalism wet dream.
Thanks. Fascinating story.

It looks like the market worked but of course subject to human greed and such. Auto makers didn't see enough value to justify the expense. If it was something radical then presumably everyone would have a big enough piece...
Commaet(s). & is Et, which means "and" in latin. Your read of it reminds me of the old Jack in the Box signage which, according to a good friend, looked like "Jack in the B-Fish"
Clearly you folks haven't tried playing A-Train, a Japanese train tycoon game...

Seriously though, try it out! It's actually one of the best games I've ever played. I'd even say that it's so underrated.

It's a train tycoon game, but also silently focuses on being a real estate simulator, just like how a lot of Japanese companies don't make money primarily on train tickets, but instead real estate or other non-farebox income.
So, little to no major works of anglo-saxon or old english were found after his lifetime? I'm surprised that there are no palimpsests or binding materials yielding new writing.
I agree that MS is not completely serious about C#. They spend too much time on adding new language features but not enough on the essentials:
There are big holes and missing bits in the Windows API wrapper that have been there for two decades. Most new MS apps like Teams of VS Code are not written in C#. I suspect it will limp along with hot and cold support from MS.
Is it even possible for a a parachute-retarded key to directly hurt someone? I’d be more worried about it surprising someone driving a car or riding a bike and causing an accident
I live near Santa Clara area so I scanned the EPA report. It mentioned improperly covered activated charcoal and possible improper storage of chemicals, but no mention of releasing solvent vapor in open air. Apple absolutely should be held at higher standard especially operating near residential and school areas, but in this case it looks like a disgruntled ex employee trying to settle a score. I don't think this belongs on HN.
The Oyster card balance is certainly maintained online in real-time (or near to real-time) since you can view it in the Oyster card app/website.

But yes, for speed/redundancy they are still probably using the stored value balance too.
Lunar Lander 2024
I like battery. A battery is a group of (one or more) (electrolytic|electrochemical|galvanic) cells. Like pile it is a collective noun.
hmmm kinda cool
If it ever were explained by physics in the future, wouldn't it no longer fit the definition of free will?
I'm a bit confused? Most security issues can be solved with microcode updates, kernel-level mitigations, or compilation level mitigations? I'm not exactly sure why this is as big of an issue as you make it sound?
Realistically, anyone who cares about security should turn off SMT, which fixes speculative vulnerabilities (which is most of the serious ones). Additionally, a lot of the headlining vulnerabilities these days seem to require physical access of some kind, more relevant for portable devices.

Edit: the best solution of course would be to have Coreboot.
"animated fonts" - not really; all meaningful applications not only calculate shaping once, they also aggressively cache the result (mentioned in https://robert.ocallahan.org/2024/06/browser-engine.html)

But things like this might be possible (for now): https://gwern.net/dropcap
Maybe Next Year!
TIL WebCrawler (search) is still live?
This is a good point. If you're worried about factuality, entropy is generally bad. But creative uses might thrive on it.
I would recommend to try out some AI knowledge management app :) it reduces the need to be super organized, I'm building one name https://saner.ai/ if you are interested in checking out
A friend of mine used to throw us his keys inside a pack of socks
i am unsure if RHEL/Cent did this, but at one of the places i worked you had to do /bin/ls. I expect this is much more common at places that do lots of acquisitions. that way if some random cron job relies on UB from some tool in order to not start the DC on fire, it doesn't matter. Admins use latest tooling, the software gets whatever it came with and was working until actual competent devs can look at it and move it to ansible or whatever puppet/chef i forget what they all used.
I have read a few people commenting that that's how it is done. I read a very good comment once here on hn that described extracting keys from insecure devices (might have been TVs, or possibly an older Android device?), although I can't find the comment now.

Also they often contain every subtitle and audio track (often 40 subtitle tracks!), which would be either a lot of work or not possible at all if they couldn't extract the stream properly. I suppose they might be able to get those from the low quality unencrypted streams but it just seems implausible.

They release shows pretty much immediately as soon as they are on netflix, don't they?

It seems improbable to me that they are systematically recording and reencoding every show manually, although I guess it could be possible in theory.

A friend of a friend tells me that they've never seen UI elements or quality drops on any scene rips.

All signs seem to point to the encryption being broken in my opinion.
From the thread

TLDR; EPA discovered that Apple was:
- illegally treating hazardous waste

- illegally transporting hazardous waste to disposal facilities

- illegally dumping hazardous waste into the ambient air outside the facility (into the apartment windows)

- leaving stockpiles of extremely dangerous chemicals unattended on weekends
Do we need language to think?
> We need systems that try to be coherent, not systems that try to be unequivocally right, which wouldn't be possible.

The fact that it isn't possible to be right about 100% of things doesn't mean that you shouldn't try to be right.

Humans generally try to be right, these models don't, that is a massive difference you can't ignore. The fact that humans often fails to be right doesn't mean that these models shouldn't even try to be right.
Absolutely this. If people are maniacs and can't control their speed themselves, design the roads so they can't drive at insane speeds on them. I live right across the street from a school. During school times, the speed limit is 25 miles per hour. The road is perfectly straight with clear sight lines and the lanes are literally as wide as freeway lanes (12') with bike lanes on both sides making it feel even wider. If you had no context of the road and what was off of it, you'd comfortably cruise at 55+ because the road is designed for that.

Throw in some strategically placed bollards or chicanes to change the geometry of the road and people will be forced to slow down.

http://www.thinkstreetsmart.org/uploads/1/2/7/4/127450599/ed...
Investigators have revealed how hackers allegedly stole Ticketmaster data
Are there _any_ generally available consumer applications (document viewers, printers, obscure browsers, ...) that use a TTF font renderer with the WASM feature enabled?
Yes, I am in a full agreement on the best of both worlds, with a couple of caveats.

Apple Wallet supports neither the Montreal (the subject of this discussion) nor Boston CharlieCard transit cards nor many more. Apple Wallet has promptly shown some transit cards from mainland China, 1x from France, 1x from Hong Kong, 3x from Japan and only 3x (!) from the US (Clipper, SmarTrip and TAP). That is all it supports. Android may support more.

The said CharlieCard[0] supports a bespoke mTicket app that is neither integrated with the mobile wallet nor fully supports all modes of transportation in Boston:

√ Best for Commuter Rail and ferry riders who don’t often take the subway or bus
∅ No transfers to other modes

Which brings me to the main caveat. Compared to debit/credit card payments originated in a mobile wallet, supporting each transit card in existence is an extra effort that places the onus at least on the vendor of the mobile operating system and usually on the local government as well. Generally, governments do not have a good track record at delivering modern digital solutions to their citizens and are inefficient at engaging the smartphone vendors. So at the very least, the governments are slow to instigate a technological change.

And, since the onus is also on the government to upgrade NFC readers across the entire network anyway – to support modern ways of paying, the question is which one is more future proof: 1) natively supporting a local transit card at the smartphone level + upgrade the NFC readers to support a variety of NFC protocols, or 2) upgrade the NFC readers to support the debit/credit card and mobile wallet payments only? I am inclined to think that (2) is more efficient and more cost-effective for taxpayers.

[0] https://www.mbta.com/fares/charliecard
According to demo, this feature has no opt-in, so if Android/iOS/any Linux distro ships with "better fonts feature for LibreOffice" it will be enabled in every text editor/browser/electron app, up to systemd blue screen of death.
I think you meant "fexprs instead of macros".

Picolisp does have a function named 'macro', but it's not the same thing (it's more like 'string map' from tcl).

There's a lot if interesting stuff in picolisp, but the one thing I found unbearably ugly was it's use of strings ("transient symbols") as a kind of lexically scoped symbol.
oooh i rather like that watercolour effect on the map!
Even better context: https://www.ashleygjovik.com/3250scott.html
Google is not as powerful as you think it is
Reminds me of Minamata, Japanese company was dumping mercury into the nearby lakes and hushing everything up. Movie is great BTW, thank fk I don't live near a chemical plant.

Apple started to clean up only after getting tipped off of an EPA raid. They also didn't test or analyse chemicals. And conveniently stopped having weekly inspections.
Truly a case of ignorance is bliss. Huh, toxic what now? No no it's NOT toxic, we marked it as non hazardous so it's OK.
Investment banker Vivian Tu on TikTok personal finance video career