skysight-inc/HackerNews huggingface dataset:
Also, SV has a lot of people who see nothing wrong with defrauding other people if it results in personal benefit.

There are a lot of people who would happily help others die if it makes them a billionaire. Elizabeth Holmes is such a person. Ian Gibbons was not. Ian knew it was all bullshit, couldn't get Elizabeth to stop risking people's lives, and he killed himself.

In a just world, Elizabeth Holmes would be spending life in prison. Her crimes far outstrip those of most "hardened" criminals.
at the opposite extreme, we should not always rely on logic and rigor when doing math - https://terrytao.wordpress.com/career-advice/there%E2%80%99s...
Biggest problem, given they're German: these things won't fly in Germany outside of airports.

In Germany, it's not even allowed to do agricultural aircraft flying based on anything but a licensed airstrip - the only kind of aircraft permitted to start and land anywhere are SAR and military aircraft, and gliders can only land anywhere (simple physics) but have to be started from a licensed airstrip. Helicopters (SAR/military excepted) also may start and land only on licensed helipads, which won't be licensed in cities.

And to those imagining a future of living in rural countryside and flying to work... no way cities are going to permit random people flying over it, not after 9/11.
Since it's buried at the bottom of the stackexchange: #region/endregion is useful for visually grouping Unit Tests per method under test. They're also occasionally useful to group interface implementations.
And the kind of people that don't have access to anything else.

My bank (arguably) condones use from public computers by asking me if they should "trust" the computer I'm on.
The article mentions that he kept the remaining shares (as opposed to selling them as well). I wonder what is the general strategy for founders to cash out their stocks? Of course holding the shares for 1 or 2 years to get short/long-term capital gains tax breaks makes sense. But outside of that I imagine there is a balancing act of not selling so many shares to raise investor's eyebrows, but also freeing up money to diversify your assets.
They're aiming to make it a taxi service. You wouldn't have to own one or deal with maintenance, you'd just pay the $X for your trip. And if it's fully autonomous (which it appears to be), then you -- as a passenger -- wouldn't have to be licensed any more than if you were flying commercial. I have no idea what sort of regulatory hurdles would exist or how easily they'd be overcome. But the fact that they've already built the plane would indicate that they've already taken that into consideration.
Right, but that's not helpful if I'm unable to efile because of their "new measures." Why not allow several forms of ID, like maybe a driver's license or passport? Why is a phone number the blocking step? Who designed this system?

That's how I feel whenever I am forced to interact with the IRS. Once, I went to one of their fully automated systems only to find that the entire website was only open between the hours of 9AM-5PM on weekdays! What?

I'm getting real tired of this shit. It's just unreasonable to expect me to jump through all of these hoops for something that they insist is so essential. If it's essential, then make it easy! If it's not easy, then don't make me do it!

Life is hard enough without the government ordering me to do busywork, and then failing to support the systems which they want me to use. Either it shouldn't be an order, or the system should work. Full stop. And I wouldn't be so upset if this horseshit bureaucracy and presumption of malfeasance wasn't starting to permeate every single aspect of modern life.
Many anime fansub groups I followed in the past just removed works once the originals got licensed.

Their stated goal was to make good stuff available in a language where it wasn't, not piracy.
>It's always interesting to see the opinions of different cultures about how much tax is reasonable :)

I think you're missing his point. The raw percentage isn't as unreasonable as the difference between the parent-poster's and Musk's tax rate.
how much did the rover cost?
Robb Wolf on Joe Rogan Experience (#935) – Podcast Breakdown
Productivity.
D is a very pragmatic systems language. C++ interop is basically unparalleled, UFCS makes writing libraries less traumatic and CTFE is just plain useful. On top of this, the type system is both concurrency aware and has the best generics I've ever used (Subjective as it gets, but that's my experience). If you want safety guarantees just tag a scope as @safe. Also, static reflection works really well.

Compiles(with DMD, ldc and gdc are still fast but are not as fast) are fast and

D is not really comparable with Go (For example). D is much more complex (and I my opinion simpler to write through said complexity, but obviously opinions differ), whereas Go is supposed to be simple to learn and implement.
You could argue that none of the ones today are weather related. If you remove the weather related outages, it's easier to support the notion of a conspiracy. I don't personally think this is one, but...
WebAssembly you mean?
I have used a few of these statements. You could almost write a book on just this subject.
Not to mention North Africans (Morocco, Algeria, Tunisia, Libya) and Egyptians. I'm a Tunisian-American, but I obviously select "white" in demographic questionnaires. I heard that the U.S. Census Bureau is planning to introduce a Arab/Middle Eastern category in the near future.
The 1-Handed Pro Hockey Player Living
Looking at the difference between firefighter and inspector developers
> Neither Swift nor Rust have exceptions, checked or otherwise.

