skysight-inc/HackerNews huggingface dataset:
Interesting idea. On the topic of shorting Tether itself, maybe I'm missing something obvious, but exchanges like Kraken actually offer margin trading on pairs such as USDT/USD and USDT/EUR. https://support.kraken.com/hc/en-us/articles/227876608-Margi... If somebody (probably a non-US-person who is allowed to do margin trading there) is convinced that Tether will tank, why can't they just go on such exchanges and initiate a short? Is the fear that the exchange itself will become insolvent after the crash, and you won't be able to withdraw your fiat out of it in the end? I'd be curious to hear thoughts on this.
> So defer directly causes complications here that, in my opinion, outweighs any benefits you get with regards to readability.

The primary advantage of defer is not readability, it’s safety, in the presence of both panics and code evolving.
I am only familiar with ARMv7 and later, which come with graphics chips optimized for for something different than what X was built for. In my own tests and from others who have tried the same, DWM & Co were noticeably slower; I'd imagine that running a current distro with a current X WM wouldn't be a great experience on 90s machines.

The difference will widen as Vulkan support in Wayland compositors seems to be outpacing the X equivalents; modern GPU development is starting shift away from OpenGL
I suspect many immigrant landlords are renting to people from the same background, doing zero paperwork, and responding to no surveys.
Yes, when at the desk they are plugged into the docking station and used as regular desktops, when going into meetings they get folded and used as tablets.
If you want to have a fair society just make the holders of capital pay for the privilege of owning it. This is commonly known as a wealth tax but there are two taxes whose introduction leads to no economic dead weight losses.

Taxes on money and land holdings. If you spend your money you do not "win" because you pay transaction taxes (VAT etc) or you increase your exposure to risk in the financial markets. If you don't spend your money you lose because you pay the wealth tax for nothing.

The reason why a land value tax works is that land already exists. It's supply is inelastic. The owner of the land did nothing to create it. So taxing the owner for holding onto land will not discourage him from working (building a house and renting it out). The tax revenue can be used to pay for public infrastructure like transportation then the value of the land goes up which will directly fund the infrastructure. A holding fee on land discourages speculation because the expected value of holding onto land without utilizing it is negative. The reason why land speculation is so profitable is that location is a monopoly. As the community around the land develops the speculator benefits off the work other people while doing no work himself. It's especially bad when income taxes are used to fund infrastructure. As the government does more infrastructure projects and charges higher income taxes your rent will go up as the value of the land goes up.

Just a thought experiment: A single tax implementation of land value taxes implies that you've paid your taxes by paying rent. Rent would still be expensive but products and services would be cheap and your income would be higher.
> If you try scrolling in a web browser, especially fast scrolling in small increments, you're likely to experience screen tearing or other problems in the "smoothness". Compositors are included by default on most X desktop environments primarily for this reason.

