skysight-inc/HackerNews huggingface dataset:
Not a professional physicist but…

Given the absurdly low rate of detection, it feels like a focused experiment designed explicitly to maximise detection is warranted. Difficulty of neutrino experiments aside, this is physics! If we want more detection events we just need to make more particles and/or build a bigger detection apparatus. I don’t necessarily think there’s much benefit to a “larger volume” detector in this particular experiment (MiniBooNE) due to beam width and spreading rate, but I don’t see how having one or two more identical detectors lined up along the generated neutrino‘s path wouldn’t help. Building a more “powerful” neutrino production system, even as simply as just having an accelerator with a higher particle flux would likely increase this factor.

If people are arguing over possible issues in the experiment design (which there do appear to be concerns here, but grain of salt as IANAP) then dialling the experiment parameters up will should make any experiment specific effects more obvious as there will now be two sets of data points that can be correlated by the experiment parameters to fill out such effects.
So you're comparing enterprise license of Figma with individual license for Photoshop? That's a tad unfair seeing as individual Figma license is free.
In which I misunderstood Objective-C
The last days of Silicon Roundabout
It is the most stable form of governance that doesn't require subjugation of citizens and has the ability to self-correct because election disallow personal

Democacies are indeed young so I don't get your point that it will lead to something "very bad".
First, you want a "dependency manager". That's not what Nix is, clearly. Nix is a package manager.

Second, to use this package manager, you first need to install direnv. How do you install it? with brew, a different package manager.

Third, you have to learn a new functional programming language. Right. Because normally to put together a toolbox, I often learn to speak a few phrases in Swahili first.

Fourth, finally, we get to install a simple Unix program, that any package manager could have provided.

For the fifth trick, freezing dependencies, you first have to have all the correct versions of all the dependencies to do what you want. How do you establish the right ones? Manually. Just like with any other package manager that builds apps against a specific tree of build deps. "Reproducibility!" Because no other package manager could possibly download the same tarballs and run the same commands. Must be all that functional programming magic.

And sixth, the idea that this will work forever. Right. Because any other distro and package manager could not possibly work again in the future, with a mirror of all the packages in a release. That's only for super cool futuristic package managers. No way to reproduce the same packages in the future with old package managers.

Look, Nixians, this is all old hat. Every decent package manager can do all these things, just in a less complicated way. Modern systems use containers, and they don't need Nix for that. Nix is basically just the new Gentoo: a distro for hobbyists who tell themselves they're advanced while all the professionals use something else.
This seems like a good thing for system-level packages, but what about those language-level packages? Could Nix replace both dockerfiles (or a list of apt packages) and pip/conda?
FWIW maybe Sketch fixed their stuff, but in 2018–2019 Figma's performance was just so much better that I switched and never looked back.
The wikipedia page is rather comprehensive:

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

It also covers the straightforward generalization of the theorem to principal ideal domains (e.g. polynomials over a field)
freenet needs to hire a god damn UI designer.
I value the privacy of my children and have trusted them with their devices for the most part. I avoided parental controls and blocking applications, I don't monitor them or know their passwords

