skysight-inc/HackerNews huggingface dataset:
land mass =/= habitable land mass.

Help me understand your view because I simply cannot fathom how you must think to want 500M people in Australia.

Have you traveled? Do you want to live the way people live in overcrowded countries? Do you think there will be some trickle down economic effect for you? Do you place any value on the environment?
This is the difference between deep and shallow handlers for effects. Since shallow handlers can easily implement deep handlers (by re-installing the handler itself) but deep handlers are simpler to use when they fit your use case, the plan for OCaml 5.0 is to give access to both version to users (without syntactic sugar nor a type system however).
Go ahead and go vegan... you can tell your kids you were decades ahead of most of your peers. Even if you don't particularly care what future generations think of you, the environment, or your personal health, going vegan can still be fun if you have enough buffer in your life to turn it into a hobby!

I will suggest some tasks to get started... what is the best vegan ice cream in your area? Ready to level up? What is the tastiest edible mushroom you can find in your city? If you've been going to a traditional grocery store for omnivores, you may have only ever been exposed to three different ages or strains of Agaricus bisporus (white vs. brown little mushrooms are just different strains... "Portobello" is just a bigger/older Agaricus bisporus). There's literally an entire Kingdom of life that the mainstream western food production system hasn't been making available for you to eat. Imagine if your grocery store only had one shelf labeled "Plants" that just had three colors of potato!
Are there any code editors/editor plugins that make effective use of python type hints? The python plugins for visual studio code didn't make much use of the type hints, last time that I checked. i was hoping that type hints would be used for code completion, but that doesn't seem to be the case.
Exactly. No subscription fees and OCR not working just as well.

I understand that botching your perfect brainstorming doodle with permanent pen gives a certain degree of anxiety. But one can treat those as drafts; you'll use up a lot of Moleskine pages before the cost breaks even with this.
You can compile code using reinterpret cast "incorrectly" in c++ just fine.
There are some lower hanging fruit in my opinion. You see it when dealing a lot with beginners:
- variable names that could automatically rejected as bad "car = Apple()"
- general confusion about singular vs plural: "cars = car"

Variable names are too important for the computer to be totally oblivious to their meaning, yet this is how all programming languages work.
My mistake he was hooked on benzodiazepines (lie corrected for you).

Which I have just discovered are like opiates on steroids. I am shocked that as a clinical psychologist, he was unaware that it was such powerful medication.

That said I think he has done some great work.
‘Dancing molecules’ successfully repair severe spinal cord injuries
If the problem is the syntax and people wants some other format that compiles to nix, there's dhall

https://dhall-lang.org/

https://github.com/dhall-lang/dhall-haskell/tree/master/dhal...

https://www.haskellforall.com/2017/01/typed-nix-programming-...

Dhall is a generic config language with some programming capabilities (but not turing complete) that can compile to json, yaml, and other formats, like in this instance nix.
NFT isn't suitable for a patent
Honestly I don't like NFT at all
Which I have just discovered are like opiates on steroids when it comes to addictive properties.
The second half of the quote? At least I think that's the implication. i.e. No incentive to make it unlimited, or even an incentive to make it limited if unlimited found first. (Or both, and way mark-up the unlimited one.)

Not saying I agree/am quite that suspicious/pessimistic necessarily, but that's how I read it.
No password, hard to make copies, takes up more space in my bag, can't easily move things around or rework once you've put something on the page, end up with a stack of notesbooks that need disposing of, harder to file and easily look up things from a certain date or category.
Nice guide! One thing I noticed missing is how to use nix flakes (e.g. in place of niv). That is my next thing to understand, and I want to convert my NixOS / shell.nix files to use them.
Crypto and NFTs: Network Effects in Web3
Two parts here:

Crime in the USA:

>The US has good rule of law and enforcement. Even SF, as much as people complain about it, has historically low crime rates. Police stats show crime hasn't drastically increased, but videos of crimes are being shared virally, increasing the perception of crime.

