skysight-inc/HackerNews huggingface dataset:
If you're interested in space mining there's an excellent book called Mining The Sky: Untold Riches From The Asteroids, Comets, And Planets by John S. Lewis that goes into great detail about the how space mining and building in space could work
Exactly. Look at the number of deaths on large NYC building/bridge projects in modern times vs 50, 100, etc years ago.

I have an uncle who has lived for 40 years with mental disabilities and unable to drive, from an a construction site accident.

My grandfather died before reaching 60 after a series of ailments starting with a back injury suffered in the construction industry.

It is hard & dangerous work, which has gotten dramatically safer over time. It nonetheless remains hard on the body.
Aren't actor critic algorithms very close to GANs already? You have a generator/actor/policy that produces data and a discriminator/critic/q that says if the data is good or bad. The critic trains on the data generated by the actor and some extra info given by the user (rewards or example data) and the actor learns from the signal given by the critic.
With CarPlay Apple Maps now has an option to report radar and hazards. Google also now owns Waze and uses info from it to show hazards.
EdgeQL lets you do arbitrary joins as well. Here's how you could compute salaries of employees by department even if you for some reason don't have a link between Employee and Department:

SELECT Department {
name,
employees := (
SELECT Employee { name, salary }
FILTER Employee.department_name = Department.name
)
}

Links in EdgeQL are merely an abstraction over the fact that most joins in a well-normalized schema are done over primary keys.
Well I grew up in a small town that's not within an hour of much of anything. It was a big deal when we got an Arby's, in the mid aughts. There's a lot of that in the US, even on the east coast. People who live in cities and fly all the time seem to forget about that.

Figure out where it takes a couple hours of driving to get to an international airport and you'll have an idea.

Anyway, I just assume anything people on this site assume everyone has seen is from California, especially if I've never heard of it.

Maybe I've just never been in the market for fast food ham? I still feel like this is a weird example of something Americans commonly do on Christmas.
Actually, the electrical engineers that I’ve worked with didn’t know how to solder. They had technicians to do that.

OTOH, I, a physicist, used to be a certified NASA solderer.

That was in the days before surface mount.
They did do formal verification for a microkernel: https://sel4.systems

It's afaik the most complex piece of software with full formal verification to date.
This does nothing. Send an email if you want to get his attention.
I'd guess somebody childless but considering.

It's really not a great question, since if a person was unhappy about having kids, I don't suspect they'd chime in on a forum like this. I think a better question for the childless but considering to ask is for people who never had children, do you regret it?
The Future of Architecture (2020)
Underhanded tactics? JML was abusive and has exaggerated.

I think it should be clear to anyone the relationship; the README mentioned JML from the get go, it's not framed as NON related, there is reference client and daemon, and it's just the same acronym because there's no reason to change.

The new projects name is New Session Manager.
McDonald's in Italy is interesting - ketchup is not free (€0.50) and in taste is a lot like tomato sauce.
Surely it is a good example because it would force companies to engineer products to be serviceable?
Well there's the tools industry and robotics in general but the issue ultimately comes down to cost and speed. You can use heavy automation and tooling to reduce the tax on a person but that equipment is incredibly expensive and often times is slower than a person or a few people just doing the job by themselves or with more "manual" tools.
1: Hacker News

2: Cryptocompare

3: Amazon

4: eBay

5: DPReview
This isn't true.

Fargate scales in minutes, not seconds. And it never scales to zero.
Who gets to gatekeep what the movement is actually about? I've seen quite a few at protests with signs saying "abolish the police". Seems like those people don't want police to focus on security.

AFAIK there hasn't been any polls to see preferences for the desired level of defunding w/in the movement. I wouldn't be surprised if 100% defunding was a plurality (but not a majority)
Any idea how much it has diverged from crosvm?
I hadn't considered this before reading your comments, but it makes sense that skilled trades will be somewhat automation proof, at least in the medium term.
The just-so story I heard about the construction trades was that there was essentially no work for years after 2008. The master craftsmen retired or moved on, and as demand recovered there was hardly anyone left to train even those apprentices brave enough to enter an industry that just... sometimes doesn't have any work for a few years.
How is fiction written as fiction #meetoo or actual relationship? It is neither.

And if you mean the other article, that is about good relationship.
Unlike health care, where our understanding of human biology is fundamentally limited, I can't see a fundamental limit to automation in construction. The article notes that construction has become less capital intensive over the years due the uncertainty of construction demand (kind of like expensive defense items like planes being built almost by hand because orders are whittled down to a few per year).

And sure, the "cost disease" effect makes labor intensive industries seem less productive with apparently too-high-paid people.

