Jay Bosamiya's Avatar

Jay Bosamiya

@jaybosamiya.bsky.social

🦊 Software security researcher. PhD from CMU. CTFer (PPP). https://jaybosamiya.com/

119 Followers  |  327 Following  |  34 Posts  |  Joined: 20.11.2023  |  2.2937

Latest posts by jaybosamiya.bsky.social on Bluesky

Your alt texts are always a joy to read

> Thankfully he is wearing safety glasses

lmao

31.07.2025 04:16 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Yup, fun one indeed. Nerdsniped me right as I was about to figure out dinner lol

26.07.2025 04:15 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Optimal under the constraints of being only 3 rational numbers under 1.

I conjecture that the real optimal one is at four gears exactly, but I have no proof of optimality.

2/26 * 7/21 * 12/16 * 13/15 = 1/60

26.07.2025 04:13 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Ah @mlhomsi.bsky.social found this same optimal one under these constraints!

26.07.2025 04:09 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Also one downside to the original 3 rational number solutions is that not all are less than 1. If you want that constraint too, optimal is:

5/30 * 7/28 * 10/25 = 1/60

26.07.2025 04:06 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

By using more rational numbers (and allowing repeats) you can push it even lower:

2/10 * 3/9 * 4/8 * 4/8 = 1/60

Given the additional context I suspect you are not looking for repeats though?

26.07.2025 04:00 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

1/20 * 3/18 * 14/7 = 1/60

26.07.2025 03:55 β€” πŸ‘ 6    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
The Em Dash Responds to the AI Allegations β€œIn recent months, a curious fixation has emerged in corners of academia: the em dash. More specifically, the apparent moral panic around how it is...

> I am the writer’s block, resolved mid-sentence.

Pure joy reading this post

www.mcsweeneys.net/articles/the...

25.07.2025 09:52 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Photo from the seats at Climate Pledge Arena in Seattle of Dimension 20 Live. Brennan can be seen on the large screen with his characteristic animated gestures. The Intrepid Heroes can be seen lit in the center of the arena while a deep dark blue glow covers the audience. The energy is wild and the vibes are immaculate.

Photo from the seats at Climate Pledge Arena in Seattle of Dimension 20 Live. Brennan can be seen on the large screen with his characteristic animated gestures. The Intrepid Heroes can be seen lit in the center of the arena while a deep dark blue glow covers the audience. The energy is wild and the vibes are immaculate.

Live @dimension20.bsky.social last night

21.07.2025 15:33 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
This page is a truly naked, brutalist html quine.

This is art:

secretgeek.github.io/html_wysiwyg...

18.07.2025 14:11 β€” πŸ‘ 41    πŸ” 19    πŸ’¬ 1    πŸ“Œ 2

1337 is a fun number because it also drops a nice "1333337" in your hexdump

15.07.2025 13:04 β€” πŸ‘ 27    πŸ” 2    πŸ’¬ 2    πŸ“Œ 0

I scored 10/28 on jsdate.wtf

I knew some of these already (why is space in my brain reserved for this in a language I don’t even use regularly, I’ll never know) but wow this quiz is beautifully structured to troll you hard.

Would recommend.

12.07.2025 01:28 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

1:59 am: I'll just stay up a liiiittle longer, 1 am isn't *that* late :)

2:01 am: shit it's almost 3 am already what happened

09.07.2025 03:41 β€” πŸ‘ 324    πŸ” 19    πŸ’¬ 7    πŸ“Œ 1

Everything since guy hit thing with rock just old thing faster. Better tool for hit faster & stronger. New power sources is more hitting per man hour. Science, finance, management, culture, just abstracting and optimizing hitting more things with better rocks

08.07.2025 03:52 β€” πŸ‘ 12    πŸ” 1    πŸ’¬ 1    πŸ“Œ 1

Picked up some basic wood carving tools just to see if I’d like it and omg this is so much fun! Am working without any guidance/tutorial, so am clearly making mistakes, but still it looks good?! The flaws seem to give the piece character. Would recommend

21.06.2025 19:22 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Video thumbnail

amtrak’s marketing team gets it

21.06.2025 12:21 β€” πŸ‘ 30881    πŸ” 10125    πŸ’¬ 459    πŸ“Œ 1225

This is awesome! Thanks for the detailed writeup!

I’ll likely soon switch to some version of your prompt. Past few months I’ve been using something I wrote for p10k but didn’t quite have the bandwidth to make it as cool as yours github.com/jaybosamiya-...

