peterpost2

How many "magnets how do they work" memes/jokes do you hear on a monthly basis?

It has nothing to do with air tightness.

If it leaks slightly it could keep the gas/air at an explosive ratio within the box.

Best to just have it vent out into the room. then it's noticeable.

You need a vent there as well so gas can't build up.

There is a requirement for having a vents if you are boxing in that device.

One high and one low one, this is so the gas does not build up in case of a leak.

Would highly suggest you get that sorted, your insurance might be void in case you do get a fire.

Sorry but I feel like someone should tell you this: you sound completely perpetually online.

Please go touch some grass and I mean that in the friendliest way possible.

Same applies to you too.

I actually was curious about his reasoning though.

Explain your thought process please.

I'm not sure if I could use a framework that shares the name with an alcoholic drink in a professional setting.

Plenty of people who struggle with alcohol and who would benefit of not being reminded of it at work too.

Glaswegian here, I would use sorry as an "can I get past" also.

I had not heard of Agda before, I'll have to check that out. Thanks!

Anything written by John Hughes is worth a read. He also also wrote quickcheck.

What are you trying to say with this?

Are you that excited to see innocent people die?

Or am I misunderstanding your comment?

That is one good-looking website.

Seems like the live demo website is about to die though.