rrook

6 ms·

1.
by rrook 14d ago
Thanks for that feedback, I'll try to add some more well known examples. In the meantime, maybe the docs have more of the examples you're looking for? https://hale-lang.org/docs/tutorial/job-queue/
2.
What the Hale?(hale-lang.org)
2 points by rrook 15d ago|2 comments
3.
by rrook 26d ago
Absolutely - it's like, the "current agreed upon version", but indeed it's a point-in-time snapshot/simplification of whatever the thing being modeled actually is.
4.
by rrook 26d ago
I did RTFA, maybe YOU need to read my question again. I specifically asked about the outcome if the plaintiff didn't do all that petty stuff.
5.
by rrook 26d ago
This seems like way too caustic of a reaction, OP is correct. If you actually know what you're doing in $language, and you know how $language wants to emit the assembly or whatever, there's no huge advantage to just programming di
6.
by rrook 27d ago
Some shameless self promo - I'm working on one! https://hale-lang.org/proof/
7.
by rrook 27d ago
Sure, the domain model isn't an artifact, but software _necessarily_ contains an artifact of the domain model.
8.
by rrook 27d ago
The domain and delivery/ops context define the constraints, code that gets written ought reflect those constraints, not provide more.
9.
by rrook 1mo ago
I think the reality is that it has to be baked into the language. Here's my real attempt at that - if you model the system in the language, the compiler can reason about the distributed fleet: https://hale-lang.org/proo
10.
by rrook 1mo ago
Does that reading intonate that had the plaintiff chosen a more benign injection, only to prove that an LLM was involved, rather than to alter the outcome, the judge would have looked at the situation differently?
11.
by rrook 1mo ago
Not really pursuing it at this point, but it seems so intuitive that organizational harnesses will converge on like, agent personas that are constructed just-in-time from shared knowledge graphs. https://brained.dev/under-th
12.
by rrook 1mo ago
Language space is hot right now: https://agentlanguages.dev/
13.
by rrook 1mo ago
I've been working on a language that codifies a single abstract _situated_ unit of computation. It sits at the intersect of memory, process placement, callstack, lifetime, and domain graph. Because it's the only unit of structure
14.
by rrook 1mo ago
Would you say that "choreographic programming" is different from an architecturally-aware compiler? https://hale-lang.org/articles/claims-in-hale/
15.
Claim-Driven Development in Hale(hale-lang.org)
6 points by rrook 1mo ago|0 comments
16.
Effects in Hale(hale-lang.org)
3 points by rrook 2mo ago|1 comments
17.
by rrook 2mo ago
Author here! Just landed this feature, happy to answer any questions.
18.
by rrook 2mo ago
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, programming languages expose each individual machine ope
19.
Show HN: Hale – A Concurrent Systems Language(hale-lang.org)
4 points by rrook 2mo ago|0 comments
20.
by rrook 3mo ago
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 llm/agent congnit
21.
by rrook 3mo ago
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 model. Language is just another translation; all communi
22.
by rrook 3mo ago
How would we feel about Google providing misleading search results about how to implement search algorithms?
23.
by rrook 3mo ago
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 implementing the same high level desig
24.
by rrook 4mo ago
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 for agents: https://github.com/hale-lang
25.
The Thought Factory(brained.dev)
1 points by rrook 6mo ago|0 comments
26.
by rrook 7mo ago
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 the same way it views china, but in actuality the EU is sta
27.
by rrook 7mo ago
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 specifically because you said "nearly 50% of Americans voted
28.
by rrook 7mo ago
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 wasn't made, in any way, by the person you're repl
29.
by rrook 8mo ago
i mean - i think people recognize that they are pattern matching tools. pattern matching is useful for thinking.
30.
by rrook 8mo ago
> 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 languages as, exclusively, tools to make computers do stuff

More ›