skysight-inc/HackerNews huggingface dataset:
The Ground Is Exploding Due to Climate Change in Siberia
The needs of the Nix language differs from that of a general purpose programming language. Its sole purpose is to output a self-contained and deterministic package build script. As such, it doesn't need persistent state. Every external input, such as source tarballs has their hashes verified so it should wield the exact same result every time it's evaluated. If any external input doesn't match expectations, evaluation would be aborted immediately.

> And it would not be possible to keep track of anything. No counting, no transformation of data, nothing.

All of this is possible without state. Counting could be done with, say, 'builtins.length'. As for transforming data, that's what programming languages literally do. The Nix language isn't an exception here. In fact, the Nix language has everything to do with transforming data. It transforms high level package definitions to lower level build instructions.

> I see a lot of overhead coming from these mental gymnastics with no benefit

At least with the Nix language, there's no mental gymnastics going on. Defining a package is as simple as it gets, as can be seen here[1]. The benefits are reproducible package builds and composability. Since Nix functions don't contain state, it's really easy to combine abstractions and make modifications to existing packages compared to conventional package managers. See the Chrome example in the NixOS Wiki[2].

[1]: https://github.com/NixOS/nixpkgs/blob/master/pkgs/applicatio...

[2]: https://nixos.wiki/wiki/Overlays
Restarting your whole session is enough but you must restart every connections between the sound server and applications. Restarting is just often the easiest way to do that because it shutdowns everything and rebooting is extremely fast nowadays but it is not required.
Their app is really bad.
The good news is that their screen sharing based on gnome's private screenshot API should stop working altogether as Gnome 41 is securing those APIs.

Their webapp is quite bad as well though and behind in features especially on Firefox on which, for whatever reason, there's no gallery mode.

They should drop their crap desktop app and focus on building a descent webapp instead.
Logicomix is a comic book drawn in that style about the search for the foundations of mathematics. Recommended! I have the impression that lots of HN readers would like it.

https://www.logicomix.com/en/index.html
Not without repairs.
A function which returns the same output (and has no side effects) if given the same input is a "pure function".

Things like network requests, or reading from files, or keeping track of state like a counter, are effectful. So, yes, a function which does these things couldn't be pure.

It's still nice to be able to have a pure function over an impure function. (Sortof the same "nice" as in "it's nice to not use global variables for everything in your code"). An impure function might be more difficult to think about than a pure one.

In languages like Haskell, all the functions are pure. But useful programs are effectful. There are different ways Haskell can still have useful programs while only allowing pure functions. (The most common way this gets done is using monads). -- One trick is "algebraic effects", this blogpost is an accessible intro: https://overreacted.io/algebraic-effects-for-the-rest-of-us/

Functional languages themselves are about a bit more than pure functions. It's about being able to pass functions around.. languages like JavaScript or Python have functions like map/filter/flatMap. Functions which take functions as parameters. They're a neat way of writing code.

The JSON program JQ's language is comparable to Nix. -- You could write your JSON-processing programs with Python (or whatever), or you can use some JQ expressions to do the processing.
911 location services, in case of emergency to be able to locate the caller.
>at every point in the supply chain if you tag your inputs and outputs properly then isn't JIT obvious?

That is assuming you handle your own distribution, or your distributors are willing to supply or let you have access to those Data. Vendors are increasingly demanding those Data so they can better predict sales for capacity planning. For distributors they are worry of vendors taking those Data and setting up their own base for their own distribution. Things gets complicated if you have sole distribution right within a region or other politics and power that gets in the way.
Introduce the Pkill_on_warn Boot Parameter
The journalist who leaked the Panama Papers got car bombed. https://en.wikipedia.org/wiki/Daphne_Caruana_Galizia#Murder
Zoom screen sharing on wayland has been hacked around Gnome's private d-bus screenshot api.
It doesn't work in any other environment.
Author read this and has no idea what you're talking about. I'm not doing anything to disable highlighting or searching and it works on every browser I've tested it on across multiple OSes and mobile. Give me some repro steps and I'll take a look.
You can have it repaired using fake parts or parts salvaged from broken iPhones. If it breaks, that is.

