Viewing profile — miranaproarrow

how is lean different from tlaplus for helping you with reasoning during the design phase? I literally just discovered tlaplus last week after struggling with reasoning about the e…

claudes/codex performance suffers after 250k anyway and my workflow reset after every 200 so this is a non-issue

[dead]

Do you have specific SDR in mind? I thought the v2 dongle doesnt have the range of Wifi? SDR is something Ive just recently want to learn to help me understand electromagnetism

can this be used for math viz? Im having claude teach me visualize math and it writes lots of low level canvas code just to make it look good.

no one is talking about the alcohol part?

there are people that still likes to understand what their language is doing and not offload all their thought to LLM