kogasa
@kogasa@programming.dev
- Comment on 🔔 SHAME 🔔 2 weeks ago:
Limits at infinity are one thing, but infinite ordinals are meaningfully used in set theory and logic
- Comment on 🔔 SHAME 🔔 2 weeks 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.
- Comment on 🔔 SHAME 🔔 2 weeks 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
- Comment on Advanced Maths 2 weeks 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.
- Comment on The ultimate choice 1 month ago:
It’s a perfect stick, it cannot break, look at it
- Comment on The ultimate choice 1 month ago:
I’ll take the stick and use it to make you give me the rock.
- Comment on Union, intersection, difference, and more are coming to JavaScript Sets 2 months ago:
Sets aren’t just for databases
- Comment on Google gets its way, bakes a user-tracking ad platform directly into Chrome 2 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.
- Comment on More believable for a Linux OS 2 months ago:
bullet_idx
- Comment on Has anyone ever used it 2 months ago:
Pikaaaaa
- Comment on Google Pulls the Plug: The End of Third-Party Cookies and What it Means | TWiT.TV 2 months ago:
Decentralized SSO on the other hand has the potential to be both convenient and privacy respecting.
- Comment on Has anyone used a programmable keyboard with "home row mods" like this? 2 months ago:
No, this is insanity. Mod-tap has an inherent delay. Using it for anything but the most rare operations (like “shutdown”) would drive me crazy. If you can’t reach mod keys, unless you’re arthritic or have otherwise reduced mobility, change your technique instead of doing this.
- Comment on Strings do too many things 2 months ago:
The analytic continuation of KB(x) to the complex plane subject to a superconvexivity constraint is unique but doesn’t necessarily have a straightforward geometric interpretation
- Comment on dotnet developer 2 months ago:
Yes… But ASP.NET Core kept the branding. Thus “Core” still exists, concurrently with the regular “.NET.”
- Comment on dotnet developer 3 months ago:
I have no complaints about just calling it .NET. The distinction between .NET and .NET Framework isn’t much of a problem. It’s the fact that .NET and .NET Core aren’t actually different that’s odd. It underwent a name change without really being a different project, meanwhile the Framework -> Core change was actually a new project.
- Comment on dotnet developer 3 months ago:
Not an intern, but this week I’ve unraveled some mysteries in ASP.NET MVC 5 (framework 4.8). Poked around the internals for a while, figured out how they work, and built some anti-spaghetti helpers to unravel a nested heap of intermingled C#, JavaScript, and handlebars that made my IDE puke. I emulated the Framework’s design to add a Handlebars templating system that meshes with the MVC model binding, e.g.
@using (var obj = Html.HandlebarsTemplateFor(m => m.MyObject)) { Name: obj.TemplateFor(o => o.Name) }
and some more shit to implement variable-length collection editors. I just wish I could show all this to someone in 2008 who might actually find it useful.
- Comment on OpenAI's GPT Trademark Request Has Been Denied 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.
- Comment on dotnet developer 3 months ago:
It falls under the Azure brand.
- Comment on dotnet developer 3 months ago:
Excel is a brand name, Azure Blob Storage is a descriptive title. It’s Azure’s blob storage service.
- Comment on dotnet developer 3 months ago:
I really don’t think it’s that bad. The only weird thing is .NET Core becoming just .NET in version 5.
- Comment on OpenAI's GPT Trademark Request Has Been Denied 3 months ago:
You can’t really say any GPT model has nothing to do with OpenAI. They invented the architecture. But the name GPT predates their commercial products using the technology.
- Comment on How do you approach learning a new programming language or framework? 3 months ago:
Start a project with a good template and learn by tinkering. Some languages/frameworks have some canonical starter templates (.NET, Phoenix) and most others you can find by googling “x boilerplate.”
- Comment on Microsoft revives aggressive Windows 11 upgrade campaign with intrusive popups for Windows 10 users 3 months ago:
Linux gang, but I use Windows at work and do a full update (“Please wait… We’re working on things…”) weekly over lunch due to being trapped in the Windows insider program. It takes about half an hour. Longer than compiling a kernel though.
- Comment on Microsoft sets 16GB default for RAM for AI PCs – machines will also need 40 TOPS of AI compute: Report 3 months ago:
Usually, caching. They can and do use less RAM if you have less free, at the cost of slower performance.
- Comment on DeepMind AI rivals the world’s smartest high schoolers at geometry 3 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.
- Comment on Is "If A then B" equal to "B if and only if A"? 3 months ago:
Using standard definitions from propositional logic they are equivalent.
- Comment on Screens keep getting faster. Can you even tell? | CES saw the launch of several 360Hz and even 480Hz OLED monitors. Are manufacturers stuck in a questionable spec war, or are we one day going to wo... 3 months ago:
320kbps cbr and v0 vbr mp3 are audibly transparent. Most likely, 250kbps and v2 are too.
- Comment on Not even poor Notepad is safe from Microsoft's AI obsession 4 months ago:
OK.
- Comment on Not even poor Notepad is safe from Microsoft's AI obsession 4 months ago:
Windows has never even slightly pretended to follow that guideline
- Comment on Not even poor Notepad is safe from Microsoft's AI obsession 4 months ago:
They’re sacrificing the utility of the tool to make it part of their new AI-driven operating system as a service platform. The only thing notepad had going for it was its completely simplicity, reliability, and speed. Nobody wants notepad to try to rope you into this ecosystem.