skysight-inc/HackerNews huggingface dataset:
Is this actually hard to understand? Because this sort of visible opining just seems like an extension of the "It's unethical to support people fighting for their freedom" propaganda that's popular with the anti-war crowd. It's not particularly hard to understand wanting to give an underdog better odds even if you can't gurantee a win for them.
I don't want this to get distracted by chasing examples. If any of these are systemic, I'm curious.

That said, my assertion was that evidence is the algorithms in question are still valid. Usually, they are still champions in speed.

Certainly, folks have had to port and maintain the fortran compilers. Especially so to add targets.

But the very stability of fortran, the language, is a big boon to those implementations not having bit rot. And while I know they could be reimplemented, in what language? And to what real advantage?
No -- but NYC is a very large city. So comparatively, Hamburg is small.

City to city comparisons can be tricky because city borders vs metro area can be a bit arbitrary, but no matter which way you cut it NYC is vastly more populous.
Alex Jones will forever live in piety of the institution. That's fair recompense for terrorizing the lives of innocent people and encouraging thousands of others to do the same.

I'm all for free speech and civil conduct, but the legal system must allow room to prosecute concerted harassment campaigns like this one.
Interesting, on the one hand they don’t compete for precisely the same resources and terrain so there not in direct competition with each other. In particular there’s no competition between the males of the two species for females. On the other hand it’s not obvious that they gain from amicable social interactions, except perhaps the benefit of avoiding pointless and destructive competition that wouldn’t advantage either of them. Maybe for social animals, experiencing positive social interactions like this and the skills you learn from them can be a benefit in itself?

I think beyond the fact that they interact peacefully, the specifics of their interactions and their nature is good to have well documented. The unfortunate fact is these species* may* not be round forever and the more we learn about them when we have the opportunity the better, and there’s always the chance that understanding these animals better will help us preserve them for longer, in addition to what we might learn about our own nature and that of our common ancestors with these fascinating creatures.

* thanks for the fixes, autocorrect and posting from a phone at 3am aren’t a great combination.
Summary on Noise and Signal-to-Noise in Photodetector Systems (1979) [pdf]
Doesn't matter the reason, net net less goods were produced. Imports couldn't stay at 4Q:21 levels forever, only the timing of the imports was shifted around.
Fewer PHP jobs, or fewer job openings, or fewer postings? I don't know if "fewer PHP jobs" is true across the board, but might be regional or 'industrial'? It may just be because I try to stay plugged in, but I don't see a marked difference in PHP jobs.

I have a colleague who was at a place that had a decent PHP base. Several years old, but... it was mostly written by a couple of people, and it got... quite hairy. After 4-5 years, they brought in a very capable person, who began a lot of refactoring. But... he was still doing this primarily in isolation. The company was growing, but they kept treating the big monolith API ... as its own thing, and it kept getting harder to expand.

"We can't find good PHP people!". But... they weren't trying very hard. This was pre-pandemic, and they were requiring people to be onsite in most cases. Colleague pinged me last year - they started rebuilding in node "because it was easier to find people".

But... this was such a ... shifting of goal posts. The problem was not "PHP is bad", but letting one person write all your business logic in isolation from the rest of the company is bad. The node rebuild is a moderate size team, who have an existing API to code against, and they're all working, greenfield, with the latest/newest versions of everything. Somehow "node is better" is the lesson they're drawing from this.

My colleague had suggested "let's rebuild some portions of this monolith API as a group". "Nope, no time for that". Well... they made time, but decided that the language was the main root cause. I can guarantee if they'd let someone build large chunks of this on their own in isolation from everyone else for weeks/months at a time... they'd hit the same problems in the next year or so.

And so "PHP is dying" sort of becomes a self-fulfilling prophecy, at least in the eyes of some. Yet... I've been hearing it for 22 years. And it ain't going away. And yes, it's being used for new dev/projects. I'm scheduled to convert a java system over to PHP8 early next year.
An interesting bit from the article:

