skysight-inc/HackerNews huggingface dataset:
Tangent: Been looking to switch email providers for a while, and hadn’t heard of Tuta. Looked good enough I just went ahead and signed up… only to find out apparently they provide no real data portability whatsoever.

The only option for getting your email _out_ of their systems is to select small batches of them one-by-one in their app and export them.

There have been many requests for something similar to Proton’s bridge functionality that haven’t gone anywhere. A more useful export function has been near the top of their public roadmap[0] for half a decade now it looks like.[1]

Guess I’ll go find out what their refund process is like.

Don’t mind me. Just yelling into the void.

[0] https://tuta.com/roadmap/
[1] https://github.com/tutao/tutanota/issues/1292
Environmental Changes Are Fueling Human, Animal and Plant Diseases, Study Finds
It's about time!

As a former Marine infantryman I've always admired the "do less with more" flexibility, practicality, and innovation of the corps.
Only 61 years old! Stunning to think that he was mixing some of alternative rock's most influential releases 30-35 years ago.
Yes, 10 years after the initial announcement, Tesla has just now got around to ordering some LIDARs for capturing ground-truth training data. They then went out of their way to get the one LIDAR made to look palatable to end customers instead of the superior industrial ones everyone puts 8 of on their recording cars.

Not very credible.
This is my daily GPT driver, so for almost anything from research to keeping my snippets tidy and well organized. I use voice input a lot to take my time and form my thoughts and requests, text-to-speech to listen for answers too.
What you are asking for sounds quite a bit like what rustc does.

Rustc (outside `extern "c"`) offers no guarantees on the ordering of the fields, however, it guarantees that every instance of struct A will have the same ordering during that particular compilation. This allows rustc to compile external crates (as long as no monomorphization is needed) in a consistent manner across all crates that depend on that.
Replying to myself a week after I posted this -- AlphaFold 3 paper today -- this is precisely what I am talking about. Wow! https://www.nature.com/articles/d41586-024-01385-x
> Do you think working at a FANG would make you a better developer?

No, but I do expect any reasonably competently run company to figure out that the person they hired isn't actually able to do their job, especially after 7 years. I was also under the impression that this company actually did coding challenges as part of their interview process, yet this person managed to slip through their interview process. On the other hand our approach to just talk about programming in general terms seems to spot this type of candidate pretty quickly.

One of our most used questions is to ask people to tell us about something they don't like in a language or tool (one the candidate is very familiar with or enjoy using). It's pretty hard to imaging even a senior Java who doesn't have some pet pew about the language.
Now do Covid.
So much for Isaac Asimov's Laws of Robotics

https://en.wikipedia.org/wiki/Three_Laws_of_Robotics

