kogasa

kogasa , 11 hours ago

I don't really query, but it's good enough at code generation to be occasionally useful. If it can spit out 100 lines of code that is generally reasonable, it's faster to adjust the generated code than to write it all from scratch. More generally, it's good for generating responses whose content and structure are easy to verify (like a question you already know the answer to), with the value being in the time saved rather than the content itself.

kogasa , 3 days ago

It's incredibly easy to figure out what that means.

kogasa , 6 days ago

The axiom of choice doesn't say one way or another whether the spectrum in "the standard order" (is there a standard definition of more/less gay?) is a well ordering, only that there is some well ordering.

kogasa , 6 days ago

By performing measure-preserving transformations to non-measurable sets and acting surprised when at the end of the day measure isn't preserved. I don't blame AC for that. AC only implies the existence of a non-measurable set, which is in itself not totally counter-intuitive.

kogasa , 5 days ago

"Measure" is meant in the specific sense of measure theory. The prototypical example is the Lebesgue measure, which generalizes the intuitive definition of length, area, volume, etc. to N-dimensional space.

As a pseudo definition, we may assume:

1. The measure of a rectangle is its length times its width.

2. The measure of the disjoint union of two sets is the sum of their measures.

In 2), we can relax the assumption that the two sets are disjoint slightly, as long as the overlap is small (e.g. two rectangles overlapping on an edge). This suggests a definition for the measure of any set: cover it with rectangles and sum their areas. For most sets, the cover will not be exact, i.e. some rectangles will lie partially outside the set, but these inexact covers can always be refined by subdividing the overhanging rectangles. The (Lebesgue) measure of a set is then defined as the greatest lower bound of all possible such approximations by rectangles.

There are 2 edge cases that quickly arise with this definition. One is the case of zero measure: naturally, a finite set of points has measure zero, since you can cover each point with a rectangle of arbitrarily small area, hence the greatest lower bound is 0. One can cover any countably infinite set with rectangles of area epsilon/n^(2) so that the sum can be made arbitrarily small, too. Even less intuitively, an uncountably infinite and topologically dense set of points can have measure 0 too, e.g. the Cantor set.

The other edge case is the unmeasurable set. Above, I mentioned a subdivision process and defined the measure as the limit of that process. I took for granted that the limit exists. Indeed, it is hard to imagine otherwise, and that is precisely because under reasonably intuitive axioms (ZF + dependent choice) it is consistent to assume the limit always exists. If you take the full axiom of choice, you may "construct" a counterexample, e.g. the Vitali set. The necessity of the axiom of choice in defining this set ensures that it is difficult to gain any geometric intuition about it. Suffice it to say that the set is both too "substantial" to have measure 0, yet too "fragmented" to have any positive measure, and is therefore not well behaved enough to have a measure at all.

kogasa , 3 days ago

It's required, but nontrivially so. It has been proven that ZF + dependent choice is consistent with the assumption that all sets of reals are Lebesgue measurable.

kogasa , 7 days ago

This already exists. https://libraryofbabel.info/

