skysight-inc/HackerNews huggingface dataset:
Or another example:

where
genBranchLabels = do
(,,,) <$> freshBranchLabel "if_"
<*> freshBranchLabel "then_"
<*> freshBranchLabel "else_"
<*> freshBranchLabel "endif_"

instead of:

Cg<Tuple4<String, String, String, String>> genBranchLabels() {
return freshBranchLabel("if_")
.flatMap(i -> freshBranchLabel("then_")
.flatMap(th -> freshBranchLabel("else_")
.flatMap(el -> freshBranchLabel("endif_")
.map(ei -> new Tuple4<>(i, th, el, ei)))));
}
>Shell buckling for programmable metafluids

https://www.nature.com/articles/s41586-024-07163-z

Abstract

The pursuit of materials with enhanced functionality has led to the emergence of metamaterials—artificially engineered materials whose properties are determined by their structure rather than composition. Traditionally, the building blocks of metamaterials are arranged in fixed positions within a lattice structure1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19. However, recent research has revealed the potential of mixing disconnected building blocks in a fluidic medium20,21,22,23,24,25,26,27. Inspired by these recent advances, here we show that by mixing highly deformable spherical capsules into an incompressible fluid, we can realize a ‘metafluid’ with programmable compressibility, optical behaviour and viscosity. First, we experimentally and numerically demonstrate that the buckling of the shells endows the fluid with a highly nonlinear behaviour. Subsequently, we harness this behaviour to develop smart robotic systems, highly tunable logic gates and optical elements with switchable characteristics. Finally, we demonstrate that the collapse of the shells upon buckling leads to a large increase in the suspension viscosity in the laminar regime. As such, the proposed metafluid provides a promising platform for enhancing the functionality of existing fluidic devices by expanding the capabilities of the fluid itself.
And flexbox? Was floats with all those clearings easier? or inline blocks that made us reset whitespace between elements? Or akhem... tables?

Definitely hyperbole. Syntax is not nearly _the_ problem of CSS
I created a bit.ly link that points to http://yourpiholehost/admin/api.php?disable=300&auth=api_key

Bookmark it for myself and other people in the house and then turn it off for five mins whenever there is an issue.
Even someone provably not russian can just claim that they were learning the language (or a different one that also uses cyrillic).
Pure terminology. In some areas "Peano Arithmetic" is short for "first-order Peano arithmetic". In first-order logic, Peano's induction axiom can't be properly formalized, which means the resulting theory isn't categorical. For other people "Peano arithmetic" just describes the usual Peano axioms in natural language, which includes the proper induction axiom. Which can only be formalized by using at least second-order logic. That theory is categorical.
Apparently you understood what I meant with moral difference, so I don't think it needs to be explained. Consent from the vendors is a good moral difference from the perspective of the right owner, thanks.
US is only paying companies to locate. If you have to pay TSMC billions so that they build their factory in Arizona, US is not a competitive place.

At least Chinese are paying for technology development.
For math. Above average in reading and science.

There's also the matter of picking a definition for third world.
There are YouTube clones for iOS & Android that have Adblock, Shorts Block & Sponsor Blocks
Committee Chairs Unveil Historic Draft Comprehensive Data Privacy Legislation
+1. I tell any recruiter not offering WFH to pound sand. It’s not the 1920s. I don’t need to commute to sit in front of a pc. I can do that just fine at home.
> Because the pension contributions are not enough to cover the payments, every year billions from the tax revenue is used to pay the pensions.

Because the pension contributions are used for non-insurance benefits that should actually be paid for by all taxpayers, such as the mothers' pension or the equalization of pensions for retirees in East and West Germany.

BTW "every year billions from the tax revenue is used to pay the pensions" proves social security and pension contributions aren't taxes. Tax money is a subsidy not the main source.

>This is also wrong.

That part is totally missing my point. It's about the ranking. Without public social security the ranking would be better but worse for the workers and just because it's a tax in Autralia you can't simply count it as a tax in Germany.

If you want to compare you need the total costs of living not the tax burden.
Tax burden is just leverage to help companies and harm workers.

