skysight-inc/HackerNews huggingface dataset:
the closest thing i found is .. github.

You even have a "definitive list of lists (of lists)" https://github.com/jnv/lists

You can find lots of foo by searching for "list of foo" on github search. https://github.com/search?q=list+of+anything

.. and you can make your own free presence with github pages, just like on geocities! https://docs.github.com/en/pages/quickstart

(now where do you find those 'under construction' giffies? :-)

/* old things never die, they just get pushed to some free github repo. Maybe there is some git server up there in the sky, that will take care of us when we die :-( (figuratively speaking) */
Sorry but I can't take anyone seriously who buys Seagate as a long term storage solution.
Mathematicians are using LEAN today to prove learning edge mathematics correct. Google LEAN and mathlib.
It's because under the hood modern processors are embarrassingly parallel, so chip manufacturers like Intel were incentivized to put money into solving the hard problem "turn code written by devs who were trained on old serial-style languages (like C) into something that can pass a benchmark or we can't justify selling new chips because programs won't be faster."

The relative novelty and paucity of functional languages in the ecosystem means the incentive story hasn't happened to get the end-to-end from compiler through to execution so tight yet. I expect it'll happen, and when it does I expect the result will trigger fewer questions like this one because a newer generation of programmers well be less inclined to assume serial execution.
> The amusing part of it is that small children are the most amenable to moving, it's not until they're a bit older and getting into school that moving becomes a real problem for them.

Children are expensive. If you can't currently afford to buy a house and decide to have a child, the chances of you gaining enough wealth to afford one in the 4 to 6 years before your child reaches school age is practically nonexistent.

This means having a child while renting basically pushes your home ownership plans back by probably about a decade.
Really impressed with how easy appwrite was to start up from Docker! (Try doing that from Directus -- they give no help at all for any self hosting.) Can't wait for the GraphQL endpoint to get going! Appwrite isn't as evolved as Directus but I love the open source approach it has, instead of the push towards their cloud offering.
Old news - saved for just shy of 10 yrs starting in the mid 80s and it still took dual income for us to get into our first house.
I just don't update home assistant monthly. Maybe once or twice a year? Tbh that seems to work super well. Never have to think about it and it just works.
They’re words with etymological roots in Greek.¹ ἰδίωμα (and similar words that originated in Greek) is a neuter noun. When it was imported into Latin, it retained its grammatical gender (for Latin nerds, it’s third-declension so the genitive is idiomatis and not idiomæ as one might naïvely expect). When it entered modern Romance languages by way of Vulgar Latin, the neuter and masculine genders collapsed into a single masculine gender and thus it became masculine.

⸻

1. This is the case with many nouns that violate the expectation that an ending in -a would be feminine. The usual chapter one vocabulary word, nauta also comes from Greek, although in that case, the original word is ναύτης which is first-declension in Greek and remains first-declension in Latin, unlike idioma/ἰδίωμα.
But you yourself are parroting pro-bitcoin ignorance, in the form of your points about bank transfer and other things. This is something that gets my dander up.

Your assertions like "there will be one or two real things that will make it."

There might be, or it might all turn out to have been a giant waste of time and resources.

International remittances are not problematic because we don't have the tech and we're all crying out for a blockchain and a volatile intermediate asset, but (where they even are still problematic at all) because of bureaucracy.

Your point about energy might be the worst - for a start Bitcoin is actually becoming dirtier, as large portions of mining moved from China to Kazakhstan last year, and are relying on the local coal infrastructure. And the second point, that it somehow drives adoption of renewables - the world as a whole is trying to switch to cleaner energy. We already have massive pressure and demand in the entire energy market as countries try to switch away from fossil fuels.

Meanwhile, fossil fuel power plants are either getting life extensions or just plain being brought back online to service the mining market - https://www.wsj.com/articles/bitcoin-miners-are-giving-new-l...

So, you wanna talk about aggressive ignorance, maybe address the log in your own eye?
It's not just about heat!

