srcreigh

15 ms·

241.
by srcreigh 2y ago
You got it - the creative developments of a stronger theory. This allows the creation of tools which can categorize TMs, tools which wouldn’t exist otherwise. It’s fascinating that the entire space of finite amounts of random gibberish cont
242.
by srcreigh 2y ago
Thanks for sharing interesting info! How do we know that there would be consistency issues or Σ₁-soundness issues? Your claim about proof size categorizing n-state machine halting status is new to me. Do you have any links to read more abou
243.
by srcreigh 2y ago
> By the way, there is an extremely stupid but disturbingly widespread idea that humans are able to just intuit solutions to the halting problem, using the mind's eye or quantum mechanics in the brain or whatever. Needless to say, t
244.
by srcreigh 2y ago
Yep.
245.
by srcreigh 2y ago
It’s very scary. I hope your Nebraska highways have some exits/side roads you can pull into. I’ll do that sometimes, or find a town and park a gas station somewhere. Glucose spike is referring to the thanksgiving dinner effect where yo
246.
by srcreigh 2y ago
It’s not necessary to actually fall asleep. Just set a timer and relax. For me it’s only a semi-conscious pre sleep state, but it helps significantly. Do this if you get tired while driving too. It’s a life saving practice! (And no, driving
247.
by srcreigh 2y ago
Imo I agree CLUSTER should help, although pg_repack is even better, since it doesn't yknow hold an exclusive lock while it copies the entire table. pg_repack still is very slow compared to consistent BTree rebalancing in MySQL. The pro
248.
by srcreigh 2y ago
> MySQL (technically InnoDB) and SQL Server have a huge problem with them due to their design as a clustering index – since the tuples are physically located, or clustered, around the PK, the random nature means that doing a simple query
249.
by srcreigh 2y ago
is it just me, or is the Spotlights effect in a league of its own here? Kudos to the author!
250.
by srcreigh 2y ago
Maybe the distortion in the physical disk has some type of signature, and it can be determined whether that distortion is fast or slow. For ex, I would bet that 2x intended speed isn’t simply 2x every frequency in the FFT, when played throu
251.
by srcreigh 2y ago
link to the limiting arguments you’re referring to?
252.
by srcreigh 2y ago
Evil offends my simple sensibilities. I prefer boon for modal editing due to its simplicity and how it fits with emacs so well.
253.
by srcreigh 2y ago
Wdym rewrite the entire document? AFAICT MongoDB’s storage layer uses 4kb pages, so every modification has to write at least 4kb.
254.
by srcreigh 2y ago
Can someone explain the relationship between implementing WITH (…) AS X … and integer linear programs? I wish this post had more examples of concrete non-tree queries. Is cross-joining a CTE to itself realistic? Imo this discussion seems to
255.
by srcreigh 2y ago
High throughput FizzBuzz https://codegolf.stackexchange.com/questions/215216/high-thr...
256.
by srcreigh 2y ago
AI can’t write its own prompts. 10k people using the same prompt who actually need 5000 different things. No improvements to AI will let it read vague speakers’ minds. No improvement to AI will let it get answers it needs if people don’t kn
257.
by srcreigh 2y ago
Yeah, there’s index size, and also disk size. Postgres packs table rows on disk tightly, but not in RAM. So I guess an 8kb page on disk could be more than 8kb in ram? Seems to only affect working memory for table row data. Still significant
258.
by srcreigh 2y ago
Obligatory mention that although Halt doesn’t exist for arbitrary P, there are Halt_N for every natural N where Halt_N works on empty-input TMs with at most N states. Undecidability is more about compression than it is about whether we can
259.
by srcreigh 2y ago
Yeah, sorry for the snark. I was mostly referring to how the comment I replied to said they hadn’t actually used GPT for coding, but had lots of ideas about its limitations etc.
260.
by srcreigh 2y ago
Your comment is a great example of how intelligent humans hallucinate! Gpt-4 often handles errors well. The generated code is easy to review if you understand what you asked for (if it generates tests and examples too-which it can). Etc
261.
by srcreigh 2y ago
Clever article which misses the point. Getting stuff for free kills markets. Waiting for a decent legal system, clutching all your money in tight fists, kills markets. Sure, don’t give monopolists more money than you have to. But pay for se
262.
by srcreigh 2y ago
what’s your experience level? what kind of python code do you work with (web dev? Data analysis? Algorithms?)
263.
by srcreigh 2y ago
Awesome paper! Might be my cue to delve into the world of cost estimates. My naive brain thinks, how can it be so hard :-)
264.
by srcreigh 2y ago
That’s pretty wild. What was the reason behind failing ethics review?
265.
by srcreigh 2y ago
Client side connections and RLS are the Supabase blessed path in the getting started docs
266.
by srcreigh 3y ago
Crosshair placement as in positioning your aim at head level when peeking corners or holding an angle. I'm decent at it. Struggle more when there's verticality (im sure everybody does though.) In Valorant, there's often objec
267.
by srcreigh 3y ago
I believe crosshair placement would be harder to memorize/reflect on. Coaches also often say “see yourself from your opponents POV and be in an unexpected place”. eg royalG valorant guide. That’s just a figure of speech for aphant folk
268.
by srcreigh 3y ago
I’m in favour. Mobx is great. This will focus efforts on making better devtools.
269.
by srcreigh 3y ago
You'd think a study with this title would include analysis indicating a relationship between popularity, release date, and repetitiveness of lyrics. It doesn't. In fact reports no relationship: "As for RQ2 (Which role does th
270.
by srcreigh 3y ago
yes, it’s a pigeonhole principle argument. A bit tricky to actually enumerate everything. Imagine KC had a limit k. Then there’s a fixed number of strings that can be compressed to k characters. so considering how there’s an infinite number

More ›