skysight-inc/HackerNews huggingface dataset:
Well that is certainly unexpected, is there a story behind why a Hebrew term was chosen for this character?
You had no empathy for the people getting laid off. The drama at Twitter was 'interesting' to you.
AI alignment has sucked the oxygen away from so many other practical problems caused by AI (automating away jobs for example) that it’s hard for me to believe it’s not at least partially intentional.
Obviously corruption.
> It's not clear why it's taking so long,

How much money did he steal?

Answer that. Not prove he wasn't in legal compliance in tricky TOS people signed without reading. Not prove that it wasn't all honest inept code. Not even prove that it turns out an unnamed hacker was not behind it all.

The prosecutor is going into a US court and say he stole how much money in the US?

Keep in mind that the CEO who unraveled Enron among other things has said it's going to take months to figure out how much money still in valid investments owned by FTX and is legitimately not stolen.

(I'm using stole, but lawyers probably would have a different set of terms)
Yep. And the entire media apparatus changed its behavior at the same moment into the same direction. Weird.
That I sucked at math olympiads :)
Edward Snowden gets Russian passport after swearing oath of allegiance
My biggest issue (besides lugging away one extra thing on trips) was that often pictures will just sit in camera until I take time to get them out and thenput them in NAS/Cloud & then share that location with wife and then have a round about forgotten passwords on her phone/tablet. Then she would be able to post those photos. With smartphones they are there in clould already, I just need to make a shared album and add everybody. and yes cameras have started doing this now but its all done so poorly that its almost same amount of effort. Nope!
split the compound expression into multiple simpler ones until the pieces are small enough to translate directly to asm and you're done
> The root challenge of all modern frequentist statistics is "does the selection criteria for the sample actually allow me to generalize the results".

Why did you single out frequentists here? This is a challenge for all inference, prediction, classification, and any other "forecasting".
If the workers are so specialized in rail that substitutions from rail to not rail are so poor as to not have an external market as you say, then in turn the workers also have a monopoly as external workers are unable to replace them. If what you say is true I am totally unsympathetic of argumetns against damages being sought from monopolizers who are involved in the shutting down of the rail network for which society gave up its lands.
It's fascinating that the ones against the Elon take over cheered when people lost their jobs over a vaccination, twitter post taken out of context, or cancel by the twitter mob.

Hell the "learn to code" has even been repeated by this administration.

https://thehill.com/changing-america/enrichment/education/47...

https://knowyourmeme.com/memes/learn-to-code
:) it still is impossible to bring a cnn rnn network in pytorch to mobile, which works fine with tflite...
Right, that's why I said:

> But it's not completely obvious to me that you're correct.

:-)

Which is to say, I don't know you're wrong. But it's a pretty subtle thing that requires a careful survey. And likely discussion of lots of concrete examples. It's far more nuanced than the thing I was responding to originally (not to you), which was this wrong-headed notion that Rust isn't memory safe "entirely." Because once you go down that path, the entire notion of "memory safety" starts to unravel. That is, of course Rust isn't "entirely" memory safe. Pretty much nothing practical actually is in the first place. I tried to force this issue by asking for counter-examples. The only good one I got was Javascript in browser, but that basically falls under the category of "programs in a strictly controlled sandbox" rather than "programming language" IMO.

I think this comment of mine might also be helpful, which reflects a bit on terms like "memory safety" and why they are a tricky but very common type of phenomenon: https://news.ycombinator.com/item?id=33825307
Yes, this is what is happening. I drive through campground and talk to the hosts and they say that they frequently have empty spots because people just did not cancel.
This isn't an issue, though, and there's no way to address it. A traded company went through a hostile takeover and the current customers aren't happy - it's a story as old as capitalism itself. If people object to the way it was sold, they should criticize the free market. If people are unhappy with billionaires using their money to tangibly hurt the planet, there are much scarier boogeymen to hunt down than the guy who everyone on Twitter hates.
Everyone in crypto is a fraudster so investors and depositors all deserve to be wiped out. But the scammers also deserve to go to prison for wire fraud and related crimes. Both things can be true. There is no contradiction in the reasoning.

