skysight-inc/HackerNews huggingface dataset:
> But it comes with costs. Someone has to learn Rust and then convert all of these programs.

Someone has to learn compiler engineering and then design and implement a 'safe' ABI. Unlike learning Rust, this is probably worthy of a research paper.

> Rust programs are only memory safe if the unsafe keyword is not used anywhere in the program

If you use unsafe, then you take some of the responsibility for maintaining memory safety. However, you can audit the unsafe parts of the code, and it will compose with the compiler-provided guarantees for the rest of the code. Besides, one can easily avoid unsafe code for safety-critical tools like these.

> Much more interesting (to my mind, anyway) is something like Miri. The rust interpreter, which uses fat-pointers to make things (more? completely? someone more informed can correct me..) memory-safe by inserting some relatively lightweight run-time checks.

Miri does not support most interaction with the outside world [1]. It is focused more on detecting UB in unsafe code when it is exercised by tests, than on having your code running in production through Miri. Moreover, I wouldn't call a thousand-fold slowdown [2] "relatively lightweight".

[1]: https://github.com/rust-lang/miri#miri
[2]: https://www.reddit.com/r/rust/comments/hosvqu/will_the_miri_...
Legacy automakers never thought they were going to have to build and sell EVs at scale until Tesla forced their hand (and also demonstrated to governments that it was time to schedule new combustion vehicle sales bans), hence why they didn't invest in their own charging networks (which cost Tesla over half a billion dollars and counting [1] [2]).

[1] https://supercharge.info/changes [2] https://supercharge.info/map
> third party chargers are broken, or vandalized

The Chargepoint / third-party ones in Seattle have almost universally destroyed screens by vandals.
> the fact that the SEC has neglected to investigate insider trading for years now.

Obviously false: https://secsearch.sec.gov/search/docs?utf8=%E2%9C%93&affilia...

> 4chan and several other sites...

Scale dictates enforcement priorities, obviously. Like a lot of people, they don't deal with issues until they are large and impact the market. They are ABSOLUTELY going to intervene here. First with some immediate action, and later they'll craft a new rule to guide social media on stock advice being not allowed on their platforms (IMO).

> why the f** is shorting legal

Short selling rewards investors who believe that certain stocks are overvalued or that the company is covering up fraud. They helped bring Lehman Brothers down, as well as Enron, Wirecard, etc... In those instances, the shorts were instrumental in reverting stocks down to correct (sometimes zero) prices. Without them, bubbles would rise higher and poop much bigger. That sort of volatility destroys liquidity and confidence in the market.

> Short insurance should be mandatory for short trading.

There are naked short limits already, but yeah, this issue with GameStop should have those rules re-evaluated, because they obviously didn't work in this case.
Also yesterday https://news.ycombinator.com/item?id=25919018

Off-topic, but how does the exact same URL get submitted again within a day? Do you need a certain level of karma to do that?
What's the deal with Chromium on Linux? Google at odds with package maintainers
What I don't understand is all of the chatter in various places about how the short positions will be the only ones to lose. Even with more shorts than shares driving up the price, eventually when all shorts are covered, there will still be folks holding the original shares, and the demand will vanish. So not only will the short positions lose a lot of money, but everyone left holding shares will lose a ton of money as well. And if the float is 140% (or whatever) then isn't that like 2/5 of the total shares which is about to crash hard? So if you are holding $GME and get out randomly, you have a 2/5 chance of losing it all (by getting out after the shorts close)?
None of the alternate charging solutions I've seen are just swipe a credit card. They all want some way to notify you back when your charge session is nearing completion, or if you get unplugged unexpectedly. They also want the data on your usage individually identified, so they can sell/mine it.

They do that with an app, or a fob or whatever, but it's all way more involved than just swiping a card.
I've found Relay to be pretty solid with error handling, though I think the ability in how to handle GraphQL errors does hurt Relay here, but it does for all GraphQL clients.