I'm rather doubtful of this, especially with the spat between the police and boudin regarding the stats. However, comparing what I've seen and been told SF to multiple other cities I've seen, the US seems to be in a particularly bad situation, crime-wise. Car break-ins are rare in what I'd consider low-crime cities. Where I live right now? They're completely unheard of.

Furthermore, you get a lot from the type of crime. This isn't some desperate poor person trying to sneak essentials. It's blatant, bold shoplifting that clearly demonstrates that they have no expectation of retribution or arrest.

Security nets as the end-all:

My take on this is that it boils down fundamentally to incentives. Social security nets help on one end, reducing pressure on said desperation, reducing the desire to steal for some. Proper, consistent enforcement helps on the other, providing a countermeasure to the fundamental incentive of "free stuff". A common refrain here is about how incentive structures can result in dysfunctional results. The standard example is the company that breaks the law, earns a billion from that and gets fined a couple hundred million. Why is it that this no longer applies once you talk about property crime.

"Tough on crime" is a red herring here. It's not just about the penalty. It's also about the consistency of enforcement and likelihood of arrest/capture.
I instantly realized this "art" was generated by computers since it has all the characteristics of computer-generated "art": All surface and no substance. Which is why it's not really Art.
We should optimize for those who have mastered the language, because that is where each of us will spend most of his career. Helping newcomers is nice if it doesn’t come at the expense of the majority.

The top of the learning curve is the point where the language no longer has any help to offer, and that should be as high as feasible.
Interesting. What would the benefit be of changing endianess at runtime?

From an efficiency perspective does that mean the chip has to do both so worst of both worlds?

[I dont know much about the world of cpu design, these might be stupid questions]
If you read everyone else's comments, you can use it without the cloud service.
The thing is - lobsters are an easy problem. We can (theoretically) collectively decide that lobsters shouldn't be touched at all and nobody will be hurt (some fishers maybe?). But the same logic about "feeling" pain is applicable to practically anything as is demonstrated in the comments below. And then it becomes a humanity problem - can we kill living organisms for ANY reason?

There is no easy, or even hard answer at all for this. And won't be in the nearest future, simply due to a sheer scope of the problem, number of different kinds of organisms and numbers of reasons they are being killed today.
> By example, C++ templates are structural types and error messages are really hard to decipher.

To be fair, C++ templates are not structural types, they are (together with C++ function overload resolution) an (almost) purely functional untyped programming language, producing C++ programs as output.
I would be genuinely curious to know how many people do ssh based tricks instead of paying for a subscription. Is it really worth pushing away your initial tech-savvy crowd for those couple of people that are not annoyed enough to leave?
Better not. The so called OS is not able to show the DVD drive in Windows Explorer. Programming is a lost art.
Currently countries with higher mRNA COVID vaccine coverage have (slightly) higher covid-mortality than countries with low/lower vaccine coverage, so I'm not hopeful. I think crispr might have better odds.

source: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8481107/?fbclid...
Is the standard library type checked?

Are there still mistakes in the typeshed like 2**-1 is int?
To quote him:

“I support her policy on Julian Assange. I support her immigration policy. She says that she’s going to have a policy to help general aviation. I’ll certainly support that,” Mr Smith told the Daily Telegraph.

“I agree with her views on immigration numbers, that is about 70,000 a year, not 200,000. But I do not agree with her views on Muslim immigration.”

I think this was a mistake on his part.
This is already in a language that is not represented by ASCII.
> Actually, I already find it strand that you can call the package manager like that, shouldn't there be a declaration of the packages I want somewhere, should I not add the package that list (maybe a Yaml, like my docker-compose.yaml?) then ask Nix to make the installation consistent with the declaration?

Yes, I completely avoid 'nix-env' for that reason. It maintains a bunch of symlinks behind-the-scenes, but the 'nix-env' command itself is imperative.

