skysight-inc/HackerNews huggingface dataset:
Mental illness has a much longer history of being (pointlessly) punished as 'evil'. A current one is the recognition that many people in prison may have untreated ADHD, which makes sense, just like a bunch of folk got kicked out of school for dyslexia in recent history (and then became successful artists or business leaders).

You could argue, people are now just faking dyslexia to get a pass on having to work hard at school, but if you can't demonstrate that to be a bigger problem than the genuine dyslexics being discarded as useless due to assumptions being made that they were stupid or troublemakers because of their condition, then it's a price well worth paying.
None of this is impossible in an organization where you are expected to document your work once it's finished!
The article mentions that the race venue used to house the world's largest (traditional, HV) electron microscopes at one time. I thought it would be cool if these towers were actually for that but it seems likely the place is just a science museum of sorts now. Or maybe they are some sort of fancy (electrostatic) dust collector?
It is inefficient up until the point where you ask git to do a gc+repack, at which point git will look for deltas - and if it is changes to the same file, it will likely find them and encode them as a delta.

For text files with really small changes, this is comparable to a "diff" size, and is better than what a rolling hash would achieve. However, for text files with larger changes, and of course for binary files - a rolling hash is much more effective. Additionally, a rolling hash would easily reuse cross-file similarity, where as the current delta-finding code is likely to only find redundancy in the history of the same file (or similarly named in the same directory).
That was interesting, I wonder if some expert archivist could just figure out how to read the tapes without destroying them on the condition they are released to public domain
This is easily the most fascinating article Ken has ever posted, topping even the lunar lander computer, which was a high bar.
From Closed to Open Source: Microsoft's experience with six internal projects
I could count the number of times my M1 (13") MBP's fans have kicked in over the last year on two hands, and in most cases when I investigate there's some rogue process running thrashing some of the cores (looking at you, Fusion360)
> The MacBook Air M1 is passively cooled.

Thanks for the correction

My mind was still on the old pre-M1 Air which did have a fan IIRC.

Thanks to you my credit card is trying to tempt me to pull it out of my wallet. ;-)
How an Earth are you being exploited by putting a copy of your bank card on your phone?
EMHP wastewater monitoring of SARS-CoV-2 in England: 1 June 2021 to 7 March 2022
Maybe having terrible UX is starting to look like a fundamental flaw here? I know that UX sounds like something that should be “polishable”, but at this moment I have been hearing for years about Nix being great in principle but not that great in everyday practice. (Cf. Linux on desktop…)
In iOS it does the same for iCloud.

There is no official way to switch from Android to iOS, and the reverse is only possible for some newer Samsung phones.
The Americas are just as old, it is just that people in their arrogance have chosen to overlook the works and achievements of Mesoamerican civilization.

History did not begin with the arrival of the Europeans, that is just when colonization began. The long history of these continents is treated as some sort of lost and mysterious thing of times past, yet the people from those civilizations are still here today.

Cage and Glass both understood this and named a number of their works aptly.
Human head transplant is contemplated using tiny graphene nanoribbon scaffolds
One would assume with the reduction in testing that waste water monitoring would be relied on, but it would be good to see some supporting evidence.
> IMO the biggest reason shell scripts are avoided is simply because most software developers aren’t very comfortable with the syntax (tbh it does feel archaic in certain places) or know how unixy stuff like signals, pipes etc really work. If you have to do system level tasks though it’s probably worth the effort to understand these things.