> Ironically, as the world reduces coal burning to curb the carbon dioxide emissions that cause global warming, we’ll also be eliminating the sulfur dioxide emissions that mask some of that warming.
>
> “Sulfur pollution that’s coming out of smokestacks right now is masking between a third and a half of the heating signal from the greenhouse gases humans have already emitted into the atmosphere,” Parson said.

That's not great.
Some of the jobs won't be posted - they'll just be in-network referrals. That's how much of my work comes to me.
Scott Gottlieb used to be the commissioner at the FDA. The level of collusion between authorities and industries is complete.
https://www.thinking-about-things.com and https://www.readsomethinginteresting.com are great.
The temperament of humanity is just that we can't solve a problem by producing and consuming less. We're not going to stop fighting this planet, and if that means we have to kick weather in the nuts, we'll do that too.
This was ambiguous, however, because this could mean simply increasing the strain on emplyees but the individual still pays (making the system larger and more complecated) or passing the costs to others. given "People should mind their own business" and "personal freedom of adults to make their own choices," the latter is somewhat inconsistent, hence the question. But really it's a request for clarification.
It was actually $40, but I think places that sell computers could add it for cheap enough that it came nearly free.
Yeah you can I am using Google Drive to sync my notes between my pc and my laptop, no problem so far.
Digital License Plates Become Legal in California
I've been playing with it a bit to understand if/how I can use it for manufacturing. It feels like out of the box it's not great for really specific stuff that might be useful industrially - think there are ways to improve it though. A very light summary below

https://www.linkedin.com/pulse/yet-another-stable-diffusion-...
I’m intrigued. Can you share any data points here?
Yep agree with most of what is written below, I am CTO at a listed company that is still very much a start-up (we went public too early IMO). I have infinite work and I expect the same to be true of most "start-ups".

Likewise all of my team - never a shortage of work - even if all client work is done there are a billion internal product things to be worked on!
ByteGraph: A high-performance distributed graph database in ByteDance
GrapheneOS is OK.

The keyboard kind of sucks.

Assuming you are unwilling to use google location services, GPS is flaky. As a consequence, Camera image location tagging is flaky. Most apps that use map views are broken. (Third party map apps like Here WeGo and Organic Maps and are generally fine, oddly enough.)

Backup is non-existent. (There is a thing. It does not work.)

Unless you want to sync documents through google or some other untrustworthy third party, there aren't any competitive "keep a text document synced between N devices" programs. (Standard Notes is the closest on this front.)

Phone calls and notifications work. Google Camera can be coerced into working (but geotags are iffy).

Google services that normally support anonymous users (especially Meet) aggressively detect android and refuse to work if you are not logged in.

Battery life is OK (as advertised) if you install google services in a sandbox. Stellar without them.

The pixel wireless fast charger has settings that cannot be changed through graphene. The charger setting app requires kernel level permissions for some reason.

Bluetooth support is the best I've seen.

No kernel panics, or strange battery drains, in my experience.

Always on VPN seems to work.

Performance is good.

My next phone will not be an android.

The tire fire caused by not allowing google location services is the main reason. App ecosystem is number two. Lack of working backup is three. The system keyboard is number four. The over processed aesthetic of the camera is number 5 (this last one comes down to taste).

Edit: I shouldn't have said app ecosystem. I meant the lack of non-privacy-invading apps that provide functionality that should be built in: Open PDF/docx/etc, scan + OCR to PDF from camera, print without granting randos permission to send documents to third parties, note sync, photo search, health data, etc...

Hope this helps!
> The far more expensive part, however, is the ongoing connectivity. SpaceX says it has paid for about 70% of the service provided to Ukraine and claims to have offered that highest level – $4,500 a month – to all terminals in Ukraine despite the majority only having signed on for the cheaper $500 per month service.

Dang, SpaceX is taking them to the cleaners.
AltaRock has gone a bit quiet, but the technology is still progressing at pace. Here is a more recent article about Quaise (a spinoff from AltaRock).

They’re still in lab testing, but they’re having promising results and aim to start field testing next year.