If the phone doesn't break during the two year warranty period, I've found that it's unlikely to break later on. (you have to treat it well, of course...)
Some versions contain Aspirin, other contain Paracetamol like this one: https://www.bufferin.net/products/premiumdx.htm
and they all use the same brand name
Not that I am questioning it, but how do you prove the authenticity of these sorts of videos? Could just hire an actor with a good accent and do some post processing.
Nintendo 64 Homebrew Game Jam #2. Make N64 games and give money to charity
I don't see why I shouldn't run out into a lightning storm when lightning strikes on people are so rare.

Consider that maybe the restriction is why overdoses are so are.
I'm a bit torn about this. I think a good compromise is for Apple to offer selling "genuine parts" to anyone who practically wants it; and maybe, allow changing parts once the main owner release control.

Apple's devices are quite expensive. iCloud locking have made them worth less in the black-market, but the components are still worth something. This will make Apple's devices worth next to nothing in the black market and as a consequence less of a risk of being a target of petty theft.
My small talk often seems to be a deep conversion to people.

Somehow, I got told multiple times that I'm a friend or even their best friend, by people who I didn't think much about. Which isn't bad for me, but I always felt a bit sad for those people...
> I don’t understand what the article is trying to convey.

Lispers are from Mars and Haskellers are from Venus. That’s it.
Depends on the method. You're safe from Russian hackers/malware if you're OS has the Russian keyboard added.

It's even a security precaution.

https://krebsonsecurity.com/2021/05/try-this-one-weird-trick...

Tldr: it's not hearsay
I'm in the same boat on not buying new Chromebooks. I was able to convert one of my old x86 one into a Linux machine by flashing the bios, but converting Arm ones is even less certain.
It's a wonder we don't all have cancer. Our large functioning multi cellular bodies are a marvel.
Evolving Yeast Shows How Complex Life May Have Arose
Un-american is considered a virtue by current society though.
> Crypto doesn't care who you are and where you live. Anyone can start with crypto. The only thing you need is a mobile phone and an internet connection that doesn't even have to be especially good. Most people today have both. Even though centralized exchanges such as Binance or Coinbase require you to provide identification documents, crypto wallets require no such thing. Crypto is a solution for anyone who needs to receive or send money anonymously.

I think it’s more accurate to say: Crypto is a solution for anyone who needs to receive or send money “privately” (rather than) “anonymously”. The idea that you don’t need documents or to provide additional self identifying information (like name and address) doesn’t necessarily mean anonymity, or (imo) should anonymity be a top priority even (not that that’s not important), but being able to spend and transfer money to places where tradition banking doesn’t operate or without being charged extra is.

Whatever mess a system’s/government’s economical plan might lead to, people’s money won’t be tied to it and wouldn’t be affected.

Also, you don’t really need a smart phone, any old laptop that can run Linux would do.(which are usually cheaper, more available and function better than a phone)
The irony of that statement is that a language whose version 1.0 was pretty much Go in 1996, is now seen by them as a PhD level language.
JShelter – An anti-malware browser extension
My 2018 MacBook Pro will throttle if you try to use both the GPU and CPU under full load.

My 2017 Dell XPS 15 would throttle if you looked at it. And the coil whine could be heard across the room.

