skysight-inc/HackerNews huggingface dataset:
>Are you saying that this is part of what you measured? Or are you merely saying that this is hypothetically a way things could work out?

I'm saying that, anecdotally, when I tried it I had more bugs thanks to formal verification because bugs crept into the spec. It was very hard to tell that those bugs were present because the spec was very, very complicated.

I'm not denying that it can catch bugs at all, just that a successful "proof" didn't mean a lack of bugs and that I personally found it to be a relatively inefficient method of catching bugs (or demonstrating their nonexistence).
Users "throw away [their phone] and buy a different device" basically every 2 years, anyway. Apple's policies haven't changed significantly, and their market share among mobile devices has stayed between 11 and 25% for 10 years now. Their "monopoly" is limited to what runs on the devices they sell, and its impact on the web is at worst a wash, and at best good for maintaining diversity among web engines.

Were iOS to represent an impactful plurality of mobile devices, I'd agree that there's monopolistic potential, but right now this is just a case where everyone (users, competitors, and government representatives interested in "sticking it to uber corporations") are all incentivized to push for legislation/regulations of this sort.
those are indeed very popular tools but for a slightly different kind of problem than this package is attempting to solve
Specifically of issue in this case -- there is a wide-open hole in the IA's book hosting system that allows anyone to easily download an Adobe Digital Edition of any book in the archive -- ADE's DRM has been broken for a long time. It takes 2 minutes to go from IA to a full OCR'd PDF. The result is that there are a LOT of decrypted PDFs in the wild that carry the Internet Archive logo on the very first page.

I am for DRM because it could enable something like the IA to host and lend books without violating author's privledge. The IA's implementation is foolish and, I think, carries the intent to allow exploitation.
...not really.

The original Fisker "EV" was in fact a turbocharged 4-stroke which used "train locomotion"-style onboard direct-generation via ICE to electric drivetrain/propulsion.

I have been passenger inside of one, and everything else about the vehicle (including "solar roof" ha ha ha) was an absolute afterthought (e.g. horrible ergonomics).
I get what you're saying, but this sounds a lot like "Person who voted for Face-Eating Leopards Party only wants leopard to eat other people's faces."
BUILD CHANNELS UNDER THESE BRIDGES!!! By digging out channels beneath BRIDGES that have large cargo ship traffic beneath them, these ships would run around, and/or hit a wall (depending on design) before ever getting close to bridges structural support components.
Every city with bridges like these, with city, state AND federal funding, should begin construction on "guidance channels " IMMEDIATELY...
You can either eat well or sleep well. (c.f. The Protestant Ethic and the Spirit of Capitalism).
Because one will be a net benefit to society and the other probably won’t be?
Archive [1] Just a snapshot in time of a growing mastodon thread

[1] - https://archive.is/pzanE
Ask HN: Learning about hardware fault detection
I would like to learn about hardware fault detection, particularly detecting faults in actuators/LEDs/Speakers/Haptic buzzers etc. Although I will explain an example below, I am not looking for you to solve this issue. Please point me towards books/talks or search terms so I can learn about it myself. If you can point me towards real-life cases, please do so. I learn best by understanding examples.

Let's say I have an infinitely reliable microcontroller+code that must control an LED. This LED is switched on/off by means of a GPIO-pin, which is connected to a transistor/MOSFET. This transistor/MOSFET actually turns the LED on or off.

I would like to be as certain as possible that the LED is on when I want it to be on. If it is not on, I want to know (and do something else outside the scope of this question). As far as I can see, I can do several things to ensure the LED is on:

1. I can sense the GPIO-pin, which tells me if at least my logic works. This seems a bit pointless.

2. I can sense the current flowing over the LED with a current shunt.

3. I can sense the emitted light from the LED with some kind of optical sensor.

In the case of #2 and #3, I will probably get an indication of when the LED is on/off... but it also introduces new issues, such as:

1. What if my detection mechanism is less reliable than the transistor/LED circuit?