I see. Curious that I have never noticed anything like this though. I have always been disabling compositors as I realized I don't really care if my panel is transparent. Perhaps the problem just doesn't affect Intel graphics (Raspberry Pi browsing is slow anyway so fast scrolling just doesn't exist there).

UPDATE: I've just realized I've actually seen screen tearing many times - always within specific Windows apps ran with Wine, e.g. Total Commander.
I’m praying for less subscription based pricing models.

I’m snapping up decent pieces of software that will be stable and usable for the lifetime of my hobby.

Logic Pro’s free upgrades are a godsend.
I think the benefit is marginal since compared to harddrives bios flash memory almost never fails and recovery solutions for a bad update are readily available. So this sounds like a bad excuse again.

I work on embedded systems and even the really cheap memory never fails on quantity of thousands of devices if it isn't regularly written to. I has become extremely reliable. Self-checks are still in place of course.

In any case it should not prevent external booting or if it does Apple should just supply the needed files for sensible restore options.
1. FUD
2. Regulations
3. Money, or money for certifications
4. Outdated hardware or underpowered hardware
5. Incompetence
Anna Karenina Principle in Software Engineering (2017)
I'd love for providers like DigitalOcean to show me the CO2e of any VM's + networking infrastructure I'm running. Optimally it'd include the entire LCA (so including manufacture).
The problem is that every single Marxism-ish attempt goes the same way.
Sorry, I am a newbie to this sort of thing. I only ever buy stocks in the open market for my small portfolio of personal investments.

Is it even possible to get shares _before_ an IPO? I thought there were only private investments and shares(after an IPO). One wouldn't call private investments the same as "shares" would they? Even if so, then why is the same bank/financial institution that manages the IPO involved in making a private investment in a company? Wouldn't you need to contact the founders of the company as they are the owners until the IPO?
The Linux shell script on the downloads page works fine with a few minor modifications.
If you like this, then you might like earlier discussions about this too. [0][1]

I remember seeing a very colorful page (literally) about this around 1997 and it totally blew my mind back then. Sadly I have no idea on how-to locate that page again.

[0] https://news.ycombinator.com/item?id=20390759

[1] https://news.ycombinator.com/item?id=25545967
I like to pretend that I don't pick sides. I might be left leaning because the existing system clearly isn't efficient enough to be left alone.
Yes, I agree and covered your point regarding safety in literally the sentence before that which you quoted :)
Nearly every time I've seen Zig mentioned its been in relation to game dev, but still don't really understand why. I understand the advantages of a framework over an engine and totally agree with those, but I still don't know why specifically Zig, if anyone could fill me in
Like many commenters here, I don't really have an inner voice in the sense of somebody talking to me, calling my name and telling me what I did bad or what I should do.

But what I have is a sidekick, someone I constantly talk to. This someone has no face or shape, and no voice - it never speaks, yet it is very real.

It's so real that I often find myself telling it "okay, you were right!" even though it never uttered a word. I somehow know what it thinks, and I answer back.

It kind of ressembles a typical scene in movies when a character talks to a dog or to a statue to figure out what they're going to do (except it's not just one scene, it never stops).

The brain is weird.
Carla | Full-time | REMOTE | Stockholm, Sweden | https://www.carla.se

We believe that more people should be able to drive electric. Therefore, we have set out to build the safest, most convenient and transparent way to sell, buy, or lease an electric car. Carla was founded in 2020 in Stockholm, with strong VC backing. We are now in an exciting growth phase and are more than happy to receive applications to roles within Product Management,UX/UI, and Software Engineering. Our product team is fully remote, but timezone wise we prefer everyone to be in CET +/- 2 hours.

At Carla, we look for people who have that magical mix of being great at what they do, show a strong drive, can obsess over consumer centricity, whilst being humble and eager to learn.

What can we offer?

- A career defining role at an early stage startup and an opportunity to to grow and learn from knowledgeable co-workers.

- We’re a startup, which means we work smarter not harder. Life-work balance still plays an important role in creating long-lasting productivity and output

- Market competitive salary

- Get to work on a wide variety of challenging problems like purchasing, inventory, logistics, operations, order management, merchandising and so on.

- A workplace that believes strength is found in diversity. We hire people regardless of background, education, experience or gender.

Tech stack: ReScript, React.js, Next.js, Golang, Postgres, Redis etc.

Apply at https://careers.carla.se or email me at daniel@carla.se if you have any questions.

Please: No agencies or recruiters.
Interesting. No wonder Satoshi kept their identity hidden.
You make time for the things that interest you.

Also it does sound like you're mixing your run of the mill grindy MMO with Minecraft. Your MC world will still be there if you don't touch it for a week. Even on a server.

Okay, it may depend on the culture of said server, but that's exactly the point of the article.

I play MC on an 18+ server that's building oriented. That means everyone has a job and other interests. We just show up and place our blocks when we feel like it. I just logged in yesterday after a 2 week break. People disappear for months. Nobody sees a problem with it.
Like someone said very wisely in a python talk*, a class with two functions,one of which is init, is a function.

