skysight-inc/HackerNews huggingface dataset:
Astranis | Flight Software Engineer, Ground Software Engineer, Software Engineer- System Modelling , Software Engineer - Controls and Simulations | San Francisco, CA 94107 | Onsite Hybrid | FULLTIME ONLY
Astranis is seeking to hire talented software engineers at all levels in our new HQ located at the historic Pier 70 in San Francisco!
Astranis just raised a $250M Series C led by BlackRock. With multiple micro-geo-satellites sold and our first launch on the horizon in May 2022, we plan to triple our headcount over the next year.
Astranis is the micro-geo-satellite innovator that is here to change internet access for the 4 billion people still without! Our satellites are built in months and at a fraction of the industry standard cost.
Tech: Python, Django, React, MongoDB, AWS / C++, RTOS, Embedded Linux,
Our compensation offers:
Competitive base salary + pre-ipo equity
Health, dental, vision, & life insurance
Unlimited PTI
Lunch and dinner EVERYDAY!
Commuter benefits
401K

Click here to find out more about a specific engineering role:
Flight Software Engineer:https://jobs.lever.co/astranis/8e90c11e-f6c4-4c2c-90c5-1ed41...
Ground Software Engineer:https://jobs.lever.co/astranis/88b83a71-1094-4d10-acc5-7531b...
Software Engineer - System Modelling:https://jobs.lever.co/astranis/ab4b41b4-f534-426f-9484-8cd64...
Software Engineer - Controls and Simulations: https://jobs.lever.co/astranis/3929d66a-f82a-4511-8485-e1b4c...
From init.vim to init.lua – a crash course
Hey Carl, I would love to hear more about the work you have been doing. Our team has been growing and is looking for someone with your talents! Would you be open to a quick conversation about our backend engineer role?
Working with signals in Rust – some things that signal handlers can't handle
> but every Catholic I've spoken with (I live in a majorly Catholic country) believes in the entirely miraculous virgin birth of Jesus.

Sure. I’m a Catholic and I believe that.

It’s also a non-explanation that doesn't actually rule out any particular physical process occurring as part of the manifestation of the miracle.

Other than things like the routine transubstantiation of the elements of the eucharist, where a defined part of the miracle is the absence of any physical manifestation of it occurring [0], that's pretty typical of miracles.

[0] Why doesn't the bread and wine that miraculously becomes the body and blood of Christ taste like flesh and blood? Well, because it miraculously also retains all the physical properties of bread and wine...
Here’s some credible data that your assumptions are probably wrong:

https://medium.com/@MidwesternHedgi/teslas-driver-fatality-r...
> Please don't tell me that someone compiled Postgresql to WASM.

I don't believe that nobody has ever done this... And google delivers: https://github.com/wasmerio/wasmer-postgres
I hope this has a toggle off switch. It's rather irksome and cringeworthy to me. Almost as Orwellian a feeling as the "CSAM" alleged protection. Even though this probably has less abuse potential from a tyrannical autocratic surveillance state.
That would be true if the human population didn’t consistently increase over time; but it has.
I would imagine the hardest thing is interpreting MongoDB Protocol and converting to SQL - specific backend support like MySQL or might be go straight to Vitess to support sharding might be possible. Thought I think PostgreSQL is perfect database to get started
I changed my mind a bit on this issue. of course I still think its better with as little surveillance as possible, but I don't think what you are describing is actually "terror". If you are really an innocent person, there will be nothing in your history. I mean can you give me some examples of things this stati-state will find about you? Your porn history? or random wiki page about explosives? If there is a stasi-like state and they really want to get you, they don't need your history from 2021, its enough to just beat a concession from you about anything. Just see what the current stasi-like states are doing. Otherwise "Enemy of the state" is a pretty good movie.
Mononym: Type-Level Named Values in Rust
In civilized countries, it requires a specific decree or order by some government body, possibly after appeals.

