HN user
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 explosion of permutations about configuration policies Im designing, and Im still learning the math but Im finding it easier to reason with tlaplus than in code is lean like that?
claudes/codex performance suffers after 250k anyway and my workflow reset after every 200 so this is a non-issue
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