abathologist

6 ms·

31.
by abathologist 11mo ago
This is great. If you think that the phenomena of human-like text generation evinces human-like intelligence, then this should be taken to evince that the systems likely have dementia. https://en.wikipedia.org/wiki/Mont
32.
Functional Networking for Millions of Docker Desktops [video](youtube.com)
2 points by abathologist 11mo ago|0 comments
33.
by abathologist 11mo ago
Right? Why would anyone muddy work with morality in this day and age? Morality is so 2010s.
34.
by abathologist 11mo ago
I am excited too! It is probably too much to hope, but I nonetheless am hoping that magit gets a jj backend before I have enough motivation or need to learn a new tool to do the same old stuff :D
35.
by abathologist 11mo ago
Same. I have not been able to find an explanation of anything jj supports that I don't have already with magit, but I am open to learning :)
36.
by abathologist 11mo ago
I'd argue that you understand what a light switch does well enough to use it effectively for its purpose. When me move from just making use of something to using something to make with, that is when we should have a deeper understandin
37.
by abathologist 11mo ago
A key -- perhaps THE key -- remark here, IMO is the following: > I do want to make things, and many times I dont want to know something, but I want to use it This confesses the desire to make, to use, and to make use of, without ANY subs
38.
by abathologist 11mo ago
Careful, that way leads roboticization, according to me https://news.ycombinator.com/item?id=44010933 :|
39.
by abathologist 11mo ago
Backward compat has nothing to do with the size of the stdlib, AFAIK. It seems you want to pick on a different part of the language ecosystem. It's true this a matter of taste, but also worth noting that the OCaml compiler devs have ma
40.
by abathologist 11mo ago
TypeScript certainly has a more complicated and flexible type systems in many respects, but it is not the same w/r/t safety. It is quite common to run across `any`s all over the place in TypeScript code, and there is no such thi
41.
by abathologist 11mo ago
They already happily will. Gemini told me > Large Language Models represent a fundamentally degenerative technology because they systemically devalue the very processes that underpin human progress: original thought, rigorous inquiry, an
42.
by abathologist 11mo ago
As someone who has worked professionally in both, programming in rust does not feel much like programming in OCaml. Working with traits in an imperative manual memory managed language is really different than working with proper modules in
43.
by abathologist 11mo ago
> It's got about the same amount of type safety What?
44.
by abathologist 11mo ago
A different perspective is that JS has made practical application of PLT part of their secret sauce, and deepening into their PLT roots is thickening the sauce.
45.
by abathologist 11mo ago
I love SML, and came to OCaml a bit begrudgingly initially just for a larger ecosystem. But, I think the object system gets a unjustly bad wrap. The OCaml object system is dope. It is rarely needed and not the best feature for most use case
46.
by abathologist 11mo ago
All fine and good if you don't like it for whatever reasons, but AFAIK, people have been using OCaml software as parts of tech stacks in critical industries for around 20 years. So unless you have some qualifications to offer, > I d
47.
by abathologist 11mo ago
One of OCaml's outstanding, but too little mentioned, virtues is the community's commitment to extremely strong backwards compatibility guarantees.
48.
by abathologist 11mo ago
I would be interested to read the author's take on F . Since they are focused on math applications in this post, and F is very much focused on verified software on not on mathematics, it is a bit off topic. My (inexpert) understanding
49.
by abathologist 1y ago
What a deeply dystopian future y'all are building for us :( -- (Including the fact that this link leads to nothing but a logo, for me).
50.
by abathologist 1y ago
What guarantees do you have it will actually follow the stated plan instead of doing something else entirely?
51.
by abathologist 1y ago
Indeed, the critics can only be so critical because they are not convinced of the revealed truth that we are materializing machine god. How irrational.
52.
by abathologist 1y ago
I am so sure because of the self-evidence of my experience, the results of 2 millennia of analysis into the nature of cognition and experience, and consideration of the material composition of our organism (we obviously have lots of critica
53.
by abathologist 1y ago
TikTock, Face Book, Twitter etc. are all aiming to be AI already: https://fortune.com/2024/10/30/mark-zuckerberg-ai-generated-...
54.
by abathologist 1y ago
> The WSJ writers compare the AI bubble to other bubbles, like Worldcom's fraud-soaked fiber optic bonanza (which saw the company's CEO sent to prison, where he eventually died), and conclude that the AI bubble is vastly larger
55.
by abathologist 1y ago
Good point. Non-determinism is not fundamentally problematic on many levels. What is important is that the essential behavioral invariants of the systems are maintained.
56.
by abathologist 1y ago
> Isn’t trying to remove boilerplate how we end up with situations like left-pad? No. That is a result of bad software engineer practices and stacks, not a symptom of proper abstraction.
57.
by abathologist 1y ago
How big a dent do you think we could make if poured $252 billion dollars[0] just into paying down all our towers of tech debt and developing clean abstractions for all these known problems? [0]: https://hai.stanford.edu/ai-i
58.
by abathologist 1y ago
Not me, because I know how to avoid falling into nonsense speculation based on worthless analogies :D Sand away! Enjoy copying and pasting your nails, or having LLMs apply your varnish or whatever. I hope it brings happiness.
59.
by abathologist 1y ago
Ground Hog day is optimistic, I think. It will be like "The Butterfly Effect": every attempt to fix the systems using the same dumb, wrote solutions will make the next iteration of the architecture worse and more shitty.
60.
by abathologist 1y ago
This is a terribly confused analogy, afaict. But maybe if you could explain in what sense boilerplate, as defined in https://en.wikipedia.org/wiki/Boilerplate_text , is anything like a nail, it could be less confusing.

More ›