Not just random clerk writing a line in a book when random stranger comes and tells they own a piece of land and are going to sell it.
I knew this was going to come up because this is the internet, but I don't think this line of reasoning applies to every arbitrary Facebook engineer.

The Nazi soldiers tried at Nuremburg were directly murdering the Jews, and so "just following orders" led to a direct harm. However, I don't think that logic went transitive for forever; did we execute the secretaries that took phone calls in military Germany headquarters? I don't think we did, but you could argue that they helped enable all the murders.

Similarly, if a person's entire job at Facebook is to contribute to Presto or React, I don't really view them as guilty as a person who worked on all the data-harvesting stuff, and way less guilty than an executive making the decisions.
I somehow don't think this person is a Popperian!
There are a very wide variety of news sources. Toxicity isn't necessary (other than reporting on significant toxic events, which I agree can add up). Two tips that work for me:

1) Never read opinion/editorial. For one thing, it's almost always ignorant and deceitful (and if you spend your time reading news, you'll be better informed than the opinion writers). It's designed to inflame you.

2) When you see inflammatory rhetoric - hyperbole stands out - go on to something else. It's provocative to trap you. Overcome the urge, build the reflex to click away, to see it as BS, as sophistry.
Was this company called Checkbox?
Depends on what one means by "overrun" - people talk about the European migrant crisis of 2015, with 1.3 million refugees in a year. With climate change, even 100 million is not out of question - it will put a severe strain on every affected country, to put it mildly.
This public official laying down rules “you are free to… but please” tone has become commonplace on HN in the past few years. Anyone know the origin? Perhaps a shift in public enthusiasm for controlling speech? Did it start at universities? It seemed to just show up one day around 2018. It’s incredibly distracting.
Reminded of Victor Lustig, who sold someone the Eiffel Tower.

He impersonated a government official and told a group of scrap metal dealers it was too costly to maintain and that it was set to be demolished and sold as scrap.

The man who purchased it was too embarrassed to go to authorities, lest it ruin his reputation.
>If you say mean things on HN, you'll likely be asked to stop or forced to leave; but some sites don't make that part of their platform. Personally, I'm not going to participate in places where there's a lot of meanness, but that means I don't participate in a lot of popular sites.

This is a good point. I don't think a lot of what's commonly said on twitter (or online in general) would fly if said in a physical business... and this disparity seems to embolden a lot of people online to just constantly say shitty things.
Correct, and they had a designed lysine deficiency that was supposed to make them reliant on human-given dietary supplements to live. By consuming lysine-rich foods they were able to live without humans and some gradually changed sex to become male, leading to viable reproductive groups on the island.
From a Coinbase exec: "Tether is a ticking time bomb. Whenever it goes off, it'll be a 70-80% market correction for 2-3 years"

Crypto continues to help nobody and achieve nothing in the real world. This administration has been criminally slow in shutting it down, lobby is strong.
Britain Leads the Way for Reining in Facebook, Twitter, YouTube
Why are you not using elements?
I have a Model 3. The autopilot was acting weird while driving on the freeway, sometime disengaging, but mostly not tracking the lane smoothly. For an unrelated reason, I opted to view my camera footage, and was shocked to find that my camera was completely blurry. I’m driving down the freeway at 75mph, being guided by a camera that couldn’t pass a standard driver’s vision test.

Tesla came out to replace the camera, and it appeared that a film had been deposited on the windshield, obscuring the camera.

Living in Phoenix, my car is parked outside, facing south west. During Covid, I’d go many days at a time without driving, and in the summer, the interior temperatures can easily rise over 150f. Within the camera enclosure, there’s a reflection absorbing material, which likely creates a perfect miniature greenhouse.

I believe the glue in the camera housing melted/evaporated at these elevated temperatures and deposited on the windshield.

Concerned that others would experience this problem, I opened a case with the NHTSA. Crickets.

There could be many people driving around on autopilot, with obstructed vision, due to this same failure mode. It’s something Tesla could easily check, and something NHTSA should be investigating.

