skysight-inc/HackerNews huggingface dataset:
CO2 is acidic when dissolved in water so would cause the cream to curdle. Nitrogen doesn't readily dissolve so while you can push the liquid out, it wouldn't turn to foam when it hit normal pressure.
If your use case requires custom networking and a SLA, isn't that a situation to just go with one of the big clouds (AWS/GCP/Azure) or else rent a VM or colo at a local data center?

The consumer-facing CDNs usually cache HTTP traffic at edge nodes because there's a standard pattern for it. If you're doing something different, you can probably go to a lower level of networking and abstractions?
This is part of a constellation of symptoms that I attribute to the Senior Engineer Field Effect. Other symptoms may include being unable to demonstrate misbehavior, losing the requirements out of your head, and solving a bug that has been bugging you for hours.

All by the mere proximity of a Senior Engineer.
>How dare you call Russia the fascist state when Russian citizens have greater free speech and expression rights than any E.U country, U.K, Australia and New Zealand.

Greater free speech huh? Let's see shall we:

72-year-old Russian woman sentenced to 5 years in prison for anti-war posts on social media [1]
https://therecord.media/russian-woman-sentenced-to-prison-ov...

A Russian American Is Sentenced in Russia Over Social Media Posts [2]
https://www.nytimes.com/2024/06/05/world/europe/russian-amer...

US-Russian dual national jailed for 12 years on treason charges for $52 donation to Ukraine [3]
https://www.rochesterfirst.com/news/international/ap-us-russ...

Russian man whose daughter made anti-war painting sentenced to two years in prison [4]
https://www.cnn.com/2023/03/28/europe/russian-man-sentenced-...

>This American certainly hopes so.

Press X for doubt on this one :)
Oh I agree with all of that. And nice to see you on HN Raph - was nice to meet you at HPG the other day.

It’s subjective, so box filter being ‘close’ is a somewhat accurate statement. I’m coming from the film world, and so I have a pretty hard time agreeing that it’s “very” close. Box filter breaks often and easily, especially under animation, but it’s certainly better than nearest neighbor sampling, if that’s our baseline. Box filter is pretty bad for nearly any scenario where there are frequencies higher than the pixel spacing, which includes textures, patterns, thin lines, and all kinds of things, and the real world is full of these box-filter-confounding features.

One interesting question to ask is whether you the viewer can reliably identify the size of a pixel anywhere in the image. If you can see any stepping of any kind, the pixel size is visible, and that means the filter is inadequate and cannot achieve “best possible output quality”. Most people are not sensitive to this at all, but I’ve sat through many filter evaluation sessions with film directors and lighting/vfx supervisors who are insanely sensitive to the differences between well tuned and closely matching Mitchell and Gaussian filters, for example. Personally, for various reasons based on past experience, I think it’s better to err slightly on the side of too blurry than too sharp. I’d rather use a Gaussian than bicubic, but the film people don’t necessarily agree and they think Gaussian is too blurry once you eliminate aliasing. Once you find the sharpest Gaussian you can that doesn’t alias, you will not be able to identify the size of a pixel - image features transition from sharp to blurry as you consider smaller scales, but pixel boundaries are not visible. I’ve never personally seen another filter that does this always, even under contrived scenarios.

That said, I still think it’s tautologically true that box filter is simply not the “best” quality, even if we’re talking about very minor differences. Bilinear and Bicubic are always as good or better, even when the lay person can’t see the differences (or when they don’t know what to look for).

My opinion is that there is no such thing as “best” output quality. We are in a tradeoff space, and the optimal result depends on goals that need to be stated explicitly and elaborated carefully. It depends heavily on the specific display, who/what is looking at the display, what the viewer cares about, what the surrounding environment is like, etc., etc..