https://news.mit.edu/2022/quaise-energy-geothermal-0628
I would suggest azure has an approach that shows how iam can be a lot simpler. I can create a resource group, and make you a contributor on that group.

You now have full permissions to servers, storage and anything else created under that group without me having to enumerate them. If I want to create a new blob store under that group, you already have access without me having to edit iam. I can still make granular permissions where suitable.

Azure makes the path to having all console users require mfa much simpler too.
Postgres on Azure is terrible. Were you using Single Server, Flexible or Hyperscale/Citus?
Not meant to school or lecture anyone, but ‘morose’ stems from the Latin ‘mora’, meaning ‘delay', something slow. Examples from Latin.: _mora solvendi_ (delay in paying), _compensatio morae_ (compensation for the delay).

I believe that the original meaning is lost [or warped at least] when it becomes synonymous with bleak, cheerless, chill, Cimmerian, cloudy, cold, depressing...

But since it means ‘slow’ it also relates to blue, dejected, depressed, despondent, down, droopy, hangdog, inconsolable, low, melancholic[0].

[0]https://www.merriam-webster.com/thesaurus/morose
This may not help immediately, and I know the landscape has changed in many areas, but years ago, I went to multiple different tech groups and conferences - java, ruby, perl, ms/.net. I introduced myself as a PHP person. Beyond the standard lame jokes people tried to lay on me, I made connections. I was often the only PHP person some of these folks had ever met face to face. Months went by, and I would get calls from those same people "hey, someone is asking me for a PHP dev - are you available?" or "my friend's company has some PHP questions - can you help?"

This is not an immediate silver bullet, and I know COVID changed a lot of how we meet and interact. But... it may be something that helps someone out there.
I presume you mean vesting options? If so, then this means they need to still pay (albeit a discounted price) to get shares. And your employee sop, should have a limited time for them to exercise those options. If you’re early stage then do you truely think they will spend cash to buy shares with no liquidity (and possibly never of liquid value)?

Maybe this is a non-issue.
Imports are neutral in their impact on GDP (it is domestic product after all). Imports are included in investment/consumption/govt spending, then subtracted back out: net zero. So imports rising definitely was not the cause of decreased GDP.
I think we used to call this fascism. Not "everyone I don't like is a fascist," but real fascism.
Show HN: I wrote a short story about how crypto in VR might create AGI
Here's a 2020 overview of Rust verification tools https://alastairreid.github.io/rust-verification-tools/ - it says

> Auto-active verification tools

> While automatic tools focus on things not going wrong, auto-active verification tools help you verify some key properties of your code: data structure invariants, the results of functions, etc. The price that you pay for this extra power is that you may have to assist the tool by adding function contracts (pre/post-conditions for functions), loop invariants, type invariants, etc. to your code.

> The only auto-active verification tool that I am aware of is Prusti. Prusti is a really interesting tool because it exploits Rust’s unusual type system to help it verify code. Also Prusti has the slickest user interface: a VSCode extension that checks your code as you type it!

> https://marketplace.visualstudio.com/items?itemName=viper-ad...

Now, on that list, there is also https://github.com/facebookexperimental/MIRAI that, alongside the crate https://crates.io/crates/contracts (with the mirai_assertion feature enabled) enables writing code like this

#[ensures(person_name.is_some() -> ret.contains(person_name.unwrap()))]
fn geeting(person_name: Option<&str>) -> String {
let mut s = String::from("Hello");
if let Some(name) = person_name {
s.push(' ');
s.push_str(name);
}
s.push('!');
s
}

And have it checked at compile time that the assertion holds! Which is a bit like Liquid Haskell in capability: https://ucsd-progsys.github.io/liquidhaskell/

... and now I just noticed that prusti has a crate prusti_contracts that can do the same thing!! https://github.com/viperproject/prusti-dev/blob/master/prust...

Now I'm wondering which tool is more capable (as I understand, they leverage a SMT solver like Z3 to discharge the proof obligations, right?)
I haven't read 1984 yet to my chagrin
Sure, and by those metrics:

