@kogasa@programming.dev

This profile is from a federated server and may be incomplete. Browse more on the original instance.

kogasa,
@kogasa@programming.dev avatar

Low moisture mozzarella, yep. Great for baking because it melts instead of turning into a puddle under heat.

kogasa,
@kogasa@programming.dev avatar

Peanut oil is rarely the wrong answer. Canola oil is ok if you have plenty already.

kogasa,
@kogasa@programming.dev avatar

I savescummed a lot through my first playthrough. This time I didn’t. Failed the first 2 rolls but hit the nat 20 on this one. That was cool.

kogasa,
@kogasa@programming.dev avatar

You can have audio of arbitrary bitrate. Lossless just means it isn’t being resampled or transcoded in a way that prevents exactly reconstructing the original signal. There’s no reason why you couldn’t support lossless audio up to 700Kbps, and the difference between 700kbps and 1mbps is well outside the range of perceptibility. You can also losslessly compress most audio that humans listen to by a significant degree, which is a completely transparent way to support higher bitrates if you can spare the processing time.

kogasa,
@kogasa@programming.dev avatar

Big doubt that it’s better than almost anything you can make at home with an automatic coffee maker. It’s awful. The convenience is the only reason.

kogasa,
@kogasa@programming.dev avatar

A 1-torus is a circle, you mean an annulus. You do NOT want to make this mistake at a topologist dinner party, trust me.

How many ingredients does it take to call it a salad?

My significant other ate cucumbers and onion with some ranch. I called it a cucumber onion salad. She says there aren’t enough ingredients to call it a salad, because “it takes multiple ingredients”. I pointed out she had three and asked what the minimum is. She refuses to answer so I ask Lemmy.

kogasa,
@kogasa@programming.dev avatar

Alright buddy. Here’s your “whole carrot dipped in ranch” salad.

kogasa,
@kogasa@programming.dev avatar

Go read the Fark thread from 9/11. Shit’s crazy.

oh my farking god another plane!

kogasa,
@kogasa@programming.dev avatar

It’s from Horizons, which is part of the base game as of 2020.

kogasa,
@kogasa@programming.dev avatar

I have no game dev experience but I have a math and software background. I’m just curious about what “it gets weird at the poles” means. If I wanted to (abstractly) generate tiny square chunks of a large sphere, I would generate them as (proper) squares and then pass them through an explicit diffeomorphism to the associated region of the sphere, relying on the relative smallness to guarantee that the diffeomorphism doesn’t change things too much. From a game dev perspective, what approach do you take that causes issues at the poles?

kogasa,
@kogasa@programming.dev avatar

Are you suggesting using a stereographic projection? That seems like a bad idea. You wouldn’t want your projection to depend on the coordinate system. Am I missing a reason why you wouldn’t use proper, nonsingular spherical coordinates?

kogasa,
@kogasa@programming.dev avatar

You can still use local Cartesian coordinates.

kogasa,
@kogasa@programming.dev avatar

As a Linux user / human, obligatory fuck Microsoft. As a .NET dev, what they’ve done with C# is really great and it’s a very pleasant language and ecosystem to work with.

kogasa, (edited )
@kogasa@programming.dev avatar

The 2 that I struggle with on a daily basis:

  • missing discriminated unions. Third party libraries kind of sort of fill the gap, but it’s a pain point.
  • a flawed async programming model. Namely, there are multiple models (for historical reasons / backwards compatibility), and the more current one (task-based) throws a wrench in your ability to effectively design interfaces, functions, delegates etc. that can be shared between synchronous and asynchronous code. Green threads would have fixed this, at the cost of some other potential issues, but it looks we’re stuck with tasks for now. Also, there is the awkwardness of needing to constantly use .ConfigureAwait(false) after every await, unless you shouldn’t (e.g. in the UI thread), and if you get it wrong you might cause a deadlock in your app but not in a console app… A bit confusing and easy to mess up.
kogasa,
@kogasa@programming.dev avatar

Won’t somebody think of the men.

kogasa,
@kogasa@programming.dev avatar

Composable querying/pushdown is nice but transaction management is huge. It’s not an easy task to correctly implement a way to share transactions between methods and between repository classes. But the alternative is, your transactions are limited to individual methods (or you don’t use them, and you risk leaving your database in an inconsistent state without manual cleanup).

kogasa,
@kogasa@programming.dev avatar

