skysight-inc/HackerNews huggingface dataset:
No, more useful. A proof about a state machine applies to any implementation of the state machine, in any language. A generated program is only itself. Any needed modifications make it not the program generated, or proven.

Furthermore: such output depends, for correctness, on a complete and accurate description of the salient details of the programming language, and the environment it needs to run in, provided to the proof system. But such a description is more complicated and error-prone than the description of the state machine. So, you need an extra proof that the language and system description are accurate and complete, which is not provided.
Incidentally, there was another post on HN earlier written by a truck driver and he believes it's more complicated.

https://news.ycombinator.com/item?id=29022124
This is intended as an autonomous taxi, designed for a sprawling urban canal system like Amsterdam. All those canals you've linked are absolutely nothing like the intended definition.
Just because evolution is not monotonic doesn’t mean that progressivism isn’t a good “low resolution” model.
> star ship does not have a planned launch to orbit yet

Starship has a planned launch to orbit in literally a month pending regulatory approval.

* source: https://mobile.twitter.com/elonmusk/status/14515814656454942...
> Considering that the supply chain problems can be laid squarely at the feet of "markets" assuming that everything would operate in a vacuum like an econ textbook and imploding once external pressure interrupted things, it's very hard to argue with that.

I mean yea... we had a gigantic pandemic and people were getting sick. We can also attribute the fact that you have goods and services and a vaccine in your arm to the same markets. Certainly the government helped in some ways but it also completely botched the response to the pandemic.

> The principal problem with this argument is the "no true Scotsman" attitude of "real libertarians" compared to other "real libertarians".

No this isn't that. If you're going to bucket list a bunch of people and say "blah blah blah libertarians think this" then I'm going to point out why that's incorrect and not representative of general libertarian philosophy which is a lot more than what is being discussed in the OP. It's not a fair characterization, and clearing up misconceptions is a fair thing to do.

"Libertarians think X"

"No they actually think X,Y,and Z".

> I don't know what "libertarians" are to you, but the obvious answer is that if they haven't had much of an influence in American politics, it's because their policies and stances aren't popular.

Great so then why are we blaming them again?

If you want to say "they did have an influence" then fine, I'll say that Communists and such have had a big influence too.

> Most of the Western world experienced unregulated market dynamics in the robber baron era, and arguably again in the last 10-15 years. We've been there and tried it.

I'm not sure what your point is here. I guess in response I could say we experienced uncontrolled Communism during the 1940s-1980s and now again with the CCP. We've been there and tried that.
The "dark star" hypothesis given a finite speed and momentum of light (particle nature) combining with the escape velocity of stars isn't impressive by itself.

But his scientific reasoning and methods very much so.
He carefully conjectured what could be observed e.g. binary stars in amassing data points. Naturally, in a logical progression, he looked for stars which behaved as if they were in a binary systems but the partner i.e. "dark stars" could not been seen because its mass would be so big that the finite speed of light couldn't "escape". Brilliant.

He, also, inherited Cavendish his "torsion balance" apparatus for measuring the mass of the earth for what later became the famous "Cavendish experiment" yielding an accurate measurement of the gravitational constant. The experimental basis for the advancement into the nature of gravity.

Quite impressive.

And he did not yell about it or seemed to care about what nowadays would be called the "impact factor".