* edit just to add that even though I don’t think “best” visual quality exists, I do think box filter can never get there, the contention for top spot is between the higher order filters, and box filter isn’t even in the running. I had meant to mention that even a single 2d plane that black on one side and white on the other, when rendered with box filter, yields an edge in which you can identify visible stepping. If you handle gamma & color properly, you can minimize it, but you can still see the pixels, even in this simplest of all cases. For me, that’s one reason box filter is disqualified from any discussion of high quality rendering.
> Humiliating school children is not a crime. Though it's a really shitty thing to do.

I don't think if I slap someone in handcuffs and force them to change clothes I'll be able to write it off as just "humiliating" them when the legal system comes calling.
I see many comments saying that the book implements the C compiler in ocaml. In the introduction the author states that the book actually uses pseudo code so you are actually free to implement it in any language. The only recommendation is that you use a language with pattern matching because the pseudo code makes heavy use of it. The reference implementation is in ocaml.
I Am Not My Animal's Owner. So What Am I?
Losing the capability to type while she watches.
>when scholars and artists gleefully cribbed from each other's work without attribution and copyright didn't even exist

This was also a time before mass copying and distribution on a massive scale.
As someone whose job has been negatively impacted by LLMs already, I'll echo the sentiment here that use cases like this one are sort of depressing, as they will primarily impact people who work long hours for small pay. It certainly seems like there's money to be made in this, so congratulations. The landing page is clear and inviting as well. I think I understand what my workflow inside it would be like based on your text and images.

I'm most excited to see well-done concepts in this space, though, as I hope it means we're fast-forwarding past this era to one in which we use AI to do new things for people and not just do old things more cheaply. There's undeniably value in the latter but I can't shake the feeling that the short-term effects are really going to sting for some low-income people who can only hope that the next wave of innovations will benefit them too.
Keep uBlock Origin forever by switching to Firefox.
What do you mean by "invert the fulfillment process"?
Why the thing doesn't just have an off switch...
> what possible use case would need nanosecond precision over a span of billions of years?

Once you've decided you're using nanosecond precision, a 64-bit representation can only cover 584 years which ain't enough. You really want at least 2 more bits, so you can represent 2024 years.

But once you're adding on 2 bits, why not just add on 16 or even 32? Then your library can cover the needs of everyone from people calculating how it takes light to travel 30cm, to people calculating the age of the universe.

That's how I imagine the design decisions went, anyway :)

Of course you can't really provide sub-second accuracy without leapsecond support and what does pre-human-civilisation leapsecond support even mean?
Not sure why you're downvoted. Everything you wrote is factually correct.

Some people seem to be employment-entitled.

I got laid off a few times, it's not a big deal. It just business doesn't want my skills at the price they are paying.
This also depends on the email provider. It works on Gmail but not all email hosts.
let's just say it's HUGE.
It's a lot more moving parts unfortunately and the TiDB team has historically little interest in fixing that.
As a PostgreSQL smallish contributor I just can say: NO, DON'T DO THIS!!!!

Extensible type system is a worst thing that could happend with database end-user performance. Then one may not short-cut no single thing in query parsing and optimization: you must check type of any single operand, find correct operator implemenation, find correct index operator family/class and many more all through querying system catalog. And input/output of values are also goes through the functions, stored in system catalog. You may not even answer to "select 1" without consulting with system catalog.

There should be sane set of builtin types + struct/json like way of composition. That is like most DBs do except PostgreSQL. And I strongly believe it is right way.
that's a legit problem with markdown, yeah. you can use a <span> or something but you can't use a <p> or <div> because everything inside it is exempted from markdown parsing, and the ux is abysmal compared to a wysiwyg editor with a color picker, and there's no extension mechanism to hang stuff like that on in a backward-combatible manner. commonmark is a little bit better there
Which is worthless without the guarantee that the C code actually implements the algorithm as designed.

Something that manual translation cannot provide.

If the algorithm was validated in F*, and having the C code generated, great.

Now doing it in TLA+, and then implementing it as copying from a algorithms and datastructures book with Pascal like pseudo-code, not so great.
Elroy Jetson, Buzz Lightyear, and Ghostbusters all project rings / vortexes.

Are toroidal pulses any more stable for fusion, or thrust and handling?

