skysight-inc/HackerNews huggingface dataset:
There are also studies that say reading the news makes people unhappy. It's not hard to imagine why that is.
I think most of us agree that social media as it is, is broken. But internet forums and social media can also be a massively powerful tool for the people to connect and share information from a grassroots level.

Just like journalism has become compromised, so has social media. The solution isn't to abolish both, instead we need to find ways to strengthen their integrity and make them independent of partisan corporate or political interests.

https://time.com/5125894/is-reading-news-bad-for-you/
What is so hard about not consuming a lot more food than you need? It's an honest question
Cyberduck is an odd choice for a file transmission app showcase, Panic's Transmit (https://panic.com/transmit/) is much better.
What I have always wondered about, in the stripe docs it says "Stripe's idempotency works by saving the resulting status code and body of the first request made for any given idempotency key, regardless of whether it succeeded or failed. Subsequent requests with the same key return the same result, including 500 errors." which indicates that the idempotency functionality is created in a kind of layer around the main application functionality, and thus the request from the idempotency layer to the main app is not itself idempotent. So the idempotency key protects against faults on the network between the client and stripe's idempotency layer, but not against stripe-internal faults between the idempotency layer and the application. Is that the case? Why is the idempotency not achieved by using an idempotent database transaction or atomic operation? What is the value of responding repeatedly with a 500 if the original 500 was caused by a transient error?