2. My usage of a current shunt increases the current draw of the LED circuit a bit. I'm influencing what I attempt measure.

I'm curious how these issues are approached in safety-critical situations: airplanes, rockets, trains, reactors etc. When does it make sense for a system to check if the hardware is still working as expected? And which of the 3 cases to measure?
It has a large standard library compared to something like C or C++, but it’s small compared to a lot of more recent languages. Intentionally so, since they wanted to be able to create smaller binaries.
Yep, I understand the practical issues with my position. But I can’t ethically condone saying “you have no voice” to a fellow citizen, so I prefer no restrictions.
Everyone lies. Context and intent is what matters.
Python counts as no-code now? Roasted.
In some countries, it would absolutely be.

SMS termination fees in some countries are on the order of a couple of cents per minute. Normal personal use involves sending as many messages as you receive, on average, so it balances out for the provider.

Sending 150 a month and receiving zero can easily make you an unprofitable customer. That's why T&Cs usually exclude such usage.
> For the crime of reporting information that embarrassed the US government.

let me fix it:

For reporting on a bunch of war criminals sitting in a shipping container in Nevada drone striking brown combatants.

also let's not forget that what we see here is propaganda at its best. Anyone in InfoSec in the West who has in 2012 been outraged by what Snowden revealed, and by what Wikileaks helped publish, has meanwhile condemned the whistleblowers and sided with the terrorists in Washington.

Americans are the most propagandized[1][2] people on the planet, and compared to Russians living under Putin, or Chinese under Xi, ... they're totally oblivious to it.

As Jacques Ellul says[3], well made propaganda is invisible to the person who are the target of it (while usually visible to everyone else).

[1] https://en.wikipedia.org/wiki/Smith%E2%80%93Mundt_Act

[2] https://foreignpolicy.com/2013/07/14/u-s-repeals-propaganda-...

[3] https://archive.org/details/Propaganda_201512
What was interesting to me was how expensive this thing was, I wonder how much of that cost came from the software. Elon mentioned how they're trying to create a "world model" for their Tesla FSD, which has enabled them to use the same software for Optimus.

I'd imagine the future will be large "ready to go" Ai packages, which companies would tweak to their liking.
Is the Android and iPhone VLC app similar? The MacOS and Windows versions are completely different, I didn't know that and wanted to export my settings to match and MacOS has way fewer features.
We're also talking about ~10 genes out of 20,000. Not 10%, 10. A lot of people don't even notice.
Source article: https://checkmarx.com/blog/over-170k-users-affected-by-attac...
You good dude?
I'm going to point out that the bug is marked " RESOLVED INVALID "
> I don’t get it: app can’t be updated if signed with a new key?

That's correct.

> Given that apps are sold all the time,

I'm pretty confident that in 90%+ of those cases, developers just sell the signing keys with it.

