skysight-inc/HackerNews huggingface dataset:
In terms of where the water comes from, sourcing at Old River Control makes a lot of sense. From there the water really does pretty much run into the Gulf of Mexico, and there is no downstream irrigation, power generation, or shipping impact from a 5% diversion. But the writer makes the engineering sound trivial, when it's really not. The first thousand miles are all uphill, so you're not talking about a canal, as the author implies, but rather a pipe. And not a small pipe either. If you move the water at a velocity of a meter per second through a single pipe, you're looking at a pipe 40 meters in diameter. And you have to push that against a head of 4000 ft net. Obviously, you'd want to pump at multiple points with intermediate reservoirs to stage the pressure gradient - otherwise you'd have a static pressure of 1800 psi in the pipe at the source. But when you roll up the pipe, the reservoirs, the pumps, and the multiple power plants to run it all, you're talking about a lot more than the garden hose across Texas the author wants to make this sound like.

And much of this is across already arid, water starved land. I'm guessing West Texas and New Mexico will want their own cut of water in return for permitting the project to cut their states in two. You might need to double your total take to satisfy everybody.
Are there any specific podcasts you would recommend?
Searching on github shows (active, 50 stars or more):

* A Very Low-Bitrate Codec for Speech Compression from google

* An interactive, graphical Visualization Design Environment (VDE)

* A paid-members theme for Ghost

* High availability RabbitMQ client

* Open Source Workflow Engine for Cloud Native Infrastructure

* The Lyra Protocol (ethereum)

* Symfony2 admin bundle