Violations started years ago, but this is blatant. Wonder how long AI will be used for these. I am sure that is being researched :(
Antenna for NVIS:
https://0x9900.com/80-meter-nvis-antenna/
This is really cool from a technology point of view but the main attraction of climbing for me is figuring out how to "solve" the climb. Trying to solve a crux with a buddy is half of the fun for me.
Copenhagen Interpretation of Ethics. I'm innocent of anything I ignore. Inaction absolves me of all moral failure.
To me it's just a creative way to describe his current appearance using a ("fake") adjective instead of "with a noun". Basically just turning a noun into an adjective for the fun of it. Because it's a short written piece, it's just a fun way to call attention to his having (or not having) a distinct physical appearance at two points in time.

So these aren't "real" words, and as far as I'm aware there isn't really any double entendre. It would be like saying "he sat there, t-shirt-edly, and blah blah" and then later, "he appeared, un-t-shirt-ily, blah blah" to describe him being dressed vs shirtless. Not the best example, but yea, your interpretation is correct.
128-bit LPDDR5 supports 64 GB. You can see this in a few laptops.
You'll have to be more specific... Does that ban cover everything down to alphabetical ordering?
If I sell you my physical book then that's easy: delete(arp242.books, "The Winds of Winter") and jcranmer.books.add("The Winds of Winter") both in one easy atomic operation done by me handing the book to you. Libraries basically work the same.

"I promise to delete the copy from my drive, cross my heart, hope to die" is a lot more iffy. How do you verify that? How could you possibly even go after any cheater? Respectfully, I think you're being too dismissive and naïve about this because abuse will be rampant and widespread with zero recourse.
What could be interesting is if you could compare your attempts to the avatar climbing and receiving feedback afterwards. This would effectively be a step up from simply recording your send attempts.
And they've been doing this for several years already, with Luminar hardware mounted on engineering vehicles with manufacturer plates.

https://www.cnet.com/roadshow/news/tesla-model-y-luminar-lid...
“Nobody was ever fired for hiring IBM”
I mean, if someone answers 'no, got a couple years before I'm eligible', or 'no, I don't need it for this line of work', you still probably got an idea of whether this person works in an engineering discipline.
My impression is that the oil filled electric radiators are safer than non oil filled ones, which get very hot and can start combustible things on fire (eg curtains). Whereas the main danger from oil filled radiators is overloading circuits/extension cords, especially with older or less than solid connections.

That design is certainly bad for shock/electrocution risk, but how much does that really move the needle on property insurance claims?
Not exactly related to conversation but given that you mentioned (discriminated) unions, here are notes on recent design work:

https://github.com/dotnet/csharplang/blob/main/meetings/2024...

https://github.com/dotnet/csharplang/blob/main/meetings/2024...
Not to mention github profile eval would be much easier to game in the age of LLMs if it were to become mainstream. You can already kinda see the effects of these with people sending you mindless PRs fixing grammar and whatnot if you maintain any popular projects.
It's "Zig" not "Zag". https://ziglang.org/ Zig is under heavy development, but there's a single page https://ziglang.org/documentation/0.12.0/ that is a reasonably comprehensive source of truth about the current state of the language.
Subscription fatigue is real :)
It does on my MX Vertical. It also lets you set different actions per app. I've used that to bind the forward and backward buttons to do the right thing in most apps I touch so I have a universal shortcut for that navigation.
The FFM downcalls in OpenJDK compile down to argument shuffling + a CALL instruction (in "critical" linker mode), i.e. the same machine code gcc/clang would generate for a call from a C program.
how prevalent is this? if it wasn't the guardian i'd assume the revelation was a bit.
Read this, and recursively (breadth-first) read all its transitive references:
https://www.sciencedirect.com/science/article/pii/S096921262...
> We mostly don't have stock certificates anymore. They're all electronic assets. But you still own your shares and they can't be freely copied or counterfeited. Why can't we do that for digital intellectual property?

I mean, Cede and Company owns most (all?) of my shares[1]. That's a model that could work --- let a specialist company setup accounts to buy games, and then control access to those accounts. If you want to 'buy' a game, you ask your broker to ask Cede and Co to get you an account, and when you want to 'sell' it, you ask your broker to ask Cede and Co to change the password and give it to a new 'buyer'.

You can do it individually, but a steam account per game is cumbersome.

[1] Well, I have vanguard traditional mutual funds, mostly in vanguard traditional accounts... they might keep the records for those directly in their own books.
It's not a worm, it's a Goa'ould.
I still have some hopes that it will evolve towards a P/Invoke like experience.

While a step closer to Valhala, the whole dev experience is still quite lacking versus what .NET offers.

Currently is too much like making direct use of InteropServices.
Put them in a jar?
> California’s digital id has a way of verifying age without revealing anything else about your identity called “TruAge”

I'm not familiar with the system, but I assume it would necessarily have to reveal the sites you're verifying with to the State of California.

So it's less of a big deal, as long as you're okay with sending a record to the government about what site you're visiting every time you want to sign up somewhere or re-verify your age.