FWIW, Android does have a mechanism to upgrade keys (app signed with the old key contains in its metadata the new key saying that this key is okay) since like 4-5 years ago. But I expect very few people use that. (I don't even know whether Google Play Store allows using this)

> and developers sometimes lose private keys themselves, this makes no sense.

I guess they don't when their revenue relies on it?
ThinkPad T60 – greatest work laptop
I can’t ethically say that policy should be decided by people whose primary concern is the frequency of nap and snack time.
Season 2 of The Wire is the single greatest work of television I've ever seen. It's as rich as a novel, as tragic as something out of Shakespeare. Seriously. If anyone hasn't seen The Wire, do yourself a favor and give it a watch.
Solana's Yakovenko Welcomes Meme Coin Traders with 'Nothing Better to Do'
I work at Grafana, and just attended KubeCon, even when not near the booth but just in Grafana t-shirts I was stopped frequently by individuals saying how much they love Grafana, how it just works, how we should just keep doing what we're doing... there's strong signal there (though this is KubeCon, and K8s isn't the whole industry by a long shot).

But even I would rationally question the survey results, as like all surveys it would only represent those surveyed.

If you scroll to the bottom of the article there is a section "About the respondents and methodology" and to quote, "This year, 306 people participated in the Grafana Labs Observability Survey. We did not contract an outside agency to solicit responses. Instead, we reached out to our community to participate, through our website, social media, and at various Grafana Labs and OSS events".

So let's be upfront here, it's a biased and small sample, but the consistent methodology with prior years means that the directional trends can be identified, even if you cannot extrapolate any specific number to the whole industry.

The indicative signals in there for trends and direction... but it's not quite a 100K audience from all industries and representative of wider engineering.

The number is high due to who was asked to respond.
This ship was under pilotage at the time.

In the same way that airline captains don't sleep during takeoff or landing, the captain is in the bridge (and with the assistance of a harbor-specific pilot) for the entirety of maneuvering in and out of a harbor.
Father's letter - https://storage.courtlistener.com/recap/gov.uscourts.nysd.59...
Older bridges no, but newer bridges should absolutely. The Bay Bridge was struck in 2007 and came away mostly unscathed due to earlier efforts to prevent catastrophic damage in that scenario;

https://en.m.wikipedia.org/wiki/Cosco_Busan_oil_spill

Though the Maryland accident looks like it struck it dead on - just a massive amount of energy to absorb.
Edit, I am mistaken, see reply below.

---

The problem is not client availability, the problem is that the API itself is only available to approved vendors.
The only scenario that comes to mind would be Google repackaging a build after some subtle changes, signing it and sending to a lawful intercept target. Are there other cases where the developer does not sign the package aside from selling the package to Google?
Visa, Mastercard agree to $30B settlement that will lower merchant fees
I grew up in a time when social computing was when we geeks of ages 13-15 brought each others Computers to a house and challenged each other to write games on another device.

Back in the days when I had an Acorn Atom and friends would bring their Spectrum, Oric—1, TRS-80, Commodore 64 etc.
[dupe]

More discussion: https://news.ycombinator.com/item?id=39811604
When are Barbara Fried, Joseph Bankman, Sam Trabucco, and the others going to be charged in all of this?

This letter should hopefully fall on deaf ears. It contains nothing of substance. Sam was responsible for his actions and knew what he was doing, was he not? That's what the entire trial was for. All of the other stuff is inconsequential. If Sam can't feel happiness and just wants to bring others happiness, then it's a strange lifestyle to order lavish meals, penthouses, private jets, hobnobbing with celebrities and politicians, etc. And she contradicts her own statement that prison has afforded Sam little opportunities to do good. And to a certain extent, prison is to not afford opportunities to people to do harm to the world. Sam and his cohorts cost many people because of narcissism and effectively an addiction to gambling.
And what did those Amendments do in Guantanamo Bay and CIA blacksites?
> couldn't use integrated chipsets like the rest of the industry does for various privacy reasons

"Various privacy reasons" is in fact the main point: You can't create a privacy-respecting device, owned by the user, with any of the available vendors.

> didn't have open-source drivers for the OS they wanted

No. They didn't want to provide specs in order to make FLOSS drivers possible at all. And they didn't provide good reasons for that. This is gate-keeping.

> Nothing mentioned in this article is anti-competetive

Again: There is no single company in the whole smartphone industry which agrees to provide specs to their hardware, so you could write free and open-source drivers. This is serious gate-keeping for the walled gardens.
J by design saves up tons of code.
> I think these are billion dollar mistakes only because they've allowed for trillions in improvements in the first place.

That's a hell of a claim to try and demonstrate when its initial advantage is far from obvious to begin with.
>About the respondents and methodology. This year, 306 people participated in the Grafana Labs Observability Survey. We did not contract an outside agency to solicit responses. Instead, we reached out to our community to participate, through our website, social media, and at various Grafana Labs and OSS events.

This should be right at the top as it indicates a substantial bias in the data.

Calling this survey "Key findings and analysis on the state of observability" is disingenuous at best with that methodology. If this team realistically thinks this small sample size and narrow grouping gives an accurate analysis of the big picture, I would be hesitant about any analysis their product can provide.
Fashion is fickle --- more at 11.
SWEs are not a tier where people care about your class much if you have the skills, speak professionally, and appear professional. Just don't talk about yourself. "How are you?" "Good". Yes, no one cares about you or your problems, but that's just work.

If you are aiming for director positions, yea, it's different story. Pro-tip - it won't be enough to pretend, they are mostly all related or went to the same school, worked together before, etc. So acting the same won't help much either.

In other words, as a SWE, you are blowing this way out of proportion.
I faced a similar issue: it seems like it has now become close to impossible to use your own signing / release key.

My understanding is that Google really wants to manage your keys so that you can't really mess up. If your app has a lot of users and you lose the signing key, IIRC you'll cause an outage due to the fact that existing users will not be able to update the app without uninstalling it and re-installing it, causing data loss.

I'd love to be corrected, as there might be some key rotation procedure in place that I'm unaware of. In any case, even if you owned the signing key, no one could theoretically stop Google from providing an APK signed with another key to the PlayStore users, since at first install the apps trust whatever key you provide (and the only cross-check I'm aware of is, well, Play Protect, also owned by Google)
You know that's not true because if the US govt were what you seem to allege (extradites and arrests mere critics) then you wouldn't be safe to post this here.

It's also a national pastime to crap on the government. Are you not aware that thousands of reporters and millions of people embarrass the US government every day?
Tunnel Vision: When you dig beyond all purpose, digging becomes the purpose
Some discussion from a few days ago, but on a less useful link. https://news.ycombinator.com/item?id=39798565
These kind of acquisitions always astonish me. How does a web company that essentially sells toys get the money to purchase a company that sells professional desktop products?
It is basically the same with the books. The IA's book hosting system has DRM, yes, but it is Adobe's ADE which has been well and truly cracked. If you have a bit of patience and tech knowledge you can pull a full PDF of any book on IA in about 20 second's time. They could do a better job restricting access and I figure they wouldn't be in this much trouble.
Ask HN: Hiring Berlin Tech Companies
I am currently looking for a role as working student in Berlin. I was wondering which small to medium sized and interesting tech companies are based in Berlin, which may or may not be looking to hire.
Again, not the best argument given that the drinking age is 21. Additionally, children can volunteer for the military at the age of 16. So there's clearly a range, "legally speaking".

Leaning on existing laws isn't really the best for these things, because existing laws may be flawed. Would prefer to base it on scientific insights, but we don't have much relevant for this stuff.

So the real answer is "We don't know, and different states will try different ages and see what sticks, what people will accept."
It depends.

“Poor people” cannot be lumped into a single group.

Some respond to their problems like you mention: they dwell on the scarcity and try to problem solve. I’m not convinced that group is the majority of poor (at least in developed countries).

There are many low income people who do not really worry or think about those things at all. They are incredibly reactive vs proactive and do not plan well. They don’t really worry about whether or not they can pay the electric bill—either they will pay it or they won’t.
About 20 years. And people have been begging Microsoft to add that toggle the entire time. It apparently took longer than naming the genes did. If you're having a problem, "just ask Microsoft" is about the worst possible plan to try and get it fixed. They don't GAF. And why should they? It's not like it cost them any money. Even if everybody stopped using Excel for data involving gene names they're not gonna stop using it entirely.
It's still early in the day. I expect this thread to get more diverse attention over time.
https://news.yahoo.com/kidnapping-assassination-and-a-london...

From reading that article it doesn't sound like there was any plot. Mike Pompeo wanted such a thing, but it was never approved. It was hotly contested and never attempted. The article also made it sound like Russia had more of a plot in action to move Assange to Russia.

So there was about as much plot for the US to kidnap Assange as there was to make Mexico to pay for a wall. Hot air from politicians that just evaporates.
As another commenter pointed out, this survey probably suffers from selection bias

https://en.wikipedia.org/wiki/Selection_bias
I was one of the (presumably few) people who used the Linux version, until it stopped working for some reason, a few years ago. After that, I got used to booting into Windows one a month to run my little payroll.

TBH, I don't think they should be spending resources on this port.

PS : hi Liam, we met at Fosdem
a few weeks ago!
It has not always been an option, at least not one that's easy to find.
I dont have any reason to think it’s inaccurate. What alternative dashboards are there?

I have even seen it used in demos where the host works for a company that has a first party dashboard product. (google, amazon etc)
Affinity has a $100 one-time payment, and you can use it in perpetuity. Adobe's customers are paying $60+ per month. So there was a lot of unrealized market value. No shit they wanted to cash out on it.
> a whole category of people from being able to speak at all

Hot take but I can go without the opinions of children.
Not to be the devil's advocate but how is just a signing key for an Android app/developer that is used for signing APKs and bundles comparable to "keys to your bank account"?
I tried to create a "printable binary" format for better visual inspection of raw binary data (and a to/from format)

https://github.com/pmarreck/elixir-snippets/blob/master/prin...
[dupe]

More discussion over here last week: https://news.ycombinator.com/item?id=39789300
"a devoted interest in recording films and shows from the '80s to the 2000s"

"4,400 distinct titles, including features, documentaries, shorts, history programs and award shows"
#1 isn't an issue unique to paying peer reviewers. We've learned how to negotiate such hazards.

#2 Seems like a team who wants their paper published would be super-helpful to the reviewers and replicators....why wouldn't they be maximally motivated to help them to by sharing data, techniques, etc...and writing their paper so that its easy for reviews and replicators to do their jobs.

#3 The authors of a paper don't get to choose who their reviewers are!!

> consultants...play the game

And yet we have millions of clients hiring millions of consultants, and somehow they are able to make it work....yeah, all these issues can arise in other contexts, we know how to deal with them.
Can you elaborate? Because it's not immediately clear to me the distinction.

I'll concede that automating manual labor has made consumer products cheaper. Whether that is wholly a net benefit, I think, is up for debate. When you consider the externalities like the environmental effects of rampant consumerism and the erosion of the middle class via a reduction in manufacturing jobs, I think there's plenty of basis for at least arguing there is tipping point on automating away manual labor. To say automating manual labor bluntly (and without careful consideration of blowback) always leads to a better society, I think one needs to define what they mean as society and what metrics they're using to define "better." I, personally, don't think raw GDP is a good measure of the health of a society.

If anything, I think automating knowledge work has as at least a potentially larger upside. The downside will largely be borne by the upper-middle and upper-classes, which is why the GGP can read like a classist perspective.
After making all roads underground: "Tunnel collapses are killing all our children! Let's make all roads above ground!"
Maybe peace negotiators are actually just actors. That would explain much of the hilariously transparent BS stories coming out of the mouths of various politicians, that everyone can sometimes realize and acknowledge as such, but other times not.
If you want to create an AGI it will eventually "target" all professions.

Art, writing, and basic programming are just the easiest ones to tackle first. You have fast iteration cycles because iteration is virtual.

This temporary period of difficulty is the price we pay for AGI, which will yield far more benefit in the long run.
Fedora Linux 40 Beta
Visa, Mastercard Agree to Lower Swipe Fees, Settling Long-Running Lawsuit
Not OP, but would definitely enjoy this in iOS
Stanford Professor Robert Sapolsky gives a talk as part of the Science and Society Initiative: A joint project with the Laboratory for Behavioral and Cognitive Neurology at Stanford University Medical School and the Hamid and Christina Moghadam Program in Iranian Studies.
Every bridge with large cargo ship traffic beneath them should have channels designed to guide the commercial traffic, installed beneath them.
Every city with bridges like these should, with state AND federal funding, should begin the process of constructing such "guidance channels" beneath these bridges IMMEDIATELY!!!
It should be IMPOSSIBLE for Ships large enough to damage bridges to even be able to come into contact with these bridges.
The idea that the ship itself has 100% control as to whether it strikes a bridge or not, IS INSANE.