Your comment appears in page 241 of Volume 3, Shelf 4, Wall 4 of Hexagon: 0kdr8nz6w20ww0qkjaxezez7tei3yyg4453xjblflfxx0ygqgenvf1rqo7q3fskaw2trve3cihcrl6gja1bwwprudyp9hzip5jsljqlrc8b9ofmryole35cbirl79kzc9cv2bjpkd26kcdi9cxf1bbhmpmgyc0l1fxz81fsc0p878e6u2rc6dci6n0lv52ogqkvov5yokmhs3ahi89i1erq46nv7d0h3dp2ezbb1kxdz7b4k9rm9vl32glohfxmk2c4t1v5wblssk6abtzxdlhc6g00ytdyree9q4w43j8eh57j8j8d4ddrpoale93glnwoaqunj8j2uli4uqscjfwwh6xafh119s4mwkdxk5trcqhv7wlcphfmvkx97i5k54dntoyrogo51n5i23lsms7xmdkoznop6nbsphpbi0hpm6mq3tuzy1qb677yrk832anjas7jybzxvuhgox49bhi21xhvfu0ny27888wv76hbtpkfyv4s57ljmn9sinju3iuc6na2stn9qvm1vo5yb9ktz1lcbjp0q9102ugpft1f7ngdzmnzv6qomn7zfnopn02v9wwe2gr2m6mo0o9vjmrvmd7fp4kjivsy6iu9cfz9dyu6gv7542ujz0vtj7m2ifpnfeezrb2gbwbgkbdx2taq7vlgjedqze22ywsyt1cacfxxpftjumke4vbtvmn6skj3mi5qnprrv9w4pq5t23xlvrxufsmri2uljpw72228q6jvh82e6936400czpzs8w6i25dvgk7vgj9o9r3k4nombsl3iiv1cogggcw9e5non0jn9ni1aacbisa1oqlzgi9qyhmmd67hkxsfri5958cyj6ryou5vgz7uc7j9kkjix420ys1tkcrhgf0jm6la9h7e06z7sdijeiw31junshzgvmmpplqw6qbzzqzs39jictbygt8u6704h48hsc7hlffm513zagtdbfvpbz32r0vqmjz2sudta4gfsnx6ac4h76djsh7th2h4265qeeainsx2xgslfst5namazisk6swvsbpcv3osvr7wiabkh61f5vuxymqadzxilggym3kfqtbdl3xsmwqcr6wuf4gpoviog89h5xfyawlh7k79k9j5fn1wq47f1m73lah1qhfdxyt1pv2biean3jjb8qv0raxz1oxi9zs9tnmmwrhccd9fij39ddgn1g7t03norvzjqcbqbzl9ibq9qrksnutbfc47z2727u9d9tp68z7u2hyb805wy3d4d0ia9q50p4xvevryycogr6212tau2iv3ya0fy09rsh0wilpqj8vxqug9zj7h2ya1hbnapmqecwtbjnetmt2t91mhb7hky32tl3fa5dqtuba2hm5faawvkazugbmngeojzw88p6hl0duaiup166r20tubj16x78c5m73rwpecco5w6z8ti8b2pgof8k8vu99jvyqiaq6c6adybtjwi8i6u95efp1hxpdsvtbo6nm7j1lmv9jzdspp0sd3qk5jmfpfs1cy18euwpk0apiuqqdy7hakfjx83nx920p4ptxu6bsl98iywgdydrr54u6nvmyxwg1hd2vxnu2yq3utvbx5z886ezzblw0izmntai8jstisdju4n12eed5yr1avv9k7mrr9fzqs6zo7uc3ixkv6fz2figpb5tr1obrlf4c30ghf8exsdgwn1e0uo76r3klnqfys51extpnq5v5swql36lirgok8frxnntoywaqtmyzm3vclnnvfqohz56hh823k5d50049f3lye9cil24yk5031u27dpi7895319mkyi2pkpwxgay4fnqfj38emdc0990ezpheam8ab132v588je7ur4dv1wazezyokate2rccnii1y4gy4subra7y5of25xxu8s3mjumal1lypu1360mrzmqdqdfsm9lvmewzg1608hlxx4le00jhcowg7xcxsbhbx4swwze9pkyk0x8vpsr5j1yja5jl0wn8mjh3gh9wvszd2tazvj7fbuym2pee0r0ifsky61fulwloxc5jkon63tvarj5jsxg3kghl44e7o1w2deeboaodjpuvgzg82wrxszd5jk0hwhvaopdb8wcqqopob4mj2pn36yhnw6k6sz5y56xlijr5a4s6xmc68r0c20d7zq53mrjbq281nfkrrtqgnv2i2rag3f6ara9t616vovgqn8kjwrivene6yyskzxb0d4b0qy0aq743dptvxr85sfhqbcevkn17rvqv1l9hzx983cngckwhdu15kzdv10mqf8yibu0q8s3khd8d3fi5lbl9yespks1q1tnc4y1bgjtvyf1oppnxhvpou71olv0yapyq46w9ld0ntigpba6equ55fvs0j1tp7qw1hr8gbjz10gwxhsx3lu0hubgukht7mbkwfsu4x9980z1srfhj2ayw2e2xf2627vgctymfbooy4eythnm8nzr4mqnfycwovjvbyg95luo4h3smka9d3jlr7dn9e3xwwkpl4dg8i1mj7g63ludud8q7chfh4xajosfaps2n6ntye7j8o4lrcsbqas8ayiutyq8ckbn67ejioufkowogubs8o5670nz13bb9gq3obf0y9xq60j8n8d6i8ahzhxlj2rfc7ndsfmzhusihkiz9fdovslzad7in5kldzhqk8z0cua8n8l0vjfsy96qytgz4wgkq41h6rrsegy9yg1fqhnavpltd067gicomzhye6czk4voghysqscrwavw3li9qdj0ikrlwumyymf8n5luhz1orsrxfw1rek6ghsqyu486dfp2hkbilyccquihck0269nu8y7bsha503ax2ecpxjiug54viy229k4ienp6lcnyx03mnpadeslwa87mu6tcb7t3c3ug7g0yf5le9v2hp094n60ipetkyfu21vqxah8sjjmuhk1gzxnmz01o1s9ndefpfcat0vn1x1anypagcboxp515nmnj9f2yol1opdytfx2dmy5ypdpyamsp2p3zsegmd15e1jbo6xsznda92oqxo9kvsww9k1kzsuwjl73drq038uls6izgqzmhry879ctrhryaj750b2s3hus9f1ainad3vzphmataq0lkn7bi62pu0xf4uqb5k2o8656zn6vzilgl653t38y12723v193fe5c7vbv6p5lw5ernj7bl4aev1ccyakxmkwl11hot51pvrsvqd8vdptfq2ezq2jjaebwx