The thing that's emblematic of climate change is not any one extreme — not that it's A's hottest X, B's coldest Y, C's wettest Z — but rather that it's all of these extremes simultaneously, and that they're all more extreme than they were in the past. At the same time that A is having its hottest X, B is having its coldest Y, and C is having its wettest Z, and it's a heat record for A, a cold record for B, and a wetness record for C. Simultaneously breaking weather records in multiple places, regardless of which exact records are being broken, is a prediction and sign of climate change.

It's not just about heat!
The fact that the poster knew the proper name for one and only one style of bike stand makes it seem to me that they started with a particular conclusion in mind and worked their way backwards to fit it.
All of those problems can be proven correct today using Coq/HOL/LEAN etc. see CompCert, seL4 etc. The math needed by Computer Scientists to prove correct is very different from what Mathematicians care about. Look at the mathlib project done by mathematicians in LEAN. It is pretty much useless if you want to prove code correct.
Create CSV files in Python that play nicely with Excel
Intel has released at least some of their software suite for free (as in beer, not as in speech).

https://www.intel.com/content/www/us/en/developer/articles/n...

I think software is not a huge profit center for them.

The original comment presents:

> The actual details there are [1] too secret for Intel to want to accurately describe them in gcc, [2] they’re different across different CPUs, [3] and compilers just aren’t as good as you think they are.

2 and 3 could just be the whole story. Although we haven't actually accumulated any evidence here for 3, given that the original story was about surprisingly getting beat by a compiler, despite performing a seemingly obvious optimization.
It was on mac. I guess it didn't go as bad as windows, but still pretty bad.
It is extremely important to understand that the test referenced here, a non-invasive cell free test, is a screening test and not a diagnostic test. Screening tests are used to flag individuals for follow-up testing via one of several diagnostic methods. False positives (and false negatives) are expected in this context. I don't think that jumping to conclusions regarding eugenics is at all warranted when discussing this screening test.
The great French bodybuilder Serge Nubret used to do 2000 situps every day. I don't know what number he started at, but he just did as many as he could every day until he hit 2000. It took him around an year to get there, and then he did 2000 every day.
I'm surprised I didn't see any mention of Tool in here, while many Tool songs can give this weird, supernatural, out of this world, feeling, at least for me.

Pneuma is one of those great Tool songs: https://www.youtube.com/watch?v=FssULNGSZIA

And it's not just the sounds, the lyrics themselves help invoke this feeling as well.
Server-class motherboards like the Asrock EP2C603 have built-in management that allows controlling power and usually kvm-like access to the system, via the network. I don’t think I’ve ever plugged a keyboard and monitor into my server after the first time (to set up the iLO thing itself). If you’re building a home server from scratch the right choice of motherboard can save you the need of yet another box to wrangle. Tiny Pilot is still really cool :)
The problem is that leadership is also the same type of person. I’ve found that leadership is often more troubling than any ICs.
Currently I use Authenik on my LAN and VPN, but I used to use Keycloak when it was publicly exposed. I had issues configuring several of the components to work together and decided to use something that "kinda" works out of the box. The app dashboard is also very nice and has the "partner tick of approval" that is so important for hosting your own services.
> the same building, under the same code provisions, had 0 violations of egress provisions in one jurisdiction, and 16 violations in another jurisdiction. Multiply this variation times the 20,000 permitting jurisdictions

There are lots of inefficiency here. Are there any effort to harmonize the code? Building code, fire code, tax code...
Assuming you are a young adult right now, would you currently consider your life up until this point to be a net-negative experience?
My last one was a ROMED8-2T from Asrock Rack. They have a catalog with standard and also weird motherboards(mine came with 7 PCIev4 slots because it's a GPU server, and 6 of them had dedicated lanes to the CPU. Most motherboards try to share bandwidth with a PCIe switch, so not ideal for machine learning)

A quick search shows 2 Intel motherboards with mini-ITX form. There was also a micro-ATX.

https://download.asrock.com/Download/e-catalog/ASRockRackPro...

I've also bought from Gigabyte before. The selection isn't as good, but I see an AMD and 3 Intel with mini-ITX. You might have to get separate embedded versions of the processors.

https://www.gigabyte.com/Enterprise/Server-Motherboard

I think Intel has more options with smaller boards here. Always check the block diagram to see if the IO matches how you'll use it.
This isn't really for typing, you're expected to look.
Keep up the great work :)