* https://pyvideo.org/pycon-us-2012/stop-writing-classes.html
You could have seen that already with Object Windows Library or Visual Components Library from Borland.

Even MFC, although lower level than Borland offerings, is much better than plain Win32.

Using bare bones Win32 is only for masochists that sweare for C's "simplicity".

Although Windows team seems to have enough of them, so nowadays legacy MFC or Qt/VCL are a much better experience than XAML C++, given the lack of Visual Studio tooling for it.
Well said, I didn't mean to misconstrue! Thanks for sharing this information and vocabulary. Indeed, Ethical Source does seem to be quite communicative. It also probably provides enough of a signal, when it comes to choosing licenses, if a decision-maker has some level of self-awareness. (e.g. If I feel my project doesn't have a problem meeting an "Ethical" standard, I'll feel comfortable choosing Ethical Source. Otherwise, I'll choose Open Source.)

It could also be a signal to end-users, community members, customers, and other stakeholders as well — who may prefer technologies built with Ethical Source, as compared to Open Source, which seems like it could be similar to patterns we see in the real world around "Fair Trade" and "Ethically Sourced" etc.
The problem is not China. The problem is all sorts of Marxistish ideologies taking hold in West.
I was originally going to try to explain what it's like to handle mundane things like going to the grocery store, but then I realized I haven't gone to a grocery store in 10 years because it's so anxiety-inducing. Maybe my inner voice is part of the problem.

Mine's not even normally restricted to being an inner voice. I live by myself, and I talk to myself out loud constantly. It's mostly just narration, but I think being explicit about things helps my executive function weaknesses.

"Alright, smeej. Up from the couch. Let's put the dishes away. Grab those two first. Then let's shower because it's getting kind of late this morning."

I catch myself muttering out loud in hardware stores (which are somehow less overwhelming than grocery stores), but who hasn't seen somebody looking for something and muttering to themselves? I'm just that person!
I suspect that Spotify's ad strategy is to make them as obnoxious as possible, just to get you to buy the subscription. For me, the ads they played made it seem like their data science were either completely inept, or extremely evil.
Formation of a New State of Matter by Joining Up 4 Electrons
If you like reading this comment thread, here is a similar one:

Not everyone has an internal monologue:
https://news.ycombinator.com/item?id=22193451
What in social justice is not marxistish?
Yeah well, the market is well known to do irrational things, people are speculating highly on all things crypto.
Unravelling Decorators
You didn't, really. You mentioned it in passing then completely ignored the issue without actually addressing how to handle the issue of locking in face of go's lack of panic safety, or human errors.
Because housing is not liquid. Spread risk over as many people as possible and they will just consider it the cost of doing business. If all the risk is unloaded on a few individuals then every participant will have to account for the potential of a 100% loss no matter how unlikely it is.
Probably. But why would so many people want to make their article/book accessible to everyone. Let's accept the fact that some topics, like vector algebra, are just not that interesting to everyone.
Guides like these are gold - the advice inside also neatly applies to understanding open-source libraries, and massive codebases effectively.
I agree with you. Moments like these are a mask off moment for HN. The North Star of the community is to get rich quick, no matter the cost. Just look at the Who’s Hiring threads, and 90% of them are fly by night SaaS looking to make a quick buck.
You certainly can, but the problem is that there is no agreed standard from the toolkits to do it. E.g. Qt has its own way.
I don't think I've ever seen anyone saying that Go is supposed to be good at writing bug/race-free multi-threaded code.
I have been using Linux for over 25 years. I am not going to shed any tears over the loss of X, though I am concerned that some edge cases will be missed in the transition to Wayland or XWayland. The latter is why I am holding off on switching. Let others figure out and fix those edge cases for me.

