Some Junk Theorems in Lean
https://github.com/James-Hanson/junk-theorems-in-lean
#HackerNews #Some #Junk #Theorems #in #Lean #programming #Lean #Theorems #Junk #Theorems #Math #Community
hypebot
boosted
Hacking together a quick & dirty log hauling thing from this axle with one wheel and one wheel with cut off axle I found in the junk piles a while ago.
Wanted to do nicer but I need it now :)
#Farm #Hack #DIY #Logging #Forestry #Homestead #Steel #Junk #SalvagePunk
The two wheels now mounted on the same axle with the help of two steel pipe sleeves made from a fencepost and some other junk. A very rusty piece of C-beam is on top of it. It looks like it just got dug out of the earth, which is indeed the case.
The stubby axle is being extracted. Here the final stage of escalation, driving it out with Mjölnir, the wheel crookedly sitting on two steel sawhorses, also from the yard junk. Mjölnir is a big hammer that is staged on the axle stub here.
Two steel wheels. One has a ~1m long axle attached to it with no wheel on the other end. The axle is clamped into a big drill press vise sitting on an upside down beer crate. Another wheel with a short cut-off axle is on the opposite side, just kinda leaning there.
Hacking together a quick & dirty log hauling thing from this axle with one wheel and one wheel with cut off axle I found in the junk piles a while ago.
Wanted to do nicer but I need it now :)
#Farm #Hack #DIY #Logging #Forestry #Homestead #Steel #Junk #SalvagePunk
The two wheels now mounted on the same axle with the help of two steel pipe sleeves made from a fencepost and some other junk. A very rusty piece of C-beam is on top of it. It looks like it just got dug out of the earth, which is indeed the case.
The stubby axle is being extracted. Here the final stage of escalation, driving it out with Mjölnir, the wheel crookedly sitting on two steel sawhorses, also from the yard junk. Mjölnir is a big hammer that is staged on the axle stub here.
Two steel wheels. One has a ~1m long axle attached to it with no wheel on the other end. The axle is clamped into a big drill press vise sitting on an upside down beer crate. Another wheel with a short cut-off axle is on the opposite side, just kinda leaning there.
fixed that for you
Grokipedia attribution text: "The content is adapted from Wikipedia, licensed under Creative Commons Attribution-ShareAlike 4.0 License."
CNBC headline: "Elon Musk’s AI-powered Wikipedia competitor goes live after a rocky launch". I've struck through "AI-powered" in red, and replaced it with "Wikipedia-powered"
@molly0xfff I don't think you want #wikipedia get associated with this piece of #junk , filled with #fascist lies.
David Gerard
boosted
This was not a good idea. Also extremely disappointed that all the Twisties are the same colour. If popcorn can be different colours then surely etc. etc.
Would not binge again. 2 out of 5. #crap #junk #food #australia
This was not a good idea. Also extremely disappointed that all the Twisties are the same colour. If popcorn can be different colours then surely etc. etc.
Would not binge again. 2 out of 5. #crap #junk #food #australia
Anyone else get this bullshit #propaganda #email from #US social security:
Social Security Applauds Passage of Legislation Providing Historic Tax Relief for Seniors
I've NEVER gotten anything from #ssa except yearly statements. And NOW we're getting #partisan #junk #mail #spam from a #government agency. My #tax #dollars wasted so they can push this crap and suck up to #Trump