https://en.wikipedia.org/wiki/Baumol%27s_cost_disease
I'm not intimately familiar with that particular piece of history, unfortunately (I'll read more about it for sure). There were many examples in the past of great tech (like smalltalk or network dbs) that didn't exactly succeed for many reasons, sometimes because it was created way ahead of its time. We build EdgeDB to address today's needs: nested hierarchical queries, integrated schema migrations, performance, high quality language drivers etc. There is some intersection with what was done in the past for sure, but if you're interested in databases I encourage you to take a look at our website, the blog, and the docs. I'm sure you'll find new things.
Apprenticeship.

Good small time subcontractors show up to the job themselves but train others to do most of the work.

Subs I worked with had pretty healthy markup over what they were paying their workers (>100% when invoicing hours).

The catch is they all had spent years learning the trade, and that part is definitely dangerous. I saw a guy ruin his back being over eager pouring concrete.
I'm not sure what to make of the company. It is a strange mix of small/mid-range servers and consumer electronics: wireless earbuds, smart watch, bluetooth speaker, car mount charger... [0]

Also strange that they "sell" phones purely on a subscription basis, though they aparantly have a ClearOS distro in the works that could be put on other phones, which could be interesting.

Otherwise I don't really see the advantage of them over a more established option that also has baked-in support like pure RedHat w/ (probably) wider support to put it on your own server, which has a longer track record of support as well.

The only really interesting/innovative thing I see is in ClearOS for mobile. I might be willing to pay for a more open OS that (per their description) also supports android apps. (I'm assuming they forked Android? Not sure)

[0] https://www.clear.store/
Agriculture as a Network Good
It's not just on mobile.
Hey. Yes, you can import OPML into Readian News if you are using Android version. Web version as the most important functionality only as we did not have budget for all features.
For me with RSS I did not like that it was not recommendations but it was everything from that website (as it should be). But also, I was not the most sophisticated RSS user :)
Correction, the Rachel Maddow defense.

You have to pick the person to use it first.
I’m an introvert and the whole lockdown situation has been amazing. Not only could I work from home the entire time, it also meant I could get out of social obligations without feeling guilty or even needing to come up with an excuse. No birthday parties, weddings or office Christmas party to attend.

I feel bad for the people who got sick or who lost someone, but aside from that I wish this pandemic never ended. I’m dreading the return to normality.
I chose the subtitle, over the title because it is stinging, and is straight to the point.
The most harrowing thing I have read in a long time.
I can't even begin to fathom the immense bravery of these divers - and that of the boys.
I didn't really follow the Musk bit of the story, but the fact that he had the audacity to shitpost about any of these guys make me think vastly less of him (and I'm usually in the Musk-respecter camp)
> “Those whacky Japanese” is a perennial category of bus-plunge journalism.

Perhaps, but this isn't one of those stories. There's a genuinely interesting history to how KFC became a Japanese Christmas staple - well, I found it interesting, at least.
Related: https://constructionphysics.substack.com/p/why-its-hard-to-i...
This is great news for Africa which really needs vaccines right now. It's great that all this vaccine research is going on. But the inequality of access is a huge problem.

Up to now Africa hasnt had a big wave of covid, but this 3rd wave has hit us really hard (and I know, Africa is not a country, I live in South Africa).

What experts warned about might happen is happening now: because of insufficient vaccinations the Covid pandemic will stick around and mutate in poor countries.
Given how fast pdq is there's indeed no reason not to adopt it. Probably the usual 'not invented here' mindset.
But YT Premium only blocks YT ads, it doesn't block Sponsored Content put there by the content creator. Maybe that's okay, since by definition these ads aren't of the tracking variety?

So now you don't need AdBlock, but you still need SponsorBlock. You might be able to get a sponsorless version through their Patreon, but now YT Premium is pointless.
I think building has become a lot more complicated: 4 decades ago, semi face brick buildings with carpets and simple trimmings was common.

Now it's plastered walls, with large doubled glazed windows everywhere. Laminate floors. HVAC. Extra insulation to reduce heating costs.

And all buildings now need to be wheelchair accessible with lots of ramps, lifts and specialised bathrooms.

Result: Specialised workers at very stage, reducing competition and causing delays.
1Gb/s in Romania is 10$/month
Good article, but please check the spelling. 'Program' is with a single m at the end. Also, it's 'hundreds' instead of 'hunderts'.
Why free speech is under attack from right and left
OSM doesn't seem to have public transportation data which makes it useless unless you exclusively use a car.
Pop music: Fewer gatekeepers, more opportunities
One other thing I learned here is that lambda@edge is not actually run on the edge at all. It is forwarded to the nearest datacenter to execute. Not enough capacity in edges to spin up entire VMs for everything, even with Firecracker.
Not diminishing the degree to which it can hurt your body long term - it absolutely can. That being said, most people that do that kind of work as a career start it as a job when they're 16-18 years old, and are typically active (sports, etc.) for many many years before that.