My 2021 M1 MacBook Air is completely silent and barely gets warm under full load. It only has 8GB of RAM and outperforms the XPS and MacBook Pro. It also cost less than half those machines.
There was a documentary that showed Masahiro-san making this exact watch. I’m having trouble finding it right now, but it’s fascinating.
Hello my friend! If you have moved to colombia and want to meet someone, then I advise you to do it on the best colombia dating sites https://www.datingadvicehelp.com/dating-in-colombia/ . This site lists the top sites worth checking out. This is where the largest traffic of people is, where you can definitely find a person you like.
'fake' parts aren't 'fake' they are just made by someone else than the OEM. Salvaged parts do not count because for every phone you can fix there is one that you can't. The only proper way is to mandate that phone manufacturers supply original parts to those that need them, but because they'd rather sell you a new phone they don't.

One important reason why you want that original part and not a salvaged or non-OEM one for the battery is safety, this is a device that you carry on your person and the batteries carry a lot of punch. But the car industry has shown the way here, I can buy OEM brake discs and pads for my vehicle, I can also buy them from brand name non-OEM suppliers aka the 'aftermarket'. A similar solution would work well for phones, as would some minor design changes to facilitate repair rather than the opposite: design changes that make it harder to repair a device.
MacBook Pro 2019 has been the worst investment I have ever made. Since the day one it has been heating up and gives 2 hours battery backup. Apple has been useless in solving issue even though I got extra 2 years apple care. After 3 visits to their service outlet, all 3 said that our diagnostics shows no issues. It’s like we investigated ourselves and found ourselves innocent.

Finally when I went for the 4th time and switched on my Mac and made the guy touch the top panel(it was burning up) he agreed to check and fix it. After keeping the laptop for 2 weeks and replacing the screen and the top of the keyboard, the problem persists and I am out of options.

What’s the point of buying an upgraded version with i7 and 16gb if it over heats with simply a couple of tabs open on Firefox. smh
Mass tourism began in the 1970s. Airliners needed something that could carry 350 tourists to Spain or Hawaii cheaply.
UK fuel crisis: Government calls on army and foreign drivers to boost supplies
Unless perhaps if the cancer is transmissible.
Yeah, that was kind of tongue in cheek, but I feel it should randomly scare you to actually be effective. It's probably a good idea if you had to drive manually for a few minutes randomly, but the switch should happen quite suddenly so that you need to be paying attention constantly.
Crypto is a solution to the "problem" of centrally controlled money.

I'm just not 100% sure that it is a real problem, but those who buy it either believe it to be, or at least, want to hedge for it.
> Of course the other side is that people will not read the leaflet and take some stuff willy-nilly)

In the UK, for basically any medicine you buy OTC in a pharmacy/drug store, the store assistant will ask you if you're taking any other medication, and will tell you the dosage to take (by reading the packet). It's not fool proof by any means but it does mean that people get _some_ advice.
Ask HN: Is there any reason for a max password length in web apps?
Study Shows Ensuring Reproducibility in Research Is Needed
Is this a simulation ???
Can i use the knowledge from game to build a real life CPU.
> I wish there was a better solution for a Linux laptop which was sturdy, worked well (sleep, hibernate, wake from lock, bluetooth, wifi), and had a good screen and a lot of external ports.

Perhaps the Framework laptop would fit the bill?

https://news.ycombinator.com/item?id=28606962
Can you explain how it is more accessible? Grandma isn't doing crypto.
> DOS was popular because it had software from day one. And it had software because Tim Paterson had thought to include a CP/M compatibility feature in it, because way back in the dark ages somebody was smart about chicken and egg problems.

Good to see this idea being applied to break MS's own stranglehold on the market with Wine/Proton making Windows games work on Linux with minimal fuss.
That's a lot of bold claims in one post. Have you uany studies to back up the claim that it doesn't work, it's the leadong cause of liver failure in western societies, or that there's no good reason to add it to other medicines?
I call them fake because they are always of a lower quality, and on top of that sellers pretend that they are selling you an original part (check eBay, AliExpress...).

I see your point, but I don't like the idea of forcing companies to sell you things they don't want to.
> i would expect that system provided ones with system detection would be as good, but that wasn't always the case back then