For something as safety critical as a forward facing camera, you’d expect both Tesla and NHTSA would be investigating. I have no indication that anything has happened as a result of my filing. Possibly because nobody else has reported the issue - maybe because nobody else is actively viewing their camera footage? There’s no other way for a Tesla owner to be aware of the issue. Frustrating.
Because enough people in society want the services the company offers. There's almost 2.9 billion FB users in the world.
You literally called the Salem witch trials democracy in action, and don't understand how I got to punishing the innocent?
I've recently been disabused of the quaint notion that our Supreme Court's job is to make findings of law.

https://www.fivefourpod.com
If the images contain information that is relevant to an insurance claim, they probably should not be posted in a public forum that everyone on the Internet can see.
Only a few posts below this is one where someone unironically equates Facebook engineers defending their choice of employer with SS officers defending their part in the Final Solution.

Welcome to HackerNews.
On the contractor-employee continuum, professors are really closer to contractors than they are full time employees. Critically, professors are not “full time” from an annual timeframe. They are salaried, yes, but maybe only work for 9/12 months per year. Their salaries are commensurately lowered. Therefore many professors take outside contract jobs during those 3 months to make up the difference. Contracting arrangements, including serving as expert witnesses. are so common that it’s usually built into the Faculty “constitution” or whatever it may be called at UoF.
For newer cryptocurrencies you often buy them and then either (1) stake them (earn rewards for contributing to network security) or (2) deposit them in a crypto-bank like Aave and earn yield from having your money loaned out. Increasingly people don't look to cash out to USD but rather stay within the crypto ecosystem.

I do think that BTC and its clones engender a certain dragon-cache hoarding mentality that aligns with either plans to eventually cash out at a higher price or some kind of apocalyptic vision where eventually USD is no longer used at all.
Technical nit: if average is 48 hours, median cannot possibly be higher than 96 hours.
Legally, they can not directly use the river. Diversion of federally protected rivers in any amount is surrounded by a huge amount of paperwork and even more transparency requirements and public comment periods than what they're trying to do with The Dalles.

Of course, even if they could do that they'd face opposition for potentially polluting the river, raising its temperature, and diverting water in some amount from a scarce resource.

Google needs to learn to air cool.
It’s spelled Ethereum.
I don't think you understand what real journalists do. Bad ones might perhaps just "forward" an unchallenged claim as your uncle does on Facebook. Journalists and editors trained at journalism schools have a little more integrity and skepticism than your uncle.
Sure, and they could fly first class on commercial to get to that meeting. But they have egos and don't think restrictions apply to them - but ohh this is an "emergency," isn't it?? I thought we were having all hands on deck to stop climate change, right? We're all going to starve and die.

All for one and one for - nah, never mind gas up my second leer jet, Jeeves!
Sure, dictionary databases replace the primary reference-focused use case of huge—the really good ones are multi-volume, and cost a lot more than $400—dictionaries, much as desktop reference books of facts & figures, books of field-specific tables, et c., are all but entirely replaced by Google or other, more specialized databases. This is the same dynamic that saw filing cabinets and card catalogs replaced with computer systems—I'm not sure it applies to books, broadly, but certain types of reference books, so far as their primary role as on-demand lookup systems, are generally much inferior to searchable digital databases, that's clear.
Signal was superb for a long time, and then received a hefty chunk of funding, and, although I may be wrong, has declined since then, and in fact jumped the shark about a year ago.

They attempted ever more forcefully to make users to set a PIN to protect server-side state; it started with a dialog at the bottom of the screen, obscuring about 20% of the user list, which could not be dimissed, and then after a few weeks progressed to the a full page dialog, which could not be dismissed - rendering the app unusable.

All you saw upon starting was the full page dialog demanding you set a PIN to continue using Signal.

I did not want any server-side state, and so did not set a PIN, and stopped using Signal. After a few weeks, the full-page dialog went away, and I found I could use Signal again.

