lapinot

15 ms·

121.
by lapinot 4y ago
LLM (and deep learning in general) are to AGI what bogosort is to sorting. For some reason beyond me people think it's very important to not try to understand anything about the structure of the problem you're trying to solve and
122.
by lapinot 4y ago
tldr: old man yells at clouds. Irrationally conservative and arrogant. OP demonstrates quite handsomely how they don't understand anything about neovim nor the history of regexp.
123.
by lapinot 4y ago
Yes, that's exactly why i have my nuclear reactor at home. I don't trust anybody else to run one. Ever heard of the concept called "abstraction" and "separation of concerns"?
124.
by lapinot 4y ago
Both formally proven compilers and black-box SMT-based translation verification are a thing. Rust is not there yet but both exist for C.
125.
Elbakyan - Why Stalin is a God (2019)(sci-hub.se)
1 points by lapinot 4y ago|0 comments
126.
by lapinot 4y ago
> Where's the class politics among "tech liberation" proponents? Nowhere, it's in the critic. (doesn't make much sense to me, either i'm misreading you or you are) To make it clear "tech liberation&quot
127.
by lapinot 4y ago
Ahh. Refreshing to see some people talking about class politics on hn.
128.
by lapinot 4y ago
Well, idris (v2) is very special since it has modalities for compile-time erasure and linearity. This sets it apart from all the other dependently-typed languages. This makes it possible in theory (and currently being experimented with) to
129.
by lapinot 4y ago
Yes sure, lets all thank cellebrite for saving the children and busting the bad guys. What would have we done if not for them? Also i'm sure corporations like yours have outstanding morality and it has never occurred to them they could
130.
by lapinot 4y ago
Afaik the problem is typically not hardware but software, since most server motherboards come with a bmc chip on it. Are you designing a motherboard? All i would ask for a bmc is root access. But now everyone (but the big players, who desig
131.
by lapinot 4y ago
Oh come on. Did you think anybody would write an RFC in the comments? Add arbitrary list of whitespace tokens everywhere and pick whatever favorite grammar you have for literals. Json strings and numbers since you seem to like them.
132.
by lapinot 4y ago
SEXPR := YOUR-CUSTOM-LITERALS | "(" SEXPR* ")"
133.
by lapinot 4y ago
> 'owned by public sector' does not mean 'public good' What does mean public good then? I believe you're misreading GP's comment and playing on words. "owned by public sector" doesn't have to
134.
by lapinot 4y ago
Lol. Because there's hardly any socialist government out there. Basically the same kind of guys that are running these corps are editing all these globalization and privatization international treaties.
135.
by lapinot 4y ago
:) i still agree with your later point tho!
136.
by lapinot 4y ago
> Anybody who's good enough at coding to do it for money is at risk of bailing out of science altogether. No. Tons of people in academia are in academia because they believe in free knowledge and because they want to work as public
137.
by lapinot 4y ago
What the hell are you talking about? Being well-defined and arbitrary are two orthogonal things.
138.
by lapinot 4y ago
> There's a reason why (competitive) sports are usually divided by male/female This division is arbitrary. The reason for this is the premise of fair competition that identical people should compete. Yet white males dominate ma
139.
by lapinot 4y ago
> The issue which people react so allergic to is the complete lack of tolerance by the transgender community. Who says so? What has been your personal experience with "the transgender community"? If you're seeing it throug
140.
by lapinot 4y ago
The good old "if it's not working it's because you're not using enough of it" ;)
141.
by lapinot 4y ago
This article focuses on DNS and AS numbers. Which are very much related to actual data plane. (i believe OP only looks at AS of authoritative dns servers, but it's most likely a good first approximation of the actual size and behavio
142.
by lapinot 4y ago
> and creates an ecosystem allowing creators to earn a living. Yes, round of applause for google please, for being the inventors of sustainability in the business of art. Without all their benevolent stewardship we would all be starving
143.
by lapinot 4y ago
> People living outside of the Western world also have a negative impact globally. Yes we live in a globalized society, everything is linked. Now what? > In many cases a much worse one. This is wrong. You seem pretty shallowly convinc
144.
by lapinot 4y ago
:) i'm glad you're one of the lucky people learning today about an important part of ethical philosophy. Ever heard about Peter Singer? You know, the same one that coined "effective altruism". I'm not gonna explain
145.
by lapinot 4y ago
> This doesn't even make sense as humans wouldn't devastate the local environment in an uncontrolled fashion the way new animals would. The current world would beg to differ.. Do you realize that you are using human exceptional
146.
by lapinot 4y ago
Is it more heartbreaking when a couple thousand minks kill a couple thousand chicken so that they can survive or when a couple million chickens get slaughtered industrially to make nuggets so industrial nobody should deserve to eat? In the
147.
by lapinot 4y ago
> The alternative seems to be a kind of milquetoast design-by-committee that satisfies the majority of people but also perpetually plays catch up to proprietary products by recreating their features without ever breaking new ground. How
148.
by lapinot 4y ago
> they piss some people off by making radical choices No, people are not pissed off by the radicality of the choices. Stop taking people for uneducated jokers. People are pissed off because they understand the choices and do not agree
149.
by lapinot 4y ago
Docker != containers. You're arguing as if the srht or generally the diy anti-kubernetes crowd was against containers. Or as if docker was the only mean of secure isolation. More likely than not you'll find them running bwrap, lxc
150.
by lapinot 4y ago
The main supporting graph: "percent change on previous month, annualized". So this is like, a relative rate-of-change measure? (of what exactly?) Can we have absolute rate-of-change or absolute values of this thing? (it's not

More ›