Re: parent, I also was surprised to see Relay dismissed on the list, it solves every problem they bring up in the list, perhaps maybe not the real-time aspects
I refuse to let people make claims without evidence

Victims of attempts to suppress their voices via cancel culture, deplatforming or other marginalisation:

JK Rowling (trans opinions wrong)

Jordan Peterson (calls out leftist overreach so obviously far right)

Douglas Murray (far right for similar reasons apparently)

Jodie Comer (conservative boyfriend)

James Damore (career destroyed for taking free speech seriously)

Andy Ngo (violently attacked for reporting on leftist violence)

Various academics (jobs lost for supporting conservative causes or thought of being conservative)

This is just off the top of my head, and if you have missed these and the many other disturbing cases I have to ask:

Where on earth have you been?
I don't see what real life names have to do with keeping in touch. I've kept in touch with people for 15+ years using IRC nicknames. In a few cases I don't know the other person's real name at all.

Sure people can change their nicknames, but people change their real names too. I've gone by three different 'real' names throughout my life. That may not be super common, but people getting married and changing their name at least once is certainly not rare. The way I see it, a 'real' name is only more real than the others insofar as it's the name the government uses for you. But that sort of realness isn't relevant for social purposes. For social purposes, the 'realest' name is the name people call you.
The difference is, I had to physically be around that person afterwards. I had to see how my actions affected that person.

I don't have to see that online. I get to lob bombs over the wire at someone I've never met and will likely never meet. I can make them feel bad and feel very little consequence for it but easily justify my actions to myself in no small part because I don't have to see how it affected them.
Low margin business without the capital to invest?
Yep exactly, it's a classic coordination problem.
An awesome fluent hugo blog theme
The fan isn’t any worse than compiling code on a MacBook Pro for me so I don’t really mind, it’s just something I accept with the form factor of the laptop. Also, it’s a Ryzen desktop CPU in a laptop that doesn’t throttle, so my expectations for the fan being quiet were low.

I use an external webcam with an external monitor most of the time.
I think they can do even better. Stop charging the car. Keep is as an option, but make it something people only do at home with their solar power and leisure time. Make the battery modules hot swappable. Even better, make it so I can drive over a thing, the batteries swap while I am moving. This means I stop owning batteries and as batteries improve, my car gets automatic upgrades. I bet Elon can not only do this, but can probably even one-up this idea.
Let's say you want to invest your corporate treasury in equities (you've raised several years of burn and don't need it all now). If you lose the treasury you're out of business.

You decide you can accept X% risk. You estimate portfolio risk is Y%.

You can enter options positions for the portfolio components to force Y to X.
Really the only thing the hedge funds could do to "win more" in the long run is to stop shorting stocks en masse.

The more they short sell, the more this can be pulled off again and again.

Which is good IMO, I'd be happy in a market where short selling and negativity in general just isn't a thing. If you aren't optimistic about a company just stay out.
This is absolutely fucking ridiculous. Someone is getting fucked by their own leverage, they got caught, isn't that what the market is supposed to do? Kill the overleveraged non-sense to redistribute wealth to more efficient investments?

It isn't a bank run to be blocked for the sake of society, this is just a bunch of rich people paying the price for risking too much... Boils my blood so deeply.
Yeah as much as I enjoy this whole thing, the new regulations that come out of this will not benefit the average person.
I don't think I will ever go to one again. The idea that you would go to learn new things is passé, to the extent they were ever about that in the first place. Social justice and networking are fine goals, I'm just not interested in dropping a thousand or so dollars to travel somewhere for that purpose.

And honestly, I don't know if I can sit through another "I write code and I'm not a straight white man, stop harassing me and doubting my abilities" talk. I'm sure those talks are super relevant and important but man are they dreadfully boring. There are still people out there doing actually interesting talks, but not many.
> You know why front running isn't illegal? Because it keeps happening and companies keep getting fined for it.

This is not a logical sentence. They are obviously getting fined because it's illegal. The traders involved are also terminated, fyi.

All banks are required to submit automated reports on Front Running detection algorithms daily to the regulators. Every trade is evaluated by the compliance systems.