Signal actually blocked usage of the app to force users to adopt unwanted new functionality. It's hard to imagine any app doing well with such mis-management.

I opened a thread discussing the problem on their support/public discussion forum, which was deleted. I also at first opened a bug report on Git, before I understood it was all intentional, this was also deleted.

Since this experience, I've regarded Signal as on the way out, but it's still the best there is right now.
Location: EU, Germany
Remote: Primary (Some Office + Travel post Covid welcome)
Willing to relocate: Unlikely
Technologies: Web (HTML, CSS, JS, Node, React, TS, PHP, NGINX), Docker, SQL, MongoDb, D3.js, SVG, XML, JSON, VBA, Java, AWS
Resume: on request
Email: noop42@reasoningabout.com

T-shaped person with 5y management (C*O) and 20y individual contributor experience. I like to work all over the stack and contribute at every point of the process. Past four years I did co-build a health start-up. Additional past experiences in finance (5y) and data analytics (5y). For me it's purpose and team over technology. Money is a problem to be solved early and then forgotten about. My super-power: I can talk to business, IT and customers and most actually understand me.
> Except that coal being dead in Sweden or France is essentially meaningless when roughly 60-70% of the power in China and India comes from coal.

That's an inconvenient truth that's mostly left out of a lot of the narratives around climate change. When you look at who's polluting and who's emissions are on an upward trajectory, there's one obvious country that's actively working against the environment. China's emissions aren't slowing down. Coal is incredibly cheap when there's no carbon tax or emission standards. One of the many reasons it's cheaper to manufacture in China and why North Americans and Europeans can't compete [0]. Comparing the US[1] and China[2], the US has:

- Decreasing per capita emissions in the US starting in 1973 (-27%)

- A decrease in the countries emission starting in 2007 (-13%)

Meanwhile for the same period China has had

- a 7x increase per capita since 1973 (+532%)

- 48% increase for its global emissions since 2007

So it is possible to drastically reduce our carbon footprint thanks to innovation and smarter power generation.

Time to add tariffs on goods produced by states who made the decision of going all-in on polluting power generation, and potentially apply immigration quotas to citizens of these countries.

[0] https://www.cnbc.com/2019/11/26/us-leads-greenhouse-gas-emis...

[1] https://ourworldindata.org/co2/country/united-states

[2] https://ourworldindata.org/co2/country/china
It’s spelled Ethereum…
Would not updating the app save me from the subscription model?
This is an important issue that goes beyond layout and design. When active elements of a web site generate extreme distractions or lock up the browser or even the entire computer then not only is that site largely unusable with the content being unreadable but it also impacts any other use or application of the computer. This is a serious problem which has been growing worse over time with the bulking up of web content and proliferation of trackers and aggressive promotions.

It makes sense that many resort to ad and script blockers of various sorts, but it is also pretty clear that this has led to escalation and competition. Instead of being confident that powerful machines and blockers can solve this we need to find some way of taming the problem that ordinary people with ordinary browsers and configurations and machines can use to navigate the web and access content while retaining basic control of their attention, their browser, and their machines that they own.
I think it’s more ‘if someone goes through an expensive and extensive legal process to purchase at great expense, some real property, starts taking it as their own in good faith, then later what may be the prior legal owner, but who was not who did all the legal paperwork comes back to me and claims fraud - do I have to move?’

The issue is there are scenarios where the person writing the article may not actually be the legit owner - maybe they are delusional, or were squatting, or whatever. Maybe they are in league with the person who took off with the money, etc.

And the person who bought it is out real money on the meantime and is trying to make a home in good faith - it’s a pretty bad situation all around.
> People could apply this same reasoning to folks who work for the US federal government. Or defense contractors.

People making weapons are not smug do-gooders. It is pretty clear what a gun or cigarette does to people.

> Or fossil fuel companies.

Views move slowly. Hopefully Facebook will be viewed as the asbesthos or lobotomy of the early 21st century.
Not, I hasten to add, in numerous other ways. I only mentioned the similarities.
>What’s wrong about Nestle?

