Readit News logoReadit News
lvass commented on The Legacy of Nicaea   hedgehogreview.com/web-fe... · Posted by u/diodorus
jswelker · 18 hours ago
I'll ignore your ad hominems there.

I am not saying I _know_ anything. Rather, I am disappointed in the incredible hubris and overconfidence shown by the Church fathers, not in terms of their faith but in terms of their certainty in the intellectual tools they had available and the extent to which those fumbling tools describe a God who in their own telling is infinite.

Yes I have read large portions of the Summa, Augustine, Anselm, Boethius, Origen, and others, and I am fairly confident in saying that if you strip away the metaphysics of Plato and Aristotle and their followers, many of the arguments laid out by the patristics become tautologies at best and semantically meaningless at worst.

I am not saying I know what the answers are. Just that we need more humility than what was shown by a church council convened by--checks notes-- a power hungry and opportunistic Roman dictator.

lvass · 13 hours ago
We definitely need more humility. For starters, not to casually dismiss beliefs held by millennia due to some artifacts without even specifying them.
lvass commented on Valve reveals it’s the architect behind a push to bring Windows games to Arm   theverge.com/report/82065... · Posted by u/evolve2k
InvisibleUp · 16 days ago
I find it a touch strange, in the abstract, that a corporation being public is a bad thing. On paper it should be a good thing; being publicly owned should mean that your corporation has turned from a private business venture into effectively public infrastructure that's impossible to boycott and depended on to some extent by everybody. As a result, financial statements should be (and are) public and transparent, and the company should be able to be externally steered via regular elections in a manner that benefits the public and not just its founders.

The issue really lies in the fact that the (long-term, majority) shareholders aren't much, if at all, related to the customers or employees of the business, but first the founders, and then parties who are merely interested in rising stock prices and dividends. It feels like the solution here ought to somehow desegregate voting rights from how many shares are owned, instead of dismantling the concept of public ownership entirely. (Or, perhaps, allow the general public to proxy vote via their 401(k) index funds?)