Also in a previous life, I recall running into distro openblas packages that were not compiled with DYNAMIC_ARCH=1 (which enables the openblas runtime cpu target architecture selection, similar to e.g. MKL) but were instead compiled with some lowest common denominator x86_64 arch. I filed some bug(s?), and IIRC this problem has subsequently been fixed.
I mean, charging at specific times makes total sense, I totally agree (and there are currently (heh) ways to do that). But for vehicle-to-grid discharging, I'm not sure if the economics make sense. Someone smarter than I would have to do the calculus, but it's quite difficult to put a pricetag on the utility of actually driving the car.
Fuels made from carbon filtered from the air are expensive. Like... not a bit more expensive, but really expensive.

While there's some uncertainty about how expensive - this is technology that doesn't exist today - it's gonna require massive amounts of energy, which is simple physics.
Environmental devastation, at least in terms of footprint, is far worse, both in terms of space and noise. Water and processes are cleaner though. The weather is just fucked.
> 72 of them, or 75%, have shown a profit three months later.

That is surprisingly close to the number Matt Levine reported on some time ago. A group was trading almost exclusively on insider information, and (IIRC) 77% of their trades made a profit. It's a massive edge over other market participants, but only goes to show that even with that kind of information at your disposal, you are still not guaranteed to make money on every trade.

I wish I could find the article. The overlap between "Matt Levine article" and "insider trading" sets is large enough to make any search for a particular piece of news a needle/haystack problem.

EDIT: to clarify - when you are trading on inside information with the goal of making a quick buck, you are not interested in how the company will do in short term. You are trying to predict how the market in aggregate will react to that same information, once it becomes public.
And now I know why the floppy drive on our IIsi died :)
Great idea, and quality implementation!

I think the main thing you are missing right now is some seed content.

If I were you, I would start going through each recent search query and adding some content, even a sentence or two.

People are already searching, and you're doing a great job exposing this, now there just needs to be some results, and first-visitors may not be interested in doing the work for it.

I think you're on the right track, and your project has great potential!
I don't have a RM device, but from all I've read, it comes down to:

The Remarkable is a good note-taking/sketching device that can also display some ebooks. The focus is on the writing/drawing. The reading experience is limited.

The Boox devices are very powerful reading devices, with a decent sketching/note-taking function, and the ability to use most Android apps.
Most of these large corporations are large because of government interventions.

Articles of incorporation are a legal concept granted by the state. The investment landscape is distorted by gov. interventions in the market. Access to investment capital, regulatory capture, Cantillon effects and other factors favor large corporations over the small.

In a truly decentralized market environment, large players and monopolists would have greater difficulty competing with new entrants.
How does the economy work? A new Fed paper suggests nobody really knows
Yeah, that's the legend I keep hearing about my entire life and still haven't seen it happen even once.

People being "informed" does not nullify the fact there's literally almost zero choice nowadays. Not like Samsung or many others are easy to repair either...
There is no way to verify the screen is genuine in a way that could not be copied. The current way works because there is nothing that can be copied. The main board asks for a serial number and only it knows what the correct one is. No 3rd party can fake that without tailoring it to the specific phone.

It’s a real shitty situation but it’s a little more complex.
Re: Thieves stealing from thieves ...