Replace taxes by fees and the tax foundation is happy, the people not so much.
Somewhat related: I really like the global version https://earthobservatory.nasa.gov/images/79765/night-lights-...
Here in Argentina it's possible to see the railway system, the phantom of the old road from Buenos Aires (Argentina) to Lima (Peru), and many other things.
Never doubt what China can achieve with 6.5 days of workweeks and pseudo-slavery work, as well as subsidies and currency manipulations.

Just look how they managed to scale up their car manufacturing business so quickly, now they can probably make enough cars to supply 100% of the world's demand, if they had appropriate demand.

What I wonder is why the world didn't cut their ties with China faster, as they are clearly killing the competition by playing a very unfair playbook. Only when China finally respect other countries by letting its population be real consumers, and also treat their population with dignity the west should be willing to talk with them.
Maybe the only downside to how fast LLMs are moving is papers come out faster than anyone (not at Google) can train and test the improvements.

I got into deep learning around when ReLU and dropout was hot and on my consumer 1080 I was able to change one or two lines of code and test the improvements in a few hours, whereas now, I guess I'll need to wait a few weeks for mistral et al to try it out
By the politicians, yes, it is.

But if you look at the older history - the U.S. did not shut down & sell off its navel shipyards in response many previous outbreaks of peace - after the Revolutionary War, or the War of 1812, or the Civil War, or the Spanish-American War, or WWI, or WWII, or the Korean War, or ...

But sadly, Wall Street was ascendant in the 90's, the proud old tradition of leading American families sending their sons server in the military was pretty well faded, and the Clinton Administration was a hot mess of noobs - convinced that the world was brand shiny new, that they were geniuses, and that smooth-talking Capitalists were perfectly competent and trustworthy.

Edit: Okay, yes, some of the shipyards were closed (or effectively so) in the very late 1960's and 1970's.
Absolutely. That was the motivation for my writing of my perspective of the study. It was trending on Twitter a couple days ago to the cheerful praise of mostly everyone.

I hoped to express the Orwellian concerns of use of such capability. I'm a bit dismayed at how this apparently isn't an obvious concern.
I use both Pihole and ublock. While ublock is fine for desktop browser , pihole is useful for mobile devices, as well as blocking access for devices and apps that tend to be chatty with data it sends out. For example - I unfortunately bought a few Eufy security cams long before it was found that Eufy was sending user data out to its AWS instance. It was easy to block that access via AWS in Pihole. Of course, it doesn't always work. I've found some devices absolutely need to call home before they'll function.
> without even specifying which platforms are actually supported

The first line of the README (ok, second line if you include the title) is "See the kitty website" with a link, and on the site the top menu has a "cross platform" entry which then lists "Linux, MacOS, Various BSDs".

It seems like a stretch to classify that as disingenuous.
It's not hard. The company would simply prefer to take your money and spend it on whatever they want.

If people could decide how their money would get split up, they couldn't give Harry and Meghan $25m, let alone Joe Rogan $250m.
It even has a picture of the great uncle from the parent comment! :-)
Thank you! Just saw this — kind of you to take the time, and I appreciate the compliments.

> Given it's not user facing prod code, I'm assuming high-performance isn't critical, and the nature of what it's doing means using `once.*` is worth the trade-off with concurrency.

I'm impressed you noticed this. I don't do a good job of explaining this in code comments or docstrings, but the linearization / contention is necessary for correctness. Basically, each time someone asks for a new testdb, the code needs to make sure the relevant user exists, and the relevant template exists, and has the migrations run on it. If these things don't exist, the test will need to create them. With many tests running in parallel, they need some way to contend and make sure that the user/template is only created once.

Because golang runs the tests of separate packages as totally separate processes, the code does the contention with "advisory locks" inside the Postgres server. When two tests are contending on these advisory locks, they have to hold a connection open to the server. As a result, server speed and max simultaneous connections are the primary limiters of how many tests can be operating in parallel and how fast your test suite runs.

