skysight-inc/HackerNews huggingface dataset:
> Not being able to write a number down doesn't make it's existence a matter of conjecture. You could say the same thing about Pi.

Depending on your philosophy of mathematics, there is good reason to believe that some real numbers do not exist. In particular, pi is a computable number, but many reals are not. Thus, we end up with a place where we conjecture that certain things exist yet simultaneously say there's (1) no way to write it down and (2) moreover, there's no systematic way to describe it. Given that with pi, there are many programs that given an N, can compute pi to N many digits, I do think it's reasonable to say that pi can be identified. But, there are infinitely many numbers that cannot. In fact, the vast majority of real numbers that supposedly exist cannot be computed to any arbitrary precision with a turing machine. Thus, they cannot be identified.

The general term for this philosophical approach towards mathematics is mathematical nominalism. What I'm seeing in this thread though is an implicit assumption that nominalism is false, despite being unaware of this assumption. I believe these sorts of hidden biases are dangerous. While I don't necessarily subscribe to nominalism, I think it's worth consideration, and I do think it brings up several interesting questions that cannot simply be ignored because 'well I believe it exists'.

References: https://plato.stanford.edu/entries/nominalism-mathematics/

More interesting reading:

https://philosophy.stackexchange.com/questions/81414/if-most...

https://math.stackexchange.com/questions/4322297/in-what-sen...