Hard disagree on that one. People aren't comfortable with the syntax because it's rather awkward and the subset of portable syntax is minuscule. The syntax itself has all sorts of variations (e.g. bash 3 vs 5 vs not-bash) and when you have to leverage external programs (e.g. sed or awk) things can get hairy quickly (especially if you're trying to support both BSD and GNU userland components).

From a security POV I'd much rather use not-sh style stuff. Error handling is much more accessible and robust in higher level scripting languages. Sure you can run "set -e" and hope for the best... until you have to use something that tries to stuff meaning into the exit code like grep. Handling filenames with spaces is significantly easier once you leave the sh baggage behind.

As for ls(1), are you talking about BSD or GNU ls?
Isn't this just waterfall?

Prep the shit outa everything requirement and design wise, then make it in sequential fashion?
I completely feel your pain, however check out poetry.

Package management and a virtual env manager in one.
I'm proposing that quantum mechanics is right and GR is wrong, particularly as regards the no-hair theorem. I really can't tell how you jumped to the opposite proposals from my comment.
> I forever wonder when the technical naked short options[0] will get called, but they never have in a serious way.

What does «called» mean in this analogy? That the subsystem doesn’t go away?

So your experience is that: Stuff tends to stick around? That’s my experience. I have never encountered a throw-away MVP that was actually thrown away if the product continued in the same direction (and didn’t pivot).
That’s the main reason that I’m staying on macOS. The available apps are very good.
"With Groff+ms you can typeset equations, letters and articles with a 486 and less than 50MB of used space. It's a gem."

A very useful feature, considering so many young kids, specially with not so doing well house income, can have Raspberry pi and produce good looking reports etc for school/ extra curricular activities, comparable to those produced by much powerful and costly hardware and software systems.

I used Groff+mom on a raspberry Pi 3b, and results were quite good for text heavy documents with some tablular data.
I guess Apollo 13 had to rely on the LEM's guidance computer for ranging, because the command module was powered down?
Also, don't forget infrasound - sound at frequencies too low to be audible. They are known to cause low levels of anxiety in sensitive individuals even though they can't be heard.

> An FM transmitter can be at full power even when broadcasting silence. I don't know what phones are like ... do you?

I dunno about 3G, 4G and 5G, but I know that a GSM phone (2G) after a data transfer continued to transmit, and at consecutively smaller levels before stopping. The time interval for each level was set by the telco, not the phone.
When you give an OEM a 40 % reduction in power through a new CPU generation

It's the same with workstations. Although they have plenty of room, but OEMs often install barely-capable CPU coolers that are noisy (rather than something like a large Noctua cooler that can keep most CPUs cool with barely any noise). Or another big annoyance: many OEMs (even reputable brands like Dell) install a PSU that is just enough for the load. If you want to replace the GPU by something that requires a bit more power, you'll end up replacing the PSU as well (assuming that you can get one that is compatible with their custom mainboards).
> I'd be stunned (and almost certainly dead at the time) if formal systems ever got to the point proved a program exactly met it's requirements.

SeL4 (verified microkernel) and CompCert (verified C compiler) are two such examples. [0][1]

They're also both the result of a tremendous amount of work and have won international academic recognition, but still, it's not impossible for 'real world' code to be fully verified.

> You see headlines about the costs of crypto bugs every week at least

Nitpick: 'crypto' is an accepted abbreviation of 'cryptography', it's confusing to use it in reference to cryptocurrency. (Incidentally formal methods have been successfully applied to cryptographic code, but for whatever reason the most popular cryptographic libraries are unverified ones. [2])

> it seems completely lost on most HN commentators is crypto is at it's heart about building a world where all laws are written in software, assertions and promises the laws operate on aren't on paper and memories but rather can only be recorded in a blockchain, the judges are VM's executing code, and the jails have been replaced loss of crypto currency

You're referring to smart contracts here, not to cryptocurrency in general.

I don't see that it's lost on HN commentators, it's precisely the reason most of us dismiss 'smart contracts'. We have good reason to think that what they're aiming for cannot be done in practice (as you say, millions of dollars are lost due to small code defects), and that ordinary/real contracts are here to stay.

I do agree though that if people are going to go with smart contracts, formal verification would be a useful tool.

[0] https://sel4.systems/About/home.pml

[1] https://compcert.org/compcert-C.html

[2] https://blog.adacore.com/sparknacl-with-gnat-and-spark-commu...
MSN/Live Messenger automatically saved chat histories as nice XML files in the user's documents directory, along with received files, so no real effort had to be made for preservation.

As for SMS texts, they could be backed up at least on later Symbian OSs, with the Nokia Ovi desktop app. On Android, backup apps would be able to do it as well.

At least in theory, EU directives for data portability (the "takeout" feature) should grant access to the message history for any abiding platform.

I think all chat platforms should have the decency to offer an export option, regardless of the underlying protocol.

Recollecting my message history from all sources into a common database is definitely high up in my project backlog.
For the record: NetNewsWire is also available for iOS. It’s very nice.
I don't see how you could maintain purity and reproduceability with something imperative. I used ansible for a while and it was a mess that broke half the time and was difficult to maintain.
Ultra-light liquid hydrogen tanks promise to make jet fuel obsolete
M1 is arm, whilst Intel and amd aren't. Perhaps there'll be general laptops with arm chips that won't have fans.
Maybe a better design. Bet? Not so sure. Guix is Betamax to Nix's VHS.
code was (f)law(ed)
What I’d love for threads, in any chat client:

- possibility for the mods to move messages to a thread, as simply as drag and drop. No more « use a thread please »

- possibility for a thread to become a sub-channel, either manually, or automatically if a thread is active for multiple days, or if it’s still active but users need to scroll significantly to see it

- archiving of sub channels manually, or automatically after a time of inactivity
If you don’t feel comfortable writing shell scripts, or even for people who do :-), shellcheck especially when used as a vscode plugin will hold your hand and catch any potential problems with your shell script before it’s even run.
Image Capture is really not good even with 20GB of pictures I have. It just crashes or freezes and have to start over.
Considering humanity's desire for space exploration, not investing in climate change mitigations has negative effects on the economy outside earth.