We are at an all-time high in terms of people employed: https://fred.stlouisfed.org/graph/fredgraph.png?g=UysZ

People are consuming more than ever before (even accounting for inflation): https://fred.stlouisfed.org/graph/fredgraph.png?g=UOQs

Now, to be my own Devil's Advocate, real wages are falling (though they are at about where they were pre-pandemic:
https://fred.stlouisfed.org/graph/fredgraph.png?g=SxFv

Compare that to even a mild recession like 1990, where we were 2mn below peak employment, real PCE was falling and real wages were falling.

The above is exactly why shorthand rules are not the best tools.
There is a long way from “we don’t fully understand the side effects” to the “extinction of human race”.
Potential Dark Matter Signal Gives Way to New Limits
Russia has kompromat.

All the best conservatives have it
> And post-capitalist?

Would you prefer "Post-ad-driven-, post-for-profit-, post-data-mining social media world" be preferable? I think we can agree that profit-maximalism has thoroughly fucked-up social media. Bonfire aims to buck that trend.
They were so preoccupied with whether they -could- that they didn't stop to think about whether they -should-.

Pithy joke aside, TCL is an underloved language and I'm always happy to see it in projects. Nice work!
For comparison, consumer Starlink service costs 230 PLN ($47) per month in Poland. AFAIK the consumer plan is not throttled, so what are they getting for $4,500?
Pitchbook's 3Q VC Report
There's very interesting stats in here. Thought I'd share.
We sure are all great on here aren’t we? Plaudits to everyone involved.
Real GDP

We've only recently seen nominal GDP declines in 2008 and 2020.
A coin with a market cap of $1B that falls 99% is worth $10m. I'd love to see the startup with more than a few employees where that leaves anybody but the founders with anything.

And usually these lesser known tokens are thinly traded and the volume doesn't support actually cashing out large trades at market price

But yeah, if you trick enough ignorant retail investors to bid up your token, you can siphon their money to your employees. Certainly.
Oracle lays off more than 200 California-based workers
Stepping one step behind, rather than financing government initiatives to improve/maintain vital infrastructure that will directly affect whole populations' lives, people will donate to private organizations and charities with shiny goals but way lower impact at scale, if the money ever gets used toward the described goal in the first place.

There's of course many reasons people make these choices, and I think that's where the interesting discussion lies and what we could focus on improving.
The global illicit drug trade this year exceeds US$300 billion.

That's about one quarter the global pharmaceutical industry.

Tightly controlled through official channels, sloshing around otherwise.
>The kernel lies to those programs

Doesn’t that cause the very problem it was meant to solve?

Programs ask for more memory, because they can.

Users run those programs, because there’s no indication anything is wrong.

And programs keep requesting more memory than need because the kernel cleans up after them!

Alternatively a kernel that actually gave non-malicious (?) programs the memory they requested exclusive access to would at first run worse, but long term perform better as users rightly pester app devs for apps that use excessive memory.
https://archive.ph/gco8t
> - However, we are in the process of creating a library of specifications for stdlib methods. We use a large-scale analysis framework (rust-corpus/qrates) to evaluate which methods are used most often. We try to specify such methods first to cover real-world Rust code usages.

I asked somewhere else about the difference of prusti and mirai but, could mirai also make use of this specification?

