skysight-inc/HackerNews huggingface dataset:
This is a very good point, I was always wondering how this is financially maintained, especially because of the key word "low density" in the US, it sure looks beautiful compared to Europe's large cities.
Rest assured though, London, Paris, Barcelona all of whom I have lived in, the houses and the apartments are build like a sardine can and the roads are untidy, smelly etc. Bar maybe the tourist areas which are preserved in a better state no matter what, to present themselves in a good light. Looks like there is not enough money either, or it's funneled to the wrong places.

At least the US suburbia's look very nice, no doubt I would live in one of these if I ever go to live in the US, these places are unaffordable to mortals in Europe or associated with a large commute to work.

Looks like most government everywhere grab deep into people's pockets but don't have deep pockets themselves.
> Martin Weitzman, one of the few economists who warned that these risks were being ignored, was snubbed for the Nobel Prize.

Is failing to win a Nobel Prize now a snub? That seems ridiculous on its face.
Geohot/twitchcore: A RISC-V core, first in Python, then in Verilog, then on FPGA
Agreed on the police threats and DMCA attempt. They seem to have succeeded in getting it removed from the Chrome web store, due to its name violating MuseScore's trademark.
It's also an excuse/opportunity to write a fairly Hard SF zombie story:

https://www.antipope.org/charlie/blog-static/bit-rot.html
I've seen some questions on why this is on HN so I thought I'd explain why I posted it.

Quite simple really: my wife sent me this link because she liked it. I read it and liked it. We have two kids, the oldest being eight, and we're often discussing topics related to the content on the page.

I've seen that there's quite a bit of interest on HN when it comes to parenting so I thought I'd post it. (I do realize it's for some product/service, but I have no clue what that is. No affiliation, I just liked the text.)

That's it.
Is it better than GPT-2? I see gpt-2 being open sourced then what's the deal about?
Did instagram fix it after this video? It should have gotten some attention.
I noticed a snappier response to my keystrokes (particularly in Emacs) when I switched recently from a Mac mini to a NUC running Linux (keeping the keyboard the same).
Yes I remember the shift around that time. I had my first contact with a Mac at school in ca 2001. OSX was just released and the school received a new order of iMac G3’s as lab computers. What can I say. I hated the machines. Everything was so weird and ugly. It didn’t help that the teachers had to run OS9 for compatibility reasons with the school software. I had a brand new WinXP desktop machine at home which was miles and leaps ahead of the iMacs ;) well for me anyways. The only thing I really liked was iTunes. That is a story on it own ;). It took a few more years for me to come around. It was with the release of snow leopard that I saw that macOS was way better than windows. I switched in 2011 professionally to mac and use it still as my daily driver. But my love for the system that sparked with snow leopard dwindled. I didn’t want to update to Catalina (was forced in the end due to a new machine I got and well Xcode) and still refuse the UI of BigSur. I switched to Arch Linux on my personal machine but have to stay on macOS professionally as the only other option my company IT can support is Windows. Well macOS is no longer the highland for developers, WSL and Apple itself saw to that. But Windows is still a no go area as a daily driver for me.
Livestream (8h20m): https://www.youtube.com/watch?v=camQ9QeBY9Q
The recipe is wrong.

TFA establishes that root cause is local government's involvement and recommends fixes that have nothing to do with fixing that and would result with even more government involvement.

Don't let the government borrow money, and solve the problem.
And yet what problem was solved without people talking about it?
Article by a guy called Noah!
> "almost half of the country’s recent Covid-19 deaths are of people who have been vaccinated"

Some = half?
Formal methods come from a need for form, repeatability. There is nothing in software development that comes close to the process and considerations that go into choosing to build with M30 concrete, or use #5 rebar for that matter.
It's funny that it has been around 9 years now since Apple introduced retina macbooks and their implementation of HiDPI is good from the start but, while it's getting better, windows and linux still need to catch up.
One of these promises to justify the billable hours of half the industry for the next decade, the other threatens to eliminate them by the next decade. It really isn't more complicated than that
Well what you said is correct, but there is a difference between a commercial product, and free software
I would expect users to care more about the latter.

For example, I am specifically talking about open source games, where often users report errors with zipped stacktrace attached
bat's great! There's an easy way to disable pretty printing too: either use the flag, or pipe to another command.
Selling my car to live in London for a bit was a welcome relief! The downside is mile for mile it takes longer to get somewhere on public transport even in London where the services are regular enough you tend not to plan a trip.
Do those 512 bytes include the signed shim from Microsoft for Secure Boot?
The siege of open source software?
It was a political snub. The Economic Prize is always political.
They gave the prize to a soft denialist, a guy whose message has always been to downplay the costs of climate change.
> Not that people are incapable