Nestle is the dietary equivalent of Facebook & Cambridge Analitica. [1][2]

[1] https://www.youtube.com/watch?v=rj6JOKrL_vg

[2] https://www.youtube.com/watch?v=MoKLovtnbGY
Bingo. Value, bottomline... it's about time to re-exam these assumed awards for what it really is and is it the same as everyone has assumed, and furthermore are these the right award worth all cost to pursue? Have we missed anything more profound more impactful but lack of immediate satisfactory of value, bottomline?
I personally feel it is a pro-rated cost. I completely understand in China doesn't want to add US technology to their critical infrastructure and I hope China understands the practicality of it. It's a one time sunk cost, we would have to do it at some point. We aren't waging economic warfare as this is a tiny amount of trade that happens between the USA and China, if your theory was correct we would be doing it in all industries.
The big black box makes a mistake and you voluntarily accept the blame? I really don't get this train of thought. I know that this is legally correct, but at some point in time along the technological advancement of self driving technology we'll have to stop blaming ourselves and legally shift the blame to whoever created the self driving tech instead.

Edit:
Updated wording to make it less confusing. From system to whoever created the self driving tech.
Two limitations with the type system currently are a lack of existential types as well as a lack of GADTs (general algebraic data types). Existential types would make it easier to work with unboxed lambdas when implementing a trait (since then you would be able to use type of the lambda for things like associated data types).

GADTs are useful for extremely generic code and are required if you want to write a general Monad trait. There is currently no way to write a trait which says return Self, but with a different generic argument. And not just Self, any associated type on a trait is a single type so you can't have a requirement for an associated type to be generic.

Finally, the procedural macro system is kind of a mess at the moment. Last time I checked, you really couldn't write a hygienic procedural macro (though I think this can be added later on without. A bigger limitation is that you don't really have any way to access type information in a procedural macro. Obviously type information is only available after parsing unless you make the macro system in Rust way more complicated, but it would be nice to have static type info for other modules. Having this information would allow you to do stuff like generating serialization code for some library that you don't control.
> It's not as common in the US

But culturally many companies operate that way. It's easy to fire someone within the first ~6 months; if you've been somewhere for awhile, you give longer than 6 weeks notice; and if you've been somewhere for awhile, you get severance.
Possession is 9/10ths of the law, and the gov’t likes to
claim possession of all real property in it’s borders in some way or another
I also agree that it's a bad definition.

Perhaps “worth is what people will pay for something for the sake of having it, rather than out of expectation that they can re-sell it for more”?
I am a big fan of Michael Polanyi's writings on tacit knowledge and I was disappointed to find that the author completely misuses the term.

Explicit knowledge can be codified and easily expressed. Tacit knowledge is not codified and not easily expressed. Given the details of story one (they went to a library and researched a variety of topics), that seems to clearly be referring to explicit knowledge. The second story is lacking crucial details about why it took a decade and $70m to replicate the foam, but we can assume that there was some reproducible process behind the original foam that was lost and required a great deal of effort to reproduce. Again, that would be explicit (not tacit) knowledge. The only way that it would not be is if there were individuals with a technique that was not codified and easily expressed that the original foam depended upon.
No shit. I was totally wrong. I picked a horrible example, lol. Thanks =)
> open source project of theirs that collects diagnostic information from NTP servers

What’s this project and what data does it collect? Pretty much every device connects to an NTP server, so this is intriguing.
> incompatible

How?
There is a national database. It is called SPEXS.
Let's see, drone research, bomb research, gunmaking and ammunition possibilities, research on fires, explosions and incendiary devices, quick suicide methods, drugs, legality and punishment for a lot of shit, etc.

Yep, I'm fucked :D
Being allowed to possess something (instead of being drug off kicking and screaming by the cops) is also a societal/legal construct.
If you cut past the gold rush and speculative bubble, the current uses are pretty mundane fintech stuff. Deposit savings, take out loans, &c.