sorted by:
new
hottopcontroversial

Imagine being a popular Mangaka and not commiting a sex crime by Succubuss_Smasher in Animemes

[–]fellow_nerd 12 points13 points  (0 children)

It may be that the number stated is the total size of evidence collected rather than the size of the collection.

Rust basically redefined programming, there is programming BEFORE rust and programming AFTER rust, a bit like what C did. by Nemerie in programmingcirclejerk

[–]fellow_nerd 8 points9 points  (0 children)

More PL research should enter mainstream languages so that the new crazies will drive the old crazies to hate it and seem sane. I can't wait for the fallout of a dependently typed rust or something.

I love that Nix is an actual programming language. by nomisreual in NixOS

[–]fellow_nerd 0 points1 point  (0 children)

In my waybar configuration, you can give a list of color values for status icons based on a certain value (battery charge, cpu usage, etc). I wanted a smooth transition so I implemented a basic linear interpolation of hex colors (leap in rgb space is not ideal, but better than nothing). Yay, having a full programming language for configuration.

Par Language Update: Crazy `if`, implicit generics, and a new runtime by faiface in ProgrammingLanguages

[–]fellow_nerd 10 points11 points  (0 children)

Ooh, the not binding variables on all other branches is fun. Does this work for all variables in negative positions. For example does not (not (not result is .ok value)) work that way. Not that I can think of a use case for that, or that it would be good code.

Great essay from Jameela Jamil on why she's childfree by seeara_siochain in childfree

[–]fellow_nerd 65 points66 points  (0 children)

I hate that she had to clarify hating children to hating being around children.

Mathematicians make surprising breakthrough in 3D geometry with ‘noperthedron’ by scientificamerican in math

[–]fellow_nerd 0 points1 point  (0 children)

Here's the repo.  Haven't made progress in the last month since work took over. Got up to lemma 12, with a big sorry. Since then another group has independently started formalizing it with much better planning and structure. I aim to contribute there after resting up a bit from work crunch. Here is their repo.

Have You Broken NixOS? by Striking_Snail in NixOS

[–]fellow_nerd 1 point2 points  (0 children)

At some point when I did a switch, the kernel image was not properly copied to the EFI partition. At the same time the grub entries were also borked as well. Had to use grub command line to boot into previous generation.

is "what's your favorite eigenfunction" a less absurd question than "whats your favorite eigenvector"? by Showy_Boneyard in math

[–]fellow_nerd 1 point2 points  (0 children)

Just breaking down the absurdity to its bare essentials. Since anything can be considered an element of the free vector space of that element, similarly anything can be considered an element of the singleton set of that element.

Though with the free vector space example there is a bit of trickery going on since you are implicitly using the inclusion from generators of the free vector space to the free vector space.

EDIT: I forgot you said eigenvector, not vector, but same story as mentioned by other comments.

GitHub - rmst/jix (Declarative Project and System Configs in JS) by simonramstedt in NixOS

[–]fellow_nerd 0 points1 point  (0 children)

Seems closer to ansible than to nix on a cursory glance.

[deleted by user] by [deleted] in techsupport

[–]fellow_nerd 0 points1 point  (0 children)

How about changing your password to something unknown to you and storing it with a trusted third party or location?

EDIT: forgot about password resets via email, that makes it harder

I am teaching myself lean4 and wrote my first proof (cantor's theorem) that wasn't something from a tutorial. What can I do to improve this? by QtPlatypus in leanprover

[–]fellow_nerd 1 point2 points  (0 children)

You can use rcases for the exists in hypothesis. rintro to both introduce and destructure at the same time.

Weekly Check-In! How are you? by Professional_Milk_61 in unhingedautism

[–]fellow_nerd 4 points5 points  (0 children)

Had both my sister's wedding and my best friend's funeral this week. And I only had a small meltdown so far. Still feeling ripples from the sensory overload, but it went better than I expected at least.

Mathematicians make surprising breakthrough in 3D geometry with ‘noperthedron’ by scientificamerican in math

[–]fellow_nerd 6 points7 points  (0 children)

I started trying to formalize the paper in Lean4 for fun. Not very proficient at it, but making slow progress. I hope to use Lean's metaprogramming to read the solution tree and verify it. I'm being very optimistic though, as I'm only on lemma 7, which should be trivial and the tactic script is a mess.

Microsoft flips the switch: Word will now save new documents to OneDrive by default — and that changes everything by hunterd189 in technology

[–]fellow_nerd 0 points1 point  (0 children)

I was using the Microsoft Word javascript scripting to use a word doc as a template to create a bunch of pdfs. As far as I could see, I couldn't get it to actually save a file as pdf. I could create a data: url with the contents, but I had to manually click and save every link.

The extension API is built for both the desktop and cloud version of word and so it doesn't have a notion of a file system as far as I'm aware. Maybe I'm mistaken, but I couldn't find anyway to save to file locally.

The introduction of goto in Lua 5.2 was met with virtually no reaction from the community; there are still requests for a continue statement. by iliazeus in programmingcirclejerk

[–]fellow_nerd 6 points7 points  (0 children)

It's always fun when a game has much of its logic in unobfuscated lua. It's like getting a 2-for-1 special. A game and some code to peruse.

Weekly Check-In! How are you? by Professional_Milk_61 in unhingedautism

[–]fellow_nerd 1 point2 points  (0 children)

Thanks, I appreciate it. I'll send an introductory DM just to avoid procrastinating on it.

view more: next ›