If you think the fines are not big enough or that the algorithms are missing things, then make that more logical argument.

Stay away from hyperbole because it discredits you.
A Quest to Find a Highly Compressed Emoji:Shortcode: Lookup Function
Availability and immediacy, too. What does it mean when information becomes available to a broad swath of the population immediately after it comes into existence? For instance, we're already witnessing the effects of speedy dissemination of dis- and misinformation.
... with a dash of flash mob and viral marketing.
It's true. But it's also not nearly as common as 50mm (or even 35mm) on DSLRs
> Going forward, how do you effectively manage the risk of one of your positions becoming a meme?

Don't take short positions. They add nothing of value to anyone. They are just fancy gambling.
idk man poverty in the us is not as bad as in india but it sure is worse than east europe. there is a dude here stating inequality is not bad, perhaps they’d want to visit communist countries to see how wide the gap is between regular folks and the elite
Aren't options like insurance? insurance can be explained rather easily. People buy insurance in their home, to protect their investment in an unlikely event that it gets destroyed. Similarly people can buy insurance to protect their investments in financial instruments.
Fractal Design still makes nice and unexciting cases.
Off-topic I know, but how can I make my blog look like this? So many posts like this on Hacker News have this clean, confident, gentle-exposition style. (As you can tell I don't really have the design vocabulary, but hopefully looking at the site you know what I mean.) Is there a particular Wordpress theme that people use? Or is this another CMS like Ghost?
Empowering Remote Exam Proctoring with Proctorio, Microsoft Edge and Windows 10
That's a completely different story than I was expecting: that vegan products were using the same carton makers as used for milk products. That could cross the line for some vegans--supporting a company that serves the milk industry.

Or not, if similarity with dairy is good for marketing makes being vegan seem more fashionable than deeply principled.
Reclaiming Childhood Skills and Hobbies and Creative Trends in 2021
There are VPNs not bound by US law and the same with email providers (if your email address with Reddit is even legitimate to begin with).
it moved to patriots.win and there's apparently an even crazier group at greatawakening.win
Well, the IRS doesn't go after rich people because they don't have the funding[1]; they only go after the people they can afford to go after[2].

I know the IRS is different from the SEC, Apples to Oranges. But like you said, they've neglected insider trading; it's probably for very similar reasons, because those being investigated just have too much power to take down. I'm sure the SEC will hammer these easy targets on WSB well before they even dare touch the Big Boys.

[1]https://www.nytimes.com/2019/05/03/sunday-review/tax-rich-ir...

[2]https://www.propublica.org/article/earned-income-tax-credit-...
Us taxpayers dodged a giant museum-shaped bullet. Seriously, it's great to have historic stuff, but we have more of these things, and they aren't exactly pinnacles of architecture, noted cultural venues etc.
No, not from us at least. We have high-level technical questions, to let companies know how a candidate would solve problems.
umm inequality was enormous in communism, not sire what you on about. but hey let the poor rot.
Many people don't want to give their SMS-capable number to a random charging station in another state. I don't mind giving my number to my doctor, but a charging station is a different risk profile.
“Free speech” is about limiting government retaliation based on speech. So Uncle Sam can’t legally put you in prison because you spoke against Uncle Sam.

Free speech doesn’t mean you’re protected to speak whatever you want in any setting. Speech is subject to private property and common sense. If you are profane on my property I’ll kick you out and ban you. That is NOT a violation of your free speech.
Indeed, and the anti-relativity movement also had a very strong undercurrent of antisemitism.

Chances are, most of the people marching against relativity had no clue about Newtonian mechanics, and were told stuff such as relativity leading to moral relativism.
Yea, it's definitely not a small amount, but at the same time, it seems like a very safe bet given the fundamentals of the underlying company. You're basically betting that the volatility will subside within 1 year.

If you're right, your ROI will be (320-240-X)/240 where X is the share price 1 year from now. If X is 30, ROI is 20%. Even if you're wildly wrong, and the share price is still $100 1 year from now, your ROI is only -9%.
But that's not a limitation of RAD. Delphi 4 and Visual Basic both had "align and/or resize proportionally" on all axis.

Making an UI that adapted in size from 640 to 1280 was a 4 clicks matter.

Having COMPLETLY SEPARATE UI for different form factor like we need on the web sure, but that shouldn't be an issue on mobile just pack X version of your UI like you end up doing with all your resources anyway.

> RAD, a.k.a. UI-nailed-down-to-pixel-grid approach

That's really not what RAD was about.

RAD was about "every single component you use is generic, you don't care how it works, you only want to say where it is, what event you listen to, and optionally do some custom rendering".

As said above, positionning could be non-fixed, auto-adapted to the view, ...
> it isn't inflationary. You're not creating new money

Nitpick. We have no evidence minimum wage increases are inflationary. (We have evidence it is not [1][2].) But something doesn't have to create new money to be inflationary.

Increasing money velocity causes inflation as much as printing bills. The poor spend their dollars in the real economy (as opposed to the wealthy, who buy GameStock calls). That increases demand for those goods and services, which can result in a price spike.

Again, we don't have evidence of this happening. But theoretically, it's sound. (And less theoretically, it's why central banks can print pots of money while still fighting deflation.)

[1] https://mpra.ub.uni-muenchen.de/36750/1/MPRA_paper_36750.pdf

[2] https://www.econstor.eu/bitstream/10419/20104/1/dp861.pdf
How did Atari’s vector graphics technology work?
The prices I've seen are also slightly more expensive than Superchargers.
Obligatory

https://www.youtube.com/watch?v=Ec-LrW1tSHQ
A Closer Look at Raspberry Pi RP2040 Programmable iOS (PIO)
I'm now a Model 3 owner, but back when I had the Fiat 500e, I was actually surprised at how widespread Chargepoint chargers were in the Bay Area. The experience with those isn't 100% seamless. I'd wave an RFID card, and most of the time, it would work after a 5-15 second pause. I'd occasionally encounter a broken charge plug that wouldn't release, or an otherwise malfunctioning charger.

Even with the piddling 87 mile range of the 500e, I'd still drive from SF to San Jose on a regular basis. I could pretty much depend on the availability of Chargepoint chargers in the South Bay.

I even went to an event near San Rafael once, and found that the charger at the school was free!
So you're paying $24,000 to bet that the stock will fall below a breakeven price of $80. Even if we assume that that's likely to happen, your maximum upside (i.e. if the stock goes to zero) is only $8,000.

It is not a trade I would make.
I know a lot of people for whom both are much more productive in python than in any other language, including myself. If that's not true for you, you must have different preferences.

Let's just find our own language each one and not bash others' choices, maybe?
It runs DOOM.

https://www.nuon-dome.com/doom.html
It is dehumanizing to me that we have invented legal & technical systems that reverse the historical trend, of man, the learner, man the toolmaker, man the natural scientist, who understands more & more of the world about them.

We have created proprietary knowledge, proprietary systems, that are massively popular, ubiquotously used, that none of us are allowed to nor can understand or learn about.

I am in awe, have huge respect for the hight heights of this high technology that we have arisen towards. But, for the first time, it feels like it is captivated wonder. And unlike something complex like a train or airplane, this high tech is deeply deeply fundamental to our everyday life, reshapes our reality immensely. And it is a hell, forever boiling & changing around us, that we can not see, can not understand, have no access to, no ability to learn about these deeply propietary bits of tech that are all around us, that we spend so much time enmeshed in.

It is a philosophical violation of the spirit of humankind, of the highest order.
Misinformation and troll farms on Twitter start with unrestricted API usage to the masses.
I'm guessing he designed it himself but if you have Twitter you can ask him directly: https://twitter.com/yongfook
You are making a distinction that doesn't exist. What you might consider a complicated loophole might be what every company with a CPA considers standard practice. Just because it's not obvious to a layman doesn't mean it's not the obvious standard operating procedure for corporate taxes. They are both "avoidance" in the same way, which is taking advantage of specific provisions that benefit that tax paying entity.

It's the same with the mortgage interest deduction. You avoid some level of taxes as a homeowner by deducting your mortgage interest. Until you have a house and need to do so, it may seem like some weird loop-hole in the taxes, and when you have a house and use it, it's just something you do every year.

Don't expect a multi-national company worth hundreds of millions or billions to view the tax system as being as opaque and complicated as it seems to an individual. Their situation is vastly more complicated than an individuals, and their capability to navigate the tax system is vastly higher as well with multiple CPAs on staff or a large firm hired, so they can take advantage of those provisions put into the system specifically for them.
I bought a PS2 because I didn't have a DVD player and wanted a PS2 anyway, so it was a slam dunk. I never bought a dedicated DVD player because I always had a PS2 or PC that could play it. It was the same with PS3 and my Blu-Ray laptop as well.
That was a very small ruling class exploiting pretty much the entire population. That's very low levels of inequality.
I think they are optional in general, but often more reliable. These locations are unstaffed and often directly exposed to the elements. The cardreaders don't seem to hold up well.
Anecdotal, but many of the stupidest, most blinkered people I've ever met are those with "advanced learning".
Another doozie is that 3rd party chargers are often in garages in the city and you lose cell service meaning the app doesn't even work. lol. I've had that happen more times than I care to count when I use my chademo charger for my tesla.
You forgot to mention they usually cost 2x what the supercharger costs and charge super slow.
California, from every source I've seen, has a major, systemic, generations long market failure. The supply of housing has been nearly inelastic while demand remains high, with the obvious results.

However there are also less obvious results given the time domain involved. The problems have followed those retiring out of California's market as other regions follow in the same footsteps.

As an example; the greater Seattle / Puget Sound metro area reached a combination of sprawl / urban growth boundary / natural features (mountains, lakes, the sound) at about the same time that the 2008 recession killed what little development was still occurring.

The price of a very cramped, noisy (poor insulation) apartment in the city without even a parking spot to store the vehicle for anything you're doing outside of the city (E.G. visiting family on a weekend, going hiking, etc) was easily at least 3K (offhand, the last time I looked), and similar units in the suburbs quite far out, if available, were about 1.5K per month.

There might be more rural areas, but those were excluded from my search as the last time I looked they failed even the FCC's definition of broadband (25mbit down, 3mbit up). I suspect any areas out that far with good Internet would still have bad prices.
I stand corrected! <g>

On a more serious note however, Kafka sounds interesting! I will have to check it out...
I'd agree Relay is relatively far along, compared to other frameworks.

I might lump its support into a few groups:

- Full (eg. request batching)

- Full, but painful (eg. colocation)

- Partial (eg. mutation queuing)

- Non-existent (eg. durability guarantees)

(I've been using Relay Modern daily for a few years.)
Dealerships are not interested in selling and servicing electric cars because of the low margins. Dealerships make most of their money off of services and repairs, which will be less frequent with EVs.
Telescopes etc are already designed to give the same perspective and foreshortening effects as a "simple" lens or a pinhole camera. There can be some imperfections (e.g. "barrel distortions"), but these are pretty small. Compared to a single lens, a fancy telephoto lens captures more light (producing a brighter image), it may blur the out-of-focus part of the picture more, and it has less chromatic aberration, but the perspective projection is the same.

The perspective distortion comes for landscape photos are due to the field of view. So the absolute distance between lens and sensor doesn't matter, what matters is the ratio between that distance and the width of the sensor. As long as that ratio is the same as the ratio of the eye-to-picture distance and width of the picture, the perspectives will match.

The problem is that if you are looking at a landscape with your bare eyes, you will look at a quite large field of view. To reproduce that field of view when looking at the picture, you probably need to print it several meters wide, and look at it from a meter away or so. If you take a photo with the same field of view but print it at a handheld size, it will look "too small" and the perspective will seem exaggerated.