skysight-inc/HackerNews huggingface dataset:
I'm assuming you are implying that alameda is taking loans to cover insolvency?

There are plenty of reasons why a trading firm takes loans (it's also possible the FTT is structured as a long, inflating said number)

1. I want to short X, but don't actually have X. I borrow X and sell it.

2. I want to sell X and buy a derivative paying people who are long the derivative. Goto step 2.

3. I want to trade X but don't know how ahead of time, so i need inventory of X in case I want to sell RIGHT NOW. I don't want to actually have exposure to a ton of X, so I borrow it instead. Very common for a market maker like alameda, although there's no way they actually need billions of collateral for market making purposes.

4. I can borrow X, and put it in a defi yield farm for a better rate than what I borrowed it for.

5. I have a ton of Y, and I don't have any plans to use it soon. I put Y up as collateral to borrow X which I can meaningfully trade. This gets you in a lot of trouble when Y values goes down and X doesn't. Say "Four Bullets Investments" has some BTC, they post BTC as collateral to borrow dollars, and use that to buy more BTC. Then BTC goes down a lot - oops!

Not making value judgements on what risks are and aren't entailed here, just pointing out that there are reasons aside from covering losses. 1-3+5 equally apply in tradfi as well.

The really interesting thing, which you touched upon, is to what extent are they collateralising loans with FTT. COllateralising loans with a coin you hold isn't unusual at all, but what's unusual is that the potential FTT collateral size is monstrous compared to realistic available liquidity minus alameda.

Posting BTC is one thing since there are liquid spot markets trading billions a day, not to mention derivatives. But FTT? Good luck liquidation even 10-20MM without moving markets a lot.
> one-off anecdotes like this on a regular basis

That's an oxymoron if I've ever seen one...
The same way you verify that manually counted votes haven't been miscounted, discarded or altered. You allow witnesses.

Independent examiners will be permitted to verify the source code is actually used as-built, that it has a signature attached and that every machine that is built has the signature checked.

Sure, it's not perfect but neither is manual counting (plenty of countries are proving that right now). The question is, I guess, does a software-based system provide notable advantages over manual counting other than cost and speed of a result?
But not keeping money on them is NOT enough as a seller to extricate yourself from that morass.

They will find subtle ways to force-link your real bank account to paypal, and then its game over. They have the keys to the kingdom.

One day you will get some random charge on your account that keeps growing and growing and you don't recognize the transaction at all, but you can't do anything because they can pay themselves from your linked bank account.

I advise all businesses that use paypal that at worst case, link a completely unrelated bank institution to paypal, and then keep this secondary bank to low funds as often as possible.

Otherwise, you will never know when paypal may poison the well and your physical bank business operating account is suddenly unavailable!
There are "spring loaded shelf raisers" (this is one but sideways https://www.amazon.com/Rev-Shelf-RAS-ML-HDCR-Height-Cabinet/...)

I can't find one right now but basically you push down and unlatch and then it has a spring that helps it raise, and to lower you just push down a bit harder.

Something like this would be hilarious but probably work fine: https://www.amazon.com/Electric-Hydraulic-110V-240V-Platform...
Several of my friends live in these so-called smart homes. They have lots of intermittent problems. Meanwhile I'm not having any of their issues living in my dumb house. If my router is down or my ISP is having problems - it doesn't affect how I run my household. Ironically these tools were intended to reduce one's mental load but what I've observed is they actually increase it.
He was born with a silver spoon, used that to purchase great companies, and fund important research, and then assumed that the success of the projects he invested in meant that he had good business acumen, instead of recognizing that all he did was "provide money for projects which had well-known solutions (or paths to them) but lacked funding."

Then, he used that narcissistic self-aggrandizement to consider himself as "intelligent" and began opining on things, publicly, which proved that he had no comprehension of the things on which he opined. When challenged about that reality, he routinely retreated into mocking, memeing, and general non-engagement with criticism.
To that end, he misunderstands free speech (both the humanitarian necessity, and the constitutional protection in the US), economics (beyond smithian / libertarian circle jerks), labor (thinks it's "people that work for me" rather than an engagement with business partners), and various other highly-abstract, low-provability topics, which leave him at the disadvantage of having to use interpretations of statistical trends, rather than empirical, peer-challenged hard science (like physics for rockets/mining/light sensing/etc).

So, overall, you have a rich narcissist that pretends to be intelligent while employing the instincts and tactics of infantile dissidents, all the while being bad at the business side of running a business, and only ever PROVING that he can be competent at "providing money" (which he has done quite excellently, I think anyone would agree. From PayPal to Tesla to SpaceX; Elon's funding choices have been both profitable and valuable).
In that, there's not much for an engineer to appreciate about the man. Not much for a "techie" to admire. There's plenty of surface level self-congratulatory wank for anyone to aspire to (without giving it real consideration). But not a ton of true, appreciable motives, actions, or considerations. Engineers tend to revere those that do incredibly hard, laborious, tedious, or otherwise complicated work for the love of the work being done. That sounds about as far from Elon Musk as I could describe.

Which, to be clear, I think translates into "distaste", "malaise", "annoyance" or a myriad of other types of negativity that barely rise to the mantle of "inconvenience", much less "hate". But if you give an engineer an inch of real-estate to talk about what's stuck in their craw, you can be prepared to get a mile of answer. So there's a lot of "negativity" for Musk because he's an annoying person and we all commiserate about that to whatever degree we're feeling institutional, that day. Some days, he's a union-busting, selfish douche-bag who managed to launch a rocket. Other days, he's the gutless dickhead who tried to reneg on military communications for a besieged country. And on other days, still, he's just "the guy who bought twitter."

tl;dr: people are negative about him because he does so much which is collectively recognized as "shitty", and people respond to shittiness with negativity; often in commensurate amounts.
>Smart journalists are going to stop relying on Twitter's API now.

I somehow have a feeling that this is not the first time in history that an embedded Tweet in a news story has been removed, either by Twitter or the author.
Federal WARN act penalty is 60 days severance (California's calculation is more complicated, but it still limits penalty period to 60 days, AFAIK).

So they won't care much - spin the wheel, see what a court decides, etc.

It won't get people their jobs back - reinstatement is not a penalty in either WARN act.
Common problems with two factor authentication
Sonic Pi Introduction
I think it is because the comment ranking changes over time, and there is no way (without access to the raw data) to see what comment was ranked where at a given time.
Introducing the Ansible API for ServiceNow ITSM
Furthermore he didn’t start Tesla anyway - it was founded in 2003 by Martin Eberhard and Marc Tarpenning. Musk didn’t invest in it until 2004 and didn’t become CEO until 2008.

The guy is a loon, and while I think he’s done some good for the world (mostly via Tesla), he’s a walking, talking clusterfsck of Dunning-Kruger, narcissism, and unchecked ego.
And through a set of misguided decisions initially he caused advertisers to depart Twitter and revenue collapse.

I imagine the last man is dying 500 years from now and thinking "... now we just could have gotten to Mars if Elon Musk hadn't posted that tweet"

Selling advertising is all about the emotions of the buyer: you'd better believe that half the price of ads on the radio has to do with how the business owner feels when they hear their name on the radio and that the first, second and third tactic of the person who sells ads for your local newspaper is "I know this tiny ad in our paper costs about as much as an employee and it might not seem to pay for itself, but if you stop advertising your customers will think you went out of business."
> Since I already had an unopened Raspberry Pi 3B that I ordered in 2016 (6 years ago!!)

The key line. RPi aren't any more available as like before, for your new projects.
I am unaccustomed to social media -- did you notice that you start by labelling some party to these public events with an insulting label? and then follow with a second word that convicts the entire process without evidence or substantiation? since the words flow easily as spoken, I assume this is common practice, but it is really startling to see in a forum based on evidence and specifics.

Nothing that is complex and public is so simple as to convict with one word, and no party to public participation is so one-dimensional as to suffer a derogatory class name without losing real meaning.

I call on readers and posters to fall back to learned basic inquiry skills, and to substantiate statements, to raise the level of dialog about emerging public events here.
If you're productive and then get sick and get fired for being sick, by the time you die of lack of access to healthcare you had become poor. So you see, nothing bad happens to the good useful people!
My guess is for back-office or moderation-related told, as well as algorithm fine tuning.

Though I think the number of developers are still too high.
> "Who wants to sit and watch a game play itself?"

Programmers do. Everyone else, not so much. For those of us that do though, there are a lot of good games to that effect, like Factorio, Rimworld, Dwarf Fortress, RimWorld, etc.
I was hoping this would include the unblur animation that wolt uses in their app.

It’s a joy to use when it resolves those placeholders piece by piece into the original
"I implore you to reconsider"

https://www.youtube.com/watch?v=Fvu5Ephsqyk
you got off easy , friend
Mars's crust is more complex and evolved than previously thought
I think that for the public and medical sectors they already are. And in Europe they always are, in theory, thanks to privacy regulations.
Household fridges/freezers are really hampered by the built-in compressor.

Much could be saved by using remote compressors but that cost is much higher and usually associated with commercial units.
There are a number of BBSs still operational too. Most use telnet over port 21, some use ssh and there are even a few that you can access with dial up.
I do like to talk about Lisp.

I've also written or contributed to several projects and products written Common Lisp, Scheme, Clojure, and (back when it was a Lisp) Dylan. These include, but are not limited to the following. Some of these are projects or products that I created entirely on my own; some are collaborations, or projects to which I contributed.

Some of these were years ago. Some of them are still on the market or under development.

- Panels: a constraint-based programming-by demonstration system

- GATE: a knowledge-based machine-control and compatibility-testing system used at Apple

- bauhaus: an operating system for mobile devices

- SK8: a rapid-application-development system

- The documentation toolchain for a startup's network-security product, later acquired by Cisco

- Clozure Common Lisp: A free and open-source Common Lisp compiler and development system

- Alpaca: a WYSIWYG word processor with Emacs-like customization features

- A syntax-aware diffing tool created under contract

- A rules engine for a set of educational games for the Office of Naval Research

- The entire control and UI stack for a forensic fingerprint livescanning product

- Delectus: A list manager for end users on macOS

- Categories: a loadable language-agnostic object system with configurable data model and dispatching

- The Fabric: a prototype immersive 3D networked multiplayer game

- clio: a work-in-progress cross-platform GUI framework

- OddBabble: a prototype of a knowledge-based social network

- Bard: a novel Lisp implementation

- kons-9: a 3D content-development system
'treat your employees nicely' exists in tech for one reason only: to deter unionization in the face of overwhelming profiteering at the expense of an overworked tech cattle.

if twitter employees understand now the excess capital from their labor has been extracted without due pleasantries such as notice or severance, then Musk has done far worse to the tech industry than just lay a bunch of people off, hes galvanized the case for tech worker unions.
It's more that "construct the geometry" is a highly subjective exercise. :)
Anecdote, but all the female Haskell programmers I know of are trans (besides 2 people).
According to the general definition of a recession - two consecutive quarters of negative gross domestic product - the U.S. entered a recession in the summer of 2022.
Thanks for sharing that. He did a great job simplifying the tech and explaining the pro's and cons.
If you're putting the fridge in an alcove you need a built in friendly model which vents to the front.
I've got zero stake in this, but what's the point of GM, VW, and others to boycott Twitter? To give their ad spend to Google and Meta instead? That's beyond laughable.

Update: Ok I could get there's a conflict of interest with automotive (and space travel I guess) but come on ...
> In other words, the Wikipedia page on Communism is not a good source for an unbiased view on Communism

I'm not surprised at this answer. I don't know enough to have an opinion on it, but the cynic in me tends to side with it. In any case, thank you for the discussion.
I mean, if you want to quibble over the precise meaning of "created", I'm not interested in that. Replace "created" with "drove to commercial success" if you prefer, the fact remains that Tesla as a brand didn't exist in people's minds until he invested and spearheaded the design on the roadster.

As for whether it's a failure, that remains to be seen. Combating climate change is a long-term battle. All of Tesla's products are clearly geared towards this end though, from electric cars to solar roofs to grid level energy storage.
AI (let's be real, we're actually talking about ML here) doesn't need to pose an existential risk to harm people in the real world. And given that tweets are displayed and promoted using ML algorithms, the ethicalness of the ML algorithms matters to Twitter's userbase.
Nope, that is not the law.

I’ve seen more than a few of these things and had a partner in HR. You’re confused.

Employees can be terminated with 0 notice. (Which is how it should be).

You’re probably thinking about some payroll law. Termination is different.
If you're asking why Zlibrary didn't, it's because they got greedy and wanted to soak up donations that might go to Libgen by piggybacking off of their servers and having individual uploads for their own.
It's not a fair point. If Alameda goes down, then ftx goes down, and if ftx goes down and is clearly wash trading (the most interesting finding in the article imo), then prices will plummet.

It's not just a problem for the bank, it's threatening to the crypto ecosystem. Just as it would be if the binance tether thing ever implodes
Unfortunately not. Pledge is _awesome_, but it's a different thing.

Pledge protects the system from buggy well-intentioned, cooperative software that could have bugs. What's needed is something that protects the system from ill-intentioned, uncooperative software.
It depends how often it's opened.
There are at least a few hundred Gopher services running on the Internet: https://www.shodan.io/search/report?query=port%3A70+gopher
> The battery is charged overnight when the electricity prices are lower.

Sounds like the battery is charged via electricity.
There are lots of help wanted out now and incredibly how unemployment. Options abound. Twitter employees wont starve to death if they leave.

They might take a pay and lifestyle cut. do you consider that not an option?
But heat based power always leaks energy?

Why not lift something REALLY heavy and let gravity spin a gearbox on the way down?

Like say lift a silo of sand? Up the side of an existing hill on a rail/track?

Alternately pump water uphill but in cold/hot climates that would be a problem and microbes, etc.

Gravity isn't going to leak or fail. And enough of an angle that weight is always coming down regardless of weather.
The legacy border-radius assumptions regarding the "Set Up Profile" button may be no longer valid and need to be deeply investigated. We are therefore setting up a cross-functional taskforce to tackle this issue. MVP is due one year from now.
What does it mean to "fuse operations"?
I think deep down we all knew that burning people out has a decent chance of getting you solid results in the short term. The problem comes after, when people who understand best how your systems work will quit because they’re burned out husks of their former selves.

This is obviously not sustainable, because it’s difficult to recruit after you’ve built a reputation as burnout central.

Unless the business is run by a “tech visionary” who is “making the world a better place” and has millions of fans. These millions of fans would jump at the chance of working for him.

Musk burning out Twitter employees by making them do twice as much work is fine, because he’ll have no trouble recruiting. He might be able to turn the business around.

It’s quite possible there will copycats, but they’ll have less success than Musk.
I'm sorry I don't see how they're tricking people or relying on them do it wrong... seems like you're really reaching there.
Var vs. Let in JavaScript
I don't know what he's like deep inside, but in public he comes off as an enormously powerful man who is childish, cruel, not nearly as smart as he thinks, and is (frankly) really annoying. If he doesn't want people reacting to him with negativity, he can reflect on his behavior and change. If he's really a super-genius, he would understand this and wouldn't continue to lean into the shitty public behavior. The amount of actual public good he could do with the money he set on fire over this whole Twitter debacle... mind-blowing.

You're right in that he's involved in a lot of nerdy stuff. A lot of people are! And I might argue that a lot of people are way more deeply and interestingly involved in nerdy stuff than Elon Musk. Go hunt them out if you want to idolize people who are actually doing the hard work to make us a multi-planetary species or whatever.
But missing the crucial second half, releases electricity on discharge.
Wait so if I put "Despised by dang" on my profile I might get more matches? I have to try that.
While the idea that Twitter was mismanaged is certainly part of his motivation, it doesn’t explain Musk’s behavior at Tesla or “SlaveX”. In fact, flipping the table over the first week belies more than a little arrogance and little motivation to understand what he bought. (There’s reports that he wants to cut half of infrastructure costs. Fail whale anyone?)

He’s a billionaire that treats employees like shit.
Well it’s not only on the JVM: https://en.m.wikipedia.org/wiki/Clojure#Other_Implementation...
Is there a central location of these "x could transform y" discoveries? Energy storage is vital and it seems every week something new is coming out. Most it seems never make it off the theoretical paper.
Supermarket fridges benefit from having the compressors outside which can help tremendously depending on the climate.

A modern house conditions the air inside to a certain temperature (often heating it up) and then has a box inside that is conditioning the air (often cooling it back down to outside temperature).
Not in this case, the pendant was a deer pendant not a Bambi pendant (why I chose the words I did). I love how you automatically choose to trust a random suit from a giant company and not an individual from a small mom and pop business that's literally closed and has nothing to gain.
> This process is completely auditable

Presumably the auditing process would involve tallying the votes manually... in case why bother with the electronic process? Unless you only run the audit if there's a complaint. Which I guess works. But personally for something as important as elections I would much more comfortable with a system where the transparent, hard-to-corrupt process is used by default.
It was ok as an educational tool, but now they don't count GPU implementation in 1000 lines, so it is not small. Considering the code style it is closer to 20k+ lines when formatted and GPU code included.

It also doesn't support bfloat16 so is doomed to be 2x slower.
No, the bigger they are the more useful they are to advertisers. The best social network i've ever been a part of is one dedicated to a hobby i'm in with about 1k users max.
Reading this post and the other PayPal post on HN this morning and I can’t get the picture of Saul Goodman out of my mind.
Build and break things (avoid passive content), and then study the basics.

I started coding when I was 8 (hitting 46 next month). I did go to university and studied all the CS side eventually, but I got in already knowing how to write code proficiently (never completed my degree, but I got 90% there).

When I was younger I lacked the foundational knowledge to do things efficiently.
I re-discovered a few things on my own (like sorting), due to lack of resources, but it helped me learn how to tackle difficult problems. This phase was mostly one of discovery, trying to get my hands on any information I could and attempting to build things I cared about.

The trick is to code as much as you can: on a piece of paper, on your head, on the computer at last.

Build and abandon as many toy programs as you can, practice creates knowledge, and that abandoned toy always leaves something behind in your mind.

Learn to track program state on paper. It sounds stupid and arcane, but the effort helps you build a better mental model of what's going on, eventually you won't need any paper.

It's a bit like math exercises, the repetition automates knowledge. This eventually teaches you to abstract away concepts, so you can effectively break down complex problems.

Eventually, when I really started studying algorithms, algorithmic order, math, numeric methods, programming paradigms, hardware, concurrency, OS structure, distributed systems, compilers, etc. my tool box greatly expanded. But that's for later.

Anyway, just do as much as you can, videos don't help as much, you have to try and code, be frustrated, push through that frustration and get your "aha!" moment.

Coding doesn't require a computer, you need to learn a type of disciplined thought process that's not natural for most people.

That's the hard part.
Yeah, for the most part today any user who is logged in is somebody I trust with the machine. What needs to be restricted is what _applications_ can do.

My browser shouldn’t ever be allowed to to write to /etc/shadow regardless of whether it’s running as root or not. AppArmor gets us part of the way there but the UI to make everything play nice is too difficult.

Android’s security model makes a lot of sense to me, and from what I understand it’s all based on top of normal UNIX user/group privileges, just with per-app users/groups. I’d like to see more desktop distros experiment with it.