The point is that both of them have generic error types which "infect" every caller (transitively) in much the way checked exceptions do.

That Rust and Swift require explicitly bubbling error values should be a point in favour of checked exceptions.
It should be clear that advocating population removal is the kind of uncivil and inflammatory comment that we need precisely zero of here. We detached this flagged subthread from https://news.ycombinator.com/item?id=14168194.

https://news.ycombinator.com/newsguidelines.html
brazil is the only country other than US that understood internet control.

they have their own, centralized registrar, and they use proper tlds such as gov, jus (justice) etc with their own tls system (which sometimes update faster than browsers can keep up so you have to add root signatures manually to your systems)
GoodFood is a Canadian company that does something like this. https://makegoodfood.ca/en/home
How does this compare to Kimono?
Mathematics requires creativity. Conjectures do not arise from logic and rigor. If that were the case, they would never be wrong, and thus not require proof. If mathematicians don't come up with conjectures, then mathematics doesn't advance.

A formal system's territory is connected together by rigor; but whence comes the formal system itself? That has to be imagined.
alistproducer2 is operating under the premise that full autonomy, or a self-driving VTOL is easier than self-driving cars, or at least that flying cars for the masses would hinge on top-tier automagical flying to deal with the training issue.

A fleet of these forming an aerial taxi service would be the next step
But watch out for the innovative jerks. They may mess up the acceleration.
The point isn't to learn it as if it's something you'll have to recreate--it's to understand that "advanced" language features are built on top of the "fundamental" structural model and are not magic. You need some understanding of how programming languages are built in order to keep languages and libraries honest. Otherwise learning about type/object systems becomes learning all the pitfalls and incidental complexities caused by the design as if they're benefits and not costs.
This looks awesome. Thank you!

I wanted to give you a heads-up that the youtube video at the end of your joyride tutorial is broken.

It tries to play this: https://www.youtube.com/watch?v=10yKzP3gtkc
Since we're talking about performance: the time it takes HotSpot to perform this optimization is also a perf hit for your program.

At the end of the day, the fastest code is one that doesn't have to run.

HotSpot is an impressive technology but the optimizations it has to do to overcome Java's design really only pay for themselves in most frequently executed code paths and only after some time to gather necessary info to perform the optimizations.

It's ok for long-running server code but not good for, say, short-lived command-line program.

Or to put it differently: a language that has perf-friendly design, like Go, matches Java's speed with 10% of engineering time and resources spent on the compiler and optimizations. Perf friendly design means it has to do 10% of the work to achieve the same end result.
I wonder how head-wind factors into that as well, I know on our EV I can easily see 10-15% consumption difference if I run into a strong one at freeway speeds.
There's no people sitting in the vehicle in all these videos. Is 300km with or without load?
It's been a while since my jaw dropped when I saw a video. Even if this goes nowhere I'm impressed with what they've done so far. Best of luck Lilium!
Ouch! Unfortunately it looks like you cycle in the type of suburban hellscape where you need to practice Vehicular Cycling. It works, especially with aggressive eyeball-searing lights and clothing and a mirror, but it's stressful.

That said, investigate what off-road trails and even parking lot/park cutoffs you can find to keep off suburban arterials for as much of the commute as you can.
There are smart pointer libaries, and also implementing ref counting is much more straightforward than in C++ because the type system knows whether data is being shared or not.