I'm sure someone in the comments will propose some cryptographic solution where neither party knows anything other than the fact that someone, somewhere, possesses a token associated with a person over the age of 18. If you think this is viable, you're not thinking like a kid trying to get around this system, nor a blackhat trying to take advantage of it: Many people would immediately set up a service that handed out age verification tokens in exchange for viewing some ads (the file sharing site model) if there were no limits and nobody could trace it back to the source. Any ID verification system must necessarily have some party able to verify the person to avoid abuse like this.
For sure, it was just the main page. On my phone I can't scroll down (Iphone XR, latest ios). Behaves like an image, i can't even select text.
Why did you ignore the link i gave you above?

If you follow that link, you'll see polars and parquet are a large highly configurable collection of tools for format manipulations across many HPC formats. Debian maintainers possibly don't want to bundle the entirety, as it would be vast.

Might this help you, though?

https://cloudsmith.io/~opencpn/repos/polar-prod/packages/det...
To add to this: I bought a Steermouse license well over a decade ago. I paid once. I’ve been using it ever since and it’s maintained and updated. No subscription. Isn’t charging for updates. This is what software should be.
Here's a fun anecdote about the Software Engineer title from a previous job

I'm in Alberta, Canada and my understanding is "Engineer" is a protected title here. My team was made up of some programmers who had actual engineering degrees, who had Software Engineer as their job title. They wore the ring and everything. The rest of us were "Software Developers", which is honestly really fine with me

We wound up merging with a company based in the USA, including merging with their software team. Of course all of their programmers were "Software Engineers" but none had actual engineering certification.

I brought this up with the department head at one point. I was concerned that the new programmers with Engineer titles would be given more weight compared to those of us with Developer titles, despite not actually having any additional credential over us. I was assured that would not be the case. In fact he acted appalled that I would even suggest something like that. After all it's just a title and of course everyone is too smart to get blinded by job titles

Anyways you can probably guess how it wound up playing out in reality

Job title worship is a real thing
What I can tell you for sure is that self-regulation was not very beneficial to the society as a whole ( see current cell phone impact on youth ). As to whether government regulation is a bad idea, at this point I believe it is an interesting academic objection thrown in that happens to be true often enough to an extent, but then hijacked by corporations trying to avoid actual regulation.. ie. biased at best.
Or like in Europe, mandate showing prices with taxes, so if I will buy goods for sum of x EUR, I will pay x EUR at the register.
I would install right away if this is the case.

I really distrust putting my API keys into brand new and unknown websites, just seems like credentials harvesting to me.
"Best methods" is doing a lot of heavy lifting here. "Best" is a very multidimensional thing, with different priorities leading to different "bests." Someone will inevitably prioritize reliability/accuracy/fidelity/interpretability, and that's probably going to be a significant segment of the sciences. Maybe it's like how engineers just need an approximation that's predictive enough to build with, but scientists still want to understand the underlying phenomena. There will be an analogy to how some people just want an opaque model that works on a restricted domain for their purposes, but others will be interested in clearer models or unrestricted/less restricted domain models.

It could lead to a very interesting ecosystem of roles.

Even if you just limit the discussion to using the best model of X to design a better Y, limited to the model's domain of validity, that might translate the usage problem to finding argmax_X of valueFunction of modelPrediction of design of X. In some sense a good predictive model is enough to solve this with brute force, but this still leaves room for tons of fascinating foundational work. Maybe you start to find that the (wow so small) errors in modelPrediction are correlated with valueFunction, so the most accurate predictions don't make it the best for argmax (aka optimization might exploit model errors rather than optimizing the real thing). Or maybe brute force just isn't computationally feasible, so you need to understand something deeper about the problem to simplify the optimization to make it cheap.
See sibling comment, this wouldn't be a first time occurance.
For a text based version of the "tree of chats" idea, using Emacs, Org mode and gptel see `gptel-org-branching-context`in:
https://github.com/karthink/gptel?tab=readme-ov-file#extra-o...
What would a universe look like that lacked simple things, and somehow only complex things existed?