Midwest US it’s more like $10 for a single crappy fake crab roll, $20 for a good roll. But hey, we have, uh, corn.

kogasa,
@kogasa@programming.dev avatar

That’s what they flash freeze the fish for. Kills the worms.

kogasa,
@kogasa@programming.dev avatar

No, not really.

Months ago, there was a fiasco because somebody’s keynote talk was suddenly and inexplicably downgraded to a regular talk because the Rust Project “did not want to endorse” the talk, despite nominating and encouraging the speaker in the first place. This resulted in the speaker withdrawing their talk, and multiple public apologies from some of the people involved. thephd.dev/i-am-no-longer-speaking-at-rustconf-20…

hackmd.io/

gist.github.com/…/ca7d7edf778a9b93b812512b3d8288f…

Currently there is a fiasco because it turns out (one of?) the voices behind the inexplicable decision to downgrade the talk was dtolnay, lead Serde developer, who recently came under fire for publishing precompiled proc macro binaries in Serde and his response to the ensuing criticism. The perception is that dtolnay, who has done lots of work with proc macros and made several detailed suggestions as to their future in Rust, quashed the RustConf talk because he disagreed with the premise of the talk in favor of his own ideas about macros.

Fauci on masks: people should take risks into account (www.cnn.com)

“The CDC does not mandate anything,” says Dr. Anthony Fauci. But if a Covid surge leads to a recommendation that people wear masks, “I hope they would abide by the recommendation and take into account the risks to themselves and to their families. We are not talking about forcing anybody to do anything.”

kogasa,
@kogasa@programming.dev avatar

Sounds like they’re saying that they wish nobody were unironically saying “masks are for pussies,” but the fact that there are such people is why the virus is still around. Everyone just completely misread it.

kogasa,
@kogasa@programming.dev avatar

FWIW CertBot does send an email when your cert is about to expire, and then renews it for you.

College students are still struggling with basic math. Professors blame the pandemic (apnews.com)

Colleges across the country are grappling with the same problem as academic setbacks from the pandemic follow students to campus. At many universities, engineering and biology majors are struggling to grasp fractions and exponents. More students are being placed into pre-college math, starting a semester or more behind for their...

kogasa,
@kogasa@programming.dev avatar

Problem solving and critical thinking are skills developed by math education

kogasa,
@kogasa@programming.dev avatar

Try to stay on topic instead of resorting to analogies.

Failure to comprehend abstraction while arguing against math education. Yep, that checks out.

kogasa,
@kogasa@programming.dev avatar

You mean Lore? They look nothing alike.

kogasa,
@kogasa@programming.dev avatar

Assuming you mean a boss at the end of act 2 / beginning of act 3, Balthazar

I got pushed off the ledge a few times. What worked for me was, while the first character was stuck in dialogue, the rest of my party would sneak in and position advantageously before starting the fight mid-dialogue on my own terms. It was indeed bullshit, but not nearly as bullshit as me reloading for 20 mins convincing a boss to kill themselves, so I think the game and I can call it even.

I also completed a few tough early fights with 2 mage hands and a cliff, so really, I’m pro-shoving all the way.

kogasa,
@kogasa@programming.dev avatar

Suit yourself, squishy pink monkey. That’s why the Klingons always get the front row seats.

kogasa,
@kogasa@programming.dev avatar

What are you trying to say?

kogasa,
@kogasa@programming.dev avatar

I have a masters in math, I know what the theorem is, I just don’t see how the phrase “Central Limit Theorem” forms a coherent point in this context. What about the theorem?

kogasa,
@kogasa@programming.dev avatar

That’s not the context. The context is someone pointing out that there are different measures of central tendency that can be referred to as “average.” The response was “Central Limit Theorem”. Not particularly coherent… especially since the central limit theorem has nothing to do with it.

I didn’t pay tuition. I earned a stipend and had my tuition waived like most math grad students. But pop off, dipshit.

kogasa,
@kogasa@programming.dev avatar

Interesting solution. I take half a dozen pills a day (for years) and can’t swallow them either. But I just chew em now. It’s… not pleasant. Some days I almost don’t even have to, other days it takes 15 minutes. We should just normalize suppositories.

kogasa,
@kogasa@programming.dev avatar

Yeah. What they can’t handle is anyone seriously disagreeing with them.

kogasa,
@kogasa@programming.dev avatar