You're starting it at best in your mid-to-late twenties? And even if you played sports in HS and go to the gym regularly, your body just isn't used to it and it's past the point where it can quickly adapt and more importantly get used to the stimulus. You're likely much more prone to injury than someone fifteen years older than you whose been doing that work since they were 17 (I'm sure I am too, it would destroy and I am very active for a SWE).
I'm aware of the work on neural program synthesis that you link to but it would be unfair to say I'm familiar with it. I've read a few papers they've written, here and there. Interesting work, but as they say on their website, it's an extremely challenging problem.

I'm pretty sure that as you say deep learning will be used for program synthesis, in fact it already has - the article above mentions a few applications and startups etc. I'm really curious to see how all this will pan out a few years from now. But the applications that are developed commercially are really trying to implement programming aids, rather than solutions to the full program synthesis problem, which, in a nutshell, is to be able to generate arbitrary programs from a specification of some sort.

I'm skeptical that deep learning can really solve this more general (and much harder) problem. The reason I'm skeptical is that neural networks are great approximators but they're not known for their great precision, I guess. With program synthesis the point is usually to really get a program that does what the specification says, no ifs and buts and no 80%-there's. I don't know how neural netwokrs can do in this, but I don't think the answer is "very well".

>> Anyway, I agree it's unfortunate that program synthesis has been overlooked in the latest AI code generation craze -- I've mentioned it to a few journalists when talking about things like Copilot but it doesn't tend to end up in the final article.

Well, thanks for fighting the good fight :)

You've piqued my curiosity, of course. Can you share one of the articles you mention?
No, bit mi children surely do.
Your father is erring toward things that have been proven over time. The flu shot has decades of use and data. So does Ivermectin (the open question is how effective it is wrt Covid-19). They are proven safe. They are FDA approved, Covid shots are not. It is perfectly rational to seek treatments that are FDA approved and have been used for decades.
Pretending there's no tradeoff between size/capabilities and reparability seems pretty naive
Interestingly we are shifting toward pre-fabricated houses in the the UK: https://www.theguardian.com/business/2017/dec/31/uk-housebui...

This is largely because of staff shortages.
I was wondering if these companies put a much higher concentration to make sure the vaccine works. it was a race to be the first mass producer of vaccine, so I imagine a discussion like "the vaccine is probably effective with a dose of X, but let's do 2*X to be sure".
or in other words, if the vaccine proves not effective, at least they know it's not because of a low concentration.
Well USB 1.1 was “Full Speed”, so I can only assume Tesla will have a “Hi Self Driving” option followed by a “Super Self Driving” option.
I actually find this technique used a lot on HN. They disagree with someone but they want to insult them without violating HN rules so they treat the person as if they're some kind of lab experiment and observing how they're behavior is so "strange" or "perplexing". The admins likely fail to see just how insulting these kinds of comments are.

Perplexing is when someone jumps off a cliff while detonating a stick of dynamite. Someone with a differing opinion is NOT perplexing.

"I find it so perplexing that someone would think that... despite that... " and so on.

Really people should call it out. It's rude and manipulative.
You can't.

Are you actually asking this question?

Or you pretending to ask a question because you think the fact that AWS Lambda run on AWS is some huge gotcha that I never imagined and no one would ever tolerate?

I explicitly note vendor-specific baggage. AWS revenue is over 45 billion annually and half of customers use lambda.
Retail jobs are often physically taxing also - shelf stacking for example.
FSD != Autopilot
There aren't a lack of tradesmen, there is a lack of people willing to cut 20 years off their life for a marginal raise, especially in the US where that will barely cover their increased medical and tool costs. There is a lack of people willing to put themselves financially reliant on a boom-bust industry where workers are regularly fired or layed off on a moments notice.

I know more tradesmen that are leaving the trades than joining, and they are usually the best among their group. Being a skilled framer often nets you nothing over being a barely competent framer. Despite all these claims of trades making huge money, most tradesmen are not. For ever plumber in NYC making $50 an hour, there is a dozen other contractors working for $12 an hour using their own tools and trucks fighting over the scraps of lower class business who can barely afford them.
Actually, FlashFill is quite impressive- maybe it doesn't always get it right but it's true one-shot learning (rather than one-shot after billion-shot learning) that works very well most of the time.

I'm actually surprised about the Maruary, Apruary etc error. That is something that FlashFill should be able to handle very well. Strange.

Do you have a link to some post or comment etc with more context about that gif? Maybe it was an older version of the tool? It works correctly (generates month names) in my version of Excel (360 I think?).