If you use NixOS, the config option 'env.systemPackages' specifies which programs to install. This can be declared in the /etc/nixos/configuration.nix file. There are similar approaches when using Nix on non-NixOS systems (e.g. using the 'buildEnv' function from Nixpkgs to combine multiple programs into a single derivation/package, and install that)
I don't really want to go down this argument because I know that plants and animals are not comparable.

The comparisons you are making make no sense because plants live in a totally different way from animals: cutting plant leaves is obviously nothing like cutting animal limbs, and plants routinely stay juvenile their whole life, and generally stay partly juvenile in any case. You just can't compare growth between animals and plants.

My examples, freezing outside, depriving them of light or being subject to thirst are actual plant mistreatment IMO because they will die from it. Avoidable death is generally considered a bad thing for living beings.

I don't think one can have empathy with plants at all because they don't have feelings comparable to animals, but suggesting like you do that they simply cannot be mistreated does not look like a good faith argument to me.

Note that the only comparison I made between animals and plants is that we don't have to value all animals the same, and we don't have to value all plants the same either. You didn't refute this, so I don't understand why you're going on about anthropomorphizing plants (especially when I didn't talk about humans at all).
Oh I know what the gun nuts in the US say. I don't believe their view is universally shared.

I agree that there is no way to reliably perform a "non-lethal" shot which gets us back to my previous message: you'd better not bring a gun to a knife fight if you don't want to end up sitting in jail for killing. Use-of-force experts here would not recommend shooting at all if there's any chance a missed shot is going to hit someone downrange, unless again it can be shown that killing is absolutely the only choice left.

However, if you read the news here, you find that the police regularly manage to hit a leg and thus disable the assailant without killing them. Every time this happens, there's going to be an investigation into whether gun use was justified. And if the assailant ended up dying, it'd be much worse for the cop.

I don't know if they're specifically instructed to aim for legs, but maybe it's easier to stop bleeding than to revive someone with a bullet in the heart.
Well .NET are going in the same direction as Java - as the top comment here observes the speedups come mostly from profile guided optimization which has been Java's forte since Java 1.1 or so. And .NET PGO is off by default, still, so it's got a long way to go yet.
Can they stop you from doing this yourself?

In software, the trick is it is licensed not sold, so you are not allowed even if you can do something.

But a car is sold. So if you want to cut of a piece of the car, what's going to stop you?
It's a little confrontational, but when you do this in person you would usually do it while retaining eye contact. That is, you don't ignore them by staring out the window, you pay attention to them. Effectively asking them to either say something else or reconsider what they just said.

Disagreement/conflict is not necessarily rudeness. And "respect" has to go two ways; the silent non-response is often a good way to say "what you just said was vaguely insulting" (e.g. can you work for free) so I'm not going to dignify it with a response.
Hardware looks good at first sight. But a device like that depends so much on the software.
See also: `String.prototype.localeCompare`

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...
Then my point was not going to be considered anyway. That is typically the case only with exes.
They are financed by Google.
Like, how Linux DEs change their standard APIs so often that unless you've targeted X, it sucks? There are reason for having sensible standards. You can say something bad about Windows, but the paramount stabilty (despite their multiple changes in theming) is very appreciated, thank you.
never forget what they took from us
I basically only want color for reading comics.

on edit: clarified.
Hum, good to know. I’ll stay on my Sony then: it syncs with my phone only.
I think it was made for lawyers etc…
I have my ongoing business and it gives good income
Also where I live it's not easy to work on tech and I can't leave my current business
How can I make a company for that without me in it?
Hi - my pleasure!

It's as mkl said - a static site generator. It's a Python-based one so I was more comfortable customising it.
I love Django and have been using it for many many years. Lately, however, I’ve been finding it increasingly difficult not to be annoyed by some aspects of the developer experience. For example I’d choose React + Typescript over Django templates any time of the day.
There is a 2021 iOS version https://apps.apple.com/de/app/hammerhead-rhythm-station/id15...
Well, the Java approach is philosophically somewhat different. C#/.NET is closer to C++ where they are very willing to complicate the language and APIs to make the job of the runtime or compiler easier. Java just philosophically refuses to do that, more or less (perhaps you could argue that's changing a bit now with value types).

