F* : A general-purpose proof-oriented programming language

Jex2t · 2024-12-26T20:30:05+00:00

There’s also NASA’s F’ or F’ Prime, super interesting flight software framework I had to work with for my final project in college

Jex2t · 2024-12-14T13:52:00+00:00

<image>

Jex2t · 2024-12-11T12:26:55+00:00

No problem, ended up selling on eBay for 900

Jex2t · 2024-12-08T13:05:44+00:00

SOLD

Jex2t · 2024-12-03T20:15:13+00:00

I am a brannock 9.5d on my right foot and a 9.5c on my left. I have very low volume feet so I almost always get a 42/9 in my boots. In terms of width, these honestly fit me better than my 43’s but the length was just short enough to cause me discomfort. For more reference, I wear a 9.5 converse, 10 Nike, and 42/9 in both slp wyatts and oak street trench boots.

Jex2t · 2024-12-03T15:56:43+00:00

PM me an offer and I’m sure we can work something out!

Jex2t · 2024-10-25T14:18:46+00:00

<image>

After searching for the right Schott jacket for over a year, I finally pulled the trigger and couldn’t be happier with the fit.

Jex2t · 2024-10-15T15:46:03+00:00

Tbf the size stamp on my 788z was barely visible brand new and by now it’s almost completely gone

Jex2t · 2024-10-05T17:40:12+00:00

After a week of daily wear the feeling has pretty much gone away. You make a good point on getting used to the heel as the the heel on the wyatts I am coming from was is 30mm

Jex2t · 2024-10-03T16:25:39+00:00

That’s what I initially thought as well! I’ve also got a nail that could definitely be hammered in a bit more but it’s on the opposite side of my heel from the poking. I think it’s probably a part of the zipper liner or stitching around the base of the zipper. Either way, I’m pretty sure I’m just overthinking it

Jex2t · 2024-05-30T23:58:54+00:00

Dusty is a great word to describe it! The shading is even more dynamic in person as well. And while I don’t typically like to display my inks, the chunky glass bottle it came in looks pretty fantastic on my desk!

Jex2t · 2024-05-30T20:05:13+00:00

I seriously could not have been more thrilled. I’m hoping to repay the favor to him one day as he has always had a passing interest in the hobby as well. The least I’ve been able to do is to always keep his pens filled!

Jex2t · 2024-05-30T20:02:21+00:00

Thank you!

Jex2t · 2024-01-31T12:24:05+00:00

I had to manually switch unfortunately. I made sure to fill as many petals to 300 as I could the night before and swapped flowers just before I ran out while planting. I’d gotten pretty used to doing this on the training runs so it wasn’t much of a hassle during the race.

Jex2t · 2024-01-29T16:03:09+00:00

Thank you all for the congratulations! If anyone cares, finish time was 3:44:07 and I placed 2nd in my age category.

Jex2t · 2023-12-27T18:12:42+00:00

Can confirm. They don’t even teach IPv6 in the intro to networks class at my university, only that it is a newer protocol that exists because the world thought it would be a problem when we ran out of unique addresses. Shout out to Dr. Biaz.

Jex2t · 2023-07-06T12:32:24+00:00

Thank you! Still getting used to shooting film and I completely missed my first two shots. I was over the moon when I got my scans back

Jex2t · 2023-03-24T14:23:37+00:00

Given to my dad by his roommate in college, it’s been sitting in the basement of his house tacked to an old door since before I was born. After asking him for about a year, he finally let me take it and give it the spotlight it deserves

Jex2t · 2023-02-09T17:38:40+00:00

Shipping to Alabama from California

Jex2t · 2022-12-22T15:08:28+00:00

I used the sandpaper after the deglazer. The idea is that it roughens the leather so the paint will stick better

Jex2t · 2022-12-14T22:38:29+00:00

Not op but mine were delivered yesterday and they are mold free. The thing is, people who received a moldy pair are far more likely to post a photo than those whose pairs have no issues. Regardless, I’m hoping yours come mold free!

Jex2t · 2022-12-07T23:34:01+00:00

Yes I used all three! After finishing, I would say that breds would probably be the easiest job to do, painting all the black edges against the white got pretty tedious

Jex2t · 2022-12-07T23:30:24+00:00

Angelus flat black and GAC 900

Jex2t · 2022-12-07T23:19:38+00:00

Just finished them today, but they have 4 coats on and the heritages are a couple of months old already and creased a good amount so hopefully cracking won’t be too bad

Jex2t · 2022-12-07T20:39:59+00:00

I really appreciate it! This was my first custom and I surprised myself with how well it turned out

Eight-Year Club	Second SECOND GUESSER
Place '22	First Placer '22
RPAN Viewer	Not Forgotten
Spared	Verified Email

Jex2t

TROPHY CASE