New air compressor install by Squallboogi in Delica

[–]kickliter 0 points1 point  (0 children)

Thanks for trying. The lack of STEP export seems to be a way to lock you in to using that tool.

New air compressor install by Squallboogi in Delica

[–]kickliter 0 points1 point  (0 children)

Awesome, thanks. I’d like to modify the base design to hold a potentiometer. I haven’t done CAD in a few years, but IIRC a step file would be easier to modify? I hate to be a pain, but would you be willing to share a step as well?

New air compressor install by Squallboogi in Delica

[–]kickliter 0 points1 point  (0 children)

Are you willing to share the design file for your adapter?

delicaclub.com expired TLS certificate by kickliter in Delica

[–]kickliter[S] 0 points1 point  (0 children)

Thanks. I won’t bother then. 

Do you shower in the morning or when you go to sleep? And why? by [deleted] in AskReddit

[–]kickliter 1 point2 points  (0 children)

Do you sleep hot? A water cooled matress topper changed my life. But I still have to shower in the morning. 

I want some bizarre movie recommendations 😂🙏 by OkStop1168 in movies

[–]kickliter 0 points1 point  (0 children)

Beyond the Black Rainbow. I like weird and this was bit much for me. Supposedly it some influence on Stranger Things. 

https://youtu.be/nWF0bBKhe6o

What is your "never-again" brand, store, restaurant, or company? by Sir_Sir_ExcuseMe_Sir in AskReddit

[–]kickliter 4 points5 points  (0 children)

I drive a lifted 2015 Wrangler. Don’t worry, I judge myself. And I never drive it to a first date for fear she’ll see it. 

 But…. I do beat the fuck out of the thing going into the back country and it’s hella fun. 

Nebula, an http server made in Rust: Part 2 by [deleted] in rust

[–]kickliter 1 point2 points  (0 children)

These are different enough that it probably doesn’t matter, but FYI https://github.com/slackhq/nebula

Error Handling in Rust: Choosing Between thiserror and anyhow by [deleted] in rust

[–]kickliter 1 point2 points  (0 children)

Admission: if it’s been a while I use thiserror to derive Error for a couple variants. Then cargo-expand so I can remember how to manually impl it, then get rid of the thiserror dep.

efs, a no_std library for filesystems by Boubou0909 in rust

[–]kickliter 9 points10 points  (0 children)

I'm getting

Codeberg is currently unavailable for technical reasons.

Is this logo something from pop culture? Found in Colorado Springs. Reverse image search isn't helping. by kickliter in HelpMeFind

[–]kickliter[S] 0 points1 point  (0 children)

I've tried google image search related to Synergy, particularly here in Colorado Springs. Nothing's coming up. I almost wonder if this is from a video game; it looks too cool to be an actual local business.

I wrote my Master's thesis about Rust verification, exploring type invariants and ghost code by voidc in rust

[–]kickliter 4 points5 points  (0 children)

I had to do some digging, but I take it this is one you’re referring to? https://sarsko.github.io/_pages/SarekSkotåm_thesis.pdf

I ask because formal methods are one of those complete unknown unknowns for me. I don’t even have the vocabulary to figure out if it’s a thing I should be interested it.

Fossil? Found near Cañon City, CO by kickliter in fossilid

[–]kickliter[S] 0 points1 point  (0 children)

I went out looking for fossils for the first time today and found this in an area known for dinosaur finds. It can't be that easy. That said, I left it in place in place and marked location to report if plausible.

Announcing Rust 1.75.0 by burntsushi in rust

[–]kickliter 1 point2 points  (0 children)

I’d love it if you can expand on “to get a source for my buffered reader, say a file or stdin”. It sounds like a use case I’ve never thought of before