So in Java they just made exceptions really fast. There are lots of runtime optimizations around exceptions, for example, if you regularly parse strings that aren't numbers then the resulting exception will automatically stop having its stack trace filled out, which makes throwing drastically cheaper. The JVM can also inline the code and then convert try/catches to ordinary gotos.
> more than 30x faster than MicroPython on an ESP32

Based on a quick look at the file “interpreter_run.cc”, Toit’s VM appears to be a stack-based interpreter like MicroPython’s. It would be interesting to know what techniques are being used that enable Toit to be so much faster.
Same experience. Very very disappointed by the software, and now they are making it even worse by locking more and more of it behind a paywall. The device was nearly 650$ for christ sake.
Meta commentary:

The code that I started from was written by RiversHaveWings based on a method by advadnoun with further modification by Eleiber and Abulafia.

Metaverse or otherwise, we're definitely moving towards self-chosen names that only really work in the electronic-life realm. I'm aware this has been a slow shift over decades, but the sentence above is 33% online nomenclature by letters.
Voronoi is super popular and typically is a component of solutions used in practice, we did write another article that covers what some of those might look like: https://www.pinecone.io/learn/composite-indexes/

TLDR Voronoi + HNSW is popular
Setting Up MetaMask for Arbitrum
Good luck ever getting a warranty or return done on these. Look around at their support. It’s awful. I had to file a dispute after they wouldn’t provide a refund for my return after nearly 30 days of non-movement of the return (their label, their shipping carrier).

I would strongly caution you run away. Worst customer support I’ve ever experienced.

Edit: I will never understand people that downvote a warning like this. But HN, you do you, I have karma to burn and if this warning helps one other person I’ll consider it worth it.
>Then let's wait until we have real data before jumping to conclusions.

What kind of proof would convince you that the 'vaccine' is in fact the biggest blunder or the biggest planned depopulation event in history?

A written confession from Arch Lector Sult?
https://ryf.fsf.org/products/TET-BT4

No mention of the half megabyte of proprietary Bluetooth stack firmware (with significant security and privacy implications) that's in that dongle which supposedly "Respects Your Freedom".

https://ryf.fsf.org/products/VikingsX200

No mention of:

* Proprietary CPU microcode ROM (full access to CPU/memory, security critical)

* Proprietary embedded controller firmware (H8S, connected LPC bus, full access to all memory, security critical, might be able to cause physical destruction / a fire with the right GPIO abuse)

* Proprietary TPM firmware (connected to LPC bus, full access to all memory, security critical)

* Proprietary USB camera firmware (connected to USB port, very large attack surface for OSes)

* Proprietary Bluetooth module firmware (connected to USB port, etc.)

* Proprietary USB card reader module firmware (connected to USB port, etc.)