I think that is quite an overestimation of what most people in the industry can do.
Very interesting,
> I do see a lot more intellectual rigor in the older techies than in the ones from my generation

I have a theory on this. An architect in private practice told me a couple of years ago how he was having trouble getting good junior architects, so was resorting to graduates. He felt his small practice was not the best place for a rigourous training. He recounted that in the past there was a giant pool of qualified and experienced staff coming from the councils, railways and public utilities. There was also a similar pool of state supported industry, Rolls Royce, BA etc. These positions took graduates (or even apprentices) and trained them up. These were also jobs for life with opportunity for progression and final salary pensions attached. Most of these have been squeezed out by 30 years of privatisation and The Cuts post 2008.

I personally worked at a company that had grown out of a government research agency some years before. The majority of employees were from that original batch of junior engineers transferring over, even filling roles like HR, Health and Safety, purchasing etc. I don't see how this could happen today.

I feel like in lusting after what Silicon Valley has, we have undone what we had with nothing to replace it.
90% of Apple employees reportedly say WFH indefinitely is 'important'
The server is source-available but no longer open source, under the BSL[1].

[1] https://blog.sentry.io/2019/11/06/relicensing-sentry/
And you'd be wrong.

First, I am not aware of any operating systems that are developed using agile methods, and second the empirical evidence is in that agile improves quality, so it would be better if they were.

https://www.amazon.com/Accelerate-Software-Performing-Techno...
It may be a regional thing but I have never heard ”bit rot” refer to legacy code. In the retro computing circles bit rot refers to hardware defects (usually floppies or other storage media) caused by cosmic rays or other environmental hazards.
Colour gamuts, colour profiles, and the translation between them is a whole other topic which this article barely touches on.
From a quick look at the Github releases page and the acquisition articles, it looks like Audacity 3.0.0 and 2.4.2 are the most recent versions of Audacity people can fork / download from before the acquisition.

Sounds like there are already other forks on their way though.
The Jeff Bezos Paradox
It's just a story we usually tell the boss when the whole team wants to goof off for a few days.
And that's why we need deterministic builds
"Personally I think this is a classical miscommunication error, and it seems as the intent of Muse Group was to be as legally compliant as possible."

To be clear, this legal compliance is with the laws and government of Russia, where the parent company is domiciled.

>"For the purposes of this Notice, WSM Group with registered office at Moskovsky pr-t,40-1301, Kaliningrad, Russia, 236004 (“Audacity“, “us“, “we“, or “our“) acts as the data controller for the Personal Data that is collected via the App and through the App."

>"All your personal data is stored on our servers in the European Economic Area (EEA). However, we are occasionally required to share your personal data with our main office in Russia and our external counsel in the USA."

https://www.audacityteam.org/about/desktop-privacy-notice/
No write support but should be easy :) it doesn't handle filename conflicts too. But searching and reading files works great.
This is an interesting thought.

I could see certain...agencies doing something like seeding the tech scene with insecure hashing algorithms, and them becoming a part of the Canon, due to consumption by uncritical ML training algorithms.

We get back to the old "data quality" conundrum. We need to have a way to rate the quality of our data, which then opens the door to corruption and gaming.

The circle of life, I guess...
The mentioned scheme is kind of acquiring negative value assets with short term positive cash flow … without it actually being debt. Akin to the programmers “technical debt”
Your point being that this is completely untrue? Normal people have absolutely not learned how to program/automate using computers. All companies I've seen from the inside either use excel for everything or have dedicated personnel for automation. Excel is a good step but it still requires a lot of manual work.
Death Rattle
I package software for guix, and I one aspect I hate is having to come up with synopses and descriptions for packages. I wonder if this could be used as a basis for generating these things automatically. since there are already tens of thousands of packages it can be given plenty of examples of what they should look like.
It is safe only because it throttles heavily. Shutdown temperature is just 5 degrees higher btw.

At 100 the processor is at high risk of damage, which is why there's a built-in throttling mechanism.

Just imo, if it was safe it would be running at full speed (or at least max base clock) at that temperature.

As someone else said, they're made for burst operation these days, but again, that does not excuse manufacturers using subpar cooling.