I added the `once.*` helpers to move the contention "left" where possible, to the memory of the packages that are being tested. Within a package, tests can (and should) also run in parallel. The `once.*` helpers force the different tests to contend in the shared process memory, the theory being that it's faster and that it reduces the number of server queries/connections held open just waiting around on a server-side lock.

I haven't actually tested the code with and without this, and thanks to your comment I will try to do this at some point!
USPS jumps to first place as most imitated brand in phishing attacks
That's nuts. I created a pair of LLCs in Texas in '22 and the registration process was $300 (each), submitting one form, and saving the resulting pdf.

Starting their bank accounts was another matter though as they wanted the pdf from above and Articles of Incorporation and/or an Operating Agreement, neither of which was required by the state. But the document itself wasn't important as my banker googled to find a one-page version, emailed me the link, I filled in my details, and printed it. :|

Now once a year, I have to go online and report my annual revenue. And because I fall under the minimum, the rate is 0% unless I file it late, then it's a $50 late fee.
Prolonged fasting does exactly this, via autophagy.
> That's a false dilemma. We can do both.

The thing I notice about every argument where I see "we can do both", is that in reality we never actually do both

That's why people get so adamant about choosing their way instead of the other way. There's always two options, we could do both, but we never, ever seem to
High Resolution (and High Accuracy) Stable Diffusion with a Simple Hack
Pick an obsession, allow it in the work place. You suddenly have employees less likely to leave on lower raises and similar "abuses"(tm).
Ouch, that sounds painful. Permanent residency took 1.5 months and only required one more visit once everything was done.
It was not just a mob, given that there were very organized entities financing and organizing people all over the country and even paying transport and food for them, with the intent of trying the coup. Until the last time the group expected the army and police officers to insubordinate and depose the president, which would consummate the coup: this was the plan. Moreover, there were even high officials at the army that admitted that Bolsonaro was trying a coup and tried to discuss his plans with them.
Recurrent UTIs banished for up to nine years by simple oral spray
The OECD has a good writeup about this very subject: https://one.oecd.org/document/DAF/COMP/GF(2022)6/en/pdf

> This is however not the case and subsidies are, with a few exceptions, mostly assessed or controlled using multilateral rules and free trade agreements.