There's no point complaining about name "collisions".
Pretty sure that David Graber demonstrated that there have been societies which used Natural units.
I once had a need for permutation hashing as part of a 2D sampling algorithm. My approach was to compose the hash using only reversible steps (to ensure that it's a permutation), and then use cycle walking to reduce the domain size from a power-of-two down to an arbitrary non-power-of-two size if needed.

I published my implementation in the Pseudorandom Permutations section of my "Correlated Multi-Jittered Sampling" tech report: https://graphics.pixar.com/library/MultiJitteredSampling/pap...
This is a design that is meant to be mass produced in an assembly line factory, then shipped to its destination and plugged into the grid. It definitely had the potential for economies of scale in manufacturing.
It is. Not all of are relativists.

Freedom and anarchy aren't synonyms. Contrary to popular belief, the fundamental freedoms many of us desire are not bestowed upon us by God or something. They are upheld at gun point, by threat of violence, and by borders.
Does the mining industry need help with software? I was talking to someone with experience in the the oil & gas sector and he mentioned that there is a lot of things that could be automated because scraping data and data entry is often being done by hand.
The American Conservative has some very smart writers despite having right-wing premises, IMO. https://www.theamericanconservative.com

If I were you, though, I'd be looking way outside both Democratic-leaning and Republican-leaning sources. You might like Naked Capitalism. https://www.nakedcapitalism.com
The anto masks protests were not for mandate to use stronger masks. They were usually against any masks at all.
You have to keep wondering if plan9 is so great, why nobody uses it really. Is it a conspiracy, or is it that plan9 is not that great after all?
> Commonwealth nations have largely devolved into illiberal elective autocracies with immense power concentrated in the PM's offices,

Not especially applicable to border lockdowns within Australia.

The biggest case that hit the Federal Court was the border closure by the State of Western Australia (population ~ 2 million, land area 3x Texas) which was in effect the local citizens of W.Australia being damn near 100% in lockstep with their elected local representatives in saying we have no desire to see free movement of people across our State border during the time of the pandemic.

They were in opposition to the Federal Government and the PM's office and held their ground ..

.. despite the alleged "immense power concentrated in the PM's offices".

Free trade of goods continued via rail, road, and shipping so their was no issue with that part of the Consttitution, and the lockdown was in keeping with earlier (2005 etc) biosecurity ammendments in both State and Federal law.
There's no contradiction: autodiff is a method of implementing differentiable programming. In this example, it is implemented as a type that handles a trace of a program, but everything else is left to the programmer. This is a problem because most of the code I would want to write is not a single trace!

Analogously, I could write a program in C that does message sends and organizes code in a design pattern called "objects" and "classes". Incredibly painful, but workable sometimes. Some people even call it "object oriented C" and go on to create a library to handle it like [1]. Is object orientation not a paradigm because I've implemented a core piece as a library?

No, because that misses the intangible part of what makes a paradigm a paradigm: I structured my code this way, for a reason. In OOP, that reason is the compartmentalization of concerns. The underlying OOP mechanism gives me a way to reason about composition and substitution of components to minimize how much I have to reason about when writing code. Similarly, in differentiable programming, the differentiability of all things gives me a way to reason about the smooth substitution of things because it more easily lets me reason about how the machine writes code.

[1] https://en.wikipedia.org/wiki/GObject
I recommend following the link in the article to her videos. There are 14 of them in all and they build the basis for the relationships that she has developed between quaternions and octonions and describe how to relate these things to the known particles and the standard model, etc. Very interesting stuff.
So looks like this is the one outstanding item: https://github.com/go-gitea/gitea/pull/18165
Are the croissants aerodynamic?
Yep. The general consensus here in Australia is: "look at the USA, their bill of rights has the right to bear arms, gee didn't that turn out great, we'll stick with what we've got thanks".
We have a long way to grow before solar energy is not enough for our energy needs.
Due to government regulation that requires Tech company to register in Indonesia Ministry of Information.
So um, why this over the one click Postgres in AWS,GCP,Azure etc...

> Neon is a new serverless Postgres database

I'm curious about how it's serverless. Is it not running Postgres... on a server?
https://trends.google.com/trends/explore?date=all&q=Shared%2...

often depends who you ask, istr stallmans take on "open source" is that the term came into existence explicitly to dilute the free software movement and make space for evil companies to do evil things. if you were to buy this then it may continue from that logic that everything covered in the article is well labelled open source.

i don't really condone stallmans biased and divisive position on this, but it is exemplary of the kind of conversation we're wading into with opinions about what it means historically.

e.g. https://www.cmpod.net/all-transcripts/history-open-source-fr... under "A Surreal Situation"
Golf courses in Phoenix mostly use reclaimed water so their net impact is very low.
Utah now has a fraud registry (like a sex offender registry) to help prevent serial fraudsters from finding another mark. I have no idea if it's effective but it did seem like a good idea when they first implemented it.

It's somewhat interesting reading to just skip around and see the different kinds of schemes being used (they all have descriptions of the how the fraud worked).

https://www.utfraud.com/Home/Registry

I also suggest the /r/scams subreddit to keep up on what is out there. Most are laughably bad but occasionally some are quite clever.
Nobody Cares about the Doom of Númenor
I took a sketchbook on my walk today. I did have my phone and used it some, but drawing things from life, with traditional materials, is a nice way to slow down and engage with the immediate world. Especially since with walking routes, it's usually the same things every day, so while you might think "I've seen this before", once you try to draw it and capture everything you can, it's like you haven't seen it at all.
I mean, not really. Plenty of people get sued in Canada for personal injury (my friend specializes in it) and they have universal healthcare.

I don't know of any country that has a social safety net that 100% reimburses you for a life-altering injury where you can no longer work. Sure you'll get a disability pension, public healthcare and maybe a bit more, but it's usually "barely enough to live on" support.

If you're a doctor making $200,000 per year and you can't work again, suing is usually the only way to recoup things like lost-wages.
The wall street journal. It leans right but not to fantasy land. I think it's trustworthy since investors need to trust their news sources to make valid investments. If they start to get burned by what they read they would abandon it ASAP.
The economics of nuclear power don't make it an ideal companion to wind and solar. You want to have backup power for days where it's neither windy nor sunny. So you need a lot of nuclear. But then you want to use renewables when they're available, so most of the time you run your reactors way below capacity. Unfortunately most of the cost of nuclear is capex, so every minute you don't run at 100% makes nuclear power much more expensive.
“My genes” are carried by a really large number of people. It’s pretty much guaranteed many will reproduce.

I die because nature has selected humans to have a certain lifespan.

In many species, almost no individuals reproduce. Worker ants never have children. Same with worker bees. Plenty of species select have some/most members not reproduce to protect assist species.
Kuo: Apple's Work on 5G Modem Chip 'Failed,' Qualcomm Remains Supplier for 2023
Thank you for this information. I did not know that, obviously. I have seen bin blocks and barriers for sale in auctions of highway-related materials and bin blocks alongside highways and assumed that they must be DOT approved.
It seems you haven't read my references? As your [2] is my [3] from above!

> The existence of a different kind of CPU isn't a meaningful distinction at the level of discussing paradigms.

Well, that was my point above: You can't really lump quantum programming together with probabilistic programming, as they are paradigms on different "levels".

> practical papers like [2] cite it wistfully as a dream of what could be achieved

Are you sure about that? I skimmed [1] as I wasn't hadn't read it and it seems to describe a rather restricted set of functions ("types are interpreted as vector spaces and terms as functions defined by power series on these spaces"), as there are many differentiable functions that cannot be defined as power series.

Moreover, in [2] it is only claimed: "Ehrhard and Regnier {i.e. your reference [1]} do not give an operational semantics but they do give rules for symbolic differentiation and it should not be too difficult to use them to give an operational semantics. However their language with its convenient vector space semantics only supports total functions. It therefore cannot be extended to include recursive function definitions or conditionals (even with total predicates, as continuous functions from R^n to the booleans are constant)." So I would not say they cite [1] as a wistful dream ...

> There are only a few slight axiom differences that separate differential, logic, probabilistic, and quantum programming though.

Give me the axioms and their differences and I believe you. :) (Honestly, I'm not even sure if the discussion on which axiomatization captures the existing developments has been settled; it seems to me you have some kind of category theoretic approach in mind where you just change the category and get a new paradigm - I'd be happy to accept this as well, if there is a clear reference, though I'm doubtful one exists ...)
Looking up unknown words during reading is not very effective for gaining understanding of a foreign language. My personal habit is to look up words only if I can remember having wondered about its meaning for at least five times.
For a moment I thought this was my fault because I had just asked for a free academic license, and somehow that would be the final straw :(

I was very excited to start reading the C code and was hoping a Nim port would be possible. Sad to hear I’m this late to the party because now I can’t even enjoy the blog posts.
US engineering and attention to detail are, I agree, vastly different to the Soviet ones.

But concern for quality of environment for others vs corporate profit? Hmm not sure. The initial overuse of water resources in the West, endless stories of top soil and water table irreversible pollution with one chemical or other, or the reports that gas and oil companies had a full perspective in global warming in 1990s...

I'd agree, there possibly is an amount of water you could safely divert, and it is this kind of study that would determine it, but I'm not sure if the end result would reflect a sustainable solution.
Silence Is a Luxury Product. Noise Is for the Poor
Well, I love having both of my hands free, so the cost is worth the convenience to me.
And even worse, have pesticides and other stuff from pipe surroundings leech through plastic into water.
To be fair, same applies to parking. Finding a parking lot in an unfamiliar location in a dense city can be quite a challenge.
The Constitution isn’t worth the paper it’s printed on once you attract the attention of the government and it’s forces. Same as any citizen in every country on this planet.

Clearly not true when you consider how many cases the government itself loses.
This seems extremely constrained by geology, even more than hydro. And what sort of gas would you be storing there?
From my point of view, making the taxable horsepower a completely different thing from the actual horsepower is a fraud. Maybe you mean that the fraud was perpetrated by the tax office and not Citroen?
Afaik it's Germany (and maybe some othes) where that is an issue https://en.m.wikipedia.org/wiki/Public_domain#cite_ref-CC0_5...
Can't tax the ultra rich's income because they don't have any

Can't tax the ultra rich's wealth because there's no political will and can get complicated really quick

Taxing their consumption is probably the only thing left

In Denmark, the vehicle tax has a 150% marginal rate
States like Colorado are already “giving” most of “their” water to other states. Louisiana could probably be convinced to do the same.

Reducing the flow of water in Louisiana by 5% would not have noticeable impact on the state’s environment when you consider that annual variability of water flow must be far higher than 5% for such a vast and dynamic watershed. If that kind of annual variability is not often creating headlines, outside of flooding - for which this kind of project could only help, then it’s difficult to imagine how a far smaller variance would have meaningful impact.
Reading the international press can be valuable to get a different view on the same topic. The US is certainly well documented from the outside in.

The bbc, the French press also has English editions, etc.

Anything but the Murdoch media.
Even for those that do not assume GNU make, this may not be enough. GNU Autotools are not limited to running on GNU make, but this make does not implement everything used by Autotools. The first thing I noticed it does not handle is VPATH (https://www.gnu.org/software/make/manual/html_node/General-S...) which is used by Autotools for out-of-tree builds (mkdir build && cd build && ../configure && make as opposed to ./configure && make).
It mostly depends on API design I guess, but missing language features can certainly more complicated than necessary. I guess the GhostScript authors felt error handling in PostScript to be difficult since it is a concatenative programming language (related to functional programming languages) with a dynamic type system, even though it has error handling facilities.
Is every diff thoroughly reviewed? Is everything built with `-Wall -Wpedantic -Werror`, `clang-tidy` with most checks on, ASAN/TSAN/MSAN/UBSAN on every commit in the CI, and aggressively canaried against replay data (or whatever is appropriate to the domain to exercise all the paths)? Is all the code run through `clang-format` in a pre-commit hook to lower the cognitive overhead of spotting bugs?

I completely understand that when you turn all the checks up to maximum (which, in fairness, `rustc` does by default) you start with as many errors as you have files if you're lucky, and probably 10x that. I've had to take codebases from working by accident on every 10th line to passing all the static analysis cheaper than PVS-Studio, and it's a bear no doubt. But codebases that are `clang -Werror` clean, `clang-tidy` and `cppcheck` clean, ASAN/MSAN/UBSAN clean, and have all this enforced by CI?

I haven't seen those codebases thrash the core dump where GDB prints out a bunch of "????????????" instead of addresses with any frequency.

Someone should do a 2022-edition "Joel Test" (https://www.joelonsoftware.com/2000/08/09/the-joel-test-12-s...) because I think we're all using revision control now, times change, but until someone does, I'm happy to trade war stories about getting messy code bases / development workflows into fighting form.
Texan politicians didn't miss a chance to blame wind power for the outages. Unfortunately, those initial lies are still circulating. The primary cause was that the pipes supplying natural gas froze. https://www.texastribune.org/2021/02/16/texas-wind-turbines-...
Agree! There should be option to have pluggable storage system for this. That way people can write + pick and choose what storage mechanism they need.
Isn't that something of an oxymoron? /jk

The wall street journal is maybe a good go to. Their Ed OPs can be really good sometimes.
You have to admit that it's tuned towards stateless and loadbalanced workloads, though. Not every workload fits into the k8s box. I like k8s but for everything else, k8s can make things overly complicated.
There are several interesting advantages to government sources:

First, they're public-domain, or should be! In reality, there's crown copyright in the commonwealth countries. And every US State is its own fiefdom often with arcane publishing deals that keep the laws out of the public domain (or so they claim). In the US, only federally authored works are clearly public domain by statute. I got tangentially involved in the issue when I was in law school when I made my first app for Oregon: https://boingboing.net/2009/10/30/oregon-once-again-cl.html

Second, my thinking goes like this: For most people, interactions with their local government is a big part of the legal process. And so knowing how the government defines words is extremely important. IMO it's very persuasive to use the govt's own text in one's arguments. Some of the dictionary's definitions are from actual statutes, and so have the force of law. E.g. https://www.public.law/dictionary/sources/world.public.law__...

Black's is a fantastic book, and I'm a big fan of its editor, Bryan Garner. But as far legal arguments go, it's merely a somewhat persuasive "secondary source."

Ok, and finally, by me picking the sources, I'm filtering out tons of unattributed crap that's online.
I really like the idea of making the main input a saveable textarea that can hold multiple words rather than just one. Reminds me of Numi and Soulver, which do this for calculators (I never went back to a traditional calculator app after discovering them). I wonder if there's other apps that could be made more powerful by replacing the single-input with a textarea.
Most water use is for agriculture. Most agricultural water use is for meat. Beef is by far the least efficient way to turn water (and other stuff) into protein. I propose we tax meat nationwide according to its water use, instead of dreaming up unrealistic and unnecessary megaprojects.
Thanks - Ill have a go with that!
I edited my comment potentially while you were writing your reply, sorry for that, hopefully not so much that your feel you replied to a different comment.

I am in agreeance, however I don't think picking how you identify would count as anarchy, which is the part of the OPs comment I was alluding to. We still very much pick our fundamental freedoms, and decide where to draw lines, those are up to the community to decide upon. It's an odd place to draw the line, for a country that has decided ideological freedom and individualism is a value it wanted to protect.
Speaker in the video clearly does not remember the 1990s, because that's when the collaborative peer-to-peer file sharing technology he describes was invented. If he did remember, he would know the answer to why his vision has never come to pass, because as soon as people have peer-to-peer file sharing they start using it to share copyrighted content, and corporations direct all the force of law to shutting it down and making users outlaws.
> Agreed about the binomial formula, but don't you need induction to prove the binomial theorem?

Yes, that's the point. :) In that, they're basically re-proving the binomial theorem (or more accurately, using the same method) rather than just using its results with the new dual number arithmetic.

Michael Spivak's Calculus has some great chapters on Taylor polynomials, Taylor's remainder theorem, and Taylor series. I've been looking into this stuff lately, to try and justify mathematically why automatic differentiation works (I've never read anything that does so, including several published papers), and that's where I was reminded of the fact that not everything is gold with Taylor's polynomials on real numbers. Maybe (?) the introduction of dual numbers gives something akin to complex analysis' concept of analytic. Not sure and not there yet.

> I think differentiable programming is a new paradigm in the sense of logic programming and functional programming, and I do think it goes beyond just autodiff (though the linked article only explains autodiff).

After some of the responses, maybe that's where I'm balking at. In that, I've only ever seen differentiable programming mentioned in the context of automatic differentiation. One of the papers posted led me to be more comfortable with the concept of differentiable programming as a distinct thing, in a sort of Mathematica sense, but I'll definitely need to read some more.
pure carnivory diet is delicious, if I have the wealth to do it full time I'd probably switch. Alas, I can only afford maybe 2 or 3 days before fasting and return back to grain-heavy diet.
Rather then repeating various arguments, I think it's best to just mention this link, which provides explanations and illuminating examples of the phenomenon of smooth functions with diverging Taylor series: https://mathoverflow.net/questions/72/whats-an-example-of-a-...

Quote by Pietro Majer from the link: "it is more useful to communicate the (historically non-trivial) idea that there is a difference between a function and a representation of it by means of a formula"
True, but if "without computers" became the norm (with a good lead up time), then ways to make it work sounds like it could happen.
I tried meshroom originally, but it was amazingly slow compared to some of the commercial offerings. Searching, I see there is some hidden flag for GPU, so ill see if that helps.
Wished I never saw this comment :)