I can see the majority is fine with it, but I'm not. A 15-25% failure rate in 2 years would make any other product a rotten lemon. But somehow it's acceptable for computers. Probably because people replace them every 2 years regardless, which is another insanity on its own.
If you read the video with a view to reproducing it then you created a derivative work, ie copyright infringement.

If you just used it for inspiration, that's fine; if the way it was coded is a result of technical constraints, that's fine too; if the code is generic it's not distinctive enough to acquire copyright in the first place.
Some people will understand those concepts better with examples:

Imagine you are in the Sahara desert at night with no lights out there in new moon. You fire a candle so you can see. Your vision adapts to the candle illumination that is 1 lumen. Let's call it one unit of illumination.

You can see things around. That is your sensibility is capable of seeing things in very dark conditions. Your sensibility is very high.

Now imagine that you are in a room at night, the illumination could be thousands of times bigger than with the candle, so your vision sensibility must be thousands of times smaller.

No you get out outside in Sahara desert at 12 AM in July and the illumination is millions or hundreds of millions of times stronger than with the candle. Your vision's sensibility must be hundreds of millions of times smaller.

Our senses adapt dynamically to the signal level. That is sensibility becomes inversely proportional to the signal level itself, starting from a given threshold of minimal signal we could perceive.

In a high dynamic range(a big range in illumination or sound levels) we can use logarithms to model that behavior. In a low dynamic range, we can use gamma or ulaw(in sound).
If you're never rewriting history then branching and merging become cheap, so it's easy to do each of A, B and C on its own branch.
> Don't be afraid to dream a little bigger, darling.

https://www.reddit.com/r/AskReddit/comments/2s9u0s/what_do_i...
I think it depends on what you are building. For example, if you are building a database that houses user data and user credentials, this is is a very well understood thing that experienced professionals can set up quickly, efficiently, and give you both a lot of security and also enough flexibility to build whatever business you want behind it.

And yet, it seems that most companies and websites that handle user credentials do a poor job at it. So there does seem to be an argument in favor of adding formal methods in certain areas of software design and engineering.

One thing that very much distinguishes the software world from every other type of engineering is the complexity and rate of innovation. In software, I can invent and deploy a thing on the same day and the total R&D cost to my company is almost exactly equal to my salary for that day. Whereas for something like a bridge, the R&D cycle for a new bridge invention could be several months and hundreds of thousands of dollars for a similar idea.

Overall, I think the discussion about putting standards in place for certain common activities (network communications, password databases, encryption standards, and similarly well understood areas) is worth having. Though I also would be concerned that state actors would use such standardization to insert weaponized requirements like backdoors, or that regulation would prevent new innovations from gaining a foothold.
This is good news for climate action. The less predictable climate change costs are, the more likely it is that the ones holding the reigns of power will act. If it was entirely easy to predict that such and such places were doomed, then these people would just divest from those regions and leave them to their doom.
Probably. I don't mind it, if they give me credit (I do, on my work), but it's not imperative.

Unlike other licenses, I don't think I'll have a bunch of self-appointed juntas going after people that use my code without attribution.
Assuming you're referring to something like the github "squash and merge" button, your history is far from "clean". You make it significantly less useful by destroying information and creating megadiffs incorporating many different changes.

Instead, do what you want with personal checkpoints, but refactor them into logical steps before publishing and merging (with a real merge) them.
Jacob's Connected Glass – Minecraft PE Texture Packs
Most do now, as "driverless printing" (sending some PS to an IPP URL) has come into vogue.
I guess, but workstation class laptops still overheat, so again, piss poor design.
Isn't ECC memory supposed to mitigate these kind of bit-flips, specifically it should correct all single bit flips?

As this is a single bit-flip, why wasn't it corrected? Did ECC memory fail? Or was this bit-flip induced in the CPU pipeline, registers, or cache?

Do we need "RAID for ECC memory", where we halve user-accessible RAM and store each memory segment twice and check for parity?
Yep, but one could express a computable predicate classically (e.g. by unnecessarily invoking the axiom of choice in its definition). Using a constructive proof assistant prevents accidentally doing this, and encourages using constructive definitions where possible. It also encourages using computable mathematical formulations (e.g. computable reals vs classical reals).
Is it just me, or did all these "hackers" that apparently bought Macs back then not really produce all that much hacker software (or non-hacker software, come to that)? It seems to me that Windows and Linux both had much greater funds of developer software than did the Mac ecosystem.
Are you suggesting that this is what John Lewis is looking for, someone who read the classics? It may be true, but that is not what I understood from the article.
In many cases you don't want to let an hostile party read confidential data, and if he takes control of the machine aren't all bets off?