Although I do see the Maruary etc error while I fill-in "February" (but not after I drag the cross-handle thingy down).
Isn't that just... A browser?
I think a good way to stabilize this industry, and overall help our current housing crunch and homelessness crisis, is to have a government builder. Somebody that builds countercyclically, buying land and collecting the same land rents that landlords do, but turning those land rents into more housing. We currently subsidize our food system with a massive amount of socialism, to the degree that Midwestern farming probably wouldn't be recognizable without the farm bill. However, our housing system is going to crap due to the instability of construction as a trade, which in turn is causing massive increases in housing prices. I think this is a place where we need to change our government policy to make it a better market. Instead of intervening only with massive subsidies for home loans as we currently do, we should also stabilize the demand side of construction to keep it healthy, by providing a continuous buyer of construction labor.
Very sad to hear that. I guess all [good] things certainly do come to an end. I haven't been back there in a few years, so I'm recalling the "good ol' days", I guess.
That's why they did the boosters too.
I remember a talk where someone who did both software and hardware development for Intel talked about "Hardware development cycle fro software developers" or something like that at some conference, and the cost of simulating CPUs or fabricating them for a round of testing was absolutly mindblowing. Also - the fact the a 1 in a billion bug will happen multiple times a second on a modern CPU.

P.S Did anyone else happen to run into this talk? I tried to find on youtube and could'nt find anything related.
Great book. One of Arthur C Clarke's best.

The sequels are a bit disappointing, though.
Put a tax on plastic. That'll reduce its use, and provide funds for cleanup.
General handyman work is not trivial. It's physical and requires a lot of tacit knowledge and perseverance. A regular 9-5 Starbucks job is, by comparison, pretty easy-in, easy-out (which doesn't mean we shouldn't pay people a reasonable minimum wage even for Starbucks... at very least $12.50/hour or something like it was in the late 1960s, if not $15 or $21/hour like it would be if we adjusted for overall productivity growth).
That video is classic. My favorite part is when the diver sees the man and “mission control” thinks the diver is panicking from seeing a corpse and tries to get him to calm down, then the swearing while they’re trying to figure out what to do.
I hit ~400mbps on my pixel 4a's wifi with 802.11ac in a moderately congested environment. With WiFi 6 I would probably saturate
are they? why?
A real estate agent told me that the big problem is in the 50's and 60's you could do massive developments in the suburbs. Imagine building the same house 500 times. You probably get very skilled and efficient at it. Today most developments are limited to just a few houses and a lot of construction is one off for permits and design so there are no economies of scale.

Just anecdotal, but made sense to me why costs are going up and productivity declining.
My point is that the industry really hasn't moved on from the old LAMP stack if it's been replaced by a single company. When it truly comes down to it, the day-to-day tools are not ours if they aren't open.

And if deploying a lambda function on my own hardware is vastly more complex, then the tools haven't really changed, they just got outsourced.

There are a bunch of semi-standards like Serverless Framework and Knative, but nothing concrete.
Yes, I should not have a produced them (or, at the very least, it was not wise enough to do so when I did). Looking back, I am not convinced it was moral for me to produce more persons. I [[love]] [[1uxb0x|https://philosopher.life/#1uxb0x]] and [[j3d1h|https://philosopher.life/#j3d1h]] more than I know how to put into words. I do not regret being a [[father|https://philosopher.life/#Be%20A%20Good%20Dad]]. If I could do it all over again, I would have waited to be older by 6 years, and I would have adopted or fostered, like my esteemed brother, [[JRE]].

Edit: Feel free to voice a justification with your downvote. I have answered the question in good faith and with my skin in the game. Are you looking for honesty or not?
Is it just me or this website awful to read. Substack needs to up its UX.
My home has a 0.5-0.7kWh idle load, with the varying 0.2kWh being from the refrigerators cycling. I tried shutting down my NAS and Home server and it was less than 0.1kWh.

I'm at a loss to explain exactly what is drawing 0.4kWh of power but my neighbor has a similar load on his. I'm suspecting all of the fancy and useless motion/astro light switches installed are partially to blame but there's no easy way to verify that.
Amiga 500 Restoration and Upgrades
I had this problem, too; there's a button to toggle the night mode theme, which fixed it for me.
Do you have any tips for hiring someone like yourself for tutoring. Honestly I feel like I’d be doing my kid a huge disservice by not hiring a tutor but hiring a good one is probably key.
Back when this news hit (https://www.dailymail.co.uk/news/article-9033881/Half-dose-O...) I suspected that we might end up finding that ever smaller amounts of vaccine would be as effective as "full" doses. Obviously I didn't make any big public predictions of such since I'm a nobody but it's interesting to see it play out.
You have captured and written down my exact feelings on being a father. I’m unable to quantify, express or write down my emotions in any shape or form, so thank you for this!
I spot them pretty often in the suburbs and exurbs of American cities. Those areas tend not to have as many active mappers as urban areas, so new subdivisions sometimes go a while before anyone maps them. Even then the first-cut mapping is usually someone not actually there just tracing from the Bing imagery.
Pretending there's no reason at all to discuss that tradeoff and calling people naive for discussing it seems pretty rude or rushed.