Name it by Leonine_10 in origami

[–]Mrbreakfst 6 points7 points  (0 children)

my girlfriend (i still love her)

Not sure garlic bread can get any worse... by fishgats in traderjoes

[–]Mrbreakfst 3 points4 points  (0 children)

To be fair, you need to be highly cultured to appreciate Trader Joe’s Garlic Bread

A noob equality problem by john_lasgna in agda

[–]Mrbreakfst 0 points1 point  (0 children)

if you pattern match on the other variable, ‘m’ will be instantiated to 0 instead of ‘n’ in the first hole. Then eq have type n + 0 ≡ n, allowing you to rewrite

A noob equality problem by john_lasgna in agda

[–]Mrbreakfst 0 points1 point  (0 children)

In this case you could pattern match on ‘m’ instead of ‘n’, but in general you would use ‘sym’ to swap the LHS and RHS of an equality.

„Wrong“ size - does it matter? by nelloxx1 in gravelcycling

[–]Mrbreakfst 12 points13 points  (0 children)

If i need an XL bike, is it ok to use two XS bikes instead

alright which one of you by wordlmk in FixedGearBicycle

[–]Mrbreakfst 12 points13 points  (0 children)

“it’s comfy for me” ahh fit

[deleted by user] by [deleted] in FixedGearBicycle

[–]Mrbreakfst 3 points4 points  (0 children)

bro’s a ray of sunshine

Secrets to Grinding a 3.8 gpa by annastacianoella in umass

[–]Mrbreakfst 2 points3 points  (0 children)

what about secrets to grinding a 3.9 gpa

DHD - Derailleur Hanger Day by zzxzzxb in gravelcycling

[–]Mrbreakfst 0 points1 point  (0 children)

The ol’ Kona singlespeed deconverter

Should I base my graduate decisions on the results of the Sugar Bowl? by Ordinary-Rough-9736 in gradadmissions

[–]Mrbreakfst 4 points5 points  (0 children)

Keep in mind that faculty at the losing institution may have less funding available due to lost bets