I am really rooting for NetBird. It has been such a joy interacting with you all through Pion. I also love how you are embracing/building upon Open Standards. You are making these protocols and software better for everyone.
It literally is. Martin Luff Type Theory is the mathematical foundation used by most proof assistants today. The type checker is the prover. If your code type checks then you have proven a theory. I highly recommend learning more about the Curry Howard correspondence and Dependent Types. It might just blow your mind.
How about the one I already cited, where he's being interviewed and says:

I think desire usually is born out of the contemplation of someone else who is desiring and who designates to you the object he is desiring as desirable.

"usually" is not the same as "always", admittedly. But it's fair to say it means "more than 50% of the time, maybe much more."
just another reason to destroy any camera you can get your hands on
Clear on the other side of Pennsylvania (Bucks County), I grew up in a fairly old house (1930s? 40s?) with a toilet in the basement out in the open like this, next to the heating oil tank. Most strikingly it was up on a concrete pedestal, at least a foot high, I guess to raise it above the sewer line.
Without a futures market, you don't get futures, you get forwards, don't you? Forwards don't have enforcement for when the seller goes bankrupt, which leaves the buyer out any money paid in the forward contract and needing to find another supply at market price. That's my understanding, at least.
> "Any significantly above market returns of any kind are either a scam or have risks that are either not understood or not disclosed."

By definition, the market return is an average, and there must be returns above and below the average. You could say above market returns require taking above market risk, but often times the level of risk you are taking is not known for certain at the point in time you make the investment.

Also, the hedge fund industry's goal is not necessarily to beat the market, it is to provide the highest level of return per unit of risk.
No Grandchild? Six Years After Son’s Wedding, These Parents Are Suing
Professional mathematicians are today using dependent types in LEAN to prove leading edge mathematics. Google LEAN and mathlib.
Considering it was a top 10 school - sounds like quite an ignorant statement. Most of my peers are at FAANG, founded companies, etc. (as am I obviously)

Many of us are still quite competent. The “professors” were just horrible.
This article didn't actually test their network's latency / throughput before and after this. I don't think ads / metrics passively use a ton of bandwidth no I doubt the author's claims.
Ask HN: BuildZoom is not booming as expected?
we see a lot of HN ads for it on the front page... the latest: https://i.imgur.com/eIFWTCU.png
I think it's worth pointing out that the reason why these two examples execute at different speed is due to how compiler translated code AND because CPU was able to parallelize work. Compilers take knowledge about target platform (e.g. instruction set) and code and translate it into executable code. Compiler CAN (but doesn't have to) rewrite code only if it ALWAYS produces the same result as input code.

I feel like last 110-15 years (majority of) people have stopped thinking about specific CPU and only think about ISA. That works for a lot of workloads but in recent years I have observed that there is more and more interest in how specific CPU can execute code as efficiently as possible.

If you're interested in the kind of optimizations performed in the example you should check out polyhedral compilation (https://polyhedral.info/) and halide (https://halide-lang.org/). Both can be used to speed up certain workloads significantly.
The Statistics Engine of Experimentation at DoorDash
> You can only upgrade a zdev by upgrading all its drives

This is no longer the case, or at least, should no longer be the case soon. The ability to add drives to a zpool has been announced, and will trickle through to stable before too long.
Inherited about 12 Kube clusters with 200+ charts, which were 8 versions behind on kube version, running multiple ingress, metrics, secrets, routing and logging type schemes per cluster. since they were built really before Kube was functionally stable and there was a “you build it, you own it, you get laid off, nobody understands the app anymore” culture. No consistency in language, build ideology observability, or anything like that.
Had to cut a new Kube platform release, spin up some separate clusters with EKS vs crappy provisioner software, create standards and docs, and slowly and painstakingly work with disinterested devs to migrate to the new single standard.
The modernization and standardization work has definitely paid dividends. No more random cluster failures, costs under control, we have actual observability and certainty around compliance. It was a huge pain in the ass but I am pretty proud of the effort.
Ad blocker extensions only block ads on the browser they're installed. Pi hole would block ads on all devices they're connected in, in all apps (not just web browser) as long as the ad domains they requested are in the blocklist.

