Rotating Hexapod's Avatar

Rotating Hexapod

@zorodendron

programming languages / formal logic

28
Followers
22
Following
198
Posts
21.02.2024
Joined
Posts Following

Latest posts by Rotating Hexapod @zorodendron

You could post in the builtin chatrooms!

19.05.2025 13:38 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

You and Danielle should be given free terminal subscriptions.

19.05.2025 13:37 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Post image

Like the β€œinfohazard” from this book.

22.03.2025 23:28 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I’m on my third Dmitry Glukhovsky book for this month.

19.02.2025 15:20 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Tome: Immortal Arena revival

14.02.2025 20:17 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

FOR NOW

26.01.2025 18:09 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

hopefully we live for thousands of ywars!

23.01.2025 15:24 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

hell yes

23.01.2025 15:19 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

may i join?

18.01.2025 07:51 πŸ‘ 2 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

epic

31.12.2024 00:13 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
hexapod christmas queen

hexapod christmas queen

25.12.2024 15:17 πŸ‘ 2 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

@xenofy.bsky.social A hashtag for us?

24.12.2024 10:41 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Hexapod Greenland

24.12.2024 02:15 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
Terrance Tao's vibe review of o3 51% chance. Will Terrance Tao's vibe review of o3 determine it to be at or above the level of a competent graduate student in mathematics? (if Tao does not review the model, this resolves to no)

Those that do exist on o3 aren’t about the topics you mentioned. Just this kind of question:

manifold.markets/CharlieVicto...

manifold.markets/BaryLevy/fra...

manifold.markets/Bayesian/wil...

21.12.2024 05:13 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

There are prediction markets on employment rates for knowledge workers but none on o3 yet. They should materialise soon.

21.12.2024 05:11 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Should i use it in portfolio projects for my sf trip next year, or would that risk accusations of β€œcheating”?

I feel like CF/Leetcode are less worth it now.

20.12.2024 20:26 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

175 highest CF rating suggests it will work.

20.12.2024 20:08 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Would you know how it compares to Kanren?

20.12.2024 08:23 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

What is this?

18.12.2024 11:22 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Hexapodcast

14.12.2024 08:41 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

headed to san francisco next year: dates tbd, but i’ll be around for a while. if you’re in the area and want to hang out , let me know.

05.12.2024 06:08 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

type-level regex πŸ‘€

03.12.2024 04:28 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

category theory is wild because it starts with arrows go brr and ends with everything is connected in the most beautiful way possible

18.11.2024 12:43 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

learning a little category theory as a treat

05.11.2024 23:03 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

must be what the ocaml shortcuts are for

04.11.2024 22:09 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

me too

29.10.2024 12:55 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

yeet

19.10.2024 03:44 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

Bluesky now has over 10 million users, and I was #4,912,703!

18.09.2024 16:55 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

congratulations

17.09.2024 08:41 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

β€œHowever, Rust (like most high-level languages) does not provide direct control over instruction prefetching because instruction caching is managed at the hardware level.”

High-level πŸ€”

04.09.2024 10:03 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0