In fact, I would argue that the success of capitalism relies purely on its ability to force people to invent things that would appear pointless from a first glance. Yes, all those stupid startups that are failing are there to win the technological progress lottery. Meanwhile other economic models won't play the lottery which has a significant cost over the short term and be happy in some local minima.
Given that Facebook new users peaked a while ago, that ain't surprising.
Native Americans were played by white people all the time. White people play the role of Jesus all the time. Where's your outrage for those?

That is why such a view is seen as racist, or at the very least a double standard against black people.
I'm not sure running a unsupported OS on a device made by a company that famously don't support any software not made by them is a great idea for a device you mainly want to be productive with. You're better off just voting with your wallet for devices that support multiple OSes.
This is the comment I came here to see. Thankyou.
> The cars, present at the respective facilities of the eight participating teams, were remotely controlled from the race venue in Toulouse.

> Along with its unique vehicles, what made the race special was the venue, a giant spherical structure called La Boule. Located in the CEMES (Centre d’Élaboration de Matériaux et d’Etudes Structurales) campus, it has a diameter of 25 meters and housed the world’s largest electron microscope at the beginning of the 1960s.

So just to get it right, the "venue" is just the place where the races are coordinated, but otherwise was only chosen for symbolic/historic significance. The actual physical races are taking place in the labs of the participating teams. Is that correct?

So each team has its own "race track", tunneling microscope, etc as well?
Apple shipped an "old" version of bash due to licensing issues which means if you're relying on any bash 5 extensions you're SOL. Now that zsh is the default is Apple even shipping bash anymore? Things get even more fun if you've multiple versions of bash installed at once.
There are also economic models that predict a sustainability cliff within the next few decades and massive economic declines.
This is purely related to Apple's App Store suddenly changing the way they rank apps and has no bearing on install volumes. Based on what I'm seeing if I had to guess they're more heavily weighting growth and discounting DAUs relative weighting. This potentially does make some sense if the App Store wants to surface and support newer/more rapidly growing apps at the expense of established applications probably with the aim of making the app market more competitive.
> Having the fan spin for writing an email is just ridiculous

