trenchgun

10 ms·

61.
by trenchgun 2y ago
ODASE uses it: https://www.mercurylang.org/documentation/papers/mc_swese_20... https://www.odase.io/
62.
by trenchgun 2y ago
What do you consider a real life task, if Graph reachability, Graph coloring nor finding Connected components count? They all have many straightforward applications.
63.
by trenchgun 2y ago
OCaml .mli interface files are the same, but better.
64.
by trenchgun 2y ago
It's more expensive than industrial solar farms. Aesthetics over economics.
65.
by trenchgun 2y ago
For sure they will read a pdf and not a google doc.
66.
by trenchgun 2y ago
It's not ML, but it is AI
67.
by trenchgun 2y ago
Are these just traditional distributed algorithms?
68.
by trenchgun 2y ago
Chrome has tab search. In MacOS, Shift+Cmd+A
69.
by trenchgun 2y ago
Like, they are working on it right now. Or the prerequisite, to get electron version of Nyxt working. https://github.com/atlas-engineer/nyxt/issues/3544
70.
by trenchgun 2y ago
They do not leave out WebExtension support, they are working to get there: > We're focusing on #2989 since it will allow running Nyxt on macOS and support WebExtensions. https://github.com/atlas-engineer/nyxt&#x
71.
by trenchgun 2y ago
>The Cyc knowledge base involving ontological terms was largely created by hand axiom-writing >An inference engine is a computer program that tries to derive answers from a knowledge base. The Cyc inference engine performs general log
72.
by trenchgun 2y ago
This does not seem correct. There was a vision of using M-expressions, (Metalanguage) but it never happened. >In computer programming, M-expressions (or meta-expressions) were an early proposed syntax for the Lisp programming language, i
73.
by trenchgun 2y ago
arr was defined to be an array of strings. How are you pushing a boolean there?
74.
by trenchgun 2y ago
Can you clarify, are you also an LLM, or are you a human dev? > This readme is maintained by the readme-updater script.
75.
by trenchgun 2y ago
Wohoo! EU is the land of freedom! Suck it, USA
76.
by trenchgun 2y ago
This wad also a great read on Palantir, from 2020: https://logicmag.io/commons/enter-the-dragnet/
77.
by trenchgun 2y ago
To me it seems they do https://logicmag.io/commons/enter-the-dragnet/
78.
by trenchgun 2y ago
It is a fucking great name, now that I know that etymology
79.
by trenchgun 2y ago
>It doesn’t predate sql and certainly not it’s use in mathematics. What do you mean by "it's use in mathematics"? To my knowledge <> was invented by Algol language creators to use it for inequality. There was no prev
80.
by trenchgun 2y ago
F# inherits <> from ML, which inherits it from Algol, which invented it. But that was actually a bad idea, since it deviates from mathematical practice. To follow math, it would be better to use != as in C and those inspired by it, or
81.
by trenchgun 2y ago
- in Haskell <> is binary operator of a Monoid - in Elixir <> is Binary concatenation operator. Concatenates two binaries. This seems like it might be kind of a joke, actually, purposefully confusing "binary operator"
82.
by trenchgun 2y ago
You can do it, just need third party app
83.
by trenchgun 2y ago
What you really want is draw a sketch + describe constraints in symbols
84.
by trenchgun 2y ago
> We have a whole freaking energy grid! You actually don't. Not one fit for that purpose, at least without significant investment, permitting hurdles, delays etc etc.
85.
by trenchgun 2y ago
Does anybody know what is the status of Trial on Mac OS? Specifically Apple Silicon
86.
by trenchgun 2y ago
Not sure if it would be out of scope to have support for PlantUML etc programmatic generation
87.
by trenchgun 2y ago
>what would be a better choice for simple 2d graphics (Python would be preferred)? I want to experiment with something like Dwarf Fortress. If you want to experiment with something like Dwarf Fortress, you don't need 2d graphics. Yo
88.
by trenchgun 2y ago
This was a great answer: "Stephenson: My overarching answer is that the actual market and actual users find ways to do things that we don't necessarily imagine in advance, just with our own limited perspective. And so cyberpunk ha
89.
by trenchgun 2y ago
I can recommend for example Hannu Rajaniemi and Peter Watts
90.
by trenchgun 2y ago
Groq actually has a competetive edge about something, unlike Musk's "Grok"

More ›