It makes me think of how Gaussian integers have irreducibles but not prime numbers, where some large things cannot be uniquely expressed as combination of smaller things.
I do use that feature, it barely improves search at all unfortunately.

I just did a quick test of a pretty standard use-case for me, which is to search for a package's tracking number in my email. I literally opened the email in the Proton Mail desktop client, copied the tracking number, pasted it into the search box, and...no emails found.

Pasted the same tracking number into Apple Mail (which uses Bridge) and it found the email immediately.

Yes I have "Search message content" turned on and yes it finished downloading all of the emails.

So either the search function itself is fundamentally broken, or it's not actually downloading all of the emails to search them even though it indicates that it does.

This is just one simple example, but in general regardless of whether I have "Search message content" enabled or not, I have to pretty much know the sender's email address to find anything reliably.

It's really a major usability issue, and the main reason I don't recommend Proton Mail to my friends and family.
"I would like to be paid like a plumber: I do the job and you pay me what it's worth. The record company will expect me to ask for a point or a point and a half. If we assume three million sales, that works out to 400,000 dollars or so. There's no fucking way I would ever take that much money. I wouldn't be able to sleep."

[0] https://news.lettersofnote.com/p/nirvana
You do it the standard way, package them inside the jar file.
What do you think the odds are that someone will give you a state token attesting to you being 18+ and that the issuer won't keep a "paper trail" back to your identity so they can prove they did their due diligence?

I'll give you a hint. It's 0%.

The recurring theme in all these systems is that everything you do online can be tracked backed to your real world identity. What happens when all the major tech platforms require some kind of attestation to participate and publish information? Can you still criticize politicians and rich people after that?

At that point I'd rather just go to BestBuy and buy a "not a bot" card for $100 cash.
RIP. I just bought Shellac's debut album recently, and they have another set to release soon.

I recommend the Kreative Kontrol podcast episode with him and Fred Armisen from last year where they talk about their experiences in the Chicago music scene.

https://open.spotify.com/episode/1BeHekAjVm72b9Sc9FlCtu?si=6...
There were civilian ships being sunk off the coast of Yemen, luckily America has the force projection capable of putting a stop to that.

Russia would have taken all of Ukraine if it wasn't for American force projection.
> I am unsure where the proof, or even supporting argument

You make a lazy function strict by asking for its output now rather than later.

> An eager semantics supports the expected semantics of types (for example, the natural numbers are the natural numbers).

What a (counter)example! In lazy semantics the natural numbers are the natural numbers. In eager semantics the natural numbers are stack overflow.

> moreover, admits definition of the lazy forms of these types using suspension types

This is the required modification that your library maintainer would need to make if he had produced a strict library that you wanted to use lazily. Hence "You cannot ask a strict function to behave lazily."

> There being no representation of the eager types in a lazy language

Because the lazy representation is the same as the eager representation in the source code. It's up to the caller to demand values now, or later, hence "But you can ask a lazy function to behave strictly."
Someone should come up with a language called Zag just so they can say “zigged when he should have zagged”
It's not, before Oct 7 the PIJ was regarded as some different more extreme counterpart to Hamas.

After they fought and coordinated together, raped, massacred and kidnapped, I don't see the difference anymore
> - Use it as a loss-leader to go on "talks" tours (like musicians)

Copyright is a mess and its mere existence pisses me off sometimes, but it sounds even worse to expect someone to be so unable to make money from their work that they have to use it as an ad for doing _more_ work.

I fully support authors who want to do that, but I also support authors who don't.
NYT editor Joe Kahn says defending democracy is partisan act and he won't do it
After playing with the software a bit:

The view that diffs environment variables of a process with the ones from the parent process is very nice.

