skysight-inc/HackerNews huggingface dataset:
I dream of a world where either speed limits are removed entirely or speed limits are enforced so well and penalized so strongly that no-one attempts to speed.

Speed limits are this weird thing where the rule is de facto strict (most driving manuals will say that drivers need to drive at or slightly below the speed limit), but de jure a recommendation (as most will drive at the speed they feel most comfortable in the situation at hand).

Law enforcement agencies _could_ install more speed traps and automated speed checkers, but any politician advocating for that will be run out of their city (despite it enforcing a law that's already in place).

Law enforcement agencies _could also_ spend more resources on prosecuting and catching speeders, but there are n-many more important things they could be doing with their staff, many agencies are strapped for funds, and many courts are backlogged to the ages with pending cases.

Law enforcement agencies _could also also_ make speed detectors highly illegal and revoke the licenses of anyone that has one on their dash or in their person, but see above as to why that hasn't happened.

Thus, we get our current system, where people break the law by default, harass folks (like me) who want to drive at the speed limit, openly advocate for cheat devices to prevent getting caught (Waze's police scanning feature; radar detectors; etc.) and then slow to a crawl whenever they see a police offer who is usually already busy ticketing someone.

A solution like this that is cheap, works anywhere in most situations, and auto-tickets (or auto-revokes) people when caught would be awesome.

What would also be awesome is if we just removed speed limits entirely. If people are going to break the law by default, then maybe it's a bad law.

I live next to an eight-lane highway that's dead straight for tens of miles that has a 60-mph speed limit set on it . It used to be 75-mph, but Houston lowered speed limits across the city to tackle their horrible smog problem. I would love to drive this at 85-mph, since we have an electric car that's zero emissions, but if I do that, that's points on my license, a driver's responsibility fee, and mandated defensive driver training. That doesn't stop the oodles of people that go this fast anyway, but it stops me, since my time is valuable and I'd rather spend the money on other things. I know that removing the speed limit increases the chance of a chucklehead driving their car at 160-mph, but those people would drive insanely fast anyway!
Well you are wrong. All of that was a retcon after the fact. Ask the folks from Bell Labs because that's where the story comes from:

/usr meant Users. Duh.

They had one disk because disks were expensive. The disk got full, they got a second one, so they moved /usr to the second disk.

Then the root disk got even more full and they moved some binaries to /usr/bin purely for disk space reasons.

Then /usr got full but by this time it was too baked in to change so they invented /home and moved user home directories there on yet a third disk.

Union mounts and other such solutions hadn't been invented yet. It was entirely an ad hoc solution to an immediate problem. This is simply a historical fact. I don't know where the urge to retcon a bunch of justifications for it comes from.
I hesitated to install it because of the telemetry reported by other HN users.

I eventually installed it because of curiosity, but blocked its connections, and it refused to work, so I relented and unblocked them because of curiosity.

I deleted it because it was crap. iTerm does what I need and want. Warp does not.

Tempest in a teacup!
I have used the 3M superfit 33's for years and they are excellent.
If your not playing really good players poker is mostly psychology.
ERCOT sets the price of electricity. There is no 'market' in the traditional sense, unless you count a government price fixing scheme as a market.

In this case the price was set at the absolute maximum as allowed by the system. If the 'market' couldn't react to that absolute maximum price then the market cannot be the problem at hand.
I learned about this recently when trying to optimize ML test architecture running on Azure. It turns out having access to Ice Lake chips would allow optimizations that should decrease compute time and therefore cost by 20-30%.
> NVidia[2] do "make" their own compilers.

Actually Nvidia bought the Portland Compilers
And Intel's Fortran compiler is (has been, now its backend is LLVM) MS's compiler via DEC/Compaq/and HP - MS Visual Fortran 4 -> DEC Visual Fortran 5 -> Compaq Visual Fortran 6 -> Intel Visual Fortran ;).
It’s not even IND-CCA1 secure. You only need one access to the decryption oracle to determine the key before the challenge ciphertext. Just encrypt all 0 bits.
You didn't answer the question, though.
Yes, OTPs are vulnerable if you do the one thing that you're not supposed to do with a OTP, namely reuse the bits.

The question for OTPs is whether there is an encryption or decryption oracle for a given OTP, not whether OTPs are vulnerable to such oracles.
> Having reliable personal identities would enable some interesting stuff, like inflation-funded basic income, reputations, and loans without collateral

In a way that, like, say passports, have never done?
You’d want good low light performance there which means a smaller number of larger pixels.
There's plenty of non-Vercel attempts at this and it's kind of table stakes for frameworks hoping to get popular. There is a push for server-first/MPA app development where SSR is assumed to be the baseline. Remix [1], Qwik [2], and Marko [3] are in that camp. I'm not sure about Remix but the other two have a goal of authoring the entire app components but only sending the JS needed for the parts that can change on the client.

[1] https://remix.run/
[2] https://github.com/BuilderIO/qwik
[3] https://markojs.com/
> And are also the leading countries promoting cleaner alternatives to all human activites.

So are they going to give all those away for free to poor countries? And also pay for massive programs to recapture the carbon they've already emitted? And mitigate already-locked-in effects of climate change, such as drought and extreme weather? Those are the only conditions under which your "why don't they improve their own countries" suggestion is fair.
Get. A. Therapist.

More importantly, get a therapist that you get on with. Get a therapist you can laugh and cry with. Get a therapist you can tell tell to fuck off when they tell you things that are hard to hear.

Therapy can positively affect so much of your life and I wish I had done it sooner. I was a pretty successful person before therapy by most measures, but every day I would still do things that would actively make my life worse. I couldn't see it at the time, but I did.

Now, every week I look forward to getting advice from someone who's job it is to help me and give good guidance. His job isn't to be my friend, or to love me, or to make me work. His job is to apply his expertise to encourage me, ask me important questions, and tell me when I'm being an idiot.

I had a good childhood, I don't have much trauma. Yet even so, therapy has made my life much much better. Mine costs £60/session (one per week), and I do it via Zoom. I am absolutely certain it will save me more money than it costs me.

I know the above OP seems to be asking about work. But I think this still applies. A good therapist will help you think through the available choices in your work life too.

And, if you'll forgive me a more emotional plea: If you are a man, this all goes double. The male suicide rate isn't where it is because we're all doing fine. It is where it is because we're not doing well at all but haven't really noticed.
MIPS is making RISC-V processors? What happened to the MIPS arch itself?
We don't know all the details, but thanks to the scientific method, we could get there, if you provide the compute power.

Build a prototype, compare to reality, adjust for differences, repeat.
This is apparently the tweet for which he was banned (from his Telegram channel): https://i.imgur.com/4OnVvpK.png
I don't know of it was NIMBYism, but a few years ago the relatively simple feed in tariff system was replaced by a kind of a bidding system designed to allow new capacity addition to the most efficient producer. But by design they tried to limit the amount of new capacity added. Honestly I don't know all the details, but it's not very far fetched that there was a fair bit of politics involved, and protection of interests of a lot of non renewable energy producers.

Some details here https://m.dw.com/en/german-cabinet-puts-brakes-on-clean-ener...
I use ~/.local/bin, but yeah using your homedir for as much as possible makes system administration easier for everyone.
Recall that in the CCA experiment, the decryption oracle uses the same key as the message in your challenge ciphertext.
Why continue using that free software, given the issues, if it doesn't fit your definition of valuable free software?
i started on javascript and c++ back in '98. learning Haskell in 2012 completely changed how i thought about programming.

haskell taught me how to see the solution to a problem as a separate entity from the calculation of the solution. the imperative paradigm makes it very easy to mix up data, state, runtime execution, where you are just implementing a compiler in your head and going.

where as in haskell i just think about the problem and keep "describing" it to the computer. eventually i have a top level expression that simply represents the value i care about. its much easier to disentangle the idea from the implementation.

that kind of thinking carries over in me to this day. i like to think my java today is much better because of that time spent living in haskell.
not even microsoft tried that to do that, these devs are out of touch
European suppliers will also be busy covering all the other increased demand inside from Europe [0], the demand that most people tend to forget when they act like Germany is the only country dependent on Russian energy, and resources, imports.

It's also not as easily replacable as "Just go to the other gas supermarket down the street", infrastructure needs to exist and support such supply chains.

[0] https://www.statista.com/statistics/1201743/russian-gas-depe...
There seem to me some conflicting accounts and perspectives. Boccassi took the "broken by design" snipe in reply to his patch as "this is going to get rejected", which I don't find completely unreasonable. There were also some other more technical comments from other people, which other people took as "this could get merged, if it gets addressed", which is not unreasonable either.

Yes, the CTTE can force a merge, but that's a pretty uncomfortable situation for everyone – at the very least it's going to be an uphill battle. I wouldn't just dismiss it as a "non-issue".

I spent a good time reading up on some of the mailing list threads this afternoon as I thought it's an interesting social problem, but with a long simmering conflict that's been going on for years it's hard to really get to the bottom of things. No one here seems especially constructive, but it's hard to really get to the bottom of the full context of all of this. I can definitely understand people's lack of motivation in writing fully polished patches if the dpkg maintainer is constantly railing that it's all "broken by design" though.
Smalltalk is live object but, afaik[0], the base interaction is still work for edit, work for test, work for resolution. I thought about making them one concept.. something like gradually pruning input spaces. test and code being somehow isomorphic (each failing test is implicitely mirrored in the working code).

[0] I only did a pharo MOOC and read some bits about smalltalk but considering the crowd, it's possible someone has an image with similar if not better ideas.
Just looked at CircleCI recently. Great product, but the price difference between them and GHA was absolutely jaw dropping.
I love type checking but I do think the point at which type checking becomes a necessary business decision is very far in the future. Companies such as Stripe, GitHub, Facebook, etc. are examples of this. And with some typed languages, e.g. Rust, Swift, OCaml, there's an additional factor of a weaker ecosystem. Yes, even Rust's ecosystem is worse than say, JavaScript's for some areas such as desktop applications.
I guess this is gonna wind up at the bottom so oh well, but I'm pretty sure the URL (reading it out of the video) is

https://www.att.com/acctmgmt/dtvlander

So all it takes is someone with AT&T to go pop open the devtools. (It apparently requires a login, and I'm kinda in Australia so that won't work)
I see a lot of Franken-RFPs in government contracting. You get sections that are just word-for-word recreations of a products spec sheet, straight off their website. But different sections are from different, competing, products. So the end RFP is something that no one actually has, and then they are required to award the project to whoever made the lowest bid. 5 years later, when that project inevitably fails, they do it all over again.
Artificial scarcity is a terrible way to generate wealth, and a carbon tax would disappoint given economies of scale in shipping are because per kilogram they are overwhelmingly efficient.
Assuming you have the Decryption oracle is the same as assuming you have the key in your example, so you are just saying a OTP is vulnerable if you have the key. This is true for any encryption scheme that I can think of.
Yes, but it also means you knew a lot about the clear text to do this.

I don't think that there is dispute that malleability is an issue in OTPs. What is also not in dispute is that the message itself is secure against decryption absent other knowledge.

The point that is made (and in other posts) is that on its own, OTP isn't enough in most situations - and I agree with that.
Check out Infuse if you’re an Apple user.
Good timing for your question as there is a poll going on at the moment about editors used with Fortran, on the Fortran Lang community Discourse here: https://fortran-lang.discourse.group/t/code-editors-ides-use...

But the quick answer is that people programming in Fortran use the usual editors - Visual Studio Code, Emacs, Vim, CLion, etc.
Ok fair point, what needs to made illegal is the paying-below-minimum-wage to recoup it from Tips. Furthermore, I guess I want to remove the expectation of Tips from our culture. Maybe legislation is too strong but I love this aspect of society where Tips are truly optional.

In America, we have a situation where I’ve seen waiters put on a facade of niceness which is so fake, and if you don’t tip, you’re an asshole. This implicit guilt needs to be made uncool.

I tried tipping room maker in a Hotel in Japan and they promptly refused and handed me the cash.
OP is not claiming those things are ineffective, they can be[1], he is rather trying to say they are not absolutely essential, you can succeed without them too .

[1] he cannot really comment on their effectiveness as he didn't use them anyway.
Absolutely fascinating. I actually put a lot of time a while back into looking for a way to "draw" either a psudeo-code specification language, or just Python, on an iPad for "programming doodling" that could be scanned and parsed for later execution (spoiler: handwriting code outside of a drawing program is terrible). I love the idea of being able to bring computation closer to a hand-to-paper medium. Computer vision processing of code -> computation in an editor would be a dream. Please keep at this.
I want one, the problem with their new SE is the price, it's the price of a high end android phone

I said it already when it got announced that it would flop due to the insane price
I didn't say they are. Only that the initial comment sounded like that. And in the thread above we discussed a bit about their achievements. I really liked it and learned a lot.
I'm getting flashbacks to the AARD code and Microsoft's attempts to sabotage DR-DOS.
> support for any person to have autonomy of their body in whichever way they see fit

For the second time, slavery by definition means depriving someone of autonomy. This directly contradicts what the comment supports. The comment directly opposes slavery, because it deprives people of autonomy.

This kind of false equivalence between consensual sex and slavery is going to take this conversation nowhere.
Tabletop RPG Rule Books Can Be Beautiful and Accessible
To be honest the Girl with a Pearl Earing "variations" look a little bit like a crime against art. It's like the person who built this has no idea why the Girl with a Pearl Earing is good art. "Here's the Girl with a Pearl Earing " - "OK, well here's some girls with turbans"

Art is truth.
Eh, I'd say that's a point for debate, but I would argue stochastic survival probability under some prior conditions that haven't changed enough to force further competition.
Well, at least one part of it is this HN post :)
Sure, you're right, it is factually incorrect to say that they're using a cryptocurrency to amass millions of biometrics, because they're actually using the _promise_ of a cryptocurrency to amass 500,000 biometrics. Very important difference!