"Viewing Fast Vortex Motion in a Superconductor" (2024)
https://physics.aps.org/articles/v17/117
> I'd be interested in any recommendations for math history tomes like that.

Not a book, but FWIW, I've enjoyed a few videos from Norman Wildberger's "Math History" playlist[0]. Interestingly, he has a unconventional view of infinite processes in mathematics, a point of view that used to be common about a century ago or so.

I'm sure knowing some amount of history is useful, but there must be a limit to how much of it is practically useful though.

https://www.youtube.com/watch?v=dW8Cy6WrO94&list=PL55C7C8378...
If generating copyrighted data pirating, then so is being served literal images that are shared across the internet.

Should a corporation be able to sue you for simply sharing an image of Micky?
Do you have a cite for this? AFAIK "plus addressing" always been an optional implementation done by certain email providers themselves, but wasn't an actual part of the standards.
The Indy was an Indigo without the go.
I think this assumes a lot of efficiency and rapid equilibration in the reallocation of labor. There are real costs and inefficiencies in the job search process and constraints limiting which new jobs these now-displaced workers can actually end up at, and I don't think you can just treat a worker as a value-making widget that pumps out as much value in one job as another.

I'd also add it's not clear to me that labor reduction must lead to better productivity - can't you have a situation where labor reduction (and or wage suppression) actually reduce downstream demand / productivity?
Too slow. Not a serious alternative
GEN One: Innovations from the Paul G. Allen Collection
you won't give them quality leads...

scraping a list of people off site X or Y and giving it to some marketer to convert is self-defeating.

user intent is a thing.
I can see how the idea extends naturally and also how it doesn't extend naturally. Thanks for explaining, I wonder what Galois would do if alive today with computers.
Firefox user that haven't used Chrome for 6 years, what am I missing?
NIST finalizes trio of post-quantum encryption standards
How do you get rid of the cat in the middle of the page? Being easily distracted makes it hard to read.

Skipping the jokes about Cat Scratch Fever…
To expand[0] upon that claim:

Aquinas, Leibniz, and Spinoza all agree that there is a God (G) that created[1] a Creation (C) which we are a part of.

One major way Aquinas (and Leibniz) differ from Spinoza is in how determinate C may be. Spinoza says C is determined by G; Aquinas says there are many possible C's for any given G. (Leibniz splits the difference and says there are many possible C's, but in our particular case, our G has created the best[2] possible C.)

The reconciliation: let G and C be in an adjoint relationship, such that we have functions picking out the maximum C any given G may create, and the minimum G that can create any given C.

Now, if you are Aquinas, G is omnipotent, and hence has the possibility to create other C's, but our C is the maximum[3] one.

On the other hand, if you are Spinoza, G determines C[4], so it is trivially maximal. (The maximum of a singleton being the unique element)

Does that make sense?

Question: do there exist Gods that are incapable of creating any creation, or Creations that are impossible for any god to create? If so, need we replace "maximum" and "minimum" above by LUB and GLB? What other situations (eg. gods or creations being only domains rather than lattices) would also require further abstraction?

:: :: ::

[0] my apologies for any non-standard notation. I tried to find a survey paper on "Algebraic Theology" so I could follow the existing notation, but failed to find any concrete instances in this (currently only platonic?) field.

[1] Spinoza is accused of "pantheism": the heresy of identifying God and the Creation. Reading him according to a Galois-theoretic model, he would be innocent of this heresy, for when he says "God, or, the Universe", he is simply using metonymy, for in his model God and Creation are dual, so (being in a 1:1 relationship) one determines the other. Note that in general, not only are duals not identical, they're not even isomorphic.

[2] but cf Voltaire, Candide (1759)

[3] if you are Leibniz, the order in which it is maximal corresponds to the traditional "worst" "better" "best" order. I don't know Leibniz well enough to say if he had a total, or only partial, order in mind; presumably in his model if there are several maximal "best" creations they would all be isomorphic?

Exercise for the reader: work out the Leibnizian metaphysical adjunction.

