DroneBetter

the unit distance problem's paper was human-summarised and condensed significantly from the initial LLM output, so it seems the model did do some theory-building there (possibly providing motivation for the clever trick as a natural deduction, at least in its eyes) before humans cut off all the chaff; I imagine the development was similar here.

maybe by the platforms based on the non-publicly-disclosed behaviour (including usage patterns, like rates of opening specific menus), but not by other unprivileged users seeking to publicly out pseudomymous authors.

the bird's children may be crippled if it gets tangled in their feet while they're still developing, see https://en.wikipedia.org/wiki/Stringfoot (which is in general a common sight wherever pigeons can be found); when my flat's fibreoptic was being installed, the cable-layers made a big deal of collecting the cuttings where they spliced the cable and ensuring nothing would be in reach of any animals.

well it seems advantageous to be able to say "your honour, we're being unfairly singled out here; at the time of the incident this lawsuit concerns, none of our competitors had resolved this problem either" and have receipts.

(and also know whether the safeguards they're trying to implement/improve towards have been achieved or are theoretical)

also just as importantly (or moreso for cases of individual rooms used for social/hobbyist clubs like this) would be 'empty building taxes' to prevent the eventuality of landlords preferring to rent out fewer properties over reducing the cost of vacant ones because * housing is necessary for survival so people cannot afford to baulk at the prices of artificial scarcity, making the optimal price effectively arbitrarily high without regulation * landlords are generally not infinitesimal entities in a vacuum, and generally stand to lose existing customers who are still on the expensive contracts if they cheapen their unoccupied offerings although such a solution would just move the problem one layer further up (stop building properties to have them be vacant) and the solution is land tax

I think it becomes somewhat more defensible when considering that the alternative was operatiny Google's policy (before the advent of competition) of "these models would bring unknown dangers in the hands of the public, we shouldn't release them until we better understand the implications" (or perhaps more selfishly "these effectively nullify all our detectors of generated text, if released they would instantly lose us the war on SEO").

(recall that OpenAI thought GPT-2 was too powerful to release for approximately tantamount reasons)

i hate every time i hear about spaghettisort.

it is still O(n) weight to transport, so O(n^2) amortised; if you liken having a stronger hand that can carry more spaghetti to parallelisation, it's beaten by O(log^2 n) sorting algorithms on parallelised classical computers.

this is explained by the symbolic method (https://en.wikipedia.org/wiki/Symbolic_method); in the language of exppnential generating functions, we say that bell(n) = A000110(n) = [x^n/n!] exp(exp(x)-1), since exp() means "sets of ()," exp()-1 means "nonempty sets of ()" and x means "singletons" (it can be read as "bell(n) is the # of partitions of [n] into sets of nonempty sets").

see the asymptotic formulae by Vaclav Kotesovec and Natalia L. Skirrow (me!) on https://oeis.org/A000110; the former (together with Stirling's approximation) says bell(n)/n! ~ exp(n/W(n) - nlog(W(n)) - 1) / √(τ(1+W(n))), and the latter says that the average number of subsets in a partition on [n] counted by the Bell number is ~ n/log(n), while for a permutation it's only = H_n ~ log(n).

(using W(n) ~ log(n), although it's more precisely log(n) - log(log(n)) + o(1); its appearance here comes from solving for the radius from the origin at which |exp(exp(z)-1) / z^(n+1)| has a saddle point in the complex plane, which lets you pretend your contour integral from Cauchy's formula is a Gaussian and approximate it in terms of the generating function's logarithmic second derivative)

another cool adjacent result that comes out of saddlepointery on e.g.f.s is that (# of sets of lists on [n], A000262(n))/(# of sets of cycles on [n], n!) ~ exp(2√n - 1/2)/(2√π * n^(3/4)); this is also the expected number of preimages under the surjection A000262(n) -> n! from closing lists into cycles, or equivalently the expected product of cycle lengths in a random permutation ∈ Sₙ, and is my favourite example of a function whose growth is between polynomial and exponential

this is not necessarily the case; the coursework could have been produced by a different person from the teacher (although generally at my alma mater the 'module organiser' fulfils both roles).

https://archive.is/OXUah

it would be nice to show an amplified pixelwise difference between the before and after images

I don't think that's true, at least in the 13" model.

and the F keys come back on the touch bar if you hold the fn button

this is basically the plot of the end of Dark Star (1975)

done already in the 1990s by human-written programs that iterated through the finite casework that human thought had reduced the theorems to (four-colour theorem, FLT, etc.), which recent developments (eg. LLMs autonomously resolving Erdős problems) seem meaningfully distinct from. human effort to make the results cleanly understandable well, perhaps loops of "derive proof through reasoning in English, formalise in Lean, use AST size of formal proof as a metric to optimise (via an LLM-guided search), translate back into English" could improve this? a lot of resources are being spent to make frontier LLMs more resistant to hallucinations via Lean, perhaps cogency will increase as a byproduct.

from the "DeepSeek is a ploy to undermine usamerican models' duopoly" theory's perspective, "now everyone has this" helps them achieve this goal more efficiently.

especially if it's something that the major companies had already stumbled upon (something equivalent to) and regarded as a trade secret.

yes, that is pretty much what he disclosed in the article

He turned to Google’s Gemini AI for advice and decided to create a “hot girl” crafted specifically for the “MAGA/conservative niche,” after the software told him that “the conservative audience (especially older men in the US) often has higher disposable income and is more loyal,” according to Wired.

age doesn't inherently make math less useful, and the parts it does affect it does non-uniformly.

i have undergone an undergrad differential equations module that taught exclusively ad-hoc methods for certain families of equation that no working mathematician needs to know since they were all subsumed into and superseded by computer algebra systems, but the subject i would enjoy replacing it with (generating functions) is similarly old in origin (perhaps even earlier, since Euler used most of the techniques that an undergrad class would cover before diffeqs were considered an object of study) but has happened to become more useful with the advent of CASes instead of less.

so one could say that the genre of "harem-lit" is itself an apt analogy for the business model of the site to which it is bidden... yes indeed...

v3 was just the one stipulated by your grandparent comment's question that your parent answered.

well inflation is equivalent to a flat wealth tax that doesn't consider insoluble assets, and is entirely in the hands of the government that imposes the UBI.

"cause increased prices for consumer/essential goods" is what you meant (since buying power is moved to people who are reliant on buying them), but this is a one-time transition to a new equilibrium (so is mitigable by increasing the UBI to account for it), not a constant ever-looming devaluator.

[flagged]

the point is that each question is something that a specialist in a field would be able to do, but deems challenging enough that the ability to solve it would imply significant general usefulness in that domain

i've seen a a where three barbershops were a stone's throw away from each other, with a few houses between them on a street in an (only moderately dense) residential area with no carparks anywhere nearby, and wondered how that could possibly have arisen (since they'd detract each other's customers, and laundering operations wouldn't make it so blatantly obvious).

and the same occurs with phone(-repair)-and-vape shops in shopping areas (which I guess are somewhat more understandable, since they only require one employee present each and do get footfall, and the cost to rent a shop has imploded since the coronavirus hit the final nail in the town centre's coffin)

no way, https://en.wikipedia.org/wiki/Fairy_rings on a macroscopic scale

ideally, slowly grinding down duplicates into canonicals, keeping the ones whose answers are subject to change (with developments in languages and tools) up-to-date, removing cruft and making it more like a library (à la Rosetta Code) that's easy to find things in

and a change of form from (questions being asked primarily as a means to an end for one person) to (Q&A pairs being written as reference materials)

and requests for comment on which approach would be the most idiomatic or whether one has fallen into an XY trap or other things that rely on human 'taste' rather than LLMs' blithe march of obedience

or perhaps it's an artefact of them having a higher contrast against the asphalt and being somewhat fat and puffy compared to most roadkill animals

hey the AR/VR entry is wrong, right? Apple demonstrates it in the keynote webpages by having a 3D model relating to the keynotes' themes that can be placed and rotated in space, I doubt it would be for their own pages only.

unless it means having the webpage itself render in VR and not just an isolated model

"home" can be substituted for "place where car resides when owner is at home" without meaningfully changing the point

Last month Pornhub restricted access to its website in the UK, blaming the introduction of stricter age checks, and said its traffic had fallen by 77%.

assumedly the rate of consumption hasn't dramatically changed, so the OSA's immediate result has been either the decentralisation of porn providers (towards those small enough to dodge the law for now and be less exacting) or the mass adoption of proxies; I assume the former is the path of least resistance

this is notably the opposite of the feared outcome (which I suspect may be closer to the long-term effect) that the bar to meet the requirements would be so high (possibly involving hiring a lawyer) that smaller social/porn sites get regulated out of existence (see ie. https://lobste.rs/s/ukosa1/uk_users_lobsters_needs_your_help...)

well for one who does buckle down and read and do math, the expected amount of new information brought to them by a 3B1B video as supplementary material upon a topic (with the normal distribution being one that admits a direct comparison from the article) is nonzero, by merit of it possibly having ideas to convey from outside their usual purview and formal background that may be applicable to the doing of math (as has been the case for me, someone who [does math](https://oeis.org/wiki/User:Natalia_L._Skirrow)), while for Quanta fluff pieces it's zero.

by the metric of "if this expository piece were to be taken to a time before its subject had been considered and presented to researchers, how useful would its outline be towards reproducing the theory in its totality," Quanta's writings (on both classical and research math) mostly score 0