* Proprietary SATA HDD firmware (can access/modify all user data, security critical if you don't use FDE + integrity)

And those are just the ones I could quickly pick out from the schematic; pretty sure there's at least a couple more major ones and even more minor ones. All the other laptops they endorse are in a similar situation.

How, exactly, are the FSF informing users about the devices they endorse?
there is no simple solution which can be summed up for a ycombinator comment.

that doesn't mean that the issue isn't real or isn't happening, because capitalism very much incites this kind of behaviour. That doesn't mean that abandoning capitalism is the right approach either, because that also solved other issues that would come back without it. Its just not an easy situation, but its nonetheless a reality that we have to admit that this kind of behaviour is highly rewarded with our current system and expect corporations to do whatever they can get away with, because most of the people that reach the highest position are amoral, simply because you cannot get to this kind of position without having that character trait
I'd much rather see ancient building materials like cob, rammed earth, straw bale, etc, go mainstream than this plastic junk. However, one thing is for sure, is that we can't keep building McMansions.
How not causing pain to animals when cooking them relates to intelligence? I suspect that my comment can sound blunt to you, so let me explain. When a human wants to eat something, their goal is not only to eat, but to do that without harming their emotional state. E.g. if I (or anyone) wanted to eat badly and catched an animal, I wouldn’t boil it alive, because it would scream of pain and hurt my mental state. But if it doesn’t show any signs of it under the lid, like a crab or a lobster, then what’s the deal? Why go to lengths cutting specific nerves behind a hard carapace, if it does zero harm to me? I see that it may do harm to you, but animals suffer all the time, everywhere in the nature. I don’t understand how to think this way and not burst in tears every minute of my life. Isn’t it more intelligent to accept the fact that the nature sucks and you can’t do much to it? I’m not writing it to bother you, I genuinely don’t understand the logic of said relation.
I can understand the claim the M1 has the same timings as off-the-shelf DDR4 (thought this was a nice way to explain the apparent increases in memory bandwidth shown in benchmarks), but here you are dismissing the concept of HBM entirely.
This article talks about infection rates not mortality. There's a big difference.
"I don't know or care what a character is. You're a character. Now limit this field to exactly 50 letters. Not 51. And not 49."

And that client doesn't consider spaces nor punctuation as letters. Numbers count, though. Thankfully at the time emojis were not a consideration.
Can Firebase and Python work together?
And that Atom processor has way inferior security than current day processors (also less attack vectors so who knows). Although what's in the OP doesn't seem to worry me that much, if it were as disastrous as others commenters suggest, this situation would just be resolved by market forces hopefully.
Having used this, it's fine, but not that great compared to similar products. I understand some people do like it.

That said, has anyone else noticed the quantity of reMarkable posts here (about once per quarter) with hundreds of votes that are essentially ads for the product? reMarkable clearly has a large advertising budget given the amount of ads I/others see from them on social media. Is it possible that they're purchasing HN votes?
> It is not! LPDDR IS NOT DDR!!

And is that what explains the apparent increase in memory bandwidth?
A Tesla inspired feature of an old playbook?
Plunge in lithium-ion battery costs
But can I be sure that an update can't change that?
Would you be comfortable with sharing a photo of the beanbag room?
No one would see any difference, any perceived difference in quality is a meme
I used to find trying to entertain people by playing the piano extremely tiring and challenging. I was just so bad at it. The more I tried the worse I felt.

Then I took piano lessons, practised a lot, and learnt three songs quite well.

Ever since then, when I’m at a party where there’s a piano, I’ve played one or two songs, then spent the rest of the night talking with people about music.

Learning to play the piano has helped me to overcome my social awkwardness. Now, instead of strangers feeling like an energy drain, it’s like they charge my batteries.
Or compared! How did I even forget about that. There is no form of normalization that covers all use cases.

Full text search... Oh I want to cry...
Neither processor is open source
You could plausibly capitalize the ß into one of the homoglyphs for S. Then, lower() could detect the homoglyph and know how to lowercase it. This will have some side effects, though (e.g. a doubled lowercase version of your homoglyph will now not round-trip).
It's not just the syntax (for me anyway). I just don't care about the how the derivation composes in practice, how it does overrides, how it integrates with flakes, how it applies the best-practices-of-the-day. I see the derivation as pure function as a cool theoretical exercise - but not something I want to actually write.

I want to actually declaratively say: here's an autotools package with some parameters I defined, give me the fancy overridable pure nix equivalent.
It's part of the secret plan. Governments make sure they appear to be hopelessly incompetent at almost everything, so that nobody believes they can execute on conspiracies flawlessly.
Emails and texts also have a rhythm. Perhaps the outlined strategy can be modified here, by taking more time to respond than your previous replies.