(There's also strange situations like Google/Alphabet, which is publicly owned, but effectively does not allow shareholders to vote on anything.)

lvass · 16 days ago
>On paper it should be a good thing

Not really. Most people have terribly low time preference. Democracy for example is a very bad idea when you account for that (read Hoppe for a detailed explanation). Public company ownership is much better because it doesn't suffer from one vote per person, but still susceptible to much of the same management problems, specially in a society that already favors lower time preference by other means.

lvass commented on Zig quits GitHub, says Microsoft's AI obsession has ruined the service   theregister.com/2025/12/0... · Posted by u/Brajeshwar
JoshTriplett · 17 days ago
lvass · 17 days ago
FWIW, all of those links compare Rust to languages created before 1980, and are all projects largely and unusually independent of the crates ecosystem and where dynamic linking does not matter. If you're going to use a modern language anyway, you should do due diligence and compare it with something like Swift as the ladybird team is doing right now, or even a research language like Koka. There is a huge lack of evidence for Rust vs other modern languages and we should investigate that before we lock ourselves into yet another language that eventually becomes widely believed to suck.
lvass commented on Zig quits GitHub, says Microsoft's AI obsession has ruined the service   theregister.com/2025/12/0... · Posted by u/Brajeshwar
ants_everywhere · 17 days ago
I say this as someone who has been cautioning about Microsoft's ownership of GitHub for years now... but the Zig community has been high drama lately. I thought the Rust community had done themselves a disservice with their high tolerance of drama, but lately Zig seems to me to be more drama than even Rust.

I was saddened to see how they ganged up to bully the author of the Zig book. The book author, as far as I could tell, seems like a possibly immature teenager. But to have a whole community gang up on you with pitch forks because they have a suspicion you might use AI... that was gross to watch.

I was already turned off by the constant Zig spam approach to marketing. But now that we're getting pitchfork mobs and ranty anti-AI diatribes it just seems like a community sustaining itself on negative energy. I think they can possibly still turn it around but it might involve cleaning house or instituting better rules for contributors.

lvass · 17 days ago
Disservice? Rust is taking over the world while they still have nothing to show basically (Servo, the project Rust was created for, is behind ladybird of all things). Every clueless developer and their dog thinks Rust is like super safe and great, with very little empirical evidence still after 19 years of the language's existence.

Zig people want Zig to "win". They are appearing on Hacker News almost every day now, and for that purpose this kind of things matters more than the language's merits themselves. I believe the language has a good share of merits though, far more than Rust, but it's too early and not battle tested to get so much attention.

lvass commented on I know we're in an AI bubble because nobody wants me   petewarden.com/2025/11/29... · Posted by u/iparaskev
lvass · 21 days ago
Author is definitely correct in pointing out the incentives for companies to buy hardware. What the article misses is that there is in fact a reasonable economic incentive to not invest in software even if LLMs were not an economic bubble. It is that every single company is developing the same thing, there are many of those who even develop them as open source, and the ones that are closed as well as any company who would hire this guy, have a bunch of industrial spies inside anyway. Buying hardware may increase your moat, but developing software just rises the sea level.
lvass commented on Editing Code in Emacs   redpenguin101.github.io/h... · Posted by u/redpenguin101
Buttons840 · a month ago
I was excited for avy until I realized its purpose is only to move the cursor to a place visible on the screen. It does nothing a mouse can't do with one click.

(This is my understanding at least; I'm open to correction.)

I'm a lover of Vim bindings, and so I appreciate keyboard controls, but where Vim enables working with files and text in a general and powerful way, avy enables avoiding one click with the mouse. I don't use Vim to avoid the mouse, I use it so I can hack some Vim macros together when I'm editing text on a text-level. Vim (or Emacs) is an eternal tool that can do big things, avy just positions my cursor.

lvass · a month ago
Definitely not it's purpose. Avy can be used to select a word, line, or region. One action is move to it. But it can also, in it's own words, copy, yank, zap to, transpose, teleport, kill, mark, ispell, org-refile, and custom actions.

https://karthinks.com/software/avy-can-do-anything/

lvass commented on Editing Code in Emacs   redpenguin101.github.io/h... · Posted by u/redpenguin101
emil-lp · a month ago
I've used Emacs for 20 years and I never learnt to navigate in a file except backwards and forwards search.

Is there still hope for me?

I think my biggest issue is that I am a slow coder and I never feel in a hurry.

lvass · a month ago
Just type C-h t (help-with-tutorial) and work your way through it.
lvass commented on Zig's New Async I/O   andrewkelley.me/post/zig-... · Posted by u/todsacerdoti
thefaux · 2 months ago
I find the direction of zig confusing. Is it supposed to be a simple language or a complex one? Low level or high level? This feature is to me a strange mix of high and low level functionality and quite complex.

The io interface looks like OO but violates the Liskov substitution principle. For me, this does not solve the function color problem, but instead hides it. Every function with an IO interface cannot be reasoned about locally because of unexpected interactions with the io parameter input. This is particularly nasty when IO objects are shared across library boundaries. I now need to understand how the library internally manages io if I share that object with my internal code. Code that worked in one context may surprisingly not work in another context. As a library author, how do I handle an io object that doesn't behave as I expect?

Trying to solve this problem at the language level fundamentally feels like a mistake to me because you can't anticipate in advance all of the potential use cases for something as broad as io. That's not to say that this direction shouldn't be explored, but if it were my project, I would separate this into another package that I would not call standard.

lvass · 2 months ago
It's more about allowing a-library-fits-all than forcing it. You don't have to ask for io, you just should, if you are writing a library. You can even do it the Rust way and write different libraries for example for users who want or don't want async if you really want to.
lvass commented on Tarmageddon: RCE vulnerability highlights challenges of open source abandonware   edera.dev/stories/tarmage... · Posted by u/vsgherzi
lvass · 2 months ago
Why didn't crates.io maintainers apply the patch themselves? NPM does meddle with packages when an incident happens like they did with left-pad.
lvass commented on Meow: Yet another modal editing on Emacs   github.com/meow-edit/meow... · Posted by u/Bogdanp
globular-toast · 3 months ago
Is there someone who's gone from Emacs style to modal editing who could sell the idea to me? I just don't see the point, personally.

When I was looking for my text editor 15 year ago I did try vim first because it was the hipster choice back then. I really tried and told myself it would be like learning a new language or something: it sucks today but one day I'd be talking the language of text editing.

It didn't seem to be happening so I tried Emacs instead. As soon as I disabled the awful GUI stuff my love affair started. It all just made complete sense. Key "chords" just work for my brain. I must know hundreds of them without really trying. And Emacs's version of a "mode", as in major modes and minor modes, is just perfect (I think other editors like VS Code have copied this aspect).

I've tried evil mode since but I still just don't see the point. Other than Emacs pinky (which is mostly solved by the caps/ctrl key switch) is there any other advantage at all?

lvass · 3 months ago
If you're having to use Caps lock as control, modal editing is probably worth it. The one thing that makes non-modal editing far superior to modal, for me, is how easy it is to reach my Control key, as the palm of my left hand is always hovering over it and I learned to press it with my palm without having to ever move my fingers or hitting the wrong key.

I think the vim model in particular is great in terms of becoming muscle memory in like, a few months. It saves a few keystrokes compared to Emacs specially if you're counting Control as a key press. Navigating is a tad nicer with hjkl being next to each other. Having to press Esc after each edit just sucks though.

u/lvass

KarmaCake day1244January 24, 2020
About
hn@lcvass.com
View Original