minus-squareLemmesee@lemm.eetoHacker News@lemmy.smeargle.fans•Lean 4.0linkfedilinkarrow-up4·1 year agoQuite bizarre and annoying that the maintainers don’t explain what their project is about front and center. I have no idea what Lean is and would like to know. Where should I be looking if not at the Github README? linkfedilink
minus-squareLemmesee@lemm.eetoAsk Science@lemmy.world•Is it worth closing the lid on a toilet before flushing?linkfedilinkEnglisharrow-up5arrow-down2·1 year agoI’m pretty sure it was mythbusters linkfedilink
Lemmesee@lemm.ee to homelab@lemmy.ml · 1 year agoRJ45 port with minimal clearanceplus-squaremessage-squaremessage-square1fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1message-squareRJ45 port with minimal clearanceplus-squareLemmesee@lemm.ee to homelab@lemmy.ml · 1 year agomessage-square1fedilink
Quite bizarre and annoying that the maintainers don’t explain what their project is about front and center. I have no idea what Lean is and would like to know. Where should I be looking if not at the Github README?