Every time I try, they find me and

kogasa,
@kogasa@programming.dev avatar

I take it back, you morons can’t handle jokes either.

kogasa,
@kogasa@programming.dev avatar

Moron.

kogasa,
@kogasa@programming.dev avatar

The overlap between FOSS/Linux/Tech and Elon is ever-shrinking.

kogasa,
@kogasa@programming.dev avatar

Most of the crap itself isn’t even political. Just dumb crap people from “political” communities.

kogasa,
@kogasa@programming.dev avatar

I only use Windows for work

“Use Linux” isn’t always an option

kogasa,
@kogasa@programming.dev avatar

You should probably start learning before your OS is out of support.

kogasa,
@kogasa@programming.dev avatar

May or may not be an option. Virtualization doesn’t play nicely with all software and hardware requirements, and may violate IT policies regarding device management (which may in turn be beholden to compliance / HR policies, etc)

kogasa,
@kogasa@programming.dev avatar

Sudden? No. It’s always been very, very bad.

kogasa,
@kogasa@programming.dev avatar

I use both for 6-8 hours a day each.

The grass is greener on the Linux side when it comes to inexplicable bullshit like this.

kogasa,
@kogasa@programming.dev avatar

You don’t have to pay for R&D, warehousing, shipping, marketing, etc.

The only thing you don’t get is bulk rates on the parts. But the parts themselves are cheap.

kogasa, (edited )
@kogasa@programming.dev avatar

Suppose the blue portal is sitting upright on the tracks facing directly into the orange portal (parallel to it) from some distance. We will of course neglect gravity and most physical laws.

Option B: The people shoot out of the blue portal, eventually reaching the orange portal again after a finite time (exactly halfway between the portals). At which point, their velocity relative to the train is double what it originally was, and they shoot out of the orange portal again twice as fast. Since the people are faster than the train, they will hit the train before it covers half of the remaining distance; and so this all happens again, with the people’s velocity now increasing to triple the initial value. And it happens again, and again, until relativistic effects take over and the velocity is no longer approximately additive. In other words, the people accelerate to an appreciable fraction of the speed of light, regardless of the starting velocity.

Option A: The people plop out of the portal and eventually get smashed between the train and the portal wall in a satisfying and physically plausible fashion.

Bonus Option C: In option B, it is unspecified if the resultant velocity of the people is equal to the velocity of the people relative to the train, or equal and opposite to the velocity of the train relative to the people. This difference becomes meaningful at the relativistic speeds we achieved, and I implicitly assumed the latter. In the former case, the people are eventually carrying ~100% of the energy of the system and therefore doubling it every time they pass through the portal, and time dilation be damned, for an instant they achieve infinite energy.


Now suppose the blue portal is just a centimeter behind the orange portal, opening the other direction, so anything that goes in one almost doesn’t even seem to have teleported. When the people pass through the orange portal, they appear on the other side; inside the train.

Option B: As the people pass into the portal, they instantly shoot backward, as if the train grabbed and threw them behind itself.

Option A: The people simply pass through the portal, as if it weren’t there at all.

kogasa,
@kogasa@programming.dev avatar

Mathematical constructivists hate this meme

kogasa,
@kogasa@programming.dev avatar

How/why would you simultaneously hold this belief and reference the HoTT book

kogasa,
@kogasa@programming.dev avatar

I guarantee you’re misunderstanding or accidentally misrepresenting something here. The fact that there are only countably many computable numbers is a simple consequence of the fact that there are only countably many programs, which is bounded above by the number of finite sequences of letters from a finite alphabet, which is countably infinite.

There may be more finitistic/computable models for the real numbers or something, but “the computable real numbers” are countable.

kogasa,
@kogasa@programming.dev avatar

What are you doing with the HoTT book if you have never heard of Cantor’s theorem??? You must understand there’s a minimum of several years of intensive study in between these two things

kogasa,
@kogasa@programming.dev avatar

Nothing about what you said contradicts what I said. You can either change the definition of the computable real numbers, or agree that they are countable.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • random
  • uselessserver093
  • Food
  • aaaaaaacccccccce
  • test
  • CafeMeta
  • testmag
  • MUD
  • RhythmGameZone
  • RSS
  • dabs
  • KamenRider
  • TheResearchGuardian
  • KbinCafe
  • Socialism
  • oklahoma
  • SuperSentai
  • feritale
  • All magazines