You're putting so much weight in "...the testing phase..." as if that grants carte blanche to do whatever because the goal is (ostensibly) noble. The biometrics they're collecting and storing and processing belong to real people, whether they're in their "testing phase" or not is immaterial. The goal of this whole Orb-on-tour program is to collect biometrics, their primary activity is biometric collection.

They've pushed back their launch multiple times because they've acknowledged that their technology is susceptible to fraud and still needs work... so when does "the testing phase" end? When they've made their technology perfect? What if it takes 1 year, 5 years or even 10 years? What if they spend the next decade collecting millions of people's biometrics, is that okay because it's "the testing phase"?

They're going to poverty stricken countries and taking advantage of economically disadvantaged people (and then not even delivering on their meagre promises) and that's okay because it's not their explicit intent, it's just what they haaaave to do in the testing phase?

Let's play this out, let's assume (based on their inability to do it so far) that they fail to turn this experimental biometrics device into something that can uniquely identify people using a privacy-secure cryptographic process. Now let's take this quote from the Worldcoin CEO:

“We didn’t want to build hardware devices — we didn’t want to build a biometric device, even. It’s just the only solution we found,”

Doesn't take much to imagine them saying:

“We didn’t want to [store privacy-insecure biometric data] — we didn’t want to build a biometric device, even. It’s just the only solution we found,” he said.