His impact was quite of another nature.
Does it? What’s the novel part? Using two carts so you don’t have to wheel the empty one around? That doesn’t sound novel to me. I’ve don’t that at the grocery store before.
Yeah SF right now seems to be the most resistant to power outages just because it’s not going through our fire prone nature preserves
Have you considered augmenting with something like Wellbutrin? Some people find it helps with the side effects. I've tried it myself and while I found it was too anxiety-inducing (I felt too keyed up) there's truth to that at least.
You might have a quicker time if you build it locally with the cutoff configured in the code. Then you'd have the behavior you'd want while waiting for the devs to reply.
Uptime.is – Uptime Calculator
Can you explain the attack a bit more? One would (naively) expect that the process of the user connecting to my web server would expose their IP address (associated with their intent) to many more relevant actors (including "nationstate actors") than Cloudflare connecting to my DNS server... is the issue that the specific nationstate actor you have been concerned with is explicitly able to target and achieve surveillance on Cloudflare's outgoing traffic, but is expected to not be able to surveil the incoming traffic to my infrastructure on the other side (which sees the user's IP address way)?
Sadly I cannot remember. The story stuck with me because of the quick deterioration. Unfortunately I cannot even remember enough to find it! :(

I have MS as well. Propolis seems to be fine as immunomodulation goes. I also take ALA. There are conflicting results with regarding to resveratrol. You could take a look at https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6311642/ if you have not yet done so.
Ellen Ripley had a better idea for fixing social media.
Well done, sounds like you're a very dedicated parent.

Mine are 1 and 3 (1's a bit young for major exploring, admittedly, but 3 is getting there). The 3-year old likes outdoors, but I can't picture her living permanently out in the sticks. She likes her big-city nursery, her little friends, going for croissants etc.

In a way it's a shame, I'd love to pack up and live in the back country, but how things are for me, I could only do it at a detriment to my kids development - YMMV.
They already advertise on the trays in DIA if I remember correctly. And besides, airport security is a clown show.[0]

https://www.forbes.com/sites/michaelgoldstein/2017/11/09/tsa...
Evilness is not a personality trait. Calling people evil only shows a lack of willing to try to understand the reasons behind the actions of those people.

There is no big rich lobby for decarbonization yet. People in governments fight climate change mostly because they believe in it or because they think they can further their career with it (like everyone in top positions).
> The economy is in total ruins

Not quite. When was the last time you weren't able to buy bread?
For a while, Google tried to institute Tablet Tuesdays, where developers did all their coding on a tablet. These were definitely not 12 inch tablets.

It fizzled. But we didn't have all the advantages he has.
> So you create a class in the Domain which is responsible to save the domain object?

Yes.

> Is that not a forbidden by the layer principle because now the domain model layer has a dependency to the persistency layer.

In my book it's fine. I find that in practice one-way dependencies are ok, so domain->persistence dependency is fine so long as there is no persistence->domain dependency. Simply avoiding loops will take you a very long way.
I also run my own DNS servers, both internal caching resolvers and external authoritative, and and have done so since 1996. I run BIND. It takes almost zero maintenance. DNS is one of the easiest services to operate.
This doesn’t mean DRM is impossible, it means it’s only available to really big players who can cut deals with Google. Which makes it one of the few parts of the Web API that smaller companies and independent devs can’t use (not that I’d personally want to). Keeping it tightly controlled like that also makes it harder to crack.
Run of the mill crazy you say - this happened in last 24 hrs

https://news.yahoo.com/american-airlines-flight-diverted-pas...
> His main point was that not one of NASA’s powerpoints even as much acknowledges that something like Starship might come round

That's just not true, though. NASA awarded the HLS program solely to SpaceX as a Starship lander. The Source Selection Statement of that program (https://www.nasa.gov/sites/default/files/atoms/files/option-...) discusses the benefits and drawbacks of Starship in good detail.

It seems wild to claim that NASA doesn't acknowledge that Starship might come around, when they're paying SpaceX specifically for the Starship program, for moon landings with Starship in 2024 (I think we all know that date will slip, but that's the official plan).
LPDDR5 is not the same standard as DDR5. It is also not just a lower power version of DDR5.
Please don't run code from the internet without glancing at first. I also believe parent was discussing the fact his laptop managed to get bricked because he left a beta program...
The Architecture of Open Source Applications[1] book are available for free online, and that Fundamentals of Software Architecture is on LibGen.

1: https://aosabook.org/en/index.html
love this one. We are making great steps towards a cleaner future
Sure, my comment is in response to the claim that monochrome icons are user-hostile and pushed by a cargo-culting UX profession.

Plenty of professional tools (Photoshop, Final Cut, Figma) have monochrome icons without it being a usability issue. These are all content creation tools, including Blender. The UI and content should not be fighting for attention. It's clear which of those two should primarily be on display.

I think it's entirely possible that Blender just has poor icons - but it seems demonstrably false that monochrome icons are inherently inaccessible.

My best guess is that Blenders real issue is a lack of structure and clear grouping. Providing the icons are in a logical place, it's easy enough to find the correct one, without them needing to be visually distinct on literally every dimension. But if there's no logic to the placement and the icon you're looking for could be one of thirty, then I agree that's an usability issue - just not that the icons are at fault.
Writing in Unreal
> in the domain model you have a user with email but do not want to expose the email.

You can usually configure that out with @JsonIgnore or something like that. Although this works only for this particular (very simple) example and won't help with e.g. flattening multiple nested objects.
Even with SpaceX's accomplishments in dramatically reducing launch costs, the $10M price point is still insane. The Falcon 9 and Falcon Heavy advertised prices are ~$50 million and $90 million per launch. The actual launches and mission management for any more custom launch tend to push those prices to almost double. So to assume that a much larger as yet unproven rocket with launch for $10M seems quite out of range with the others. Even if $10M ends up being the material cost, SpaceX will still be recouping their development cost which is significant. Development of the Falcon 9 was $1.6 billion [0] and I think we can assume Starship will be more than that.

[0] https://www.nasa.gov/pdf/586023main_8-3-11_NAFCOM.pdf
It does tend to be a shorthand. Obviously, there is no reason that someone on a fixed-length contract would be intrinsically different than others. In the corporate line-of-business world, contractor often means staff augmentation and most staff augmentation firms are selling by volume, not quality.
Cool hot take, Joe. Now get back to work helping governments violate our rights. The stock price is too low, loser.
> it invests more in decreasing CO2 emissions

The depressing fact about this is that the US (and more generally the West) are not working towards real genuine CO2 emissions reductions but rather engages in book-keeping scams (ie: carbon credit markets.)

"Carbon neutral" is a just an indulgence in the Catholic sense -- paying someone else to pray for you rather than actually changing your behavior.
In fact, forget the coding!
Given the uncertainty around heat tiles (and the impact on rapid turnaround) plus the sheer size of the rocket, it seems like a huge step to this ignorant observer.
Your original comment is false, as Apple's M1 uses LPDDR5, something that has about half the clock rate and transfer rate of current DDR4. It is not DDR5 as is commonly expected when talking about DDR5, and is merely Apple's marketing Kool-aid.

Additionally, Tiger Lake is merely LPDDR-compatible, not forced. You can have a Tiger Lake with regular DDR, and upgrades are easy to do. So, once again, _some_ Alder Lake designs will have soldered LPDDR5, which is low grade DDR4.

This is still not DDR5.
I don't think paper titles are usually pretentious, they're just dense with jargon to be terse. They're impenetrable if you don't know the jargon, but I don't agree that makes it pretentious. I don't think it's possible for a journal paper in an established field to be simultaneously precise, accessible, and unprecedented enough to be worth publishing.
Can I assume that a modern TV I buy works without internet? (I'd just want it to display stuff I feed it via HDMI or whatever).
It's not usually taught as a "low resolution" model though, it's taught as a global model.
Patent law is hard and generalising it is very difficult. It all depends on the nature of the claims.

What can be said, generally, is that patentability isn't assessed with the benefit of hindsight, and a combination of well-known methods may, in some circumstances, be patentable.
Look at how fast they can build an upper stage with basic materials and standard welders from the oil industry.

The engine cost is reportedly already under 1M and they are building a huge factory t produce more.

Even under the worst assumption, where I take conservative assumptions and then double them you still end up with cost comparable to Falcon Heavy.
2021 State of the API Report
I'm sure someone living in some smog ridden hellhole city might disagree, but that's a tiny tiny portion of Earth's livable landmass.

Weather has been temperate, rain plentiful, trees are (were) green and the birds are chirping. It did seem a bit hot last year but this year was much cooler in my area.

Take a walk outside, as far as you can away from human settlement. Nature is stunningly beautiful and does not care at all about human issues.
I've used ebook-convert [1] from the Calibre project. It is unrivalled in my opinion.

[1] https://manual.calibre-ebook.com/generated/en/ebook-convert....
I feel like for a lot of us, at its most basic level, software development is truly creative. It's not the activity that people traditionally associate with the term "creative outlet" but for me at least it's akin to combining human emotional experience and music theory to compose a song or a flavor inspiration and the 12 tastes in food to create a dish. Even further as I've moved into a Machine Learning Engineer role the creative aspect needn't even be sensual, like visual or auditory, it could be totally abstract: I find the concept of some of the tensorflow graphs I have created to be beautiful even though they are way too complex to visualize (suck it tensorboard).
> But what's new in Starship?

The planned recovery mechanism (the aerodynamic fall, with a very late righting maneuver and landing) is still quite new. They've successfully tested it once (which is great!), but the Starship concept really hinges on that being an extremely high reliability maneuver.

I would argue that, until SpaceX can demonstrate that landing maneuver is high reliability, that the Starship concept isn't proven.

I say this as a massive fan of Starship, and someone who is extremely excited by the promises of Starship of they come to fruition.
"fine within this timeframe", that may be shorter than you think. As things become more extreme new weather patterns seem to be emerging, with some weather events that surprised meteorologists. Think that a Canadian town at lat 50 got almost 50ºC this very year.

In the long term, if nothing meaningful is done, no place would be safe, at least in the open. But I don't know how things will develop in the 20 years timeframe, both in the climate and in the human side.
That doesn't really hold up though. California has a lot desert and was sparsely settled until the gold rush for example. Also, in situ resource utilization is an area where technology and innovation are certain to provide advantage.

https://en.wikipedia.org/wiki/In_situ_resource_utilization
I don’t know what the numbers are, but most Mac users I personally know are using the service. Although I suspect that’s going to change, at least in my own personal case, if they don’t get this resolved.
>If a single applicant can replace your entire engineering team (which definitely happened in this case) why wouldn't you hire them to build a widget?

Because possibly that's not what they want to do, build a widget.
All of mine runs on an iPad when I develop remotely using mosh.

Also, iSH allows you to install Alpine Linux along with many packages.
'command -v' is POSIX!! I have always avoided it in favor of which because its output doesn't feel machine friendly.
$10m Lawsuit Victory for White Man Fired for Diversity
Author here. I'd love for you to give me some details of what you mean so I can improve my book before I send it to the printers.
I've never been on a team where having people spread the globe worked well. In fact, just this morning I got off a 7 am (PDT) call with people at 7:30 pm (IST), and as always I was thinking "this sucks for all of us". I don't believe there's a clever hack that can optimize around the circumference of the planet.
Depending on the area there aren't necessarily defined lanes. Any vessel could by conducting dive operations so autonomous vessels would need to maintain situational awareness by monitoring VHF radio and watching for signal flags.

Civilian sonar systems aren't usable for collision avoidance.
I'm guessing that's the kind of laptop the person you're replying to is using. That's what I used when I first went on motorcycle rides with a laptop. I put a leather case from TwelveSouth around it, and it rode in the saddlebags of a Harley Sportster for thousands of miles without a problem.

I'm getting a MacBook Pro with the M1 Pro next, since I really want the ability to drive more than 1 external monitor. But if the Air could do that, I'd be all over it now even with the original M1.
> But suppose it were publicly held,

But its not, for a reason, and there are existing reasons why companies don't tend to go public while still in the meteoric valuation growth phase.

And when companies are public, so that stock is a tradable asset subject to the tax, you can borrow against it; with sustained rapid appreciation, the interest rates will be substantially below the rate of appreciation, so there is no reason to liquidate assets to pay stock. Without sustained rapid appreciation, liquidating sufficient stock to pay the taxes won't force people to liquidate the bulk of their holdings, even over a long time.
> useful to the career

Only if it's a career in academia. Or maybe some very-heavy-into-R&D-academia-adjacent jobs.

The best thing for me were actually classes. We really got deep into what science is, and maybe even more importantly what science is not. There were several courses on origins, development and philosophy of science which I think were among the most interesting and informative courses I have ever taken. The methods and approaches to problems I learned there helped me greatly elsewhere - in my job in particular.

That said paper/grant grind is awful and internal politics in my uni were much much worse than in any job. I abhorred both.

But I got into PhD studies for free (with a small stipend to be exact), so my take does not account for monetary side of the issue.
This one doesn't seem very complicated to me. The US Attorney declined the case, so Chevron bought the court.

As for the tiptoeing of the NY Times, that would be because virtually every politician that Donziger might appeal to for intervention also either has worked for a law firm representing Chevron themselves, or has a family member working for a law firm representing Chevron.
would have preferred that to just be a separate movie. it felt very disjointed to me. glad you liked it though - a number of people probably did.
It's true that some reject the idea of group selection, but there are lots of scientists too who embrace the idea. Lots of very good talks/interviews on YouTube with scientists & researchers on the subject.

IMO there are too many phenomena that are very difficult to explain only with individual selection, but trivial to explain with group selection.

Not sure about the claim that evolution favors groups whose rejected members die (not sure what rejected even means in this context), seems to me like that would depend a lot on environmental context and vary across species and across time.
A Behind-the-Scenes Look at How Postman’s Data Team Works
But Google doesn't have just Waymo in their portfolio.

Besides Musk is willing to push the company on the brink of bankruptcy and is able to convince Wall St. to allow him to do so.

Larry & Sergey won't ever push Google on the brink of bankruptcy just to make Waymo a success.
High Fidelity Remote Communication
Pull Request Merge Queue Limited Beta
Check out Geometry Nodes.
Every rendering person's hero, Eric Veach, makes an appearance again! He basically invented modern rendering for his thesis[1], then developed AdWords, among many other things...

[1] https://graphics.stanford.edu/papers/veach_thesis/

[2] https://en.wikipedia.org/wiki/Eric_Veach

[3] Funny video of him winning an Academy Award: https://www.youtube.com/watch?v=a3ReTBe06Kw
My M1 Air is fantastic with thus far only one exception - recent frequent OS out of memory notices, but no apparent single cause. I imagine it's a software problem that will be soon resolved (and it's the first such memory problem I've ever encountered on any Mac in 10+ years).

With 16GB, I normally have open: RubyMine, DataGrip (two heavy JetBrains products), a terminal with two tabs, one having tmux and multiple local subshells and one with a remote connection to a server which has tmux (love tmux!), PostgreSQL, MailCatcher, any number of custom app servers (some ruby, some Node), Firefox with far too many open tabs, Spotify, and a handful of other apps.

I'm just about to find out how this thing handles 4k video processing as I got some new video toys to travel with. Maybe I'll end up needing the extra cores of an M1 Pro Max, but hopefully not.
I think I found the facebook employee :)
Background for other readers: https://en.wikipedia.org/wiki/Group_selection#Criticism
> In my book

Which book?

I see know that one can think of the domain model as most changed layer and if there is a bigger change it is because the domain model changes (e.g. business requirements). So a dependency from the domain model to other parts below are mostly fine.
Seems to be a huge leap to go from "Most people I know use Dropbox" to "Big chunk of their customer base is macOS", when you have zero insight into Dropbox.