abathologist

6 ms·

61.
by abathologist 1y ago
This is the glaring fallacy! We are turning to unreliable stochastic agents to churn out boilerplate and do toil that should just be abstracted or automated away by fully deterministic, reliably correct programs. This is, prima facie, a deg
62.
by abathologist 1y ago
"Actually, proving things is bad. We should arrange the world so that everything is self evident."
63.
by abathologist 1y ago
My theory is that the digital revolution has mostly cancelled out potential productivity gains with its introduction of productivity sinks: the technology has tended to encourage less rigorous thinking, more distraction, more complexity; an
64.
C1ick and C⊗LLec⊥: Interactive linear logic prover(click-and-collect.linear-logic.org)
1 points by abathologist 1y ago|1 comments
65.
by abathologist 1y ago
Github Page: https://github.com/etiennecallies/click-and-collect/wiki Linear Logic: https://en.wikipedia.org/wiki/Linear_logic
66.
by abathologist 1y ago
I am not a Haskell expert, nor an expert in effect systems, but, AFAIU, what mrkeen has provided is an analogous pattern in Haskell -- where effects are represented via the free monad with an interpreter -- and not an account of what
67.
by abathologist 1y ago
Almost as if the development of PLs is not a straight line of monotonically additive features XD
68.
by abathologist 1y ago
One clever ingredient in OpenAI's secret sauce is billions of dollars of losses. About $5 billion dollars lost in 2024. https://www.cnbc.com/2024/09/27/openai-sees-5-billion-loss-t...
69.
by abathologist 1y ago
Finally, someone has thought about the importance of making things go faster! Is the most pressing problem facing the world is that we are not doing enough things fast enough? Seems a bit off the mark, IMO.
70.
by abathologist 1y ago
See https://ocaml.org/industrial-users Current industry uses are largely in specialist areas including compiler engineering, static analyses, formal verification systems, and systems programming in critical domains.
71.
by abathologist 1y ago
Indeed it is.
72.
by abathologist 1y ago
Yes.
73.
by abathologist 1y ago
Would be great to get concrete feedback on the docs, because a lot of energy has gone into improving them in the last 2 years: https://dune.readthedocs.io/en/stable/index.html
74.
by abathologist 1y ago
> F# as essentially Ocaml running on the .NET IMO, a language without proper modules, GADTs, or (now) an effect system, does not seem to me like it could plausibly be described as "essentially OCaml". Your point about having ad
75.
by abathologist 1y ago
Ah yeah, that is absurd, given how successful they have been, and how much they attribute that success to their technical decisions. People love to sulk in their parochial pits, I guess? Thanks for clarifying :)
76.
by abathologist 1y ago
What are you talking about?
77.
by abathologist 1y ago
Yeah, he is also committed to race science, the belief that diversity is fundamentally bad, and that states "own" their citizens, and can do anything they want to them. None of that is just the basic idea of a benevolent dictator.
78.
by abathologist 1y ago
It seems to me that monads and effects are likely best viewed as complementary approaches to reasoning about computational contexts, rather than as rivals. See, e.g., https://goto.ucsd.edu/~nvazou/koka/padl16.pdf
79.
by abathologist 1y ago
> The first thing to note is that there is no indication that foo or bar can fail I think this is a part of the point: we are able to simply write direct style, and not worry at all about the effectual context. > how do you find the c
80.
by abathologist 1y ago
Effects in OCaml 5.3 are quite a bit cleaner than there were a few years back (tho still not typed).
81.
by abathologist 1y ago
How do you know that generated text is actually a compression of what the author is trying to say?
82.
by abathologist 1y ago
As a matter of fact, I don't think its true that > if the system survives, the consequences will be inevitable: There is no way of reforming or modifying the system so as to prevent it from depriving people of dignity and autonomy.
83.
by abathologist 1y ago
I think it was indeed use of GPS that first made me aware of how much the systems we are building are trying to automate me. From the socials to Jira to slack GitHub to crypto to GenAI... it is now painfully obvious that all these systems a
84.
by abathologist 1y ago
https://en.wikipedia.org/wiki/Pierre_Menard,_Author_of_the_Q...
85.
by abathologist 1y ago
> Personal transformation is as significant, if not more I would include personal transformation. I think it should be clear that my point is not against "production-oriented pastimes" in any way. > It's about doing for
86.
by abathologist 1y ago
The surrender is largely voluntary, and is especially enabled by those who think "the systems" somehow know the "best outcomes".
87.
by abathologist 1y ago
I think we are going to be seeing a vast partitioning in society in the next months and years. The process of forming expressions just is the process of conceptual and rational articulation (as per Brandom). Those who misunderstand this --
88.
by abathologist 1y ago
What kind of problems are you solving day-to-day where the LLMs are doing heavy lifting?
89.
by abathologist 1y ago
OCaml has had great concurrency support for years and years. Multicore is only a question of shared memory parallelism.
90.
by abathologist 1y ago
OCaml has utop, down, and the unadorned ocaml top-level.

More ›