Then what? Well they didn't want to store biometrics but they had to so it's okay?

They literally cannot even pay the people they sought out in poverty stricken countries the $25 that they promised, a task so trivial it can only be a wilful choice to fail to do it, so why on earth would we be charitable in how we assess the likelihood that they stick to their (as yet unproven) promise?

Worldcoin is a biometrics collection business until they do anything else.
I've never read Snow Crash but that name strikes me as Pynchon-esque.
Most of that discrimination is legally required. If im using ur airbnb to commit a crime and you know about it and do nothing ur are also likely committing a crime.
Far more people use steel, work in offices or shops, live in a house, or use road transportation than have ever flown on a plane.
I remapped control to the bottom row, whichever key my thumb naturally rests on. Usually alt. Also moved \, [, ], enter, and backspace to avoid reaching for them with my right pinky. I think if your fingers start feeling even a little bit weird, you should keep remapping keys until they feel good all the time. Doesn't make sense to wait for it to get worse before taking action.
iPad Safari is close enough to desktop Safari now that it switched to the same user agent as desktop Safari. That surely helps to bump Safari’s marketshare.
Increasing the availability of useful tools to anyone interested in software development and computing / technology in general is where I think FOSS has excelled.

A simple example might be a free, open-source blueprint for a typewriter. People can improve the blueprint, anyone can use it. Now, to build an actual typewriter based on this blueprint, there's where individual investment of time and money is required - but anyone can do it, there's no patent lawyer waiting to halt that process.