Alexey Pertsev is in jail for allegedly operating an illegal money transfer business in violation of AML/KYC laws. If he had merely developed the Tornado Cash code without actually using it then he wouldn't be in jail.

I agree that the Aaron Swartz case was a travesty of justice.
https://en.wikipedia.org/wiki/Massacre_at_B%C3%A9ziers#%22Ki...
Got itself valued at $44B with that revenue and with substantial annual losses. In a way, Twitter has been hugely successful.
Tech behind the rechargeable World Cup 2022 official ball
“create a song in spongebob style” will be cut into tokens which are roughly syllables (out of 50257 possible tokens), and each token is converted to a list of 12288 numbers. Each token always maps to the same list, called its embedding; the conversion table is called the token embedding matrix. Two embeddings with a short distance occur within similar concepts.

Then each token’s embedding is roughly multiplied with a set of matrices called “attention head” that yield three lists: query, key, value, each of 128 numbers behaving somewhat like a fragment of an embedding. We then take the query lists for the past 2048 tokens, and multiply each with the key lists of each of those 2048 tokens: the result indicates how much a token influences another. Each token’s value list get multiplied by that, so that the output (which is a fragment of an embedding associated with that token, as a list of 128 numbers) is somewhat proportional to the value list of the tokens that influence it.

We compute 96 attention heads in parallel, so that we get 128×96 = 12288 numbers, which is the size of the embedding we had at the start. We then multiply each with weights, sum the result, pass it through a nonlinear function; we do it 49152 times. Then we do the same again with other weights, but only 12288 times, so that we obtain 12288 numbers, which is what we started with. This is the feedforward layer. Thanks to it, each fragment of a token’s embedding is modified by the other fragments of that token’s embedding.

Then we pass that output (a window of 2048 token embeddings, each of 12288 numbers) through another multi-attention head, then another feedforward layer, again. And again. And again. 96 times in total.

Then we convert the output to a set of 50257 numbers (one for each possible next token) that give the probability of that token being the next syllable.

The token embedding matrix, multi-head attention weights, etc. have been learned by computing the gradient of the cross-entropy (ie. roughly the average likelihood of guessing the next syllable) of the model’s output, with respect to each weight in the model, and nudging the weights towards lower entropy.

So really, it works because there is a part of the embedding space that knows that a song is lyrical, and that a part of the attention head knows that sponge and bob together represent a particular show, and that a part of the feedforward layer knows that this show is near “underwater” in the embedding space, and so on.
> What if they're doing that because they have to feed their very hungry family and their family is hungrier than yours. Does that change the calculus?

Yes, it does. I should have been more clear in the outset: I am frustrated by people who work more than 40 hours because they enjoy doing it, not because they need to in order to make ends meet.

If you work 60hrs/week in order to pay off student loan debt and feed your kid, my heart goes out to you. If you work 60hrs/week because it's your idea of fun, please log out of work and get a hobby... you're actively making harder for the parent with loan debt to capitalize on the extra 20hrs/week they're putting in.

> You're walking into this with a set of values and just assuming that everybody else has the same ones so you can throw them on the table and say, see?

I mean, kinda, yeah! I value being able to work <=40 hours a week. If you don't value that, we're going to disagree.

To reduce it to a contrived version: If you value being able to litter because it lets you get where you are going faster, I think you suck! We have divergent values, and I don't have any qualms saying that you pursuing your values actively works against my values.
what? can you be more specific? I'm using debian as my daily desktop and firefox and I've never ever had issues with anything, especially the web browser. I'm also staying away from fancy new things like snap. I've always managed to get everything I wanted either using apt or dpkg.

