skysight-inc/HackerNews huggingface dataset:
FoundationDB should have been included in their perf comparison. It’s ACID compliant and a distributed Value/Key store.

For SSD based storage, it’s getting 50k reads/sec PER core and scales linearly with # of cores you have in your cluster. (They achieved 8MM reads/sec with 384 cores)

https://apple.github.io/foundationdb/performance.html
Amazon sidewalk and similar will be selling zero config and out-of-consumer-control access to devices with a few years.
> Everything That Republicans Fear

> Gun culture is a canard and a corruption.

It's good that the NYT publishes stuff like this. Now we know that the NYT explicitly hates both the Second Amendment, and also a good chunk of ordinary Americans (i.e. the Republicans).
For the sake of argument I'll agree with you. Even then, there's a key difference between the two software stacks: anyone could improve LibreOffice.

Could you name an issue you have with Calc that makes you feel it is inferior to Excel? (something more specific than look-and-feel, ideally, although I admit that may be a factor in reality)
I do not think you can conclude anything from household prices. Those are artificially kept low in France and artificially kept high in Germany. Market prices are similar (higher at the moment in France because half of the nuclear plants are down).
Besides improving.duckduckgo.com , what other URLs have anonymous requests being made to DDG too that would trigger umatrix?
guile-emacs has atrocious string performance
> I bet if you're a device manufacturer right now and go to t-mobile enterprise sales and tell them you want 200MB of data per month per IMEI and you're going to have 50,000 units, you'll get a very attractive monthly price per unit.

Any ball park idea what this price might be? $10/year/device? Less?
Usually it can't do one thing at once.
> true(1)

Translates to

"Do nothing, successfuly"

This tickles my imposter syndrome
I could not imagine running rustc on a Rust program, let alone building a 200-crate dependency graph or all of rustc, on a 2000s car entertainment system microcontroller.
I'm from Argentina. We have a OLPC like plan named "Conectar Igualdad" And the City of Buenos Aires had (or have, I don't know if still running) another one named "Plan Sarmiento".

Both plans were the battle zone between Microsoft and open source software community.

For the first plan, the government started a project named Huayra Linux, a debian derivate with a bunch of software designed here for the kids. For Sarmiento, it came with a debian tweaked installation, that was barely working because the closed source of the wimax chipset (it was only working for windows, and yes, the students had free internet in the city)

The battle was so hard, that Microsoft licensed the windows distribution for 1 dollar each, and they got a contract where all the machines must to be installed with windows.