Moreover what if a hostile party constantly hammers-disrupts your IT, letting you teams "rebuild and reload" 24 hours/day (in other words you don't have any information system anymore)?
Sure there is! The most obvious example to me would be a server-side database for storing user credentials. It's a very common problem, it's well understood by the experts in the industry, and also most everyone makes the wrong choices anyway.

There are plenty of places inside of software that are pure-innovation and can't use a formal process to design and implement, but there are also plenty of places where a corporation just wants a website that does customer loyalty, and you often don't need any innovation at all.
The concept of digital twins is important in IoT. To capture all your factory floor data and make predictive maintenance decisions based on, say, excessive vibration on a coolant pump is quite appealing.
Isn't the answer to "is this worth it" quite obvious when doing code reviews? Properly and logically split commits can make it so much easier and more pleasant, and things like "commit often, perfect later" are in my experience less, not more work.

The rest seems like a pretty basic set of tips that I mostly learned over the years because I needed them, so it would be definitely nice to read such article several years ago to save me some time ;)
It's not a natural right, we supposedly do it too stimulate innovation by offering a reward and in order to get things into the public domain -- obviously Disney (and the politicians that kowtowed to them) ruined that for the World.

Patents should have reduced with product lifecycles, copyright should be a similar period; maybe 10-14 years.

My personal opinion.
Pandemic Wave of Automation May Be Bad News for Workers
Yes. Via git diff --no-index and xxd.
cities broke the contract. They were supposed to keep dense neighborhoods clean and safe. They failed. In LA, people living in the heart of downtown must contend with crazy levels of homelessness and garbage. In Portland, you must contend with nightly riots.

Crime. Car theft. Old women getting sucker punched. Needles. Human waste.

Move to the sticks and let the cities fail.
So I wonder when all the people asking for censoring misinformation will finally realise that the “free speech extremists” were right, these censorship tools will inevitably be used by those in power for bad ends.

For me the Wall Street bets shutdown (discord) was a big alarm bell, that censorship was a absolutely about power and not “misinformation” or hate speech.

And now we have Nobel prize winning scientists silenced.

This is absolutely terrible.
Just be careful with powertop's suggestions: it suggests min_power instead of med_power_with_dipm (https://lore.kernel.org/patchwork/patch/830838/), which can lead to data corruption. It happened with me on my current laptop, I played a bit with powertop on it when it was new to see how long its battery could last, and ended up with filesystem corruption, so I had to wipe and reinstall; luckily, I didn't have any important data on it yet.
Home Wireless Network Keeps the Snoops Away (2013)
It was a MacStadium (https://www.macstadium.com) build server, so most likely non-ECC.
It would be an expensive way to report on a test suite, I'll give you that.
This has more to do with bureaucratic unwillingness to admit to mistakes than anything else. This is what you get when everyone in the decision chain is just doing what they are “supposed to do”, without giving it a second thought.

According to the article, it’s pretty clear that no death certificate was ever filed, which appears to be a requirement in France. So there’s even a formal error that should void the procedure that followed. This readily demonstrates the unwillingness and compartmentalization at play here.

I’m in a similar but different situation due to fictional health insurance costs. In Germany, public health insurance cost is calculated based on your income, with a hard cap at the top. I’ve had very little to no income for a couple of years. Due to a procedural error, I was charged the maximum amount. I’m fighting this for 9 years now and have to deal with constant harassment and ballooning debt north of 35k EUR, most of which is entirely invented but is collected on with the full force of law enforcement. Any attempt to find an agreeable solution failed. It’s obvious to anyone looking at the facts that money is wanted that never existed in the first place. A dozen employees of the insurance even admitted to that fact. Still, they won’t change the order because they feel they can’t. No one wants to be in the position to explain an auditor why 30k+ of outstanding payments were dropped. It’s as simple as that.

My life has been hell at times due to that. The drones don’t care. They just want to do what is expected of them. It doesn’t matter if it destroys lives.

It appears that the only way out now is to declare bankruptcy. Which appears to be fine with them. They end up getting nothing at all, not even the clearly owed amounts, but that’s fine because it’s “procedurally correct” and no one may end up in the hot seat. Except me of course.
Marcel Grossman Institutional Award Goes to Spektr-RG
This is just the same as when people complain that computers are getting slower even though the hardware is faster.

Software complexity expands to fill available resources. Only, in this case the available resources are manpower rather than hardware.
It’s not as great as it seems. It’s very isolating, especially if you aren’t old enough to drive yet/don’t have a car