trenchgun

4 ms·

31.
by trenchgun 7mo ago
Why is it better than native x11?
32.
by trenchgun 7mo ago
>Such is very difficult at the moment What do you mean? It's a nice and simple language. Way easier to get started than OCaml or Haskell for example. And LLMs write programs in Lean4 with ease as well. Only issue is that there are n
33.
by trenchgun 7mo ago
LLMsdo great with Rust though
34.
by trenchgun 8mo ago
You could have a multi agent harness that constraints each agent role with only the needed capabilities. If the agent reads untrusted input, it can only run read only tools and communicate to to use. Or maybe have all the code running goin
35.
by trenchgun 8mo ago
Python has uv, ruff, ty
36.
by trenchgun 8mo ago
You need a mind mapping tool there
37.
by trenchgun 8mo ago
Baroque
38.
by trenchgun 9mo ago
Claude Code is mostly vibe coded app, as is Claude. I guess this should have been expected.
39.
by trenchgun 9mo ago
Arrays/maps/lists are extensionally defined functions, where as functions/TLA+ operations are intensionally defined functions
40.
by trenchgun 10mo ago
Permaban from first strike
41.
by trenchgun 11mo ago
LLMs are already a powerful tool for serious math researchers, just not at the level of "fire and forget", where they would completely replace mathematicians.
42.
by trenchgun 11mo ago
What on earth are you talking about?
43.
by trenchgun 1y ago
> The biggest thing holding Ruby back is lack of gradual typing imo. There is: https://sorbet.org/
44.
by trenchgun 1y ago
Kiro in Finnish means "a curse".
45.
by trenchgun 1y ago
Constraints create games.
46.
by trenchgun 1y ago
Well... not everybody uses github, and not every task in Jira is about code in version control
47.
by trenchgun 1y ago
Also: NASA used to use Common Lisp before
48.
by trenchgun 1y ago
Yep. Some context from the blog post: > I turned to service apps this winter: doordash, instacart, uber eats. Their signup systems were incompatible with my full, legal, one-letter last name, and it took about 50 hours on the phone with
49.
by trenchgun 1y ago
> Of course, Figma‑ or Gmail‑class apps still benefit from heavy client logic, so the emerging pattern is “HTML by default, JS only where it buys you something.” Think islands, not full SPAs. Figma is written in C++ to webasm.
50.
by trenchgun 1y ago
This would be fun!
51.
by trenchgun 1y ago
Abandon VSCodium, Return to Emacs
52.
by trenchgun 1y ago
Jira has official CLI as well https://appfire.atlassian.net/wiki/spaces/JCLI/overview and plenty of unofficial ones
53.
by trenchgun 2y ago
Verifiers can be based on a small proven kernel. That is not really the issue. The issue is writing the formal specification. Formal verification is in nutshell just proving the equivalence of two different formal constructs: one that is ca
54.
by trenchgun 2y ago
He did start to donate more to Republicans, by 2022 it was quite even. Trump does not care if you used to openly hate him. If you pledge allegiance to him, he is cool with it. Might need a small bribe, depending on the case.
55.
by trenchgun 2y ago
I don't think it matters as long as Trump and others grab power hard enough. There still are lots of tools still available on the table to make voting against Republicans harder in the elections. A recent example: https://ww
56.
by trenchgun 2y ago
What do you mean, why? I was easily able to install it on my M2 Macbook Air.
57.
by trenchgun 2y ago
Relevant SMBC: https://www.smbc-comics.com/comic/2012-03-21
58.
by trenchgun 2y ago
>As far as a “Rust without memory management and with better concurrency” goes, I knew going in that Gleam could only be part of the answer. OCaml?
59.
by trenchgun 2y ago
Coalton is its own language, just implemented and embedded in CL.
60.
by trenchgun 2y ago
What is an appropriate false positive rate for canceling already approved research funding based on political motivations on a mass scale?

More ›