Note also that branding and reliability do matter even in open-source. Two typewriter manufacturers working off the same open-source blueprint could make very different quality typewriters, and the one with the better reputation has a market edge (just not one based on exclusive access to some old IP).

Now, let's say you use the typewriter to create a best-selling novel. Here the creator should be able to retain rights to the novel, and since good writers are not all that common, the notion that the novel should be free and open-source doesn't really work that well if we want to have writers making a living and continuing to write. An alternative approach, such as a state-sponsored program to support authors, or a billionaire-financed private foundation program, would quickly become little more than a propaganda factory.

The kind of scenario that gave rise to the open-source movement might be described as the notion that authors who used a propriety typewriter to write their novel owe a fraction of their revenue to the typewriter blueprint owner. The whole Oracle-Google-Java-Android business comes to mind for example.
Uber looks to create travel ‘superapp’ by adding planes, trains and rental cars
> The point that is made (and in other posts) is that on its own, OTP isn't enough in most situations - and I agree with that.

Yes, and that's all I'm saying here.

I deal with real-world cryptography. I'm not a theoretical or academic cryptographer. If someone deployed an OTP in a system I'm responsible for, I'd escalate until they use an AEAD instead.
Thank you, you are so right. I was thrown off by seeing a mix of snake_case and camelCase.

I'll have to give Zig a read and make an actual assessment. Glad for the possibilities!
>"Future Raspberry Pi board may be able to take advantage of the higher video resolution and framerate enabled by the new camera module."

This is interesting, the community it's been asking for more powerful Raspberry Pi models, with more PCI lanes too. Models like that would be amazing for building NAS, routers and IoT devices
Tariffs, trade embargoes, financial sanctions.
They can't, and even if they could; In terms of climate change it's absolutely counterproductive to ship LNG across the Atlantic.

The amount of extra energy that needs, the extra emission it creates, its a complete enviornmental disaster.

One that's mostly ignored, as it gets into the way of certain foreign policy narratives, where neither "climate change" nor the "enviornment" are even recognized concepts of any kind of priority.
That's cool. The one thing I missed in VS Code when I last used it a few years ago was a link to the implementation in the documentation of each function. Maybe I will give it a try again someday. But honestly giving up Magit, org-mode, slime, and elpy will be hard.
https://potateaux.com

Be gentle, it's hosted over LTE on a Raspberry Pi. It's not meant to do anything, just sit there and look pretty, a bit like me :)