What program are you using for writing said emails? That matters more than what user action you're performing.

As a reference, using gmail in firefox makes my X1 very loud too, but I've moved to Thunderbird as of late and it's much more careful about resource usage.
I never encounter machines without Python and never had issues porting Python scripts around since at least 15 years.

> So the maintenance cost of scripts in Python or Go will be higher

For Go, yes. For Python it's very rare for an old codebase to break unless you are talking about Python2/3
> the curse of systems thinkers is to be correct, but never valued.

"Systems" are a mixed blessing, but system thinking is almost always
good and useful. We can add value but not bask in it. As a someone
invested in the _idea_ here are a few of my favourite quotes that
illustrate:

- People don't like systems. Especially new ones.

- Systems ossify and become the problem themselves.

- The ideal system exists only in the mind of its designer.

- The ideal systems designer is invisible and can never take credit.

"I mistrust all systematizers and avoid them. The will to a system is a
lack of integrity." -- Nietzsche

"The English have a system, which is *no system*, which is also a
system, only better." - (?? British political philosopher c 1900 -
does anyone know this one?)

"A complex system that works is invariably found to have evolved
from a simple system that worked. A complex system designed from
scratch never works and cannot be patched up to make it work. You
have to start over with a working simple system" -- Gall

Overall, I think the thing is that systems are brilliant, until you
try to actually build them and encounter _people_, who have other
ideas. Neither the force of the better argument, nor punishment,
reward, bribery, or flattery will move things. This is neither the
fault of systems thinkers nor people but the misunderstanding that
(outside the immediacy of war) systems can be imposed. Working
systems evolve and are, if the individuals are mentally healthy and
motivated by good attitude, generally such that people are doing the
thing they would naturally be doing anyway were a formal system not
there.

A good system is like cat that falls off a tall building and by luck
lands on its feet in a box of wool, and licks itself as if to say -
sure I meant to do that.
Yes I’m upset because even Netflix’s exec Reed Hastings said some time ago that account-sharing is “a good thing”. They are well within their rights to change their policy from looking the other way to actually prevent password-sharing, and I as the customer I’m well within my rights to cancel my subscription when the company changes a policy.
In Winnipeg, Canada, I get 500Mbps up/down for 75$.
Hardly, but having to design hardware to fix ARC performance, proves the point how much "better" it is.

Depends how much one cares about performance beyond iOS GUI apps, specially when Swift's original goal was to become the main language across the whole Apple stack.

https://github.com/ixy-languages/ixy-languages
Why don't countries go hard on nuclear instead of playing around with these "sustainable" new fuel types?

They all consume a finite resource so it's really pseudo sustainable at best.

The only real sustainable energy is sun, wind and hydro.
> Isn't this just waterfall?

I don't think so, because the article is talking about prepping up the tools and infrastructure needed for the project, not the requirements and design needed for the program's business logic.
Ask HN: How to switch away from Android while keeping banking utilities?
I'd like to remove Google from my life as much as possible and the final step is to install an alternative OS onto my phone (either LineageOS or GrapheneOS). I've seen many suggestions to switch communication apps such as WhatsApp out for Signal, however I've not seen much discussion around banking apps. Many banks tend to have their own proprietary apps, with many important (verifying transactions/login attempts, acting as "security keys") and convenient (viewing transaction history quickly) features. I know some banks offer physical "security keys" which can replace the app but this does not apply to every bank, with some only offering their core services through the app and a stripped back version on web/desktop.

Have you experienced anything similar? What have you done to get around this? If I can't find an alternative method to access these utilities I'll probably just bite the bullet and keep Google around for a little while longer (or until I can switch to a bank that offers a web-only experience - tangentially, are their any banks like this?).

Thank you for your time!
but same as with the M1 in the air and in the pro: fan=more power and heat available

