Rotating Hexapod
@zorodendron.bsky.social
programming languages / formal logic
You could post in the builtin chatrooms!
May 19, 2025 at 1:38 PM
You could post in the builtin chatrooms!
You and Danielle should be given free terminal subscriptions.
May 19, 2025 at 1:37 PM
You and Danielle should be given free terminal subscriptions.
Like the “infohazard” from this book.
March 22, 2025 at 11:28 PM
Like the “infohazard” from this book.
I’m on my third Dmitry Glukhovsky book for this month.
February 19, 2025 at 3:20 PM
I’m on my third Dmitry Glukhovsky book for this month.
Tome: Immortal Arena revival
February 14, 2025 at 8:17 PM
Tome: Immortal Arena revival
hopefully we live for thousands of ywars!
January 23, 2025 at 3:24 PM
hopefully we live for thousands of ywars!
@xenofy.bsky.social A hashtag for us?
December 24, 2024 at 10:41 AM
@xenofy.bsky.social A hashtag for us?
Hexapod Greenland
December 24, 2024 at 2:15 AM
Hexapod Greenland
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...
manifold.markets/CharlieVicto...
manifold.markets/BaryLevy/fra...
manifold.markets/Bayesian/wil...
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)
manifold.markets
December 21, 2024 at 5:13 AM
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...
manifold.markets/CharlieVicto...
manifold.markets/BaryLevy/fra...
manifold.markets/Bayesian/wil...
There are prediction markets on employment rates for knowledge workers but none on o3 yet. They should materialise soon.
December 21, 2024 at 5:11 AM
There are prediction markets on employment rates for knowledge workers but none on o3 yet. They should materialise soon.
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.
I feel like CF/Leetcode are less worth it now.
December 20, 2024 at 8:26 PM
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.
I feel like CF/Leetcode are less worth it now.
175 highest CF rating suggests it will work.
December 20, 2024 at 8:08 PM
175 highest CF rating suggests it will work.
Would you know how it compares to Kanren?
December 20, 2024 at 8:23 AM
Would you know how it compares to Kanren?
type-level regex 👀
December 3, 2024 at 4:28 AM
type-level regex 👀
must be what the ocaml shortcuts are for
November 4, 2024 at 10:09 PM
must be what the ocaml shortcuts are for