As for systemd, it appears to be an entirely different type of transition. I won't go as far as saying it is unnecessarily complicated since many Linux distributions had a complicated startup to begin with. However, it is complicated compared to Net/OpenBSD. In contrast, I have always seen X as complex. It is easier to deal with these days since they have smoothed over the sharp edges, but I don't know if it is a case of those edges being sanded down or covered up. It also doesn't cover up the complexities of the many different toolkits one encounters, which you will encounter under X if you use older software.
Xdotool and xsel have had Wayland equivalents for years: see ydotool/wtype and wl-clipboard.

The reason why major orgs have had to push for Wayland is the same as the reasons they had to push for HTTPS and TLSv1.2, unique passwords, keeping software up to date, etc: using outdated and insecure software with significant attack surface has real costs even if it's convenient.
Maybe those are better for calculations but are they better for learning?
> a waste of 1/3 of the matching pair symbols

I count 5, (), [], {}, <> and /\ though the last one is a bit of a stretch (but it's reversible: \/). Am I missing something? Did you mean "1/3 of the matching pair symbols left" as () is already used? Or is <> not usable?
I forgot it didn't work the last time, and I needed an offsite backup solution. I was optimistic that I could configure the right excludes so it would work, but the sys pref change made this impossible.

It takes a few weeks to upload everything, and by that time the trial has expired.
> Generics could for instance have helped implement a mutex that disallows access to the memory that needs to be synchronized without locking it first.

Did any language actually do that before rust?

It's also somewhat less useful without compiler-checked ownership as you can easily have the protected data escape the lock.
I finally dropped Windows 10 from my HP Omen laptop a couple of months ago and installed Linux (had to have it to run Visual Studio until recently). The machine now runs cold when in the past it was distinctly warm all the time even when I had not been using it for hours.

I suspect that dropping Windows altogether has cut the consumption of his laptop by more than half.
Can confirm, before I was anywhere close to serious computer science, I basically did an undergraduate degree in mathematics / physics.

And it goes through some very advanced subjects in both. It basically prepares you to be an engineer in whatever field you choose, be it a structural engineer, or a computer scientist.
>Geometric algebra is, as the article points out, a more powerful version of the usual vector notation

That's not just a gross oversimplification, this is also flat out wrong if what you meant was that it only has vectors. It has more general objects called multivectors through pretty much the same process you get one, two, etc. forms from the wedge product.

In fact, both GA and differential forms build from the exterior algebra, and you can go from the former to the latter through geometric calculus (one key difference e.g. would be the method of reciprocal bases to compute inner products with non-orthonormal bases, rather than explicitly working out a basis and then its dual). So I'm confused about your remark regarding its alleged deficiency vs. differential forms if you pretty much reconstruct it within the GA/GC system (especially regarding working basis-free).

With regards to tensor notation in terms of calculations, if you mean all that index gymnastics, well GC still openly provides that way of computing things out from what you're used to.

What I like about geometric algebra/geometric calculus is precisely the way in which it's nothing new: it's putting everything people use in one system by clarifying the connections between these seemingly disparate systems. Even lie groups/lie algebras can be constructed rather efficiently in the algebra.

Another appealing feature of GA is its ability to make pretty transparent an old theorem from Cartan and Dieudonne that says you can view geometric transformations like rotations, and even translations (in projective geometry) as compositions of reflections.

There's other appealing features like this in terms of classifying and relating different geometries together that harken back to the Erlangen program, but my point is even in terms of concrete calculations, it's not quite right to say it's just a "more powerful version of the usual vector notation" as it includes more general objects than vectors, and still includes a lot of very similar ways of doing calculations (almost a kind of "backwards-compatibility?") you're used to with tensor index calculations, just with the added bonus of making the transition to the tensors used from vector calculus seamless, alongside other added relation to other systems made more transparent.
I'm surprised to see no Clojure built on Go. Is there a technical reason why this wouldn't be a good idea?
Completely wild speculation...

I think there are a number of disenfranchised "close to the metal" programmers. C has stagnated and won't likely move much, C++(++++...) has reached bonkers level of complexity, D is... D who, and Rust is highly opinionated, which is a double edge sword.
As a parent of a 2 year old, I think I'll play again when he plays!
Provocative yes but not unprecedented. As I said, in the past I had virtually the same commentary, UK legal specific and certainly inflammatory, but then it was popular and unmoderated. What conclusion should be drawn but that moderation is by mob?
I think you've forgotten what Windows XP looked like (it's been a while!). That is Windows 7.
> Geometric algebra is, as the article points out, a more powerful version of the usual vector notation