Could you add a feature that makes it possible to search/filter the "Environment" panel, maybe even the events panel?
Often one wants to figure out how a certain argument, environment variable, or assigned value of each of those finds its way into a process. Being able to filter that quickly would be great!
Wealth above $50M or so is generally not useful for consumption -- your second private jet and your 7th house add very little marginal utility.

What great wealth is useful for is power & status. But you often don't consume wealth to gain power & status -- spending $44B on Twitter isn't consumption.

The best way to tax the wealthy is to tax wealth, not consumption nor income.
They might be using them to train robots like Optimus, given Musk's statement.

Also why is the tone of the article so toxic.
30x the cost though...
Can you explain more of what you mean there?
FWIW, HN's April 6th item on this, with 14 comments:

https://news.ycombinator.com/item?id=39953514
Over the course of working on an array of applications using Elasticsearch I have developed a new respect for SQL. ES's JSON query language is a royal pain in the ass. It has a new-ish SQL-like query language now but that didn't come along until I'd sunk too many hours into the old one.
How data hungry is it, or what is the minimum volume of data needed before its worth investigating?
A million dollar robot dog would be blown up by a toy drone in a minute
The mission of libraries is generally to increase access to works, not reduce. Your plan would hit the group who needs it most - the working poor who don’t have the means / time to go to a physical library.
Yes, and stop using screens as a pacifier. People don't like to be told how to parent, but I'd settle for them just parenting. Shoving shit in your kids hand to shut them up isn't parenting.

I used to blame the shitty influencers and internet at large for the selfish greedy brats, but it's their parents. I've met too many exceptions where the difference was just "We limit their screen time." Maybe they end up shitty in some other way, I dunno, but at least they're going to be more functional than my nephews who my SIL is constantly trying to figure our how they get sucked into racism and greed and what to do about it. Stop letting them get all their views from greedy racists online would be a start - can't do that, she'd "never have a moments peace." Idiot human.

Side note, if you let your kids play roblox unsupervised, you're fucking up hard.
What weapon would you want to turn loose on your family?
It's a difference of scale. English is dominant in the number of countries that speak it and is even more dominant among the online population (people from countries that don't otherwise use English who are "overly-online" tend to use it).

There is a larger population of bad actors, a greater variety of underlying cultural/philosophical differences and thus conflict, and the algorithms that seem fine for a smaller contained country like Norway can produce a different quality of topics at a larger scale. It's not just algorithm thresholds either - people are simply more naturally prone to follow fads when there is multinational scale affecting the quantity and rapidity of the content and replies/likes that they see (dopamine and confirmation bias).

Unsure what the solution is - maybe more location-based weighting of suggestions? Conversely you don't want to empower local predators. So far attempts at moderating the entire English speaking world by the standards of SF-cloistered young professionals and PhDs has also been unwieldy and led to backlash.
No, infact most journals have peer reviews cordoned off, not viewable to the general public.
It is a lot of things ( overbearing, difficult to implement, world-changing ), but is not impossible. If you have any doubts, check OFAC rules and regulations ( and note how some seem contradictory in nature ) and see how regulated institutions respond to those.
Advertisement density is pretty maxed out on that site
The recommended distribution model for Java applications is a jlinked runtime image [1], which supports including native libraries in the image.

[1]: Technically, this is the only distribution model because all Java runtimes as of JDK 9 are created with jlink, including the runtime included in the JDK (which many people use as-is), but I mean a custom runtime packaged with the application.
Well, that is not what I meant. Plain and simple.
When I was studying electrical engineering people would ask me if I was going to be an electrician, I told them 'no, the difference is electricians are useful'
We use them all the time. We have a Google Sheets with a meal plan that includes links to each of the recipes we use.

Although I guess we only had to search for them on the internet one time for that. Whenever we look for new recipes though, we do.

We also have our own printed out cookbook of some of those recipes, but we often remove the active recipe from the binder, so some get lost or shifted around, and it's not kept up to date at all, etc, so it's often just easier to use the links.