I see that prusti_contracts and the contracts crate have a different syntax, but many contracts written for one could be translated for other, right? (IOW I don't know how much their semantics differ)
Something about your post reminded me of this poem: https://www.poetryfoundation.org/poetrymagazine/browse?conte...

I hope he's OK too.
Eggdrop? Me too.
I'm glad you're confident, but you're wrong.

Net exports is a component of GDP and it's exports minus imports.

IDK where you got the idea you did.

> (it is domestic product after all)

Yeah, so buying more from overseas than you sell overseas is a net drag on the economy.

EDIT: Like here's the release, check it out for yourself. The tables start on page 11. https://www.bea.gov/sites/default/files/2022-09/gdp2q22_3rd....
What is the Python Job Delusion? [video]
Sure depends upon the side effect we didn't understand, doesn't it?
> If this happens at runtime, this means runtime evaluates the macro

Generally speaking this isn’t the case. There are probably exceptions besides a repl, but they’ll almost all be repl-like because macros are effectively functions of pre-compiled code, represented as lists as written in the code.

In other words, generally speaking, a lisp program’s life cycle goes something like this:

1. Developer writes lists.

2. Some of these lists are macros, compile them and execute them with their arguments. Many of these are themselves lists and symbols, which will be preserved according to various rules depending on which lisp you’re using and how they isolate code lists from program lists. It’s complicated.

3. Recurse step two until there are no more macro calls.

4. Now you have the actual program, and now you compile that.

5. Now you can execute the actual program.
Thanks to our current monetary system, begging is going to be a huge industry in the future.

Why work when you can make more money begging? Once you understand how the system works, begging carries no stigma. Money acquired through begging is more deserved than money acquired through big finance, big corporations or big government. I consider begging to be the most honorable of all rent-seeking professions; instead of extracting free money behind the scenes by befitting from all sorts of schemes, you do it face to face, out in the open, totally honest.
The "problem" is that Ukrainian troops are advancing into cells that were not activated because they were Russian-held. You can see this on the map (assuming it's up-to-date): https://www.starlink.com/map No conspiracy theory is needed to explain this.
I'm sure poor countries would love to turn their rice fields into soccer fields and feed themselves with more nutritious food, but they need to farm cheap calories to feed themselves with the amount of money they have.
> We hit over 1 million dead

The median age of a Covid-associated death in the US, with its hugely obese and unhealthy population, is about the same as the average life expectancy. (You can see here[0] that over half of all "deaths involving Covid" are aged 75 and over, compared against the US life expectancy between 78-79.)

You refer to "less economic damage", but that's the least of it. Diseases and deaths of despair like suicides or drug abuse shot up tremendously. Civil liberties were greatly degraded, and precedent has now been set for substantial suspension of normal life by executive fiat -- the old adage of never letting a crisis go to waste rings true. It's incomprehensibly more barbaric the way that we insisted on schools closing for multiple years, with most of the burden of learning loss falling on children whose parents aren't wealthy enough to hire private tutors or even have a separate room in their house for their so-called remote classes. In a country where a fifth of high-school graduates are functionally illiterate, that's a real tragedy.

All this for a disease that more often than not kills those who were already going to die very soon, anyway! Of course people think mistakes were made in policy.

[0]: https://www.cdc.gov/nchs/nvss/vsrr/covid_weekly/index.htm
Technology signature?
I understand what you’re saying and I could see how what your describing can be taken as a derivative effect from what I’ve been describing. I myself lack the proper words to explain it all. It’s just a very visceral reaction.

I’m beginning to feel like the way that the Western world expresses itself is at its hyperbolic peak and it’s exposing a lot of our insecurities.
Sounds more of a case of not realizing that spacex was supposed to negotiate with internet providers instead of taking the first value they offered.

Reminds me of ISPs harassing netflix to pay extra in addition to the prices they charged their consumers

https://www.theverge.com/2014/3/24/5541916/netflix-deal-with...

Assumably something similar is happening to SpaceX's offering
But continued support of Tories
After using AWS for 3+ years and GCP for about 6 months, I can say Azure significantly lags behind them. Their service reliability is astonishingly poor. I think our most recent issue was 67 VM failures in a VMSS (of 55 nodes) backing AKS (Azure Kubernetes Service) in a single month. The health events said there were some kind of "remote storage errors" making the VMs unhealthy

That's a couple months after the Ubuntu/systemd incident (Azure's "blessed" Linux image is Ubuntu and it has unatttended-upgrades enabled including on managed infrastructure like AKS (where you can't turn it off without dirty hacks). A bad Ubuntu update caused hosts to lose their DNS from DHCP config rendering massive amounts of machines in partially broken states)

https://thenewstack.io/ubuntu-linux-and-azure-dns-problem-gi...