Adyen seems to similarly implement the idempotency in a separate data store (https://docs.adyen.com/development-resources/api-idempotency...).

Both stripe's and adyen's implementation seem to not treat transient faults within their own systems correctly.
> whereas on the surface it's the equivalent pressure of Earth's Mariana trench.

The surface pressure on Venus is around 90 atm which is equivalent to the pressure one km below the ocean surface. The Mariana trench is a little over 11 km deep.
AMD is also doing market segmentation on their APU series of Ryzen. PRO vs. non PRO.

It should also be mentioned that Ryzen is a consumer CPU and you're stuck (mostly) with consumer motherboards, none of which tell you the level of ECC support they provide. Some motherboards do nothing with ECC! Yes, they "work" with it. But that means nothing. Motherboards need to say they correct single bit errors and detect double bit errors.[1] None of the Ryzen motherboards say this. Not a single one that I could find.

Maybe Asrock Rack, but that's a workstation/server motherboard. Which is also going for $400-600. You think that $50 Gigabyte motherboard is doing the right thing regarding ECC? That's a ton of faith right there.

Consumer Ryzen CPUs may support ECC, but that's meaningless without motherboards testing it and documenting their support of it. So no, Ryzen really does not support ECC if you ask me.

[1] https://cr.yp.to/hardware/ecc.html
> Not AI yet but it shows how the economy could be centrally planned using technology.

Nonsense. Hayek explained why that can't work: https://en.wikipedia.org/wiki/The_Fatal_Conceit

Of course, it can be planned - Lenin and Stalin showed that. Just make an AI that emulates those two geniuses.

But the results would be equally great like they were in Soviet Russia or Mao's China. Why would anyone in a centrally planned economy work beyond the bare minimum needed to survive?

It's hilarious that someone has to call you out on that. HN...

> Pinochet's coup ended the experiment.

I won't say that the coup was great, but it likely did less damage to the people than Cybersyn would have done.
I see an interesting application for the Validity, Expiry, Enforcement, Fingerprint sections.

Many web apps generate HTML forms but submit form values via an API endpoint. With browser web tools and standard options like "copy-as-curl", it's very easy to run a "replay attack", where an adversary submits the form manually once, does a copy-as-curl (or similar) on that POST, then replays the POST repeatedly, updating particular values in the generated curl output for each subsequent POST.

This gets around form protections like captcha and allows for rapid abuse via the API that backs the form. Enforcing that an idempotency key/token be generated on the server side or that it match the submitted content or be valid for a short timespan could make replay attacks less convenient.
Generally, producing true and accurate information takes more effort than producing misinformation, and on the consumption side understanding a refutation of something generally takes more time than understanding the original thing.

This leads to an inherent advantage for the producers of misinformation.

You approach worked say 50 years ago, when most of us had limited sources of information and so had time to actually see and understand the refutations of most attempts at misinformation.

Nowadays, we've almost all got more sources of information competing for our attention than we have time to deal with. It is much less likely we'll see the answers to the misinformation, or have time to deal with them. Furthermore, with what we see algorithmically determined to maximize engagement, we are probably going to be shown more misinformation from the same or related sources instead of the refutation.
That’s got little to do with the article.

Their primary issue is EV’s have batteries in the floor. This is great for driving as it lowers the center of gravity and adds space for a frunk, but adding a wheelchair ramp etc becomes extremely difficult. It’s fixable, but significantly more expensive to deal with.

Charging cables are heavy and require precision making them difficult for many disabled people to use. Also few charging stations have been added to disabled parking spaces.
ISPs can’t get residential fiber to work in many cases, using it as a microphone is beyond mass capabilities.

Not to say that if the alphabet boys are interested in you they might do something similar (but in that cases there are likely cheaper methods).
"Everybody"? Emacs does not. vim does not. OpenSSH does not. Python does not. ffmpeg does not.

I think this is a culture-clash question. Open source software generally does no automated crash reporting. Some software like the Rust compiler will print out a crash report and ask you to copy/paste it into a GitHub issue on your own; you can decide not to. The general cultural assumption is that if you want the software to get better, you have to participate, and if you don't participate, the developers don't owe it to you to fix your crashes. In fact, with the software I mentioned above, you generally don't even get it directly from the developer; you get it from a redistributor like a Linux distro, who may have modified it. Therefore it may not even make sense to send crash reports directly to the original developers, and the social contract is between you and the redistributor.

Some open-source software like VLC does prompt you to send crash reports if you want, but it doesn't send them by default, and their data collection terms say nothing about law enforcement (https://www.videolan.org/privacy.html

Some open-source software that operates at a scale that resembles traditional "shrink-wrapped" (conceptually) software does even more telemetry - Firefox, for instance, but even so it doesn't say anything about collecting data for law enforcement: https://www.mozilla.org/en-US/privacy/firefox/

There's also a world of closed-source software where there isn't any culture of participation and where asking a user to file a bug makes little sense. This is the world of Windows and macOS and mobile apps, all of which do automated crash reports. This is the world of web analytics tools that track exactly where your mouse cursor pointed so developers can build more intuitive websites, and more generally, the world in which software runs online and server-side because it helps developers. The social contract here is that the developers improve the software fix bugs without your active participation, and in turn the software needs to send them data about how you use it - both crash reports and general usage data - on its own, without you doing anything.

The real question is which world Audacity now lives in. A clause like "data necessary for law enforcement" is perfectly standard for websites, and probably they copied and pasted it from some standard terms of service document. But can you imagine Emacs or Python having such terms?
True, but something to be aware of: If the compiler uses bitwise operations to implement %, it emits special handling of negative values (it's really more of a remainder operator than a modulus). You can avoid that either by using unsigned numbers, or & as suggested:

https://godbolt.org/z/vdz59q994
If I recall correctly. The recent examples of Typhoons going super sonic over London were QRA aircraft hammering it down the country to pick up suspicious aircraft. In some of those cases they are allowed do it
> I don't know where it is. However, it's not where you're putting it

How are these statements not contradictory? Do you know where the line is, or not?
There's no unified underlying intelligence in the model that could be called racist, sexist, or bigoted. These "bots" are not, because they cannot, be such. The output is dependent on the patterns, context, and content of 800 gb of human generated text. Any and all of which can be seen as morally insufficient depending on your taste.

Clever and iterative use of prompts could identify, filter, or modify potentially offensive text for whatever level of pearl clutching floats your boat, but transformers are algorithms approximating parts of human cognition. The algorithm doesn't have an ideology, morality, ethics, dogma, or any of a myriad of features you can project onto it. It's a tool, which can be used well or badly, and part of using it well will involve not attributing to the tool anthropomorphic features it does not possess.
That logo is a trademark infringement suit waiting to happen.
You don't work in a bubble, and if you are a more senior person on a team the juniors will see what you're doing and follow by example. And when you're a junior, it's equally as important to be told by your superiors to stop, so that it's crystal clear that it's not expected or even encouraged.
Because HN's mobile UI is already great. Unlike other websites, HN's mobile UI has all of the same features as the desktop UI.

I don't know what problem an app would solve in this case.
are you mixing command and query together in one request? i thought it is a bad practice.

mutating data is command and is a separate request and fetching customer details is another request
Shouldn’t there be another metric that indicates what the capacity of the CPU is running at? It would be a important metric to monitor to detect issues like thermal based throttling or how often the CPU is going is utilizing boost features.
Looks like this is fixed in the latest tlp versions:

# tlp-stat
defaults.conf L0019: SATA_LINKPWR_ON_AC="med_power_with_dipm max_performance"
defaults.conf L0020: SATA_LINKPWR_ON_BAT="med_power_with_dipm min_power"
I’m convinced that it’s intentional to push sign up and reduce anonymous bandwidth
Virgin Media (UK) use coax. There are some FTTP installs (with coax to the router), but most, as far as I'm aware, use coax for the last leg to the house and from the wall to the router.
Because only the caller knows if two payloads, despite being identical, are genuinely different requests or retries of the same request.

That said, in this age of micro services and large-scale distributed systems a request may get retried by a framework layer down a call-chain regardless of whether the request originator intended it or not.
>>But claiming that there is absolutely no future in electric vehicles for disabled people

You didn't read the article.
Exactly, the bureaucrat caste became a wall against an efficient and democratic socialist planning, just as Trotsky predicted. They blocked the soviet cyberneticians plans and when the USSR collapsed they became capitalist themselves by seizing the state assets. The problem wasn't socialism but the stalinist bureaucracy. This article is on the point:

https://aeon.co/essays/how-the-soviets-invented-the-internet...
> But the narrative is of course nonsense. The crisis in housing is not of capacity but of affordability

I’m baffled by people who believe the law of supply and demand doesn’t apply to housing.
That headline is exactly what I said. SFPD will not enforce federal warrants for simple immigration violations.

They absolutely will enforce warrants for serious crimes. Nor will they prevent federal agents from operating in the city. The rapid response hotline is a private non-profit and not run by the city.

I suggest not relying on conservative propaganda outlets like Daily Caller for your information.
From my purely anecdotal experiences of attending/organizing a few 500-person-plus hackstons and dozens of smaller ones, at least half of the people I meet there use macs. Its definitely in fashion still.

I switched to a m1 mac last year after nearly 4 decades of low level x86 work, incl. drivers, rootkits, and the like. These days I code in higher level languages such as rust or, ehm, python, and the mac offers a fine experience. Ironically, what pushed me over the fence was the pandemics; most of the video conferencing stuff causes windows laptops to sound like vacuum cleaners.
My definition of "open source" is that the source code is publicly available. That's it.

Just because that organization got their hands on a premium domain name doesn't mean they get to decide what that term means.

You shouldn't assume random strangers online know that you're referring to OSI's definition when you say "open source".
> In my opinion, formal methods for software engineering have been heavily advocated for by people and organizations who want to sell books, seminars, and conferences. People who want to act as gatekeepers while extracting money from the system and reframe history in their own terms.

Is there really that much of an FM consulting-industrial complex? There's me, Galois, Atelier B, and Adacore, those are the only independent FM groups I can think of off the top of my head. And two of those are tied to specific verification languages.

Most of the FM advocates are academics, which is one reason why there's so much friction between industry and academia wrt FM.
Yeah, agreed. I recently moved to Windows (ten years Linux previously), and its shocking how bad the default battery life is.
You mean CO2 and small amounts of nitrogen?

That doesn't seem like a great resource. If you value CO2 so highly there is plenty right here on earth that nobody wants and people will actually pay you to remove from the atmosphere. No need to go all the way to Venus.

Even on the surface of Venus, inhospitality notwithstanding, the resources are at the bottom of a gravity well equal to earth's. It is way more viable to mine asteroids than mine a planet, especially a planet like Venus.

Mining other planets is only interesting if the market for the resource is on that same planet, or we've exhausted the supply of asteroids with that resource.
They deal with lots of fractional scaling - at first they may have done simple pixel doubling but now the screens are often at non integer ratios.

In fact you can speed it up slightly by making sure the display resolution is exactly “half” the actual resolution so to prevent MacOS from scaling 8x internally first.
Sometimes users have problems installing Linux, not because of lack of ability, but because of lack of driver support. This is especially true for laptops. I remember installing Linux on my desktop in 2004 as an 11th grader, and I remember having to purchase a $50 serial port modem at Fry's (yes, my parents were still on dial-up at the time) because the modem that shipped with my PC was a "Winmodem," one that had many of its core functionality implemented in software that was only available for Windows.

After my freshman year of college ended, in the summer of 2006 I replaced my desktop (which was dual-booting Windows XP and FreeBSD) with a Core Duo MacBook, which was just released two months before. It felt great using a Unix machine where I didn't have to worry about driver support, and where I can run Unix applications and various proprietary software packages such as Microsoft Office without dual-booting, emulation, or virtualization.

I've stayed a Mac user since, though lately I'm in the slow transition of switching away; I just replaced my 2013 MacBook Air with a Microsoft Surface Pro 7 running Windows 10 (I love WSL!), and I plan to replace my 2013 Mac Pro with a Ryzen 7 or 9 build sometime in 2022 or 2023, which will most likely run FreeBSD. In the interim I've installed many Linux and FreeBSD systems for work and for play.
If you don’t login, it seems to be guaranteed you’ll initially get a “page couldn’t load error” on browser or app, until refreshing (sometimes multiple times).

At this point I’m assuming it’s intentional, since it occurs over multiple devices, browsers and probably years
A computer program cannot look at things in the same sense as a human can. Moreover, a computer program is not a "public", because, for example, your smartphone is not considered as a guest at a show.

When you say that a computer program "looks" at my data, because my code is for public, it means that the owner of the computer program use my code to make derivative work without obeying of my license, which is explicitly forbidden by copyright law.

For example, you cannot pretend that your smartphone is just looking at a copyrighted film in a cinema. Nobody will ever bother to ask your smartphone, what it's doing. Stop pretending that your smartphone can "look at data".
I thought I was clear that in my comment it particularly applies at the beginning of a job, and _most importantly_ they're not working after.
I'm planning on taking a course in optimization this fall, the textbook for it is "An introduction to optimization" by Chong and Zak. Dunno if it's any good, but I just ordered it so we'll see.
> A lot of times even working for others, you are building skills for yourself that you could utilize in the future.

Exactly. Building experience, skills, reputation, a network, rapport, discipline.

Technically you could build all of these things on your own through freelancing, but freelancing is far harder than it sounds when people talk about it online. Especially when you're a junior without a strong network or reputation.

Working for others isn't inherently bad, especially if you're learning a lot in the process. No one should avoid working for a company on principle alone, as working for a strong company with strong peers is one of the fastest and most accessible ways to improve yourself early in your career.

It's not just about the paychecks. Likewise, a lack of paychecks doesn't make the project more valuable to your career. It's much easier to ramp up on a technology by pairing up with an experienced mentor and developer than it is by poking around on side projects that never get finished. Shipping real products to real customers is a powerful forcing function for learning how to deliver results in the real world.
The fail whale used to come out predictably 30 minutes into an outage where I was working (no coupling between the services, just users would tweet about us being down until Twitter fell over); but eventually Twitter was able to handle it, so we had to buckle down and fix our systems too.
Most housing developments in the UK require a certain number of 'low income' housing. These are normally smaller houses which are either sold to low income people or the local government (who them rent them)

I'd love to see a better policy around making new housing developments require better public transport routes or space for shops/offices. The vast majority of the newer estates around me (North Scotland) require a car or a rather long walk just to get to a shop.
Most of the recent egregious hacks I can think of were compromised by things like out-of-date software, poor access control, stuff on the configuration level. Static analysis might help here, but I don't think formal methods is the lowest-hanging fruit.
There’s a few issues in this article but two big ones. increased supply is actually good no matter what the size, too many 4 beds? Drives down the price of 4 beds, 3 beds get cheaper to compensate etc. It’s actually much better than the alternative which is often to build hovels, or to split a four bed into 4 extortionately priced flats.

Secondly the whole point of nimby is “my backyard”, how important is that black poplar really? It’s not. If it were 5 miles down the road the residents wouldn’t care. They don’t vote green, they all support more house building elsewhere at almost any cost.

Developers are often terrible, but it’s a government policy created issue that housing is terrible in the uk.
Ask HN: Have you ever tried measuring the time you spend digitally?
1. Yes! It's very useful
2. Yes but it's not useful
3. No but sounds interesting
Perhaps: "Their culture was more appropriate to their circumstances than was initially appreciated."

I agree, killing billions to fix climate change would be distasteful.
>Sure, and the effect of doing those things is moving data around. What does your program do with the results of these side-effects? Does it parse it? Transform it in any way? Decide whether to run effect A next with the result or effect B? This is the code that, if extracted, can be tested in isolation of databases and HTTP servers.

It's very frequent that this "decision making/calculation" code:

* Doesn't do very much.

* Isn't even in the top 5 source of bugs for your app.

* Integration tests caught those bugs just fine anyway.

* The process of extraction balloons the size of the code base (all those yummy extra layers of indirection), sometimes introducing fun bugs.

It's certainly the right thing to do if you have a self contained chunk of complex decision making/calculation code (e.g. a parser or pricing engine).

However, if you do this as a matter of principle (and far too many do) then this advice isn't just wrong, it's dangerously wrong.
6. you might get paid for 8 hours, but effectively work 6 hours. The rest of the working hours are for mundane tasks.
and of course conservatives ignore this entirely and blame these cities for creating homeless problems… quite a scheme
Lessons from 20 years of hype cycles (2016)