Despite a lot of trials and errors, a lot of work without a project to learn from (maybe ceybal from uruguay is the closest example of a really well project) and the scale (I'm talking about millions of notebooks) I'm sure that open source software is the best from a IT perspective, from social perspective and with the best margin to build things that your school, your students, your city or country needs.
Fiction is a tool used by humans to elicit, experience and process feelings under (mostly) safe circumstances. The details (such as how much the sea level would have to rise for this to be accurate) are not quite relevant; the point is to make the reader think about how they would feel if this sort of concern was just a commonplace consideration in their daily life. Is it not shocking? Uncomfortable? Sorta nihilism-inducing?

In summary: doesn't it make you want to act towards preventing this from ever being close to happening?
Lektor https://www.getlektor.com/

publishing with git: https://neurobin.org/docs/web/using-git-to-manage-a-website
Peoples politics are closer to sports team fandom than anything pragmatic. As long as you keep pulling the red or blue lever no matter what they don't have much incentive to do much of anything.
> What I mean by my comment is that typically with Hoare-style verifications, you add invariants to the program AFTER it has been constructed.

Ah, perhaps some people misuse predicate transformers that way, I don’t know. I do know however that that’s not how their inventors used them or meant for them to be used. The basic idea is that you define the postcondition you’d like to establish before writing any code. Then you derive a chain of predicate transformers such that the final precondition is suitable. A common choice is the predicate that is true for all states, but for partial correctness another might be used. Since any given predicate transformer has a syntactic representation, the result is the program text. As you can see the result is correct by construction.

I recommend reading Dijkstra’s A Discipline of Programming for pragmatic examples of using predicate transformers to derive correct programs. If you want a more rigorously formal treatment of the same subject there’s Dijkstra and Scholten’s Predicate Transformers and Program Semantics.

Edit: Here[1] is a nontrivial example, although it assumes some familiarity and doesn’t spell everything out. When you get to the acknowledgments section it’s clear why.

[1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD07xx/E...
Fantastic read. I loved David’s story, especially.
The Power of Tetris
The purpose (intent) wouldn’t be explained, but it could be useful for tools which have oddball syntax and are only used sometimes (infrequent enough for you to forget).
Fortunately the hardware can do other calculations as well
Interestingly, I found this site on HN https://synthshare.com/
https://news.ycombinator.com/item?id=13607451

From the Show HN post, it appears to run on a "take one, leave one" system of reviews but there is little information exposed on the site itself. It looks like there was some activity in the past few months but perhaps a bit quiet for a very sustainable network.

There is always a relevant reddit. I don't know how frequently things get deeply critiqued here but a decent number of posts have a few comments on them.
https://www.reddit.com/r/MusicCritique

Some producers I follow on Youtube operate Discords (some for Patrons only). These servers generally have a "share your tunes" channel for feedback but responses may be few and you're generally not guaranteed any review by the Artist themselves unless you're paying for it.
I’ve been sick 5 times this year so far with colds, each one seemingly worse than the previous. I’m not convinced that COVID wasn’t a biological attack on our immune systems.
It's not a simple sharing. It's actually share-nothing architecture and doing multi-key operations atomically is pretty complicated thing. I used paper from 2014 to solve this problem
Daycare: and then you have this: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4100471/

> Epidemiologic studies indicate that infections in early childhood may protect against pediatric acute lymphoblastic leukemia (ALL).
Your point is valid, however we shouldn't forget that right to repair doesn't mean being forbidden from buying new products. That is, people wanting to buy their new device wouldn't see any difference, until the day they're forced to buy a new product because either repairing it from only authorized shops is too costly, or because there are no documentation and spares available at all. A right to repair law would be a win-win scenario for everyone, except greedy beancounters of course.
> Linux still doesn't have anything remotely as capable as Active Directory.

I legitimately want more people to talk about this and to share their experiences. Do people run OpenLDAP? Something like FreeIPA? Maybe 389 Server?

What's the most popular or maybe easiest to use *nix solution for managing lots of accounts and devices, policy etc.? What about solutions for just managing accounts/login information or integrating with self-hosted software of all sorts?
Group Policy is low key the most powerful thing in tech. Secure all the clients? Yes. Personalize all the clients? Yes. Install software? Sure. Disable unsafe browser features in third party browsers? Also yes!

Group policy is such an insanely convenient configure-once-apply-everywhere system, I'm still not sure why anyone would run a corporate network without it. Modern MDM solutions don't even come close to the extensive level of customization you can do with a GPO.
These are touching portraits of people's backgrounds. However, they are exactly the archetypes I expect in the Venice homeless encampments.

The first person is an addict who chops up stolen bikes. The second person has untreated mental health issues. The third person came to LA with no money or employment because the weather was nicer.

They've all had struggles and we need better support for all of them, but nothing surprising here. It is nice to get a more individualized and personal background on each, it's easy to dehumanize when you're walking by and afraid of who is the 1-in-100 that's dangerous.
Using % to deal with the shameful number of tabs I have open is a killer feature.
I can’t even go and browse message boards as a distraction any more, sigh.
"Open source even if causing problems that dont exist with commercial solutions is worth it overall."

Spoken like someone who doesn't have to deal with the day-in-day-out hassle of running it in a school environment and dealing with the lack of knowledge and support from your superiors and users.
The Innovator's Dilemma is absolutely not about creating higher quality versions of products.
> I can definitely say that if you're experiencing I/O hangs, it's either misconfiguration or bad code in a package that you loaded.

As an emacs user and package developer of 20 years I can definitely say you are totally wrong. This is the kind of dismissive, unhelpful, and frankly extremely discouraging attitude that is slowly killing emacs.

Instead of taking responsibility for the fact that emacs is incredibly slow because of poor architectural decisions (like an insistence to not using fast native libraries and an incredibly slow language), the solution is apparently to blame the people who create packages. If developers they are creating packages that are slow, it is not their fault. It is the fault of emacs developers in refusing to modernize the architecture in a way that enables people to make efficient code.
Hey! I'm 17 here :D
If there is an apocalypse, it looks entirely contrived to me.

Spending untold billions to shut down the economy for most of 2 years is something I saw with my own eyes.

Sea level rises, and whatever else, not at all. The dire predictions have been coming for decades (remember Al Gore)? And nothing.. I suspect its just a trick that means we hand over greater control and money to the worst of us (government). And if it were real, I have zero trust in any governance structure to do the right thing as opposed to serving itself and its 'stakeholders' (aka corporations).
It won't confuse any reader on HackerNews who understand S3 buckets URL capabilities, but how many less web-savvy investors will be confused by the domain hosting this report, and think the report is published or endorsed by Amazon Web Services?

The cynic in me thinks that this was intentional to provide an additional air of credibility (subconscious or otherwise) to the presentation, which is otherwise extremely unprofessional in structure, framing, font selection, emphasis, tone, etc. It reminds me more of TimeCube [0] then professional investigative research/analysis.

[0] https://timecube.2enp.com/
It’s been reliably working for European flights for me for years. shrug
> Now that almost everything is accessed by a web browser... what do you even need Active Directory for?

What about signing in with your firstname.lastname account, with the particular web app talking with the AD server through something like LDAP?

Thus, your credentials for all of the integrated software should be managed centrally, in the particular AD server or a similar solution.

Or maybe even SSO with something like Kerberos or an alternative?
Indeed, I have a use case that would benefit from that (theoretically). I'll have to dig into the papers.
Pharo Features
I'll be looking forward to see how your access control feature works. I am currently using netmaker (netmaker.org) which is limited to allow/deny per endpoint instead of service based policy.

I really like you auth0 option for the self-hosted version. Having to host identity can be quite the security risk.

What I dislike a little right now are all the required open ports. I see of course why they are required, However having to secure all of them would be quite a feat. I am always a "simpler is better" proponent. Fewer ports will reduce the attack-surface to manage in the enterprise.

Keep up the good work!
This argument assumes the market is rational and well informed. It would be totally possible to have a market where a well-resourced player could tank arbitrary stocks, and smaller players would lose by betting against them. Making no claims about the situation here in particular, just that “put your money where your mouth is” isn’t convincing.
Ah yes, the world isn't perfect yet so we can't look at anything but, uh, I'd say climate change because that's on top of my list but it doesn't seem to be on yours? I guess different people find different things important.
> If you make tangential observations the conversation may move tangentially.

You (presumably) have agency, and could have chosen to answer the main question rather than labouring your misconstrual of the parenthetical.

> Areas of 2D shapes tend to represent some kind of quantity ...

They sometimes represent some kind of quantity, but here they don't, and despite my repeatedly asking you have been unable to provide any interpretation of what that quantity might mean. Lots of other people seem to be able to understand the graph just fine - perhaps you simply dislike the popularly stated inferences and are looking for holes to pick?
> Yes it can, it's all just waves.

No it cannot realistically because every single note made on the Prophet 5 is not exactly the same as the previous one due to the nature and complexity of analogue circuits. Add 2 VCO, 2 VCA , cross modulation and a VCF to the mix, your sampler will never behave exactly like a Prophet 5, no matter how many samples you make out of the original device.

Even 2 prophet 5 from the same revision do not sound exactly the same.
So Cassandra isn't a database? I'd say "thing that manages data" is a database, which is to say, a lot of things are databases.
I think first it would need to be established that she did in fact see the future.
It is a stretch to assume it. Billionaires generally do well in countries of hard-working, educated people. And they aren't running the show, although they might run a little bit of it.
Webscraping Proxy Library for Scrapy
Python library for dealing with proxies in your Scrapy project
Our question is: Why did the Pythia go into a frenzy?

The major theory you hear about this is that the Oracle was ingesting some kind of drug, possibly a psychedelic derived from rye fungi - but who can say with any certainty? Maybe it was just similar to the 'speaking in tounges' religious phenomenon, which has examples from all over the world:

https://www.skeptical-science.com/religion/speaking-in-tongu...
I'd go even further. EBITDA is still a made-up metric.
Did you think about re-using redis open source and "just" changing storage/replication? (like yugabytedb does with postgresql).

Why not reuse seastar framework?

Can you describe your distributed log thing? Is it like facebook-logdevice or apache-bookeeper?
"But we do know it was us that scorched the sky."
This specific bill was just about access to repair information and the ability to use third-party repair facilities. However, the Right to Repair organization specifically lists on their policy goals (https://www.repair.org/policy):

> Products should be designed to have their lifespan extended by regular maintenance and repair.

> Design: Integrate Design for Repair principles into eco-design product design practices.

And I have seen Right to Repair efforts that demanded repairable devices, even if that meant more bulk or more cost, or other tradeoffs.

Framework and similar efforts have demonstrated that it's possible to build a repairable device that people actually like, without compromising too much on other factors. But until those substantial engineering efforts had been put in, this seemed like a fundamental tradeoff between two sets of somewhat-incompatible properties consumers may want, and should be able to choose between. (It's still a tradeoff insofar as devices providing repairability don't provide all the features available from other devices.)
So, your entire tech support will be inundated with undoing scams and ransomware perpetrated by malicious search ads, for one.

Chrome is outright terrifying to have on a computer if you don't push down about four pages of enterprise policies to lock it down.

The idea of letting employees have administrative access to PCs that sensitive corporate data or childrens' personal info is on is downright terrifying.
Haha I see your appeal to authority and raise you another: besides Malone (billionaire) the other famous example for EBIDTA is Jeff Bezos (and many others I'm sure).

Jeff Bezos was always criticized because Amazon was 'unprofitable'. He was just playing a similar strategy to Malone's and mocked journalists who didn't understand what he was up to.
I just started working in the industry a couple years ago so please take what I say with a grain of salt - but in my experience, learning from a skilled person is much more efficient that any other form - a person can adapt the topic to your level of understanding, immediately clearing any misunderstanding. So wouldn't it be more efficient to hire a skilled person in your target field to teach you?
I would love to get 32/64GB version of MBP but Apple's markup for RAM is insane.

> Visual Studio, VSCode, Teams and the like use tons of RAM also. I miss native apps.

Yes, I hate Electron as well but I guess we'll just have to suck it up.
It's really good questions. I invite you to try it yourself using memtier_benchmark :)
if you pass `--key-maximum=0` you will get a single key contention when doing the loadtest. Spoiler alert - it's still much faster than Redis.
Nope. Website sends information to my computer, my computer displays it the way I want it to be displayed. The website sending the information doesn't own my computer.
> something happens only for 0.001% of all users

Like a fisher taking their account and convincing support they are the real user? You can't really blame fido for the fact that consolidation made a dangerous situation. I'm very happy with my past choices to intentionally lock myself out as a failsafe over a 50/50 chance that it's me who gets an account back.
Neither Z-wave or ZigBee are the type of thing that would have to be directly visible on your local network to work properly. Try Homekit or something that has actually uses IP networking.
I just created this account to thank you for posting this comment. After reading it I got and read the book you recommended, and it has really helped me with issues I've been struggling with for years.

I had not noticed the pattern of "avoid negative feelings" -> "negative feelings increase over time", and I actually thought problems like my anxiety had gotten better just because I had found more and more elaborate ways to try to avoid feeling it. In fact, it got worse and I became more and more avoidant of things that might trigger it.

Now the anxiety is still there, it still sucks, but I feel it without flinching and carry it with me without getting lost in the stories it tells. And by doing that, I have enough space in my mind to do the things I was avoiding and be more present.

So again, thank you for writing this comment. Know that you have really helped at least one person.
Odd thing for me to reach out, but I'm kind of turning this idea into a startup, along with some other algorithms/processing. (which is why I deleted it). Saw you have an nlp background, interested in working on a project?
That's #4 in the post..
30-40% of COVID infections are completely asymptomatic[1]. Experts estimate that 62-65% of the US has had COVID.

So, a US resident who hasn’t experienced any symptoms during the pandemic is about as likely to have had an asymptomatic COVID case as to have not had COVID.

Of course, the specifics depend on a person’s activities, geographic location, and whether they were tested despite lack of symptoms. But other than a few people who tested frequently throughout the pandemic, nobody in the US can conclude that they haven’t had it.

[1]: https://jamanetwork.com/journals/jamanetworkopen/fullarticle...
I'd say Apple is basically your only hope. And it remains to be seen whether Apple's car will ever ship, and if it does, it might not be available for the public to purchase.
So, just to make this clear, you were aware from the very start that

- At 2017 when the study was made, CLBG relied (and still is) on "FFI, unsafe code, and hand-written SIMD intrinsics".

- The author of that paper did in fact mention the benchmarks game.

- The two 2017 CLBG examples that hayley-patton linked are exactly the same in the study's github repo.

But despite that, you decided to waste everyone's time and your real complaint is that https://news.ycombinator.com/item?id=31502504 should have linked at the github links that I posted in https://news.ycombinator.com/item?id=31548339 even though contents are exactly the same (at least as far as the argument is concerned, I have not and will not check if one of the versions has an extra ; or whatever), is that right?

Edit: it came to my attention that you are the one running CLBG, you might want to mention that (either on your profile or on your posts) when you engage in CLBG-related arguments.
Hi everyone, I'm Victor and Product Lead at https://double.cloud if you have any questions feel free to fire them to me.
> exercise our immune systems

This is a widely held but incorrect belief. The immune system does not work like a muscle - it doesn't atrophy when unused and it doesn't become stronger from repeated challenge.

The immune hypothesis is about specific kinds of pathogens - parasites and bacterial microbiota[1] that humans co-evolved with and have specific defenses against (such as IgE antibodies). The exact mechanism(s) have yet to be determined but it's clear that lack of exposure during early childhood increases risk of autoimmunity.

Other than that, getting exposed to a larger variety of pathogens - especially viruses - just means you get sick more frequently[2].

The frequency of exposure to modern human viruses are a relatively new occurrence and there's no evidence that it benefits health - quite to the contrary, viruses are implicated in the pathogenesis of autoimmune diseases such as ME/CFS or MS.

[1]: https://www.bmj.com/content/349/bmj.g5267

[2]: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5320962/
Thank god there are some real people in here. haha

How was the handoff process for the number?
The idea is that it an example of explicitly non-linguistic thinking—hence not all thinking can be defined or limited by linguistic structures.
Manufacturing is generally pretty messy. But green tech has come a long way in identifying effective alternatives to toxic chemicals, as well as effective management and disposal techniques for what is toxic.

Odds are good that re-shored manufacturing will be cleaner than older plants built in regions with lower environmental regulation.
I think the key is "or purchased" being interpreted as an option but instead it's is a requirement to be one pathway to the loot boxes.
If you can add thermal storage to a nuclear plant, you can add thermal storage to a solar or wind farm and do it cheaper.
There a tons of free SSO services, such as Google.

And why do you need to control people’s laptop login? That can be local.