I worked(*) with a credit-card scammer who brought in a software for creating "yes-cards": Cloned Creditcards that had corrupted chip and pin settings(See https://www.zeit.de/2016/05/kreditkarten-banken-betrug-siche..., sorry its only in german).

It was unheard of at the time that you could do this. So we set up a test to clone a credit card of ours. The kicker was, the software didn't work when you disconnected the computer it ran on from the internet. Security mechanism from the creator? Nope, it turns out after tracing/dissassembly it sent the data from the cards to a third party to sell it.

Our informant was first confused, then outraged. No honor amongs thieves!

(*) journalistically!
Regarding the lack of a CLI in Mac OS/System 7 as mentioned in the preface: There was the MPW shell, basically an extended C shell. It was available for free, but had to be installed as an extra. (It came as part of the Macintosh Programmer's Workshop [0], but could be run stand-alone.) – Mentioning it just to get the word out. :-)

[0] https://en.wikipedia.org/wiki/Macintosh_Programmer%27s_Works...
> All APIs are slightly unstable in some sense (even adding fields can be a breaking change)

Of course adding fields is a breaking change. It has never ceased to astonish me how little most programmers understand compatibility, I remember wrestling with libpng getting them to understand that e.g. no, "tidying up" the order of fields in a public structure you've published isn't safe back in the 1990s before they came to god and actually provided sane APIs which hide internal data structures.

Now, it's true that Hyrum's Law means any detectable change, even if it was never documented, will break somebody if there are enough people depending on your system. That's a big deal if you're the Linux kernel, or the HTTP/1.1 protocol, as it means even trivial "this can't break anything" fixes may break stuff. For example, as I understand it Google once broke search in Asia by changing an internal constant so that a hashmap would re-allocate (thus invalidating pointers to items in the map) slightly earlier. C++ code relying on pointers to just magically stay valid across inserts was completely wrong before they broke it, but anybody staring at a 500 page on google.com doesn't care why it broke they just want it fixed.

Most of us needn't much worry about Hyrum's law. That would be, as an old boss repeatedly told us, "A good problem to have" because it means you're having enormous impact.
“Legit service” stores actually can get the genuine parts and software though. This mainly affects DIY repair.
That's a really fair point - I had forgotten about the various manufacturer stores as I've never used them.

Come to think of it, distributing an raw APK isn't even that unreasonable (though more difficult to get exposure) - AFAIK this is how most gambling/bookie apps are distributed.
Not yet. The on and off-ramps are still way too complicated.
Getting an account with one of the established banks (a.k.a exchanges) is painful.
AML/KYC takes weeks, the user interface is a mess, every turn costs you "fees", trading is dominated by whales when they move their money around to pump some shit-err... alt-coin, and finally getting back into fiat so you can actually use all of the "in-game" currency is slow and expensive again.
While I work on a crypto solution through my startup, the current state of affairs has still a lot of room to grow.
These kind of projects remind me of elaborate fronts for money laundering... why?
Confession - once the article opened by comparing a 250MPH Tesla (maybe true, for short periods, in a few extreme-high-end models, on certain test tracks) to Boom's 1000MPH+ speed (which all their products will need to routinely & economically sustain, in the real world), I stopped caring whether the article's "facts" were true or not.

If somebody is telling me that their radical new physics theory is true "because I'm an assistant examiner in the Swiss Patent Office, just like Albert Einstein was..." - then I don't see much point in fact-checking their Swiss Patent Office employment claim.
Don't forget to mask pulseaudio, just disabling it isn't enough.
The only thing I have ever had to have done is battery replacements and those are offered at a fair price from apple or authorised repair locations.
What other word should I use? My wife took paracetamol, so the fetus was exposed to it.
The power to censor speech and control the spread of information is one of these traditional government powers and these companies routinely use it. In a democracy, control of information is as good if not better than an army. Installing a new government by force would get the international community pissed at you - the UN might even wag a finger at you angrily. Winning a democratic election because the people's beliefs were groomed by an algorithm in full control of which information they see and which they don't is something nobody will even know happened. Your government is as legitimate as any other and your power isn't much less absolute than any military dictatorship.

I'm not saying this will happen - it surely won't. But it could.

What will and already does happen is that companies won't replace governments with their puppets, but use their power over information to extract more and more value from the people and to get existing governments to make it easier for them.

Violence is a crude tool used by empires of the past. Even governments are starting to abandon it. Access to and control of information is the name of the game now. Governments need to hack, deceive and threaten to get information, but we've already voluntarily put these tech companies in control of ours. Governments have already lost on that front.