Also, ublock origin can only protect you from CNAME cloaking (a commonly used to evade ad blockers) on firefox. It can't protect against CNAME cloaking in chrome or other browser. But pihole can.

You should still install an adblocker in your browser though as some ads are loaded from the same domain they're serving site contents from, such as youtube ads. Ad blockers can remove ads based on full urls, not just domains.
That is true right up until the day the contract comes due. Then you need to pick up your oil, pork, OJ, etc. at the time and place specified in the contract. If you holds the contract at that point in time, you are responsible for picking it up at the place in space.
I agree. In all my apps, I provide 3 settings; system, dark and light with the default option being system.
As an alternative to a stream deck, I started using a MIDI board last year. I tried a copule and settled on the Behringer X-Touch Mini [1]. It's less than $100. What I primarily use it for is volume control (including muting). Like I have a particular knobs for Chrome, Master Volume and games. This is all pretty easy to set up with something like MIDI Mixer [2]. There are Youtube videos on it.

I also use the media controls for Spotify.

This particular board has extra buttons you can use for, say, muting Zoom.

As an aside, volume on Windows is a horrible mess. You can have an external speaker volume, a system Master volume, an app-specific volume (the last 2 through the Windows Volume Mixer) and then volume settings inside a game.

One thing I appreciate about iOS for example is there's just one volume for what you're doing. There are separate volumes (eg ringer, speaker, music) but you only ever adjust one and it's context-dependent. Listening to music? You adjust music volume. On a call? You're adjusting call volume. Not on a call? You're adjusting ringer volume.

In an ideal world, the hardware volume could be synced to the system master volume and there would be no game or app specific volumes. All of these would be deffered to the volume mixer. Or at least any in-game or in-app controls would merely adjust that volume.

I can but dream.

The only thing this particular board doesn't have is motorized sliders for volume. I didn't really find any options for this less than $300-500 and they tended to be much bigger boards. I'd really prefer a slider to a knob but that's just nit-picking.

[1]: https://www.behringer.com/product.html?modelCode=P0B3M

[2]: https://www.midi-mixer.com/
question for fellow streamdeck users - is there any voice change software for mac? like if i want to add echo or autotune while i speak by pressing a streamdeck button.