kogasa , 7 days ago

There's a search field on the front page. The rest is blank because I used the (default) "exact match" option, so the rest of the page is (by random chance) filled with spaces. The search function presumably uses knowledge about the algorithm used to generate the pages to locate a given string in a reasonable amount of time, rather than naively looking through each page.

kogasa , 19 days ago

We're back to "crud" and "shucks" now boomer

kogasa , 23 days ago

ffmpreg

kogasa , 1 month ago

That would make it impure

kogasa , 2 months ago

Monkey laundering.

kogasa , 2 months ago

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

kogasa , 2 months 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 , 2 months ago

The compositor will have to implement a CLI. Sway has an IPC socket and CLI just like i3 and I can use this to hide windows.

kogasa , 2 months ago

DACs have been very good and very cheap for years now. A $10 Apple USB dongle contains an extremely good DAC. At the consumer level, you're paying for pretty much everything except sound quality now.

You do need an amp for some headphones. They can even be used to deliver low power at a low noise floor for high sensitivity earbuds, but this isn't always necessary.

kogasa , 2 months ago

What do you think the problem is exactly? Low sample rate? Are you familiar with the Nyquist sampling theorem?

kogasa , 2 months ago

The difference is literally mathematically 0 unless you think your hearing exceeds 22kHz instead of the typical ~18 or widely-regarded maximum of 20kHz

kogasa , 2 months ago

Bit depth is not the same as bitrate, there is no difference in the signals that can be reproduced within the range of human hearing between a sample rate of 44kHz and 96kHz

kogasa , 2 months ago

???

kogasa , 2 months ago

My comment was supposed to be in reply to some lunatic spouting word salad, not a top level comment. But thanks for your effort anyway.

I consider myself an audiophile but it doesn't require you to be uninformed, susceptible to snake oil, or judgmental. I collect FLACs and understand that there's no audible difference between a lossless copy and a good 320kbps cbr / v0 mp3 transcode, etc.

kogasa , 2 months ago

???

kogasa , 2 months ago

I am an audiophile, not an idiot. They don't. The slim possibility of reproducing signals past 20kHz causing audible changes to the signal within audible range may technically exist, but you will never ever demonstrate the ability to detect a difference in a double blind test.

The only reason to use a higher sample rate than 44.1kHz is to avoid resampling audio which is already in a different sample rate, e.g. CDs which are usually 48kHz or potentially "hi-fi" sources that may be 96kHz or higher. Resampling can theoretically introduce audible artifacts although a modern CPU using a modern resampling algorithm can very easily perform transparent resampling in real-time.