> the stuff that's already taught is better

These two statements seem contradictory.

> But it is deficient in various ways when compared to tensor notation (for calculations) and differential forms (e.g. if you want to work basis-free)

The author made no claims about tensor notation or differential forms; perhaps those might displace all vector-like notation (GA or otherwise) in 100 years, in which case the author's claim can be weakened to "in 100 years, GA will be the dominant form of vector notation".

As for "the stuff that's already taught is better", notice that such stuff includes:

- Complex numbers

- Pseudovectors

- Cross-products

- Matrix algebra

- Dirac notation

You seem to agree that GA is "more powerful" than the Gibbs-style vector algebra normally taught. The article is arguing that GA is also a simpler and more consistent approach, which I agree with (complex numbers are certainly simpler on their own, but are a little redundant if we're using GA for the rest).

From my own experience in formal education (UK high school and undergraduate physics), I never encountered tensors or differential forms. I've since learned a little about tensors (for general relativity), but that's been due to my own curiosity; I've learned a little about GA for the same reason. I never used quaternions (hence why I left them out of the above list), although I'm aware of them and that they're used e.g. in computer graphics. I used vectors, pseudovectors, and matrices a lot, and I'm certain those topics would have been easier to learn and comprehend if they'd used GA instead.
I guess because you have a life or interests outside of work. I'm pretty sure that my impression is correct and that anyone working there is not leaving at 5 to pick up their kids or going kayaking road trips at weekends with their friends. They are dedicated, smart engineers with little interest or time outside work. That's fine for them, but it doesn't work for me. I'm probably not smart enough anyway, but I'm damn sure I'm not committed enough.
Indeed. Loom is about simulating what-happens-before questions for concurrency, particularly Atomics.

Loom would show you if your program, in which you believed A must happen, then B or C, and then either D or the other of B and C; actually could sometimes result in D happening, then B, then A because you screwed up.

Safe Rust promises that your program won't have Undefined Behaviour as a result of such a mistake, but its defined behaviour might still be extremely surprising to you. From Rust's point of view, "Open fuel valve, allow hydrogen gas to flood into engine room, then start fans, then try to light pilot flame" is no less "safe" than "Check fans are running, check pilot flame on, if so open fuel valve" but you probably don't agree. People can write safe Rust abstractions and this is popular in the embedded world, but ultimately program logic is somewhere a programmer's responsibility. Maybe you want to cause explosions in the engine room.
> Only if you’re also concurrency free. If you can still have two actors waiting on one another, you’re letter-of-the-law deadlock-free, but your program is still in effect deadlocked.

I'm not sure we're using the same definitions.
If you're non-blocking you have system wide progress, I'm not sure your examples of two actors mutually waiting on each other qualify.

In any case I think Pony qualifies as wait-free too, which avoids this scenario. Of course one can still have an infinite for loop, or an infinite ping-pong between actors.
If you don't pay your rent for let's say 1 month the landlord should have all the rights to remove you from property with minimal process and claim all those cost with reasonable penalty interest rates. And these should not be dischargeable in bankruptcy.

It is only fair way for system to work.
I know nothing about Zig, but looking up the main author (Andrew Kelley) they seem to be interested in game development, judging by some blog posts on their website (https://andrewkelley.me/) so probably at least influenced by that a bit.