[4] turning this arrow around, C determines G, which explains why Einstein would say he believed in the "God of Spinoza", and chose to base his research by thinking about C, unlike the medieval colleagues of Aquinas, who spent a lot of time and effort trying to work the arrow in the other direction, hoping to come to conclusions about C in starting by thinking about G.
Well, for small-enough engines, that's probably fine. I mean, nobody's going to care when it's just a weed-whacker or something. Less so when it's an awkward 60 pounds or so, that still needs to be maintained. My mechanic had other complaints as well, but that one stuck from our conversation. No wonder he's got a bad back...
Thursday for small low risk deployments, Tuesday for higher risk.
I get that a lot, just have to restart that Docker desktop to push the saved changes to volume.
I'm not sure if it's a myth. Just because we don't know how doesn't mean it's not possible.

It is not easy, but the more domain experience you have through interactions with problems of customers, the increased likelihood of uncovering pain and demand.

On the other hand, trying to create something, and then try to generate demand for it, or find a fit for it is much harder to find product-market fit, because it wasn't started with that in mind.
> I may be misremembering, but I think it was because megaupload.com was registered as a .COM, and the .COM top level domain is owned by Verisign, an American company, and therefore the US has jurisdiction over it.

You are definitely misremembering and spreading FUD backed by your biases.

He was hosting illegal material on servers geolocated inside the US. I'm sure if someone were producing and distributing illegal material (let's use the extreme example: child pornography, for instance) on NZ servers and networks, NZers would want to see them extradited.

It has nothing to do with "imperialism".
My wife trapped a stray cat (Bob B) in our rental house three months ago. I’d lived with cats for a long time and had some luck in training them so it seemed like an adventure to start from zero.

For about two months he would not recognize me, eventually I got him to walk halfway across his shelf to eat a treat but he wouldn’t come down to the floor to eat his meals even though he seemed to be moving around as if he was thinking about coming down.

I had decided to only have the food out when I was in the room but when I approached the food bowl to take it away he yowled at me. It was a breakthrough because he started communicating with me and asking for things as if he realized the path to a better life went through me.

I’m not sure if he thinks he is my cat but I think he accepts me now as “his person” and along the way I became strongly attached to him even though he still won't let me touch him. I’ve thought a lot about what our relationship is and I think it’s a lot like I’m his boss in some sort of a gang. I think he understands he’s under my protection (are we like a feudal lord and his vassal?) and he’d expect me to back him up in a fight (see it in his body language as he explores an unfamiliar space.)
I always thought that was impressive, and he was a good player but I remember him admitting st some point that he was paying people to play on his account which is what kept it at no. 1.
So I'm trying to understand. Is this spam for the Lamucal service? I saw this same code posted on Reddit the other day under a different name. Here are a few repos with the exact same code under different names:

- https://github.com/DoMusic/Hybrid-Net

- https://github.com/TuneMusic/NiceMusic

- https://github.com/JoinMusic/fish

- https://github.com/Famuse/CombineNet

- https://github.com/AIAudioLab/AITabs

- https://github.com/AIMusicLab/MicroMuisc

I'm pretty sure there are more, but I'll stop there. Especially suspicious considering all the usernames.

Here's a post from yesterday on Reddit:

- https://www.reddit.com/r/coolaitools/comments/1ervthn/found_...

I'm guessing the general process here is:

- Push novelty (but unusable to most people) code to new Github repo

- Submit that code to Reddit/Hacker News

- People see it and are impressed by the novelty code,
despite not running it due to missing the models themselves, etc. They upvote and subscribe ($$$) to actually try it.

- Repeat

I understand the desire to promote one's new service, and the product seems like it could be interesting, but this is not the way to get the word out. Reputation matters.

Edit:

Check out the user deeplover's post/comment history. One submission with the MicroMusic (see above) repo, and one comment, see below.