the main one all over google search results only works on windows
Wasn't the lack of inflation driven by countervailing deflation from moving supply chains into lower cost regions like Eastern Europe and China? It's been a good 30 year run but that chicken is now coming home to roost.
(It wasn't passive-aggressive, it was just aggressive.)

The "I know I'm going to get downvoted for this, but ..." thing is annoyingly common, and unfortunately it's common for a reason: a lot of the time it works: it lets you frame yourself as a victim without ever needing to be victimized.

And, strictly as a matter of fact, it's almost always false. I just did a search for HN comments saying "I know I|this will get|be downvoted" and checked out the first ten I found. Only one of them was net downvoted (which that particular one richly deserved), even though several of them claimed not just to know they would be downvoted but to know that they would be downvoted "into oblivion" or some such phrasing.

So, why do I care? Because (1) these things just add noise and (2) I think that on net they get unfairly upvoted; I want to discourage #1 and compensate for #2. (Also, most of the time comments that say "I know I'll get downvoted..." are in fact bad ones, but that isn't the point here. In this case, the comment itself was pretty reasonable. It just would have been better without the look-how-brave-I-am posturing.)
Salesforce advances open-source Merlion project for time-series ML analysis
I'm not sure about Android, but you can disable iCloud Private Relay by returning NXDOMAIN for the domains below. These are Adguard filtering rules, but you can configure something similar using dnsmasq or Pihole.

||mask.icloud.com^$dnsrewrite=NXDOMAIN;;
||mask-h2.icloud.com^$dnsrewrite=NXDOMAIN;;
||mask-api.icloud.com^$dnsrewrite=NXDOMAIN;;
||mask-t.apple-dns.net^$dnsrewrite=NXDOMAIN;;
||mask.apple-dns.net^$dnsrewrite=NXDOMAIN;;
||mask-api.fe.apple-dns.net^$dnsrewrite=NXDOMAIN;;

I use these to automatically disable iCloud private relay, and I also have rules on my edgerouter to force certain devices to use my adguard instances for port 53 traffic, and it works well.
Cloud-Enabled, Local-First, End2end Encrypted
This kind of throughput is quite achievable if you get a high quality 6E router. Of course you need compatible client devices too, which is a bit of a challenge right now.
NATO is a defense pact. It only acts when its members are attacked.
So...when some place has a low, you're going to take that has proof against global warming? Of course not.

This article isn't about temperatures distributed over time or the globe. It's about one state over one month. That is cherry picking data and doesn't support global warming any more than one place is cold disproves it.

I'm saying to take global warming out of the popularity/anecdote contest, even when popularity and single points of data support it. But I see that people would rather play the popularity game by down voting me. They would also prefer to cherry pick data. Both of these backfire when someone else has enough votes or gets to pick the data.

Nothing I've written has been against climate change. It's merely against the, "See it's hot! Climate Change!" style argument which I believe does more harm than good.
I really appreciate the sentiment behind Rpilocator, but it really ruined things for those of us who knew which sites to scan for Rpi stock, by exposing availability to the masses. I have not been able to locate a single RPi4 through the usual channels since Rpilocator became live. Luckily, there is one source that the author missed, but it is wasteful and expensive. Cannot wait for the supply chain issues to be resolved.
I understand that it was all automated in nature. I was saying that personally I thought it was in bad taste, sorry if I wasn't communicating that correctly :)
Users can flag comments too and yours get flagged because they break the guidelines in overt and obvious ways which is pretty easy to avoid.
Wouldn't it be a lot cooler as a bicycle? If the body were elongated into a canoe shape with a square-stern, there could be a fold-out rear wheel / outboard motor combo, then the front wheel assembly would simply fold into the nose of the canoe.

Then if you want enclosure, the canoe could have an enclosed torpedo-like shell.
I would like to add that these are quite difficult unless you have a baseline of some athleticism. If you’re just getting into fitness these are going to be too hard.

For 6 packs, good diet and being lean/athletic is all you need.
It's just hard to parse

fn apply<A, B, C, G>(mut f: impl FnMut(B) -> G, a: A) -> impl FnMut(&B) -> C
// must still be `for<'r> impl FnMut(&'r B) -> C`, because that’s what filter requires
where
G: FnMut(A) -> C,
B: Copy, // for dereferencing
A: Clone,
{
move |b| f(*b)(a.clone()) // this must do any bridging necessary to satisfy the requirements
}

I wrote this code myself, and it's SLOW for me to read. Each part isn't hard, it's just too much crap
> There is a platform-independent solution though, one that renders properly ... See if you can figure it out.

Clickbait is low-quality content and the author here seems smug and unhelpful.
Strong Gattaca vibes.
Think about the genius scientists that was not born because someone with ALS was instead.

Youre not more likely to be a genius if you have ALS so might as well roll the dice with someone with less health problems.
It’s showing you how complicated of a branch sequence it can train on. Simple sequences are in the lower left, complex in the top right, and the ideal result would be a flat surface at the bottom. The earlier the surface rises into a mesa, the easier the branch predictor was overwhelmed.
You are doing good work. Thank you.
We have similar chairs and have to prop them up before the Roomba runs to avoid it getting stuck.
Finland is a great example of a world class school system that doesn’t measure “knowledge”. So perhaps trying to measure “knowledge” is the real problem?