20.06.2025 18:04 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
a jj prompt for powerlevel10k I’m in the process of switching from git to jj right now. That switch is another post of its own, which I am still working on, but in the meantime I wanted to write up the way that I’ve set up my shel...

a jj shell prompt, but fast because of powerlevel10k

(it took me two weeks to implement it and another week to write 3800 words about it, I hope you enjoy)

andre.arko.net/2025/06/20/a...

20.06.2025 07:52 β€” πŸ‘ 29    πŸ” 8    πŸ’¬ 4    πŸ“Œ 1

Seems like Apple is an aptly named company then

13.06.2025 23:11 β€” πŸ‘ 48    πŸ” 0    πŸ’¬ 3    πŸ“Œ 0

Congratulations!! πŸŽ‰

31.05.2025 09:19 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Screenshot of a post by foone:

PSA:
1. If you are not silly, it is vital you become silly
2. If you are silly, you must stay silly
2. If you used to be silly but have stopped, you must make all efforts to return to silliness

Screenshot of a post by foone: PSA: 1. If you are not silly, it is vital you become silly 2. If you are silly, you must stay silly 2. If you used to be silly but have stopped, you must make all efforts to return to silliness

Obligatory related foone post

30.05.2025 08:22 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

This is silly in the best possible meaning of silly

30.05.2025 08:22 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE Incorrect handling of security-critical data formats, particularly in low-level languages, are the root cause of many security vulnerabilities. Provably correct parsing and serialization tools that ta...

PulseParse & EverCBOR

Uses F* and Pulse to formalize several new standards for secure data formats and attestations, including CBOR, CDDL, and COSE, producing verified libraries and compilers.

arxiv.org/abs/2505.17335

#fstarlang #pulse #everparse #rust #cbor #cddl #cose #dice #dpe

29.05.2025 17:07 β€” πŸ‘ 7    πŸ” 2    πŸ’¬ 1    πŸ“Œ 0

Anyone interested in 3D printing some funky diceβ€”like a "fair dragon" which can land in three different ways, or a single die equivalent to to 2D6?

We've now put printable STL files online: www.cs.cmu.edu/~kmcrane/Pro...

More info here: hbaktash.github.io

29.05.2025 04:08 β€” πŸ‘ 54    πŸ” 8    πŸ’¬ 2    πŸ“Œ 0
Post image

"Every time someone utters the words 'general purpose' what they mean is 'I've optimized for a thing but I don't know what that thing is'." --David Chisnall

27.05.2025 09:24 β€” πŸ‘ 46    πŸ” 16    πŸ’¬ 2    πŸ“Œ 3

And if you are a creative who suddenly can’t think of anything new, you did not run out of ideas.

You are burnt out.

Spend time with loved ones, read non-fiction, watch interesting movies. Refill your well and the ideas will come back.

25.05.2025 21:20 β€” πŸ‘ 110    πŸ” 28    πŸ’¬ 1    πŸ“Œ 3

Also, the more you entertain your ideas by writing/drawing/composing them, the more ideas you will get.

Don’t be precious with your ideas. You are training your brain to make more.

25.05.2025 21:14 β€” πŸ‘ 77    πŸ” 10    πŸ’¬ 1    πŸ“Œ 5
Video thumbnail

Wanna see something cool?

At the Grammy's in 1976, Ella Fitzgerald and Mel Torme explained what jazz is.

The result? The crowd losing its mind. πŸ”₯

04.05.2025 01:49 β€” πŸ‘ 14030    πŸ” 3645    πŸ’¬ 613    πŸ“Œ 642
Video thumbnail

Just remembered this adorable old video, this kid has such good comic timing I hope you’re thriving out their queen

08.04.2025 00:03 β€” πŸ‘ 3456    πŸ” 470    πŸ’¬ 72    πŸ“Œ 46
Vector art of an old Western scene in warm colors, with the text "The Good, The Plaid, and The Ugly".

Vector art of an old Western scene in warm colors, with the text "The Good, The Plaid, and The Ugly".

Dust off your boots, grab your hats, and get ready for a showdown β€” Plaid CTF is headin' for the frontier! On April 4, we venture westward. But will you have what it takes to rise to the challenge of The Good, The Plaid, and The Ugly? plaidctf.com

16.03.2025 20:34 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

@jaybosamiya is following 20 prominent accounts