kogasa , 2 months ago

Ok, go ahead and continue posting misinformation and getting mad about being corrected instead of just learning

kogasa , 2 months ago

Being proud of ignorance is a really cool trait

kogasa , 2 months ago

Get off your damn horse man, this thread is for poking fun at twats who have to correct everybody

No, it's not.

Maybe you’ll learn, or go someplace where technical accuracy matters. Because here it doesn’t.

I get it, you have no self respect

kogasa , 2 months ago

Not sure I understand. How could there possibly be a solution? Isn't this an inherent problem with federation? You can't un-share information

kogasa , 2 months ago

It could still be rust. Code is always the easy part. Design and organization and funding are hard

kogasa , 2 months ago

Not really a substantial opinion, but I have little hope that replacing a fairly well established Rust codebase with a brand new Java one will do much in terms of increasing contribution.

kogasa , 2 months ago

Obfuscation is meaningless. It's public info or it's not. In this case it's necessarily public

kogasa , 3 months ago

This incident will be reported

kogasa , 3 months ago

Sometimes I update and can no longer boot so I go outside, does that counf

kogasa , 3 months ago

no

kogasa , 3 months ago

It is better to switch to Firefox. But chromium forks can generally do whatever they want, it's just a matter of maintenance burden. e.g. nothing is stopping a Chromium fork like Brave from running a manifest v2 compatible appstore, but it'll cost money to make, maintain, and operate, plus you have less discoverability as an app developer when using a smaller app store.

kogasa , 3 months ago

Decentralized SSO on the other hand has the potential to be both convenient and privacy respecting.

kogasa , 3 months ago

Sandboxing is a good thing. It makes it a lot easier and safer for billions of devices to run millions of apps.

kogasa , 3 months ago

The right design decision isn't necessarily the best for a specific use case. Making the system overall rigid and strict by default makes the whole thing more manageable. Adding features like "user initiated opt-in shared filesystem access for sandboxed apps" increases complexity, hence cost and maintenance burden and likelihood of bugs. Not to say this feature isn't worth it, but it's necessary to accept some rough edges in some use cases.

kogasa , 3 months ago

The desktop solution isn't feasible in the mobile context. Even for desktops, you see an increased interest in reproducible/containerized/sandboxed environments with docker, flatpak/snap, immutable operating systems, and so on. It's all about managing complexity.

kogasa , 3 months ago

All of that interest is from people making computers,

like the people who make phones for other people to use

kogasa , 3 months ago

The people who build the device and software ecosystem you take for granted.

kogasa , 3 months ago

They’re not taken for granted, they are compensated by the corporations I’m purchasing the device from.

You're taking for granted the requirements that need to be met in order for the device you're purchasing to be technically and commercially viable. It needs to work, it needs to be safe, it needs to comply with privacy regulations and so on.

Again, these problems have already been solved on desktop for decades. They’re not breaking new ground here.

Managing complexity with containerization and sandboxing is occurring on desktops too. It's more mainstream in the mobile ecosystem because of essential differences in the ways users interact with phones versus desktops.

kogasa , 3 months ago

Just go write your own Android then?

kogasa , 3 months ago

Of Mice and Men

kogasa , 3 months ago

The attention paper from Google introduced transformers, OpenAI introduced generative pretraining as a technique that allows transformers to achieve very good performance on downstream tasks with very little additional fine tuning. This paper and the subsequent release of the pretrained GPT models directly lead to the LLM boom.

https://s3-us-west-2.amazonaws.com/openai-assets/research-covers/language-unsupervised/language_understanding_paper.pdf

kogasa , 3 months ago

The order of operations is not the same as the distributive law.

kogasa , 3 months ago

The distributive law has nothing to do with brackets.

The distributive law can be written in PEMDAS as a(b+c) = ab + ac, or PEASMD as ab+c = (ab)+(ac). It has no relation to the notation in which it is expressed, and brackets are purely notational.

kogasa , 3 months ago

You are off your meds

kogasa , 3 months ago

You are unhinged