Can you please give an example of an application you needed available only as a snap?
This is a trending premium business model. Pay to avoid government regulation or for better services. It's the same with toll freeways here in Southern California. Even Disneyland now, you can pay to avoid the ride lines.
>> Why pick Ubuntu instead of (basically) upstream?

"Upstream" for Ubuntu is more like Debian, which is the basis for MANY distros (much like Red Hat - founded around the same time as Debian - and the .rpm ecosystem is a significant core component of many systems including current versions of SuSE, etc.). Ubuntu has traditionally been a slightly more newbie-friendly / commercial-friendly version of Debian. I don't think many of the changes you're describing were really trying to defy Fedora, especially not the choice to use .deb over .rpm.

That said, I did use Fedora for a while when Ubuntu started messing with Gnome a lot and I found it very refreshing, easy and reliable. It's a great distro, but the relationship between the two is absolutely not "upstream" and "downstream".
1) No, no need for fake KYC. It's a fair trade.

2) The information that backstop providers buy the position once your margin fraction is >= 1.5% is public info from documentation [1][2].

3) It is an obvious trade and theoretically still possible on exchanges which have backstop providers and/or "insurance funds" to prevent clawbacks. (It depends on their risk model whether they allow you to open such a position in the first place, though. I don't know about their models at all!)

But just because it is obvious, it doesn't mean it is easy to pull off. Most people fail at the first step, which is that you have initial margin to open a position and then actually move the price in your favour. Then you have people, who will try to bet against you, hunt your stops etc.

[1] Backstops: https://help.ftx.com/hc/en-us/articles/360024479392-Backstop...

[2] Cashing out: https://youtu.be/0ms7u__Gbys?t=87
I guess probably a third of SpaceX is technicians, and Twitter doesn’t really build anything or operate any store fronts.
Any company could bid on the contracts to make these sites, and more importantly, maintain them and provide services.

Most Silicon/tech companies don't do these contracts because they are not as profitable and simply doing usual tech work.

So while BAZ makes money on fees, it's most likely not because they're evil wizards - it's more likely because not many others capable of running such a project for the required length of time bid on it.

So, if you really think these things are somehow such a theft of money, go compete, do it vastly cheaper, hire your friends and other do-gooders, and see how it goes.

But in the end, you might find that articles like this simply promote outrage and not actual understanding of the how and why of projects like it.
Wow. This is kind of hurtful being that I consider myself informed about topics I'm interested in. For example YMTC's 232-layer NAND flash was something I heard about as soon as it broke. I don't have a newspaper subscription so it's hard to keep up with everything being that most news on the internet is the same rehashed for content years on end or meaningless celebrity trivia/drama.
almost. the command works but the import fails:

/opt/wasm/wai/tutorial-01/ python3 consume.py
Traceback (most recent call last):
File "/opt/wasm/wai/tutorial-01/consume.py", line 2, in <module>
from tutorial_01 import bindings
File "/opt/homebrew/lib/python3.10/site-packages/tutorial_01/__init__.py", line 7, in <module>
from wasmer import Store as _Store # type: ignore
File "/opt/homebrew/lib/python3.10/site-packages/wasmer/__init__.py", line 1, in <module>
raise ImportError("Wasmer is not available on this system")
ImportError: Wasmer is not available on this system

which wasmer
/opt/homebrew/bin/wasmer

wasmer -v
wasmer 3.0.2
As a sysadmin, I loathe "Snap".

There are two main packaging systems for Linux that are well known and usable. You can also use standard config management software to roll out configs for each package. Snap is a solution in search for a problem by people who are too lazy to use standard packaging that has been in existence for decades.

Listen up kids: "New" is seldom "better" when it comes to system tools. Put your creativity to applications, not trying to reinvent the wheel with "new" packaging systems.

Snap is a bloated mess, and we wish is was not on any system we administer.
I disagree. I mean it's not trivial but it is completely within reach of a single person. The only part you'd really need to lean on libraries for would be data loading (e.g. jpeg). The core neural net stuff really is not that complex, even in the latest architectures like transformers or diffusion models. Look at stuff like George Hotz's tinygrad or Andrej Karpathy's makemore.
this sounds useful since i often forget where i parked. i could remote flash and honk all hondas in the parking lot when i go christmas shopping. then the one not flashing is my car.

or when the guy 3 cars ahead on his phone doesn’t move when the light changes, i can honk the car in back of him.
No, physicists didn’t make a real wormhole. What they did was still pretty cool
Very handy utility! My foray steers me to Source Code Pro.
Oh don't get me wrong, they are both unacceptable and I haven't and don't want to see the symbol tweet. I personally find words more impactful, revealing of intent and suggesting action than symbols. I say arguable because I don't which was worse, or if it's a worthy discussion, but the deathcon tweet is enough for me to see an unwell/dangerous person that needs a ban just to save them from themselves let alone anyone else.
Can't this just be shown on the dashboard?

I had a similar warning come up on a hire car last month.
This tweet explains it all

https://twitter.com/RepMaxineWaters/status/15986938112528752...

(For folks who don't know, Maxine is a congresswoman sitting on U.S. House Committee on Financial Services)
This 100%.

Look at how much the employees of SV/FAANG companies donate to politicians and which ones. It's not hard to see the money laundering going on.
What sort of functional programming problems?
Some people have friends
There are high-ranking government officials openly insider trading without any investigations. We have a woman who's been sentenced for sexual trafficking of minors to virtually "nobody in particular". We now have multiple massive crypto scams go completely over everyone's head because it's "internet nerd money".

This complete inaction on behalf of authorities is really starting to feel like any actual wrongdoing assumed by a normal person is just a whacky conspiracy theory that gets swept under the rug because nobody is getting punished for anything when the trail seemingly leads to "the establishment" or whatever you might call it. I mean, I feel a little kooky just typing all of this out.
I agree, but a long haul, full payload electric Semi is a very challenging project comparable to an electric aircraft since you’re limited to near the same maximum total weight. I’m merely pointing out that such a battery pack is one possible solution, one that cannot be ruled out based on public information.
I like my job and I do enjoy having SOME obligation to do SOMETHING. But if money wasnt factor in my decision making I'd probably work 3 days a week and spend more time on hobbies or volunteering. Having no work at all makes me a bit listless.
>I'm not aware of any RNC contributions.

Now you are.

https://www.foxbusiness.com/politics/ftx-founder-sam-bankman...

https://www.coindesk.com/policy/2022/04/11/ftx-co-ceo-donate...
Number 6 felt like it was written for me specifically, because of what I've been working on for a few years ( https://twitter.com/LeapJosh/status/1552977798452609024 )

I sure hope OpenAI lets me in soon. :p
Is this really a more convincing explanation than, these things take time? FTX filed for bankruptcy less than a month ago. It's a complex white collar case across multiple jurisdictions. Whether or not this Bahamian AG was corrupt - why would we expect an arrest by this point?

If the case doesn't develop over the next, say, 11 months, I'll be as suspicious as anyone else. But at this point it feels like jumping at shadows.
YouTube asks you to watch ads, but we still consider it to be free. Many mobile games make you create an account (and provide your email) before you can play but we still consider them free because you don't have to give any money. That's the definition here: don't have to pay money = free. This ebook is free
I'm aware, I'm sure most people are because this tidbit is always brought up when the swastika is discussed. The context is clear all around though
Debian Testing only has Firefox ESR, currently version 102. Unstable has Firefox 104, which was released in August and is 3 releases behind...
I'm not sure that we are browsing the same internet, but many sites made with React and similar do utilize an entire core, so you do need a powerful processor. It's one of the problems people are trying to solve with server-side rendering and resumability, to only execute the JavaScript on the client needed for interactivity, when it's needed.

Obviously the machine is a tool, to be used for what you need it for. Just because you have a genitalia capable of making a thousand children it doesn't mean that you need a thousand children. Besides children are expensive to have, and so is electricity. Batteries don't grow on trees either.
> This is not a dig or a slight against them or their work,

I mean, you say that, but "nannying themselves out of existence" is nothing if not a dig against their work.

If they are right about the threat posed by unaligned AGI, and you are right about open-source alternatives inevitably outconpeting them, then what we're seeing is the beginning of a race to the bottom that ends with the extinction of humanity when a paperclip maximizer decides it can generate more social network engagement by replacing humans with computer-brains or something. It's nothing to be glib about.
Couldn’t it be a joke from Joey? Just him playing along, and in the next sentence go and say something funny and self-deprecating.
The results mean what they mean: If you compile your software with GCC -O3 you will typically get smaller code and fewer instructions on average for modern fixed size RISC ISAs than for modern CISC ISAs.

You would have to do further and other investigations to draw any other conclusions.
Do you know what a Gish gallop is?

With a new account you lack the credibility for me to trust that's not what you're doing here with these very long comments.

Ironic, coming from me, but I make new accounts for privacy reasons, not each time I want to make a comment.
The point is that most of them were able to upskill and become much more productive by automating their previous workload.
Hey when you think that everyone else is being irrational guess what?
Wearable sensor can help unlock the potential of exosuits in real
> There is still a small market, but not enough to support many players.

Definitely.

And I can understand Panasonic and Nikon getting out of it when most people interested in a compact are looking for the Sony RX100 or Canon G*X cameras.
Those yachts aren't self-sufficient and they cost an incredible amount to keep running on a daily basis.
I wiped the computer they gave me and installed my own OS. If I quit or they fire me there is a three month period where I have to work for them anyway.

It would be ideal to have two computers, but I don’t feel like committing to such an expense (it would have to be about equally powerful) in this economy and all that.
Teaching ChatGPT to Compose Music
I used Ubuntu Mono for awhile, but I'm now a fan of both Cascadia Code/Mono (depending on if you want ligatures) and SF Mono, although the latter is a pain to install on non-macOS systems because you have to unpack the .dmg file and the underlying .pkg files.
Feminist podcasts on Deezer, and shonens, or utaite music on YT (Amalee + Eve)

still not a reason to assume I don't need AI updates
Why should I care? I just want my guilt-free meat.
Writing at Work
You can still get a US arrest warrant even if you aren't in the US.
I attended the NASPD conference this last year (National Association of State Parks Directors). After a couple of us ex Vacasa / Nike / Amazon engineers heard from our local state that the industry is up for disruption we started working on product in our free time. After attending that conference they couldn't be more right.

Those running the parks hate their options, I don't see them as a crook here. The industry for park management software that fits the needs of a public land is stale. Fees for fees is normal. The process to become a vendor for a state is long and drawn out, and is riddled with red tape that was created in large part by the very same stale old vendors who've been in it the last 30 years.

After speaking with multiple states and now being in the proposal process for a number of them, hopefully we can be a step further in the right direction (think things like opening up 3rd party integrations, better bot prevention, etc).

Another thing I'd like to pass on from talking to a number of states including the national parks people: They are really trying to move in a more equitable direction when it comes to park access. They are very aware that many park experiences aren't as accessible (hard to get a reservation) to certain demographics and from my perspective they are making an effort to figure some of those things out.
Thinking about abstract problems leads to really weird conceptual dreams and worse sleep for me, so I'd try meditation first
Are you suggesting newspaper writers should self-censor for their own self-interest?
Issue with that though is that a lot who post offensive content want to actually offend, they just don't want to share it with fellow free speech absolutists. So you'll have some trying to get around that filter (e.g. instead of "groomer", they say "gr00mer".
Neither approach is necessary. There are other approaches which work just fine.

Ubuntu does not get credit from going from the worst option possible to the next worst option possible.