Many automated theorem provers can only prove things by construction, thus computability is the requirement for 'existence' in these systems (calculus of constructions via Coq, LEAN, etc). In other words, they follow a constructivist approach to mathematics, which is rather interesting as such approaches require us to elide a lot of 'obvious' axioms we take for granted (such as the law of excluded middle). Several things shake out of this approach such as the conclusion that all functions are continuous. (https://en.wikipedia.org/wiki/Constructivism_(philosophy_of_...)
Ah, but it wouldn’t be something as inelegant as a force push. No no. You do merge. It’s just that the outcome is slightly… biased.
I'm pretty firmly in #2... it's relatively straight forward in a scripting language, and easy enough with something like C# with Dapper. In the end ORMs tend to over-consume, and often poorly. And even when they don't in most cases, they start to in more difficult cases. That doesn't even get into the amount of boilerplate for ORMs. You have to buy in to far more than their query model(s).
ANY "freedom of speech" that curtails the speech of people responding, using their own free speech, to someone saying something, is not freedom of speech, but rather an attempt to silence critics.

If you believe in "Freedom to publish without retribution", you believe in "might makes right".
> Your scheme doesn’t solve the problem, it just delays it

Until we have a way to make homeowners immortal I think a temporary fix is just fine.
mexico has a lot of underground economies:

step 1: wage a war of disinformation of vanilla "vanilla is getting the kids high"
step 2: end up making it illegal, of course, vanilla will keep coming
step 3: declare war on vanilla because of reasons
step 4: profit!

punchline step: replace vanilla with marijuana, or other native south American plants (cocaine).
in the long term, there's hope!

in the short, unfortunately, it's not viable for me to spend time on supporting another auth method
extern template was removed from the standard cause it wasn't implemented by any of the common compilers so you can't use it (unless you use Comeau which appears to be abandoned).

What it has to do with modules is you can effectively treat the module as a mini 'shared library' and when a template is instantiated you can append the compiled code into the module and re-use it in other compilation units.
so much can go wrong
we live in exciting times!
I occasionally do this with views managed by https://github.com/xelixdev/django-pgviews-redux/.
Yes, it would make sure that development tanks across the US, just like you want it to happen in Hawaii.
https://chatwith.tools?
Go developer experience:
* install the newest compiler
* clone the code
* go build

Python developer experience:
- clone the code
- setup virtual env (otherwise you will break your system)
- install very specific version of interpreter because lib x supports only Python from 2020, because Python breaks compatibility in minor versions
- no, you can't just update lib x withut updating python and other deps
- install deps (hopefully author of the code pinned everyting, otherwise you're fucked)
- never update any deps or you will suffer
I think that warrants a citation
Why not build more giant homes instead of taking from others ?
> “The justice system in Veracruz can’t be relied on to investigate, punish, or deter criminals, nor has the government launched a major campaign to boost the vanilla industry”

source: I'm Mexican,

I would say this about the entire country, not just one state. I would blame this on imperialism, but I already did.

however if you have money, you can buy your justice, selling drugs gives one money...
The California Tax Postponement Program exists if you are distrustful of the banks. It predates Prop 13.
Yeah completely agreed... who needs real philosophy or literature when we have Harry Potter fanfic that does both?
do you get any errors, or?...
Is depression and suicide significantly positively correlated to asthma or other breathing disorders?

Preferably low-grade to rule out gross pathology.
> Sure, you're free to pay for an antivirus product that does the same and you can contact them.

this is disingenuous: sure, you could, but no amount of antivirus can stop google from blocking customers or potential customers from seeing you without either of your informed, affirmative consent

in any case, thankfully your opinions that the ends justify the means (and also justify easily avoidable negative externalities), and that the lack of recourse available to the people you harm is somehow justified (unspecified how), seems to be the exception among people, rather than the norm

one wishes google actually cared what people thought, rather than professing to know better than them what's best, and directing them through the service without their informed, affirmative consent
Podshorty – Turn Any YouTube Video into a Summarized Podcast
Maybe they don't want multi-family housing?
I think a lot of people watch YouTube on their TV or phone or on a browser without an ad-blocker. I rarely watch YouTube on my laptop.

I think Twitch users tend to watch on their computer mostly? And I think Twitch viewers are more techy so they would be more likely to have ad blockers.

I have no data on any of this. I'm just throwing shit at the wall.
MIT is a do wtf you want license, and all the people who call themselves adults and call gnu children LOVE it. I don't think they are adults, it's usually not adults who use the word.

No one cries "unfair!" or "selfish!" more than a proprietary coder who can't use some gpl code, and the louder they cry the more they themselves advertise how simply correct and necessary that license is.

Stallman was and is right.
Not an American resident, but from what I hear about your culture, 50 miles seems very close as a limit for distance. Even if it's direct and not road distance.
This is like proposing to dig a bigger basement to fit more flood water. No matter how much you dig, there will always be more water in the ocean to flow in.

In the case of New York, it will never have "enough" housing - what will instead happen is, eventually, it will become so overgrown that it will be unattractive for new arrivals.
Needs a [2011] tag.
The Great Lakes are utterly miserable for half the year. And that's for people who are USED to living near the Great Lakes. Nobody is going to be "underwater" during their own lifetimes for living in Hawaii.
Netflix finally streams video games, too
That is a crime of harrassment and other "You're being an ass to someone" crimes. A private person cannot violate the freedom of the press because a private person has almost zero restrictions on their speech. THAT IS FREEDOM OF SPEECH, and any attempt to curtail that response is an attempt to stifle their speech!
Testing Games on More Devices
You might be overestimating the type of change required to break source compatibility. A benign example is adding a keyword. Let's say you want to add a new language feature and the community unarguably wants the feature and the right or only way to add it is with a new keyword. If you're not allowed to break source, then you can never add the feature.

I understand your argument for big things like changing the semantics of the language. But a backwards-incompatible change can also be rather benign.
The synced-between-peers features are built atop a thing call CitC, or Client in the Cloud. An author's client isn't on their machine, it's hosted in prod.
I'm convinced that until Javascript makes it easy to do the right thing by default (instead of its current state of doing many wrong things by default) the Javascript ecosystem will continue to have a lot of low-quality library code intermixed with a few high-quality ones. My neutral regard for JS had rapidly degraded when I had to actually start writing code in it or understanding code others have written.
It's much easier to find any job as a senior dev.

It's almost impossible to find a genuinely useful job there, regardless of experience.
I’ve often thought that a lot of mental anguish in young Wittgenstein’s life could’ve been prevented if Gödel’s incompleteness work had come a little earlier and he could have known how big the windmill he was tilting at really was.
I suspect this event have loomed larger in Vegas security staff minds: https://en.wikipedia.org/wiki/Harvey%27s_Resort_Hotel_bombin...
Connecting Cloudflare Workers with Service Bindings
Strong disagree. In my experience, this is not commonly why competitors don't adopt Google's practices. The main reasons I've seen are:

1. Money. Google essentially has a giant, gargantuan, enormous, bottomless pit of money to build a lot of this tooling (and also to take the risk if something ends up not working out). I think you might be able to say that other companies are just being short sighted if they don't implement some of these things up front, and that may be true, but (a) that's pretty much human nature, and (b) given that very few other companies have a bottomless pit of money like Google, that may just end up being the right decision (i.e. survive now and deal with the pain later).

2. Talent. This is closely related to #1, but few other companies have the engineering talent that Google does. If there is one thing I've seen with my experience with ex-Googlers is that most of them are fast coders. So when you go to your boss and say "I'd like to implement engineering/tech-debt improvement XYZ", at other companies it's a harder decision if (on average) it would take 9 months to implement vs. 2 or 3.

3. Related to both of the above, but your 4th bullet point, "Quiet accretion, over several years, of the [[whatever]] by people who understand it.", is actually other companies just waiting for more evidence to see what "shakes out" as the industry-standard, optimal way to do things.

4. Finally, your stage 1, "We're not Google, we don't need [[whatever]]" is actually true in tons of cases. Many of Google's processes are there to handle enormous scale, both in terms of their application/data capacity, as well as the sheer number of engineers they need to coordinate. Very, very, very few companies will ever hit Google's scale.
Where is the best place you've found to receive this feedback?
i'd love to learn more about this but i think banks don't actually know you have a subscription or how long is it, they just let the vendor charge you repeatedly and you have the option to revoke this permission through your bank (so the result would be a transaction failed upon next renewal, which not exactly the same as cancelling your subscription through the vendor)
> ML works well, when it is only trained on correct data.

Is that correct? I would think that its ‘interpolation’ and ‘extrapolation’ capabilities can easily make it produce incorrect statements.

As a simple example, train it on “π is a number”, “1 is a number”, “3/7 is a number”, “1.3457 is a number”, etc.

and

“1 is a rational number”, “3/7 is a rational number”, “1.3457 is a rational number”, etc.

and I give you a good chance that it will ‘think’ “π is a rational number”.
thanks for the conversation! Sorry I got a little huffy on this, I am glad for your patience in responding.
Depends on the abstraction... for example .Net's extensions for LINQ are pretty good at this, I haven't generally used the LINQ syntax, but the abstraction for query constructs are pretty good, combined with Entity Framework. Of course, there's a lot that I don't care for and would prefer Dapper. In the end, the general environment of .Net dev being excessively "enterprisey" has kept me at bay the past several years.
There is a shortage of reduced CO2 emissions

it's not just about the shortage, it's also to prevent abuse and so it can be available for everyone

price increase is a good signal that a resource is getting stressed
On one hand yes, on the other you can't buy without someone trying to sell. If someone is trying to sell after a disaster they presumably need the money more than they need title to destroyed land.
The rust mascot Ferris is a crab. Like how go has a gopher.
I don't understand why buyers are getting flak in this case. Are they coercing existing owners into selling? The recent fires probably were the reason why many are selling, but they're not exactly started by the buyers[1]. Presumably the reason why existing owners are selling is that they can't afford the repair costs, or figure that they won't be able to afford future repair costs if there was another fire. If that's the case, isn't the existance of buyers a strictly good thing? If they want to continue living in Maui, they can continue to do so. If they don't want to, there's at least someone willing to pay for it. Obviously it'd be better if they weren't in a circumstance where they had to sell, or if OP decided to give money to them no strings attached rather than having to hand over the house, but neither of those are realistic options.

[1] Except in a vague sense of "the forest fires were caused by climate change, and they contributed 0.00001% to climate change like every other american", but it's unclear why they should attract more blame than you or me.
Wrong, by 2030 there will be a lot less coastal area habitable in Hawaii: https://climate.hawaii.gov/hi-facts/sea-level-rise/

If you think the great lake region is too cold or wintery, well I got some bad and/or good news about what global warming is doing... it's not going to be frigid winters there for much longer.
Adobe Labs – Project Blink
I haven't read the paper, so maybe completely irrelevant, but isn't there an analytical solution for a system of N coupled oscillators?
I think it depends. Reading the form, if you filled it out and clicked the "I am requesting my own record" button, that's holding yourself out as though you were the person whose records you are requesting, which certainly seems like it could be construed as identity theft.
I feel like if you're looking for design feedback during the code review that's already way too late. There should be much more communication going on before the coding even happens.
I'm stumbling into this thread right after experiencing what appears to be a pretty catastrophic failure of Google's main product. As I write this, the search results for "Google stock" (among other queries) returns zero results ("Your search - google stock - did not match any documents").

I'm not really sure what to make out of these discussions about how X or Y Google engineering is, while the production service is broken for an end user like me.
I don't think I'd want to discuss anything with you, actually. You come off as a remarkably sour individual.
> Edit: as OP mentioned, it does seem to differ in technical sense from traditional CR, in that the changes live only on developer machine, not in source control.

Yes and no. There's a decent whitepaper on Piper and citc you can find by searching for it (or actually I will :P [0]), as far as piper is concerned they aren't checked into source control, but the vast majority of development happens in "citc" workspaces, which aren't source control, but also are source control in a sense that every save is snapshotted and you can do point in time or point in history recovery, and I can open up a readonly view of someone else's workspace if I know the right incantations, and most of the developer tools treat the local citc workspace enough-like a commit that it's transparent ish.

[0]: https://cacm.acm.org/magazines/2016/7/204032-why-google-stor...
As I mentioned, their main GraphQL server package is[1], so that's where the confusion came from. Thanks.

[1] https://github.com/apollographql/apollo-server/blob/9817bc47...
> we think were it not for AI training and inference workloads, the public clouds would be in recession, too.

Could you show your thought process here? It's certainly hyped but it doesn't appear that everyone is "doing AI" at a scale that the article suggests.

Instead I see a lot of "using AI" talk since that's easier to do, simple API calls. Which means a lot of wealth flow towards a small handful of companies.

Let me know if I've misunderstood.
Great book, a modern classic IMHO
I consider this to be pretty much an implementation detail though and not necessarily set in stone. The Function data structure is their public interface though and it does define an arity.
Ah that makes sense - the first video was only uploaded 3 weeks ago. It's known that, on youtube, formats become available in increasing resolution after upload as they finish encoding. Your experience now shows that the higher-res streams are encoded in a rush at first and later replaced with better compressed versions.

.

I've never seen such a long format list in youtube-dl before. Are 6xx new? Apparently,[1] they were introduced together with that 'premium 1080p' this April.

Comparing older 4k videos to your video: this one[2] now has 6xx, and 4xx are gone, and curiously the reported bitrates of all streams have since changed (reencoded?). 137 stayed about the same this time, but 18 dropped from 730k to 493k. For this video[3] 4xx are still available.

.

616 is not the actual premium 1080p as the posters at [4] think, is it? Currently youtube.com chooses 248 when playing [2], but yt-dlp can list and download 614 and 616 without any account cookies.

Rather, 6xx seem to comprise (of) vp9 spanning a medium, high, and sometimes low bitrate in all resolutions. Is yt considering replacing the older formats with these?

I just hope the original 18 and 22 remain for older videos, where any difference in quality also matters the most. When still available, in most cases the H.264 streams with creation_time prior to ~2013 are dramatically clearer than any more recent formats.

[1] https://github.com/yt-dlp/yt-dlp/issues?q=605+604+603+sort%3...

[2] https://github.com/yt-dlp/yt-dlp/issues/1863#issue-106877303...

[3] https://github.com/yt-dlp/yt-dlp/issues/389#issuecomment-103...

[4] https://github.com/yt-dlp/yt-dlp/issues/6770

lets not discuss how often the h264 streams for new videos are higher quality than the vp9
...and we are just a collection of single cells that ooze neurotransmitters to one another so that hopefully one of billions of sperm we make will one day splash against an egg.

Reducing AI to its underlying tech doesn't negate the emergent properties.

AI doesn't have agency YET. It's not as smart as us YET. ...but one thing is abundantly clear (to me at least) - it is currently similar enough to human though (including all of our hallucinations and idiotic behavior) on CONSUMER hardware - that it's pretty clear that an super-intelligent AGI is not only possible, but will be arriving SOON.
Who wouldn't. But let's not pretend that stackage and crates.io are covering the same functionality space.

As just one example: there are no OCaml or Haskell packages for natively reading or writing parquet files. There are at least 2 such packages for Rust.
If you think statements like "It’s about real estate" are somehow a redefinition of a different term ("the elites") used elsewhere in the document to make it mean something no one else in the world thinks it means, then we have no business even talking to each other. Your opinion of how reading works is so different from mine that it results in us living in two different worlds. I'm sure I'm right when I say this college professor knows how to communicate clearly, and if she had intended for "the elites" to mean "a small subset of elites who have large interest in CRE prices," that she would have found a clearer term, instead of a Marxist-charged one like "the elites," most often used for the purpose of throwing shit in the fan of corporate America, rather than arguing genuine points.
BTW, I've read the Go GC can be disabled, but what happens if you do? Wouldn't you have to avoid memory leaks?
One or two years ago, they started requiring you to be a label or something to start uploading. Before that, individuals could join and start publishing their own music, and I assume everyone already in was grandfathered.
My original Rust in Peace still plays fine after three and a half decades of use, thank God.
The anti-philosophy philosopher who claims that other philosophers don't understand language :-)
Sure, and it's ok for Tom Selleck to con seniors into reverse mortgages, too, because "now."
> I honestly don't really know of a story where a source-incompatible update killed a language.

Perl, with the Perl 5 -> Perl 6 (later Raku) transition? Fortran, with the F77 -> F95 transition?
Do you specifically ping people to review? At my company we've got a habit of not only assigning reviewers in GitHub but also pinging them in slack.
Related interesting read: https://slimemoldtimemold.com/2021/07/07/a-chemical-hunger-p...

TLDR: Author researches obesity epidemic in US, finds out negative correlation between obesity and altitude and comes to a hypothesis that it may be due to possible higher concentration of lithium in the water in lower areas

Wonder if this is also the reason in this case since lithium is an antidepressant
Doug Miller's Simulations
Text version (after new OCR):

https://pastebin.com/iEgCpBQ4

(It may still contain some errors)
That's not a satire. That's how people used to write code. Heck, I wrote a toy multi-pass compiler exactly like that in a B-like toy language that only had ints and arrays of (arrays of...) ints for data.

But that's incredibly old-fashioned; I am making fun of your "we write compilers like it's the 90s, and it's not the 90s" because you propose the technique from the early 70s. It's not the 70s.