But once my oldest (9) started disappearing with his iPad for too often and too long, I did browse his YouTube history (I had to ask him to unlock his iPad, as I don't have or know the passcode). And after that I blocked YouTube, as there was just too much adult content for a nine year old. I have also made it a rule that computing and screen time needs to happen in family areas

I still feel like I violated his trust. But I also feel like I can't responsibly allow him to have access to YouTube or the full Internet without experiencing negative effects to his emotional development. I am unsure if I am a helicopter parent in this situation, and if I went too far
Unix way isn't running via CLI, but knowing what to type to run what you want, because it's faster than GUI, while GUI provides you contextual information to help you discover what you can do.

>In case your unfamiliar with the 'everything is a file concept

But then Linus gives a rant how he hates polymorphism and overloading.
Here's a recording of the F-35 making one in 2019, and this also serves as a reminder to all San Francisco residents that fleet week is coming up. I don't think they'll get these upgrades installed in time, which sucks for anybody that lives here that hates disruptively loud airplanes, however.

https://youtu.be/y30nuNFeQAo
That’s a different threat model - the kids not wanting it blocked.

You can white list devices instead (so they’d have to spot a particular mac address), you can just add them to a different vlan in a different ssid (sane as you separate your IoT shit from your normal network), but you have to look at them establishing vpn to take traffic

In this case the user wants it blocked and wants to fight the their device which acts against them (google doesn’t want you blocking google services)
> FreeBSD itself has improved tremendously over the last few releases in terms of scalability

True. FreeBSD (or its variants) has always been a better performer than Linux in the server segment. Before Linux became popular (mostly due to better hardware support), xBSD servers were famous for their low maintenance and high uptime (and still are). This archived page of NetCraft statistics ( https://web.archive.org/web/20040615000000*/http://uptime.ne... ) provides an interesting glimpse into internet history of how 10+ years back, the top 50 server with the highest uptimes were often xBSD servers, and how Windows and Linux servers slowly replaced xBSD.

(Here's an old HN discussion about a FreeBSD server that ran for 18 years - https://news.ycombinator.com/item?id=10951220 ).
That would depend on whether or not you first burnt down your neighbour's house, creating a refugee crisis...
Ex-Apple Employee Exposes Apple M1 Chip’s Secrets
Many people will have addresses saved at places they exchanged bitcoins with, like an exchange. And it only takes one customer with proof of stolen funds to ruin their reputation, and with that the whole business. It makes much more business sense to be honest and take the 20% commission, unless someone comes with a wallet with far above the usual number of bitcoins inside.
Why make this about China? The US has an unusual relationship to guns compared to just about any other country in the world.
Oh my God I'm crying! I had no idea these even existed, thanks for the reading material.
> in the EU you dont have the 1st amendment, you dont have the right to free speech.

Most EU countries have some rather close analogue of the US First Amendment in their law or constitution. Sure, pretty much all of them have various exceptions, so there's no absolute free speech -- but then the US has such exceptions too, and thus also lacks absolute free speech.

On the whole, IMO your comment is much more wrong than right.
> When a game has a poor story, you wish they bothered to employ a writer and not just graphics programmers.

At least this criticism can’t apply to Dwarf Fortress — IBM VGA-9 makes for some pretty cheap graphics!
One thing I like with Nix is that it can build containers, so it's totally compatible with deployment systems that require containers. I don't mean using Nix commands in a Dockerfile, I mean having a Nix derivation that produces a container.

I've been writing normal Dockerfiles at work recently and the whole toolchain is annoying on multiple fronts; I'd love to jump to Nix instead, except it's really hard to convince other people to learn non-trivial technology that's off the beaten path :(.
Browsers have conditional breakpoints available in their tools/debuggers so you can write them without changing the code.
The biggest problem with Wahl-O-Mat in my view is that it only looks at what parties claim they will do, not their historical voting record. There had been some discussion around this topic this election cycle, so perhaps they will try to address it in future iterations.
For those who didn't reach the end of the README.md, it seems to use an electron-alternative called grader, from the same author:

https://github.com/i5ik/graderjs

It runs server and downloads Chrome (if not available already) and starts it in app mode.
Yes, I am currently writing a masters thesis about it! It is a "research language that [is] currently under heavy development" as the README says so I don't recommend using it for anything other than a research/toy project. But you would be surprised how well it works: Algebraic effects can give you 98% the power of monads while being much faster and easier to understand. And then Koka uses mimalloc [0], Perceus [1] and tail recursion modulo cons which make Koka programs almost as fast as C++. For example, in the benchmarksgame, Haskell takes 5x as much time on the binarytrees benchmark as the fastest implementation, while Koka is 50% slower (similar to other C/C++ and Rust implementations).

[0]: https://github.com/microsoft/mimalloc
[1]: https://news.ycombinator.com/item?id=25464354
How convenient for them the jet flew so near a checkpoint. And how do they know they have to report something, if they hear the plane but can't identify it since it's long gone anyway?

Are they going to report anything they hear from any source along the whole border? Imagine the control center having to match every hearing with every domestic and recognized flight
> Let's talk about Germany, to give one example. In that country, the top court can outright declare political parties illegal, if it believes that they constitute a threat to the democratic order.

So what? Which country can't declare organisations illegal, if it determines them to be terrorist organisations? I'm pretty sure the USA can. So what does it matter if a terrorist organisation calls itself a "party"? (Didn't the Symbionese Liberation Army try exactly that?)
Complex and Nested Data Handled Easily with the AI and Analytics Engine
> We are training kids that someone is always watching.

This probably goes down better in religious societies. It used to be that this "someone" was an amorphous deity. A child was constantly told they are under the watchful eye of someone-up-there.

Now it's the outsourced, underpaid Creepy Joe from this week's surveillance technology company.
No, that seems wrong. Its currently only Daan working on this, but as you can see the last commit to 'master' was 7 days ago and the last commit to 'dev' yesterday...
Fountain pen?

I love them. But suddenly 15 years went past, and when I opened up my Parker 45, the ink reservoir plastic had perished.

I've bought a number of replacement wells, but none of them work. They use a screw to draw the ink, which gets the ink into the reservoir OK, but it doesn't flow, presumably because there is no ventilation?

What fountain pen mechanism are you using?

Do you know of a way to rejuvenate a Parker 45?
It's great to collaborate, but unless you're actively with a client/team demoing something, it's more of a distraction. For the money you'd spend on one month of Figma, you can get something like Affinity Designer and pocket the $495. And you'd get a native file to do with as you choose... in perpetuity.
Does he mention why he's building this?

I understand that handwritten letters might receive a bit more attention, but doesn't it come across as unprofessional? It would for me - I would assume they don't have the money to properly print at least the address fields.
Except that we are talking about Github because something better than git can't exist because it also has to displace Github.
I find it interesting that scamming regular people out of money isn't going to get an app banned from the App Store. Contrast that with the many apps we've all heard of that Apple does ban.
Interesting. Why is it less responsive than an air source heat pump?
Show HN: Fluent-Vue – Internationalization plugin for Vue.js
I have recently released version 3.0.0 of my internationalization plugin for Vue.js - fluent-vue.

Features:

* Uses Mozilla's ProjectFluent for translation message syntax https://projectfluent.org/

* Supports both Vue 2 and Vue 3 with the same API

* SFC support

* Simple API: just one method (technically two, but one used rarely), one component, and one directive.

* Powerful syntax for translators: pluralization, grammatical cases, senders, animacy, etc.

Repo: https://github.com/Demivan/fluent-vue

Docs: https://fluent-vue.demivan.me/

Feel free to ask questions. Would appreciate any feedback.
How does one establish the ownership proof for class action lawsuits? I lost my holdings at Cryptsy, but I don't know how I would produce a proof of ownership. I do recall the net worth of my holdings.
It is mostly for my own reference. However, almost every time I come across a bug like this, I will be discussing it with people in the team. It's often hard to keep quite about it: "You wont believe what just happened..." kind of a thing.
What is this exactly, a bit of a poor page/not developer friendly so who is the audience, people who use excel? Is it SQL? Key store? No examples just trying to get lots of catchy phrases/buzzwords on.
Yes, this was the main reason I chose Java instead of Kotlin when starting our last big project. Would have loved to use Kotlin, but the vendor lock-in was the deal breaker.
Hmmm, this seems like a topic that economists have likely studied. Why don’t we ask them?

> Economists find that—after taking both the winners and losers into account—trade has net benefits for society. In other words, the benefits outweigh the costs. This does not seem obvious to many people because the costs are often more visible than the benefits. For example, it is relatively easy to identify businesses or industries that have shut down because of trade. Likewise, it is relatively easy to identify people who have lost jobs in those industries. Perhaps you know someone who has lost a job in this way. However, it is more difficult for consumers to identify how much cheaper their car, clothing, and food are because of international trade. In addition, the lower prices paid by consumers and businesses mean they have more money to spend on other goods and services. As a result, there are businesses that have experienced more growth as a result of that spending, which would not have happened without trade. But, again, those gains can be difficult to identify.

https://research.stlouisfed.org/publications/page1-econ/2017...
Rendezvous Hashing Explained
A leap of faith brought me 1,2M euros in funding
Choice of people by casting lots is all the way through the Bible too. But if I suggest it to the modern church it is as if I am proposing witchcraft. Perhaps leaving the outcome to God (as was the intention) is seen as being a bit too risky.
Generics are the polar opposites of automatic casting. They exist so you don't have to shoehorn one argument type into another.

JS isn't exactly the best environment to understand this. Ideally, use a compiler language that can show you the generated assembly (`gcc -S ...` with C++ for instance). Then you can see first-hand how type-specific implementations of a generic function look like.
Identifying Worm Holes and Asteroids in the Cryptoverse
I guess CNN is trying to bring the extreme partisanship/political polarization that we see in the US to the world, so that the only 2 options become having to choose between US' way of doing something vs China's way of doing something -- which is an extremely bad idea, if what has happened in the US political ecosystem is anything to go by.
it's not on top of Nix itself but (about to be) a part of it. according to the NixOS Wiki [1] Flakes is an upcoming feature of the base package manager. it's not part of the stable channel yet, and "proper" documentation only currently exists in the unstable manual [2].

[1] https://nixos.wiki/wiki/Flakes
[2] https://nixos.org/manual/nix/unstable/command-ref/new-cli/ni...
I wouldn't mind making another $50k every 5 months. Assuming this wasn't their only success that sounds more profitable than a regular job in New Hampshire.
sounds like my film prof at uni
"deceiving customers", in the same sense all food joints that say "best<whatever> in town", or carlsberg's "probably the best beer in the world". I'd argue there are plenty of examples on why this isn't the slippery slope you propose.
If you define privacy as to be "when watched", then, sure, we've never had privacy. But that I don't think that definition is accepted by many, and it'll lead to an unproductive discussion.

The expectation of privacy has always been when traditionally not under the eyes of others. We've always had this in villages where kids sneak away from supervision.
It's a better solution for dependency management specifically. I need to go to bed so I can't go in too much depth, but here's a high-level summary:

- Nix packages can compose in arbitrary ways, containers can't

- Nix can get much more consistent and granular caching

- once an image is built it's reproducible, but the Dockerfile to run it probably isn't—unless it was written very, very carefully to pin everything—so what happens if you need to update one or two packages in an image?

- not 100% sure here, but it seems that lightweight sandboxing like Nix shells or virtualenvs are a lot more convenient for local development and tooling integration

That said, containers might make more sense for, say, deploying and sandboxing services—that's just a different problem from reproducibly managing dependencies and development environments. Nix can build container images, which lets you get the best of both worlds.
> Others seem designed to detect far-right tendencies. “Germany should leave the European Union,” reads one.

So if you're not neoliberal, you're far-right. Got it.
> ...they think bodily autonomy has no limits.

...they think THEIR bodily autonomy has no limits -- not even where sane people would see that it has to be limited to not encroach on OTHER PEOPLE'S bodily autonomy.

There, FTFY.
In my practical experience of a moderate sized e-commerce site heavily using liveview I LOVE state on the server. Not having an API and heavy client code is so great.
GMP: The GNU Multiple Precision Arithmetic Library
You can easily call C libraries from languages like Go and Rust. It absolutely makes sense to write small libraries in C so that all kind of languages can use the library which are not C. Go programs by default do not link against libc, so it would be nice not introducing the dependency. So this would fall under "nice to have".
You can use any external logging service that has an HTTP API.

Not ideal, but it works fine.

I'm doing this with Cloudflare workers by sending access logs to a self hosted Matomo analytics and error logs to Loggly.

But in general, Cloudflare isn't really suitable yet for general app development. They need a lot of additional services for that to become viable, imo.
Thanks. Updated the enterprise price info for Photoshop ($33 vs for personal $25)
Hi everyone,

I am Tudor, CTO at Xata.

Thanks for posting the link! We’re not yet ready for you to try it out, so it is maybe a bit too early to show it to this community. We will probably do a proper Show HN post once we are ready.

Nevertheless we are thrilled to be here! :)

For a few more details, see also our first blog post: https://www.xata.io/blog/hello-world/

We’re building a database service that is extremely easy to use (think of Airtable and its rich data types), yet providing the usual guarantees offered by traditional databases (consistency, transactions, constraints). We also have a built-in analytics and search engine, so you no longer have to copy the data from the DB to the search engine. There are other features that we’re really excited about (native branches, easy-to-use joins, caching, security rules), but we’re going to be able to talk a lot more once we’re ready for users.

We’d love your feedback and if you’d be interested to work with us, please don’t hesitate to reach out.
Paraphrasing an observation I heard in a podcast some weeks ago:
We were promised little robot butlers in the scifi we read as kids, but what we got was human servants that act like robots.
It's not a great comparison. I could also say "if locking someone in jail is bad, that means locking the jail to outsiders is bad too", and it supports a completely different point of view. Countries are not basements or homes, and are not private property.
Is it bad-faith to suggest this was just an advertising piece? I don’t want to be that person, but there seemed to be absolutely nothing interesting or innovative in the technique this father-son team use, and the whole article (and now it’s on the front page of HN) seems like just a vehicle to spread the word about their service?
The site deinwal.de tries to address this by letting you vote on past bills and then showing you who votes most similar to you.

However, for opposition parties this doesn't work reliably since they'll sometimes vote against something if it doesn't go far enough or if they disagree with the implementation details, even if they agree with the general idea. Unless you read up on the vote, these nuances will be missed.

It also reinforces the status quo since parties that aren't in parliament yet would not be covered.
"Like all walls it was ambiguous, two-faced. What was inside it and what was outside it depended upon which side of it you were on.”
― Ursula K. Le Guin, The Dispossessed
It's pretty much only far-right parties that want to leave the EU nowadays.
There is no revolt, is there?
There are still so many emotion loaded messages, while "Die Partei" keeps making fun of them:

https://www.alamy.com/stock-photo-germany-dortmund-may15th20...
FIFA 22 Web App COUNTDOWN:Release date,time&how to download the FUT CompanionApp
I infer that you live in a nice stable country who isn't worried about foreign jets attacking their infrastructure and doesn't have their entire borders dotted with posts. I'm happy for you!
That feels like a rather insincere interpretation but you’re arguably right. And in fact a great many people don’t lock their front door at night.
How is shaving 8 decibel from 150 a game changer? It's sure nice, but it's still deafening at 142
I just checked, everything beyond 110dB for 1.5min per day will lead to a permanent hearing loss
Engineered mini CRISPR-Cas system for mammalian genome regulation and editing
The answer to that question, according to TFA, is apparently

> No one is sure why
The short answer to that is..yes :)

For Docker, you just call a Nix function and specify what programs to include (both implicitly and explicitly via use) and Nix automatically includes the transitive closure of what you need
That doesn’t mean this particular political claim is far-right ideology.

If only the right-wing parties support nuclear power, does that turn nuclear power into something rightwing?
The terms are also very culture-dependent. What's moderate in the US would probably be considered far-right in Germany.
Never mind the app, if Apple were smart, they'd punitively ban the developer and everybody associated with it from being on the App store forever. Or some number of years, anyway