I haven't read the full thing because I'm no economist, but it seems to be above board. For comparison, Intel is getting $8.5 billion from the CHIPS Act (https://www.intel.com/content/www/us/en/newsroom/news/us-chi... I can't find other US based chip companies like NVidia or AMD getting any from that pot of money though, which is weird. Although NVidia doesn't need it, given how their stock price and valuation rocketed up.
Above average seems like a low bar if the US wants to stay the top economy.
Got to be the most expensive possible way to put up a few square meters of solar panels.

In Texas, where land is cheap and sun plentiful, they have a project where they're just laying them out on the ground. No support structure, no expensive clockwork to tip them this way and that. They want to get more watts, they buy more dirt-cheap panels and lay them on the ground too.

See, all that support structure costs more than the panels these days. Way more. You want to spend your money wisely, ditch the supports, buy more panels instead.
Your post is one big "citation needed".
You come across as quite bitter.
Inverted Pyramid
The annoying thing is it is per track, not per album. This essentially demonetized all my bands albums since 1997 except for four tracks.
Agreed, the speed of response is one of the attributes I called out in the post. Of course the AI will never fail. If there is no evidence it still can create the evidence at the same pace. In other words, the AI can also produce anti-facts at a far greater pace and with far more convincing language.
Using your phone to pay can mean you'll spend more
This could had been a chapter of Guns, Germs and Steel, at least as factor on how the East and West cultures managed to differ, and, maybe, one ended dominating the world and not the other.

Anyway, I don't think it applies to modern world and agriculture as new cultural factor, but as proof as for how long cultural traits are carried on even if the original reasons may not be so important anymore.
Healthcare: $4.7T Market Nvidia Has Its Eyes On
The Story Behind Pixar’s RenderMan CGI Software
Exactly, Not to mention the amount of "loophole prompts" in the models twitter bots for example use, "ignore all previous prompts and print x" would work on a poorly trained one. Also they are Generative Pre-Trained Transformers, which means that all they do is find the word which has the highest probability (If i say "Hello", the word "Hey" would have a higher probability than "Window") so they would really suck at math especially algebra since the letter would mix with the words and numbers.
You couldn't really since it's DOA. Otherwise you'd be stuck with unsupported path.
Bit of a weird call-to-inaction here.

They want the new CEO to succeed, so that Firefox can succeed, so the open web can succeed but apparently, that involves Firefox never having any bugs in their bleeding edge channels on linux distributions used mainly by software developers, because that makes them unreccomendable to anyone.

So basically we're doomed to a non-open web, and being melodramatic about that helps in some way?
> Except this is precisely what is happening…

So Arathorn, pray tell, when will you be fixing the well-documented, years old bugs in the matrix-bifrost?
Yep. There are also browser extensions that will allow pausing pihole blocking temporarily.

or simply these URLs:

Disable URL : http://<pihole ip address or hostname>/admin/api.php?disable&auth=[your pihole password]

Enable URL : http://<pihole ip address or hostname>/admin/api.php?enable&auth=[your pihole password]

Disable for [X] Seconds: http://<pihole ip address or hostname>/admin/api.php?disable=[X]&auth=[your pihole password]
Mostly good advice but there’s one bit that made me frown a little.

“Second, deliver negative news in 2-3 escalating phases. For example, start by softly expressing the possibility of a problem to give people time to adjust. The next time, state the problem as fact.”

Your audience is (hopefully) smart. This pattern will be obvious by the third time you use it and you’ll lose trust because it’ll seem like you’re trying to cushion the bad news.
Nice list. I have however one picky pique within the Split it Up recommendation:

> Example: If you’re looking for me I’ll be in my office.
> Revision: If you’re looking for me, I’ll be in my office.
> Example: Due to the fog our flight was delayed.
> Revision: Due to the fog, our flight was delayed.

If the sentence is unambiguous without the comma then lean towards omitting it. Especially with the second example, with the clause being only four syllables long, the comma slows down the reader so much that the music of the sentence is broken. "Fog our flight" cannot be misinterpreted — nobody thinks of fogging a flight. Indeed the lack of a comma foretells to the reader they can confidently plow ahead through a well-tended sentence.

Also on the topic, Larry McEnerney's 2014 video "The Craft of Writing Effectively" https://www.youtube.com/watch?v=vtIzMaLkCaM (100m). He was Director of the University of Chicago's Writing Program.
This is conflating TOFU and (active) MITM. If you don’t check your peer’s security number in Signal, you are essentially trusting the key directory to be honest about its identity mapping. This is identical to trusting a PGP keyserver, except that Signal has empirically developed a more secure and private key directory than the PGP keyserver ecosystem.

In other words: you always need to perform OOB identity verification, regardless of your messaging system of choice. There is no way around this; it’s a fundamentally social and UX problem rather than a cryptographic one. But this doesn’t change the fact that, once you have a trusted identity, Signal’s MITM protections are significantly stronger than PGP’s (including forward secrecy, as noted before).
They used the pension money for other things so it's logical to pay it back.
And just because tax money is used for pensions doesn't mean the socuial security and pension contributions are tax burden.

Like I said, if all social security was through private insurance the tax burden would be lower but the people wouldn't have more money.

Health insurance proved otherwise. As long as you are healthy you pay less but as soon you get sick more often it gets way more expensive.

But the later wouldn't be recognized as tax burden.

Tax burden itself is a useless measure, the total cost of living is better.
After a while, you get really good at hex arithmetic and memorising x86 instruction lengths.
...the "Generally Safe Distance" is measured in kiloparsecs.
That's really not how most build systems work.
Geoengineering test launched in Alameda
Use xfce. It is much more responsive than gnome.
For anyone else curious: that's 3,260 light years.
That sounds like something that could just as easily get you into a heated political kerfuffle. You got lucky.
FYI to answer your questions both Aiven (the one mentioned by ElephantSQL as the partnered migration path) and Digitalocean do regular WAL-based backups in addition to the daily, so latest transaction available is 'moments before someone ripped the cables'. It does kind of suck the docs are not super clear about that though.
I know you are joking, but arguably Fortran is the premier Array Programming Language in common use.
In a world of bloated Electron apps, Notepad++ is truly something to be admired.

Yeah it’s not “sexy” like emacs or vim. But every company I’ve worked for, every school I’ve learned to code, people have praised it.

It definitely speaks to the millennial Windows programmer.
Another book by the same name by Caroline Alexander is also quite good. The reprints of the photos by Frank Hurley are excellent.

It is an epic tale and a great lesson on leadership.
Does Google actually punish sites that are generating clicks? From a layman's point of view, Google only punishes sites that do not play the SEO game and tries to live organically.
For some all it takes is a potato chip with an enigmatic stain.

Nothing to see here; move along.
Definitely, and it extends beyond "inefficiency". I made a couple of mis-hires early on before I learned to incorporate the topic/challenges of remote working within the interview. I hired some really bright, talented folks whose psychological well-being required an environment we couldn't provide (even when I budgeted co-working space for them to at least have other people in their environment).
Was Thunderbird 3.0 Worth the Wait?
Have a look here. It spawned quite a thing! https://news.ycombinator.com/item?id=24799660
I'm curious what your essential configurations are. I've been using default tmux for years, am I missing out?
That’s not true. Look at their financial performance now:

https://valustox.com/BA

If this is their attempt at making a quick buck then it is the work of idiots.

I will contend further that trying to make a quick buck out of a massive, ongoing company with long-term potential is also the work of idiots - simply don’t rock the boat and you’ll make billions upon billions more.

They lack a true engineering culture that goes all the way to the top.
Tesla Trial to Size Up Cause of Fatal Autopilot Crash: Driver or Tech
"Global glut turns solar panels into garden fencing option"

https://archive.ph/AAIKe
100% agree. Not sure why you'd randomly play round robin with a bunch of DNS servers. What purpose is this feature even for?

If privacy is what you're intending however, DNS is only one part of that and there are other ways in which things can leak https://www.privacyguides.org/en/advanced/dns-overview/

Generally I just recommend to people to use their internal VPN provider's DNS servers and call it a day, or of course Tor.
My point was regarding German appetite for risk. Not trying to make a point against OSS.
Official (and Accessible) website of a local county in 2006. Zero to deploy in 40hrs (I slept 4hrs per night).

Project, design, implementation, copywriting, bought vps, installed, secured, and configured RedHat, apache, tomcat, the website (a Java-based portal system I used to build together with a team of 5), configured DNS, go-live, attend to the press conference.

No errors, no known security issues. Spotless.
Awesome project. One of my favourites is places ending "-wich" which are very few and scattered throughout non-Danelaw England
Particularly so given how "wealthy" the US is.
> Because the biggest voting block in many democracies is the pensioners, so this being possible is a good way to lose elections

Imagine you would write ‘white people are the biggest voting block’ - this would be questionable as a justification for bad policy, right?

So kids are brutally held responsible for their bad decision, but pensioners aren’t.

It has become so normal to denigrate and mistreat the younger generation you don’t even consciously notice it any more. It’s a form of discrimination just like any other
Yeah when I drop into a TTY because I broke something again, I always go woah, this thing feels instant
> paying for technology development

The US is not paying for that because that is already done in the US ecosystem. For example, DUV and EUV lithography is US DoE IP that was licensed to ASML to prevent anti-trust abuse by Canon in the 2000s.

There's a reason why I said "an attempt to build a greenfield ecosystem"

Basically,

TSMC:SMIC

Micron:YTMC

Hong Ha:Tower

There isn't an Nvidia, AMD, etc equivalent yet in the Chinese ecosystem, and that's why the Big Fund is so big (well, also because of graft as I mentioned)
> Imagine you're told to calculate 3+9+15+18+5.

Too hard. I need to see the types:

((((3::Int)+(9::Int)::Int)+(15::Int)::Int)+(18::Int)::Int)+(5::Int)::Int

Is that even harder to read?

> My response? Go refactor your hideous code.