I should add that the GC actually works perfectly fine for normal work, it justs not up to the competition (Partly because of having to work with traditional dynamic memory).
I'd also emphasize that they have 9 years on their runway (pun intended) until they plan to have it operational for consumers. That's a long time for battery tech to get better.
Berkeley EECS is MIT-lite and its 61A used SICP/Scheme. They even wanted us to use emacs (which for me, so wasn't gonna happen). So pretty much everything in this article applies to Berkeley EECS as well. They've also shifted from SICP/Scheme to Composing Programs/Python.

http://cs61a.org/articles/about.html

The last time I used Scheme was in 61A. I like Scheme; it was elegant. I probably would have continued to use it but Instructional Computing had a bastardized variation. I'm pretty sure that students of 61A will continue to use Python since they're using Python 3.
I certainly have evidence that suggests welfare leads to people having children when they're in poorer financial circumstances:

https://books.google.ca/books?hl=en&lr=&id=Gl5Xvza-bmsC&oi=f...

The rise of the welfare state over the last 50 years has been associated with a massive rise in out-of-wedlock childbirth:

http://www.heritage.org/sites/default/files/~/media/images/r...

>Maybe an example of a species which, upon a decrease in difficulty raising offspring

It's a well known maxim that feeding animals leads to a population explosion.
I'm calling bullshit. See my calculations in the other thread. ~1600lbs of batteries to hit their specs with current tech and that's VERY generous. Likely closer to 2k. Lipo capacity going up at 5% a year so 2025 isn't happening unless new battery tech is announced and commercialized in the next 8 years.

Also, steering appears to be entirely based on differential thrust. Power loss = uncontrolled descent. Good luck getting that certified...
>>> But it was highly sensitive to the technical staff running it;

Care to be more specific?
You can source Li-ion/Li-Poly fairly easily (as a company, almost impossible as an individual) with 250 Wh/kg, I believe I read somewhere that Tesla hit about 260/270 with their latest power walls. Even so, I still have to doubt they'll reach more than 200km range with current technology.

Their mission is to release to the public in 2025 however, which makes the goal much more likely to be hit with improvements in technology.
So why not NYC? More of a city and better wages for devs than either Vancouver or Toronto.
edit: oh gosh I totally misread something

> Since farPointer.offset is an unsigned number, the compiler is able to conclude that target < segmentStart always evaluates false. Thus, the compiler removes this part of the check. Unfortunately, in the case of overflow, this is exactly the part of the check that we need.

This certainly seems like a compiler bug!
>That leaves him with $747M for the year.

I'm not sure what this is supposed to suggest/demonstrate.

Surely you agree that taxing (say) 20% of 60k is different from taxing 20% of 1B. Namely: the former has a much more significant impact on quality-of-life then the latter...

Figuratively speaking, what can you do with 747M that you can't do with 300M?

(Before the pedants inevitably pick this rhetorical question appart: the point is that it's not prima facie unreasonable to tax extreme wealth significantly more heavily than the median income)

Edit: the first of the pedants have arrived... sigh...
Suggestion: Please be upfront about pricing. I've been bitten with similar tool dying because they were too shy to ask for money.
Of course not, it's a colloquial heuristic. Do you disagree with this comment though? https://news.ycombinator.com/item?id=14168483
For all local/non-public instances I just use "tls self_signed" and have Caddy generate a cert on demand.
That's frighteningly true.
When I read the part about "Order your air taxi to the nearby landing pad," I immediately thought of the old Commodore 64 game SpaceTaxi.

`Pad 1 please` :)
> And if it's fully autonomous (which it appears to be),

It's clearly not, since they describe situations in which onboard systems would provide notifications to "the pilot" directing them to land the plane.
It would be cheaper (and far more effective) to just run a rail line to the exurbs in question. Why don't we do that first if connecting them is that valuable/important.
No, it's definitely a compiler bug here.
I wonder what the best solution to this is? Amazon has "Verified Purchase" on reviews that ensure the person at least has bought the thing they are reviewing. I could see a system that is "Verified Watching" which confirms the person has watched the thing all the way through. This would be easier to implement on something like Netflix where that data is already available, but you could probably work some verification process through third parties with IMDB. Of course, this wouldn't stop people from just sitting through a showing and manipulating the votes but it certainly makes it harder.
Did you notice what happened to the original whistleblower that exposed Theranos in the first place?
Very skeptical of any claims until I hear some hands-on opinions by individuals far smarter than I am. They didn't show anything about the inside of the aircraft or the controls.

However, to speculate for a moment. If it is possible to create a vehicle such as this, then this is what I would love to see as the real direction of all those self-driving car companies (Google,Lyft,Apple,Uber,etc).

I trust humans in land-craft far more than I trust humans in aircraft, and I might even consider the problems to solve by AI in shuttling humans from point A to point B through the air might actually easier than those you have to solve navigating the roads and ground-based hazards... way less human-driven vehicles and dumb animals (including humans) up in the air and a lot more ways to maneuver and avoid them.

I think a much better future is the one where our tech companies use their AI to control these air taxis and have them pickup and dropoff between tons of mini-airstrips (including the tops of apt buildings?) and we get a new ubiquitous form of fast public transportation which takes the load off of the rest of the transportation infrastructure without creating a weird human/AI dynamic on the roads.

But, as has been said... probably too good to be true for right now.
https://news.ycombinator.com/item?id=14163054
So the article mentions the threat of retaliation against the security researcher, and you are surprised people are afraid to come out publicly?
It was discovered today that Wells Fargo passwords are case-insensitive:

https://www.reddit.com/r/personalfinance/comments/66n4li/i_j...
> It's always interesting to see the opinions of different cultures about how much tax is reasonable :)

Realize none of these numbers include the local, county, state, sales, and property taxes he pays.

At some point, theft becomes a more suitable word for it.
It has one, though I'd go further and insist it have a deployment mechanism that does not rely on any computers or complex electronics.
Full closures, function literals, delegates... Basically everything you'd expect.
The future is here; it's just not evenly distributed yet.

That's been true for a long, long time, though, and rich people always take the role of vanguarding expensive new technologies. Later it'll get developed into more efficient forms and commoditized.
This looks like cars all over again. Massive energy waste for transporting single persons. Looking at this reminds me of people driving alone on heavy massive gas consuming 4 seat vehicles to drive the same way everybody else is driving. Except that now its in the air and for rich people only. I don't see flying cars happening, well at least not like this. There probably will be flying shuttles that take people to different places like buses or metros that would make way more sense then this.
I liked Sussman's answer. There is a huge difference in learning things deeply from the bottom up vs. 'get stuff done' approaches using lots of black box libraries, etc.

I have been using Ruby, Java, Scala, Python, and Haskell mostly for years now. But just recently I started working on the 4th edition of my old Common Lisp book and some preparatory work on a new Scheme book. I have been enjoying the Lisp-way of bottom up interactive development a lot.

Both general approaches have value. When doing machine learning it is great to have the universe of useful libraries for Python but for green field work that is more algorithmic, doing bottom up development in languages like Scheme or Haskell is also great.
What I am saying is there is a difference between "It has not been done, but I believe I can pull it off" and "Look, look, we can totally do this and have already succeeded, here are the (completely faked) test results proving it!"

The former is a gamble, but it may be an informed gamble where you already have some idea of how to make it happen. The latter is a lie.

Startups absolutely should be operating in the realm of "It has not been done, but we think we can pull it off. In fact, we are pretty confident of that." They should not be operating in the realm of outright con artistry and fraud.

If you have the right experience, skills, education, personal assets of various sorts and solid mental models, predicting your expected success in a specific domain does not guarantee you will succeed. But it isn't necessarily just BS either.

The challenge is for other people to know which category you fall in. But you should know whether you are genuinely confident or straight up conning people -- barring serious delusion of some sort.
As a pilot I would never step foot in this thing. The thought of being in an aircraft with zero aerodynamic control, or ability to glide in a dead stick situation is a complete nightmare. It doesn't matter how redundant your systems are if you have a fundamentally unstable airframe with no yaw control. In a total power loss situation, you must have some type of glide profile. All other forms of aircraft have this. Such a design would be fine for drones, but this will never carry humans.
Knowing where you are: custom array indices in Julia
Probably too many cases where they deliver a bunch of content while it's paused and then the content never gets played. More than half the people who pause it probably end up closing the tab without finishing the video, so one can save a lot of bandwidth by only delivering the data when it's needed. A totally unsupported hypothesis.
It's also impressive that it can each 300KM already. In 10 years, it could be about 1,500 or 1,000 miles. But 300 is a great start.
10m wing span is small too? for just a 5 seater?
You could always send an anonymous, or not, tip to KrebsOnSecurity.com. Brian has the skill to handle this kind of disclosure and the street cred to avoid pitfalls.
https://news.ycombinator.com/item?id=13325581
The vision is an air taxi service serving the public, not personal aircraft owned or piloted by members of the general public.
> The first is that full autonomy is much easier in aviation than with ground transport.

> potentially for everyone if the economics of sharing these works out where regular folks could afford to hail these and the system could scale.

The idea is:

- You don't need pilot training

- The cost of the aircraft is shared among many people. You're not meant to buy one for yourself, you're meant to hail it like a taxi or Uber.

Plus, the only price I could find for a 1960s Cessna 172 is $12k. If you can't afford that, you can't buy a decent car either.
If enough people to affect IRS statistics were this idealistic we'd probably be living in a far different world than we are now. Unfortunately, or fortunately, most people are not so politically committed or even interested enough to do those kinds of things. The couple you speak of sound pretty exceptional. Most people are content to just have a job, go home to relax and play with the kids, pass out in front of the TV and rise the next day to do it all over again, and don't even think about politics until election day (if they even vote, which many don't).
> There's no impact by a failing e-filing system.

Unless you efile after the post office closes on the night of the 18th and/or don't own a printer and/or can't get there after efile fails but before the post office closes.

Or there are people like me, where my efile was rejected on April 19th. Now what do I do? If I try to efile again, it just says, "sorry, you're past the deadline". If I mail in a form it will technically be late, although I guess if they say anything I can show them my failed efile attempt...
Here's how it works: Whoever writes the landmark news-breaking story on a given scandal is the main person that people with axes to grind will go to with more information. Positive feedback cycle.