Viewing profile — DroneBetter

it would be useful to create an account and document your work in a post at https://conwaylife.com/forums , if you're not planning to make a blog post.

you mean... as opposed to removing the bricks with the art on them to auction off and replacing them with new bricks?

well, a bug in the Lean kernel was discovered last week by way of an LLM tricking itself and its handler into believing it had found a non-constructive proof of the existence of a …

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 pr…

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 t…

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 sigh…

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 res…

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 …

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 unkn…

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 parall…

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) = …

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…

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.), whi…

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'…

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/conserv…

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 exclusivel…

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 pric…

[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 gen…