kogasa

kogasa , 11 days ago

And 286dB at 0.5m, and 292dB at 0.25m, and infinity dB at 0m

kogasa , 18 days ago

I dunno about proving you wrong, but the fact that you can comfortably say there is no largest natural number is kind of a belief in infinity

kogasa , 18 days ago

The question doesn't make sense, there are many things which have an infinite quality (like infinite cardinality) or are called infinite/infinity (like infinite cardinals and ordinals). They're not contradictory. They coexist the same as all finite things do.

kogasa , 18 days ago

Limits at infinity are one thing, but infinite ordinals are meaningfully used in set theory and logic

kogasa , 23 days ago

Holomorphicity is equivalent to (or defined as) being differentiable in a nonempty, connected, open set, so it's not asking much. Even then, functions which fail to be holomorphic can often be classified in a similarly rigid way.

kogasa , 29 days ago

At some level, the goal of customer service is to prevent customers from bothering your employees. A sufficiently confusing first level of customer service is just as good as one that actually attempts to help you because it convinces you to give up

kogasa , 1 month ago

It's just as easy to run in a Docker container and I would recommend this anyway.

kogasa , 1 month ago

Docker is lighter and easier to manage than a VM. I run a collection of services as docker compose services inside a NixOS host VM. It's easy to start, stop, monitor, update etc. even from a different computer (via ssh or docker contexts). It's great.

kogasa , 1 month ago

Docker is lighter and easier to manage than a VM. I run a collection of services as docker compose services inside a NixOS host VM. It's easy to start, stop, monitor, update etc. even from a different computer (via ssh or docker contexts). It's great.

kogasa , 1 month ago

I fail to see any reason to prefer Void over Arch. Few people really care about using systemd or glibc.

kogasa , 1 month ago

Uh huh.

kogasa , 2 months ago

Base pi

No integer base

kogasa , 2 months ago

This maze is extremely easy

kogasa , 2 months ago

Disgrace to the crab family

kogasa , 2 months ago

False crab

kogasa , 2 months ago

4 hours a night on weekdays, 8 on weekends? That's a hell of a maintenance routine

kogasa , 2 months ago

Spin them

kogasa , 2 months ago

C# dev with reasonable experience with java, python, and rust:

Rust is harder

kogasa , 2 months ago

a/b is the unique solution x to a = bx, if a solution exists. This definition is used for integers, rationals, real and complex numbers.

Defining a/b as a * (1/b) makes sense if you're learning arithmetic, but logically it's more contrived as you then need to define 1/b as the unique solution x to bx = 1, if one exists, which is essentially the first definition.

kogasa , 2 months ago

Addition by the additive inverse.

kogasa , 2 months ago

Eh?

kogasa , 2 months ago

What does this have to do with computers?

kogasa , 3 months ago

It's certainly not as if anyone is entitled to anything better. It's just bad practice. I wouldn't want people critiquing me based on the work I do for free either, though.

kogasa , 3 months ago

GPT-2 medium will run on a toaster and generate replies in a second

kogasa , 3 months ago

Per the prime number theorem, for large enough N the proportion of primes less than or equal to N is approximately 1/log(N). For N = 2^(31) that's ~0.0465. To get under 1% you'd need N ~ 2^(145).

kogasa , 3 months ago

You can already ask ChatGPT to model a real life scenario with a simple math equation. There is at least a rough model of how basic math can be used to solve problems.

kogasa , 4 months ago

Only if it's snowing a lot. Otherwise you just bundle up and try not to go outside for more than a couple minutes.

kogasa , 4 months ago

Geometry is a bit tricky. A lot of "obvious" facts about geometry are less obvious to prove from a given collection of axioms forming a model of geometry, because their "obviousness" stems from our natural facilities for understanding space and position. Sometimes, historically, things that are "obviously" true in geometry turn out to be false, or depend on unwritten assumptions, for complex reasons. It may be surprising in this light if current AI can beat humans' intuition plus logic using purely analytic tools.

kogasa , 4 months ago

Usually, caching. They can and do use less RAM if you have less free, at the cost of slower performance.

kogasa , 4 months ago

Cox-Zucker Machine

kogasa , 4 months ago

I don't get it. Just remove the DRM. It's mildly inconvenient but no way it's "$18 lesson" inconvenient.

kogasa , 4 months ago

Windows has never even slightly pretended to follow that guideline

kogasa , 4 months ago

Modern mobile OS' and apps are quite strictly sandboxed so, with reasonable vetting like Google Play Store and Apple Store, you can reasonably safely install random crap and uninstall it later. It's a different realm from running random binary executables.

kogasa , 4 months ago

Not sure why this article omits a link to the proof of concept it's talking about:

https://ar5iv.org

kogasa , 4 months ago

PDFs work great. They're just not accessible or "web-native." Rendering LaTeX formulae in HTML5 has been a thing for many years, but full conversion of entire papers to HTML5 is trickier. The original version of LaTeXML came out in 2004, but it still takes a lot of work to get a good looking document out of it.

kogasa , 4 months ago

Because it's pizza

kogasa , 4 months ago

That is definitely not the joke. The joke is that the frequentist approach gives you a clearly nonsensical conclusion, because the prior probability of the sun exploding is extremely small.

kogasa , 6 months ago

For that matter, the real numbers are fake as fuck. "Ah yes, let's just throw in uncountably many non-computable numbers." They have played us for absolute fools.

kogasa , 11 months ago

I wanted to be the raccoon.