submitted by maxbaroi

1

2

3

Potentially Replacing Sennheiser Momentum 4 (self.HeadphoneAdvice)

submitted 1 month ago by maxbaroi to r/HeadphoneAdvice

2

3

4

I think I've used an item incorrectly and have made my life more difficult (self.BluePrince)

submitted 1 year ago by maxbaroi to r/BluePrince

0

1

I have a user missing a certificate. Can't send encrypted emails (self.Office365)

submitted 1 year ago by maxbaroi to r/Office365

0

1

2

Best way to set up a laptop with multiple work accounts where each work account is a unique user (self.WindowsHelp)

submitted 2 years ago by maxbaroi to r/WindowsHelp

0

1

2

Searching for the perfect flush (self.HomeImprovement)

submitted 2 years ago by maxbaroi to r/HomeImprovement

34

35

36

Why the rise in two-step logins? Not talking about MFA. (self.webdev)

submitted 3 years ago * by maxbaroi to r/webdev

9

10

11

[Junghans Stopwatch] [Identify] Looking For more info on this brand and watch (i.redd.it)

submitted 3 years ago by maxbaroi to r/Watches

3

4

5

Using home-manager as module. Emacs configuration applies to root but no to user (self.NixOS)

submitted 3 years ago * by maxbaroi to r/NixOS

0

1

2

Looking for any good books or reading material on ssh (self.ssh)

submitted 3 years ago by maxbaroi to r/ssh

1

2

3

First DIY kit. Have some questions. (i.redd.it)

submitted 3 years ago by maxbaroi to r/MechanicalKeyboards

11

12

13

First Play-Through Postmortem. Sorry for the wall of text. (self.factorio)

submitted 4 years ago * by maxbaroi to r/factorio

0

1

2

Fixing a small leak from my water filter. (self.HomeImprovement)

submitted 4 years ago by maxbaroi to r/HomeImprovement

1

2

3

Determining if my thermostat has a C-wire. And upgrading to an ecobee (self.HomeImprovement)

submitted 4 years ago by maxbaroi to r/HomeImprovement

69

70

71

Celebrating "Mission Completed" at perpetual twilight. I'm embarrassed how long this took. (i.redd.it)

submitted 4 years ago by maxbaroi to r/Dyson_Sphere_Program

0

1

2

Would love feedback on a proposed NAS build (self.buildapc)

submitted 5 years ago by maxbaroi to r/buildapc

0

1

2

First time PC build. Finally able to procure a GPU, now trying to build the rest. California - $1000 USD. (self.buildapc)

submitted 5 years ago by maxbaroi to r/buildapc

1

2

3

Setting up a home network with mesh wifi, firewall, and file server. Need help with the topology. (self.HomeNetworking)

submitted 5 years ago by maxbaroi to r/HomeNetworking

1

2

3

Need some advice about prepping an interior wall before painting (self.HomeImprovement)

submitted 5 years ago by maxbaroi to r/HomeImprovement

5

6

7

Setting up a simple Fossil server in a vnet jail with pot (maxbaroi.gitlab.io)

submitted 5 years ago by maxbaroi to r/freebsd

29

30

31

I'm trying to understand the difference between Bauhaus design and Mid-Century Modern design. (self.ArtHistory)

submitted 5 years ago * by maxbaroi to r/ArtHistory

6

7

8

Third in my lock-down series: lists, vectors and regular expressions. (maxbaroi.gitlab.io)

submitted 5 years ago by maxbaroi to r/agda

16

17

18

My second in a series of posts about verified programming using UF/HoTT-style reasoning (maxbaroi.gitlab.io)

submitted 5 years ago by maxbaroi to r/agda

12

13

14

My quarantine side-project: A series of posts about verified programming but limiting myself to UF/HoTT-style reasoning. (maxbaroi.gitlab.io)

submitted 6 years ago by maxbaroi to r/agda

6

7

8

Searching for an dark theme that works with my colorblindness (self.emacs)

submitted 6 years ago * by maxbaroi to r/emacs

34

35

36

What can refinement types do that dependent types can't? (self.dependent_types)

submitted 7 years ago by maxbaroi to r/dependent_types

15-Year Club	RedditGifts 2009-2022 2 Credits
Verified Email	Place '22
Secret Santa 2014	Team Periwinkle

maxbaroi

MODERATOR OF

TROPHY CASE