The MacBook Air M1 does not have a fan, it's passively cooled. The fan in the MacBook Pro M1 (non-Pro/Max) and Mac Mini M1 spins up very rarely.

Add the fact that in many devices you have to try really, really hard to be even able to hear

Then you have a lot of ambient noise. Everything from Intel MacBook Airs, Intel MacBook Pro 16" to Lenovo laptops make quite a bit of noise when under load (where 'load' can also mean something simple like a video call). Once you are used to a quiet machine (like an M1 Mac), it can be very annoying.
Thank you for the word of warning.

I'd like to eat a lettuce salad with cucumber and spring onions (standard stuff where I live).

What kind of indegenous preparation technique do I need to use to make the lettuce safe to eat?
I'm not convinced that Nix isn't polishable. Because the language is declarative, and can be pure if using flakes, it could readily be extended with simple tooling and UI configuration that make it look and feel like other distros, with the more low level constructs still available to advanced users. It's still in a phase where most users are power enthusiasts, so polish hasn't been priority #1, but someone will come along and make a more friendly wrapper one day.
DaVinci Resolve 18
> Isn't this pretty much true by definition? Fast thinking is the only thing you can do in quick games, so it has to be more prominent.

I think you might be implicitly defining "quick games" as ones where you only have time to think fast, so it comes across as a tautology to you. Meanwhile, the author writes in terms of continuums quicker and slower. I think the emphasis is on time pressure crowding out slow stuff that might make a difference. I.e. if the slower stuff made a difference, people that beat you at quick games might not beat you at slow ones ceteris paribus.
Of course there's a reference to the network resource and that's the reference that creates a cycle via its callback defined in a bigger object (e.g. GIU view) that awaits the results. There may be reasons why you want to keep the cross-referencing pair of objects alive until the request completes. Not saying there aren't alternative approaches, but it may be easier to do that way.

I came across this while coding in Java, when I realized a network request may be cancelled prematurely just because the GC thinks you don't need the network resource anymore, whereas in fact you do. There's no easy solution to this other than reorganizing your whole request cycle and object ownership. Classical abstraction leak.
Thanks for sharing your experience.
I'm considering this too as many others in thread.

The camera thing drives me nuts. My pixel 6 can't take a reasonable photo of a flat piece of paper due to spherical distortion causing blurring of text. Sure you can go 2x and hold the phone further as suggested in online discussions but it's nuts that this made it past any attempt at QA and testing.
I do tend to cook like this, but that's because I'm an inexperienced cook :-) I don't trust my ability to complete a prep task in the bounded amount of time you have once you've actually started cooking, so unless the time available is clearly long and the prep task trivial I tend to do most to all of the prep in advance. You're absolutely right that it takes longer in wall clock time but I find it less stressful, and that's valuable to me.
>> I have money. How can I get some crypto? From a middleman.

You can mine it and send to wallets, not exchanges, no KYC, no identity attached, and the fees for major coins are more than competitive with Paypal and Venmo.
Hmm, did anyone check the assumption in his statement?

See: https://www.ofzenandcomputing.com/best-fanless-laptops/

part of the date is rechecking assumptions as sometimes we do not re-check them ourselves before posting.
You can search into PS files too. On viewing then in a computer, GV+GhostScript will do perfectly fine.

Oh, and you can run Zmachine V3 games on an interpreter written in PostScript.
The obvious solution seems to be: Become better at making new friends.

Just because you happen to be friends with that person who lives two hours away from you doesn’t mean that they actually are, out of all the people within a two hour radius from you, the person most suited to being friends with you. Instead, most friendships are the result of mere coincidences.

For instance, most friendships result from school, university or work. And while the element of having a shared history might be somewhat important for a friendship, I would venture to guess that the real reason we ended up making friends there was that outside circumstances pretty much forced us to get to know the other person, thereby creating the opportunity for friendship to emerge.

So the real question becomes: Can you make friends with new people when there are no outside circumstances forcing you into contact? Are you able to be your own cause?