Viewing profile — rrook

Would you say that "choreographic programming" is different from an architecturally-aware compiler? https://hale-lang.org/articles/claims-in-hale/

[dead]

Author here! Just landed this feature, happy to answer any questions.

given your experience on the topic, i'm curious: do you think that the reason we haven't figured out how to make other parts of formal verification fast is that, in general, progra…

I'd like to share Hale, a concurrent systems language that I've been working on this year. The general thesis is that good software design is an actual thing. In everything I've ev…

[dead]

I've been working like, almost this exact idea! https://github.com/hale-lang/papers/tree/main . The same capacity allocation bound algorithm appears naturally not only in human and…

I think that's where it goes, yes. The ability to model the world internally predates spoken language. We (and other animals) already translate what we _sense_ into that internal m…

How would we feel about Google providing misleading search results about how to implement search algorithms?

I've written my own programming language. IMO, "good architecture" exists outside of specific language choices - SOLID, various design patterns, etc.. I've always felt like I'm imp…

As a codebase grows, divergent structural emergence from incidental(lang and lib) details results in prolonged complexity costs. I'm working on a language that enforces structure f…

You’d be well served to stop the political name calling, it’s childish. I view the dynamic from the opposite direction. You might think that that the EU is starting to view America…

We can have a more detailed discussion around political alignments in America, but you've already agreed that your original statement was false. I mention the 30% figure specifical…

Maybe 30% of Americans voted for Donald Trump. This response reeks of ignorance and hubris. > Do you genuinely believe you are superior to the rest of the world? This assertion was…

i mean - i think people recognize that they are pattern matching tools. pattern matching is useful for thinking.

> My theory is that this is a source of diverging views on LLMs for programming: people who see programming languages as tools for thought compared to people who see programming la…

That mathematical formulas already cannot be copyrighted makes this a kinda nonsense example?

> If you want to make an argument that some groups of people are inherently evil and subhuman and must be destroyed, just go ahead and make it. This is an absurdly bad faith interp…

> If you think the vast majority of humanity is engaged in passively or actively allowing a second wrong, is the 4% justified in using violence to stop the second wrong while provi…

I've in no way said what you seem to think I've said.

> If the US strong armed Israel into a cease fire and to open the blockade on Gaza, two things the US could do if it had the political will, this would stop the Houthi's from attac…

Not going to engage in a discussion about valuing human lives, but what are you suggesting? The attacks on ships should be allowed to continue because the conflict? I was pretty yo…