apetersonBFI's comments

If you actually look at how real numbers are constructed. They are quite bizarre. The simple concept of the number line becomes a quite complicated set of sets that follow certain conditions.

(Sqrt(2) as a real number, is actually encoded as the set of all rationals less than sqrt(2) on the number line).

I used 128 mode to learn basic. But everything else was in 64.

7 cities of gold and Archon especially.

What about people who have difficulty breathing, and have to have their breathing hindered for hours by the mask?

I was in the hospital for 2 days when my wife gave birth, and I was supposed to wear the mask 24/7. Luckily they didn't enforce it strictly so I was able to sleep without the mask.

I’m a 5’1 guy and I ended up marrying someone who was 5’3, I never expected to get results on a dating site though, I knew my wife from a social setting for months before we started dating.

Consider Pheblas wasn't the best in my opinion. Player of Games is my favorite, but some of the other later ones are good.

I enjoy the settings and the concept of the Culture more than the plotlines.

I had a lot more patience with repeatedly hunting the same thing in DR than I do now. I discovered it through Microsoft Gaming Zone back in the day.

Working with Coq and trying to understand and use it has been a good brain stretcher for me. It's solidified my understanding of proofs to prove a bunch of simple number theory things in it, as well as creating my own types and experimenting with them.

It's a bit above my academic pay grade, so reading the documentation is always daunting, but I understand the basics. Still can't figure out how to use the notation system.

Any expression or series of gates of only ORs has the non-decreasing property, changing an input from 0 to 1 can never change the result from 1 to 0. So you can't implement any gate that needs that using ORs.

Similarly, any collection of XOR gates is simply a summation mod 2.

Definitely beautiful here.

I work in a hybrid IT - Programming role at a Food company here. I know a few people in the IT community locally but outside of Munson and Hagerty there's not many positions open.

I'm in Grawn, outside of the city limits, so the property tax isn't too bad.

We have a 4 bedroom house just south of TC for 157k, so 300 would get you a small lakefront home or a very nice house.

Wow, something from Traverse City on Hacker News.

Had no idea there was that kind of thing happening around here.

I'm one of two IT persons at a food processor, in a small town. Despite living in an area where a majority of IT & Programmers work at the hospital or an insurance company, my boss has run our own networks and servers since the days of Novell, and we continue to run Windows servers on-premise, instead of the cloud. It does lead to interesting situations, like finding out a Dell server shrieking next to you is running max fan speed because the idrac is not connected.

Neither of us have any experience with the cloud, whereas we have a lot of Microsoft experience. We still rely on OEM licenses of Office, because Office 365 would be 3x or more expensive. We have a range of Office 2019, 2016, 2013 OEM, and we get audited by them nearly every year.

We use LastPass, Dropbox and Github, but only the basic features, and LastPass was an addition last year after someone got into our network through a weak username/password.

In our main location, we have three ESX boxes, running several virtual servers, and then we have a physical server for our domain controller, file sharing and DHCP, DNS in other locations. We also switched to a physical server for our new ERP application server, which hasn't yet been rolled out.

Projects like upgrading our ERP version can take months, but we have a local consulting team, with a specialist in our particular ERP solution, as well as a Server and Network specialist, and we also have a very close relationship with our ISP, who provides WAN troubleshooting.

Our IT budget is small relative to our company revenue, so most cloud proposals would raise our costs manyfold. We continue to use more services like Github and Lastpass, and we both have multiple hats.

I'm a developer, in-house app support, Email support, HR systems support, ERP support, PC setup, and I run our Data Synchronization operation and my boss runs EDI. I do a lot of PowerShell and Task Scheduler, but I've got familiar with bash through git bash.

I’ve had to navigate windows without a mouse a few times while troubleshooting a problem. It’s not too bad with the windows key, tab and arrow.

I had to use the key map once to type without a working keyboard. That was bad.