Also, the post by user liwei0517 is almost exactly like BigOrange688 on Reddit. See: https://www.reddit.com/r/MachineLearning/comments/1es0deh/co...
Very possible. The market can grow and you can grow with it. But what is in market (including your ability to grow with demands) can be a part of PMF.
As someone working in comint I can assure you that there's nothing special about MEGA compared to others in terms of flagging.
Telling that taking aspirine won't eliminate the root cause of the pain doesn't imply we know what are the actual root causes, and even less what would heal the person.

Obviously, this is a complexe social topic. To pretend to provide a panacea of all criminality generation all by oneself is asking too much for any individual.
Read the history of the activist group/network "ACT UP". They used non-violent civil disobedience tactics to raise awareness of AIDS, etc. They utilized and in many cases pioneered dramatic and disruptive actions that gained a lot of attention and helped them achieve their goals. They were so successful that today many activists groups mimic their tactics and that's what you see here. And of course, what worked for them is often aped to detrimental effects. In many cases ACT UP unintentionally created numerous cargo cults.
>...the glicko2 crate for elo management

That's kind of funny. When this project said it had elo rankings, I had the thought, "it's a shame they're using elo when there are better options." It seems like you are already using one of those better options!

Other than where elo is used for historical reasons, about the only other reason I can think to use it in a new project is as a placeholder until you do something better. It's great as a placeholder since it is so easy to implement.
Currently it is vacation season in germany.
I’m the author of the high resolution guitar model posted in a comment above. I have a drum transcription model that I’m getting ready for release soon which should be state of the art for this. I’ll try to update this thread when I’m done
It’s perfect topic for a flame war. But imho blocking airports ends up in more traffic overall because planes must be re-routed. Is this not opposing original goal?.. or the goal is not saving climate at all?..
Not according to benchmarks and my personal experience it's not.
Seems like quite a bit of complexity for a dubious win. Today's CPUs are REALLY fast, even a single core of 64 or more cores that are common on servers today:

[ 478.047970] raid6: avx2x2 gen() 60473 MB/s
[ 478.115971] raid6: avx512x1 gen() 53469 MB/s
[ 478.149971] raid6: avx512x2 gen() 57067 MB/s

Especially since the data is coming from the CPU anyways, so likely caches are warm. It also means that node you have to send a stripe of data to a single NVME, which likely has much less than 60GB/sec of checksum speed, then initiate transfers to every other drive in the stripe. Not to mention the NVME drive likely doesn't have ECC memory and any resulting memory errors are unlikely to be visible to the OS.

Just seems like hardware RAID with all the same problems, likely not as fast as software RAID, harder to manage, a unique set of tools per vendor, harder to have global spares, and doesn't work with filesystems that do their own redundancy like ZFS.
As discussed in the top-level comment, this library has no concept of timezones (only offsets) so the SO link does not apply. The time rollback only happened in Asia/Shanghai.
That is one sexy beast
This appears to be a huge nothingburger.

1. The app is installed by Verizon

2. The app is disabled by default ("The app is not enabled by default, but there might be multiple methods to enable it. The iVerify research team investigated one method requiring physical access")

The actual report:

https://iverify.io/blog/iverify-discovers-android-vulnerabil...

Their quote:

> Google is essentially giving CISOs the impossible choice of accepting insecure bloatware or banning Android entirely.

That doesn't sound like the case at all!
A new Assange, he will wait for years in prison for a trial and then be released. So that's what mighty BigCo punishment means nowdays.
"Basic" (i.e. full) backups have been included in the OSS version since its November 2020 release (20.2): https://www.cockroachlabs.com/blog/backup-restore/

They are still pretty limited compared to what's in the enterprise version, but it's not right to say basic backups are closed source and have never been there.
It sounds like some places have NFC enabled for IDs:

From https://learn.wallet.apple/id:

Add an eligible driver’s license or state ID to the Wallet app and present it at select TSA checkpoints by tapping your iPhone or Apple Watch.

I have doubts this will matter for the majority of in-person transactions, where it took years for NFC purchasing to be accepted.
if it were really the case that the vast majority of businesses doesn't need to pay then they'll just adjust it down to 1 million in revenue