skysight-inc/HackerNews huggingface dataset:
But beside that (whch surely is the main reason), there is also a great difference between pozzolanic and portland, nowadays (and since several years) pozzolanic cement (for whatever reasons[1]) came out of use and anything today (and since several years) is portland.

I have worked with both in massive structures (mainly bridge foundations and tunnel lining) and the differences between the two is staggering, in practice portland cement based concrete is very good (compression resistance) already at 3 or 7 days, just fine at 28 days, but tops around the 60-90 days.

Pozzolanic cement based concrete is barely reaching specs at 28 days, but continues to mature (increasing resistance) for years to follow, expecially in massive layers and in humid environments.

If you prefere Portland is a better cememt because it is fast, but - given time - pozzolanic is way "stronger".

In tunnels (which have all the best requisites for concrete to mature correctly) we had at the time (some 30-40 years ago) specs of 250 Kg/cm2 cubic resistance (at 28 days), we used pozzolanic cement for the lower arch and portland for the vault, while both reached specs, after 2-3 years we made some tests and the vault (portland) reached 300, in some cases 350, the lower arch was never below 450, in some cases 500 and even 600.

[1] essentially because it cures faster, allows thinner layers/slabs and for anything where formwork is involved this makes a huge difference
The biggest value an aggregator can provide here is curation. The amount of free resources are so vast there's no way you would be able to find the perfect PNG or SVG — and sometimes it's badly traced from raster. I've been using https://thenounproject.com whenever I'm looking for symbols. They also have collections when you want to maintain consistency in a project.
Looking through the features, and the similarity of the architecture, looks like this is meant to compete with VS Code. Even the Settings implementation has the same global/user/workspace hierarchy; there's the 'trusted' code concept too. The one thing that might make it stand out is the smart mode: lightweight editor by default, and enabling it brings in the heavier IDE features.

Anecdotally I've stopped using Jetbrains IDEs due to the bloat factor and their relatively poor Linux support, where VSCode has been providing excellent support and still manages to stay lightweight (though, it's starting to get notification heavy, isn't it?). Fleet is aimed at people like us so I'm willing to give it a try, but expectations are low.
> Earth is currently a… "single point of failure"

The problem with Earth isn't Earth, it's us. Going to Mars isn't going to change everything about humans that has made us hellbent on destroying ourselves. It'll definitely be cool and exciting, and sure, maybe it'll offer some protection against a once-every-billion-years asteroid, but that is not the threat we face today. The threat we face today is ourselves. Going to another planet isn't going to fix that; it's just going to move the problem to a new place. At this stage in our development, thinking that colonizing Mars is going to solve our problems is like someone who has had a string of bad relationships thinking that maybe the next one will magically work out despite having taken absolutely no stock of themselves.
> Surprisingly, git seems quite humane, even when you screw things up it gives you a lot of safety mechanisms to recover.

You have to earn it. I admit that when I started using git sometimes I made a copy of the repo just in case I ended in a state that made it easier to nuke it and start again
FWIW, I've tried to do that for my almost-5-yo by starting with an account for him only: unfortunately, even with family-controlled account (whatever their terminology is), I wasn't able to do that (at least not with a non-gmail address). Google kept throwing weird errors after attempting to validate the account with 2FA through SMS on my phone number. Yes, I even tried "family link" or whatever using an Android phone (I originally tried using only a computer).

It seems it might be related to legislation surrounding account ownership by minors, but I have no idea how to confirm it, esp since it's supposed to work when a parent controls the account.
They could compete with VSCode, but what would be their competitive advantage? Being a pale imitation of VSCode with fewer features and tied to an online offering that has less mindshare than Github doesn't seem to me like it's a winning strategy.
This reminds me Apple in the early 2000s: a simple message promising a fundamental improvement in some aspect of the world.

If it lives up to the message, this would grow into a massive fund, just as Apple grew into a trillion dollar plus company, and like Apple, this capital would enable this company's to realize its vision at a global scale.

The free market is a beautiful thing.
Very well, if you insist on ignoring the broader point in favor of the specific example, then replace `length` with `is`. We can unify `X is 3 * 3`, we cannot unify `9 is 3 * X` (at least not in SWI-Prolog v8.4.1). Therefore, we can call the thing to the left of `is` the output and the thing to the right of `is` the input.
Little bit offtopic; I try jetbrains ide's every time I get a new laptop; lately Rider for a 1m+ LoC c# project on my 16gb m1. It is unusable. I like the features but it is so incredibly slow... and it gets even slower as the day goes on.
Looks like it places itself a little above VSCode, thanks to its Intellij code engine. Also remote coding means you could have a much beefier machine elsewhere and code on a notebook on the go, for example.
By the time lead is detectable it has done meaningful damage. Yes it’s better to prevent more at that point so don’t stop testing. But testing is a poor prevention mechanism. Lead also does damage below the threshold of detection.
I'd happily allow ads (to an extent) if the content creator were in control and would actually receive 100% of the revenue. But this is not what's happening: YouTube controls when to play ads and how many and only a small percentage of the revenue - if anything - goes to the creator.

This can have consequences bordering on the absurd, e.g. if someone uses a YouTube video in their presentation and is forced to interrupt the presentation to wait for the ad.
Mr. Morrison seems to be a senseless populist that doesn't understand what he is talking about.

> The new legislation will introduce a complaints mechanism, so that if somebody thinks they are being defamed, bullied or attacked on social media, they will be able to require the platform to take the material down.

If you cannot predict the consequences, I believe you cannot craft sensible policy either. No offense to those that voted for him.
I really hope it's not Java mess either: no Wayland support, lags
I'm in the opposite bucket regarding symptoms unfortunately. First shot gave somewhat unusual symptoms which were brushed off. Only after the left side of my face went numb after shot two did they consider allergic reaction.

The side effects of the vaccines, while generally not that severe, are very real. Discounting them just because you were lucky isn't the best way to go about it imo.

I'm not looking forward to the mandatory booster.
I really hope it's free too. Otherwise it makes no sense. As a customer paying for full IDE(Rider) I won't kneecap myself by paying for vscode alternative, even though I really hate working in vscode.
If they make it free, they could get a big chunk of the market, especially if they actually provide it with IntelliJ level of autocomplete, refactorings, multicursor support etc. They have quite a lot of money from regular IDEs, if they can release this for free and monetize cloud support, I think they'll be fine. It probably won't take away money from fully fledged IDE users anyway, but I'd love to have IntelliJ-vscode alternative.
Dark mode with 1 line of CSS
According to emacswiki anything.el (which was the predecessor of Helm) started in 2007. Compared to that Sublime v2 which had the command palette according to the article, came out in 2013.
Show HN: Online converter LeaksID with 50% off today at Cyber Monday
> They seem to mostly seem to have concerns about the actual vaccines similar to western anti-vaxxers.

You mean the western anti-vaxxers who say it is an experimental vaccine tricking the world into steralizing itself?
There is an ASTM standard: "ASTM C618 Standard Specification for Coal Fly Ash and Raw or
Calcined Natural Pozzolan for Use in Concrete (AASHTO M 295)."[1]

Fly ash, like volcanic ash, is a pozzlanic ash. Both work in concrete. Fly ash is pulled out of the exhaust from a coal-fired power plant using electrostatic precipitators. Just like electrostatic air cleaners, but huge, they pull particles out of gases. So fly ash is cheap if there's a coal-fired power plant nearby. Convenient when there is no volcano handy.

There are downsides. The concrete takes longer to cure, which can hold up the next stage of construction. Curing in cold weather is difficult. The Romans didn't have that problem in their Mediterranean climate. Concrete curing requires some air in the mix, and fly ash, for some reason, tends to entrain less air than Portland cement.[2]

[1] https://www.cement.org/docs/default-source/fc_concrete_techn...

[2] https://www.fhwa.dot.gov/PAVEMENT/recycling/fach03.cfm
> Where's the advantage of instagram, whatsapp and Facebook belonging to one company?

Common-ish arguments for monopolies, as applied to this situation:

* potentially the interoperability you indicate

* infrastructure investment leading to stability

* similarly: best in class client side software

* security / privacy guarantees (yes. I know, ironic, etc. but the fully distributed multi-company alternative is likely worse on these dimensions)

* single point of accountability for the state and law enforcement. (yes. not likely a HN concern. Still valuable to the state and potentially regular consumers.)

* general pro monopoly argument: fewer resources are wasted in competition, and so can be applied to product development and research. i.e. bell labs

IDK how I feel the scales tip in this case, but treating it as cut and dry feels a bit naive.
"In theory" is an important caveat there. .

Downsides:

* Higher risk - a bigger database to attack.

* A very big single point of failure

* Slows down innovation

* Less private

Upsides (for society):

* ???
Don't make assumptions about me. A LaTeX document is also virtually never directly consumed by web browsers.
In addition to that we are considering LaTeX for the web, not DVI, not PDF, not something else that you compile LaTeX into.

And well, given the amount of people that use overleaf I would say that a lot of people (although writers instead of readers) consume LaTeX.

(Btw, you can compile html too, try printing it as ps/pdf document)
And VS Code's hosted offering (VSCode.dev and GitHub Codespaces). Fleet doesn't seem to run in the browser which could offer a better UX. The remote capabilities also look to be more seamless as VS Code is still local by default and even after you connect remotely, it still mostly offers to open/browse local files (which could be considered a pro)
Sorry guys, but I genuinely don't understand what's the point of this. Is it an e-reader like the kindle reader for browser?
Perhaps I'm biased, but I find navigating application menus on MacOS infinitely easier due to the fact that it's location is constant and dictated by Apple. On Windows (or even Linux) I have to go searching for the menu items for each new application I'm using, and some feature (like quitting) seems to often be purposefully hidden away. Infuriating if you ask me.
MBSR teacher (well, learning!) here. I would also be skeptical based purely on the sample size, but MBSR as a treatment is pretty well researched and documented. It's been around for 40+ years and there is fairly extensive supporting research [1].

So - I wouldn't be in any way surprised if there are other related treatments which have high levels of efficacy...

[1] https://en.wikipedia.org/wiki/Mindfulness-based_stress_reduc...
Sure, for users who don't mind not having it. But for me I can't use anything without it. I vim all the things: my browser, my editor (vim of course), and will sure as shit shill for anything that makes more than a half baked effort to cater to my vim obsession. So for <i>me</i> it's a deal breaker, might not be for you.
Industries with potential market gaps in 2022
It can matter. One thing that is hard to impossible to Google is Alonzo Church's early 1970s paper on an hyperintensional logic he called LSD.
Typically papers like this find some instrument. The fact they don't have one might explain why they went for PNAS and not an economics journal, which are usually more rigorous (or more anal?) That said, their results on trust fit their mechanism pretty well.

The big possible confounder might be that the inquisition correlates with Muslim ("morisco") or Jewish presence. There's a big literature arguing that ethnic heterogeneity weakens trust, and that might persist over time even when the ethnic heterogeneity has vanished. But: "adding a control for pre-expulsion morisco population has little impact on the results."
Clean, pre-industrial air contains about 1 ng lead per m³ which is easily detectable. This means you can detect lead in any thing that lives or has lived.
> The decisive factor will be what does it bring over vscode?

Hopefully a native, non-electron mess. I'm excited to check it out. Plugins should fix any holes with respect to vim mode ;-).
They are going to expect that the founder can leave a functional company.

A company that requires them to build a leadership team or hire replacement talent to maintain doesn't sound like what they are looking for.

If needed, the founder should do that first.
> the very notion of forced conversion is understood as not only evil by Catholics

Funny you say that, given how one of the cornerstones of Catholicism is forced conversion of children.
Which bits are slow?
There's Plotinus: https://github.com/p-e-w/plotinus

I've tried it, but it doesn't work in most of the apps I use like LibreOffice, Firefox, Double Commander.
Comparison with similar software -

https://wiki.kavitareader.com/en/faq/compare-to-competition
It is supposed to be fast, but starts up in “seconds”. Shame.
Legal-I – Multiple Roles – Onsite Within Bern, Switzerland – Full-Time
Insurances voted us in September 2021 as the most innovative insurtech startup in the DACH-region 2021. We have one mission: Accelerating medical insurance cases. With our software, legal procedures take months instead of years and injured people get their claims settled faster and fairer. We are passionate about satisfying our users’ needs with the most modern technologies in the best possible way.
For our Swiss team, we're looking for a DevOps Engineer (AWS, Terraform, Docker) and a Full-Stack Engineer (Vue.js, Python, Java). You don’t have to be the best coder in the world to join us, but you have to be willing to become it!
More info and applications: markus.baumgartner@legal-i.ch
The M1 air is absolutely the best computer (not just laptop) I have ever used. I’ve used laptops since about the year 2000, and custom desktops throughout this time too. I built a Ryzen 3600 desktop computer in 2020 and a year later this ultra-thin just laptop blew it away. It was cheaper too and didn’t make noise OR heat! All tasks were quicker to accomplish: transcoding video, compiling programs, opening programs, the lot BESIDES gaming. The battery life was the cherry on top… I mostly use emacs in my day and I can get 20 hours from a charge. It was unbelievable to finally have a nearly perfect machine which I could slip into my backpack and hardly notice.

The press on the Apple ARM processors is well deserved and I’ve also been throughly enjoying my new M1 Pro processor this week.
Username checks out? Are people who compile markdown, org (or even LaTeX) via pandoc into html somehow "garbage coders"?
Well, I mean to be fair the coding services for most languages in vscode other than js (ie java, c, rust, python, go, php, c#, ruby specifically) suck totally compared to the JB tooling.

Let’s not play “pretend vscode is amazing” here today.

The plug-ins for many languages are of massively varying quality and some of them really suck.

The only thing they having going for them is being free.

So… It’s pretty questionable to say:

> What can Fleet do that VSCode doesn't already do better?

Obviously, support languages with the full range of JB tooling, that is categorically better than the pathetic support vscode offers for, say, c#.

…but, those tools cost $$$, and if you mean, “is it worth paying for the things Fleet can do over vscode…?” Well… it’s hard to say.

Probably not for most vscode users.
What sort of features are you thinking of that would require changes to the tools and/or the kernel?
Any "advanced version" of this question? I see pretty good beginner answers, but what if I have no problem holding a conversation and I just want to go deeper?

And my contribution: approach the date with curiosity. Try to find out what their story is. Other than that, make a reflex to avoid questions that can be answered by yes/no. They will turn the conversation into an interrogation.

Also, don't be afraid of pauses. In a date, conversation is actually the filler - attraction is created by the tension in the silences.
Isn't it already possible using Intellij? Would have to see just how much "lightweight" it is to justify the concept
And/Or Matrix
Lots of people buy their phones in the USA through relatives and then ship them to their own country. That might have prompted Apple to support stuff that they no longer need in the US?
Of course it can. If it hadn't already done so at least once, we wouldn't even be here.
Anthocyanins is what got the 7 year old me interested in chemistry. Mom showed me how red cabbage changes colour from red to blue when the pH changes. This got me to test every single colorful thing for pH-related changes.
Meanwhile IntelliJ is rotting with months-old bugs that render entire features useless, with no fixes and no ETAs in sight. The only product that I pay money for that constantly, on almost every release, pains me with new bugs, a good portion of which are never fixed. I thought about using other Jetbrains products like DataGrip (and now this Fleet), but I'm not going to invest even more into a company that simply refuses to fix bugs and regressions.
https://play.unity.com/

https://simmer.io

there are several other unity only web game sites and lots of others with not just unity

https://itch.io/games/free/unity
Agreed, the post would be much better if it stuck to the facts (and had a few more pictures!), as opposed to the chest-thumping rants about how the author is superior to "dumb Americans" for paying a mere $1,200 for copy of Zelda they're never going to play, instead of $800,000.
I have worked in the defence sector on similar things and agree with the not invented here thing. At the same time it breeds tools out of necessity. My only tale on tale is that I pretty much designed and built ansible in Perl in 1999.

Of course, young and inexperienced, I did not see the potential preferring mild alcoholism and socialising. Doh!
> Advertising is disgusting honestly

Again, they give you the options: subscription model or ad-based model.

This covers the cost of infrastructure, paying creators, and paying developers.

It doesn’t make sense that they or any other company will host and send you video for free at a financial loss to themselves because you’re watching it on “your computer.”

Then again, we live in a world where drugstore makeup needs to be kept behind lock and key, so this shouldn’t be surprising.
>If they make it free, they could get a big chunk of the market, especially if they actually provide it with IntelliJ level of autocomplete, refactorings, multicursor support etc.

If they did that, then why would anyone buy IntelliJ?

I understand why Microsoft came out with VSCode. They didn't have anything to offer for developers who weren't already bought into the Windows/.Net stack. VSCode was an effort to reach out to those developers and tell them, "Hey, even if you don't use Windows, even if you've never touched C#, we still have something to offer you."

JetBrains isn't in that position. Their IDEs are cross-platform (though, admittedly, some platforms are more equal than others). Moreover, their IDEs are all they have. They're not like Microsoft, where sacrificing some Visual Studio sales can be justified as a way of attracting developers to the broader platform.

I really don't understand the product strategy here. Either they keep Fleet cut down, disadvantaging it in comparisons against VSCode, or they make it full-featured, and cannibalize IntelliJ license renewals.

What's the long-term play that I'm missing?
Then again, there's still a lot about today that they would find familiar. If you took them camping and did some drumming around a campfire, they'd be pretty much at home. If you took them to a wedding or to a funeral they would have some cultural recognition of the reasons for the ceremony, even if the ceremony itself was unfamiliar.
Another opinion: pastel blues like #3f51b5 remind me of Facebook; current #1a21ff feels unique and it's comfortable enough to read for me. Especially given a rather low amount of text combined with cards with different backgrounds.
Or better : outlaw ski lifts. You can still do some skiing or snowboarding, but you have to get to the summit yourself like alpine hunters.
Toolbars for the stuff you don't use frequently and therefore don't know the keyboard shortcuts, but still need those functions now and than.

But menus? Nobody would need them if command palettes would have some discoverable hierarchic structure to them. That's the last missing part to make command palettes "perfect".
Also even native swear-words don't have the cultural taboo in Sweden that they do in anglo-cultures. The last time I remember someone frowning at curse words was when I was ~8 at the house of a classmate with very conservative Christian parents.
Just to let you know at least one person appreciated the Arlo Guthrie reference.
> "Our consumer research indicates that, despite the smaller size, there was no change in the perceived value of the product because of the benefits of the added features."

This sentance makes a mockery of the whole concept of resarch and data-driven decision making.
If this can be 90% of the basic VSCode editor experience then I'm interested. Full props to VSCode's more advanced workflows[0], but I've mostly bought into jetbrains for that use case at this point. If I can fill the basic slot with a jetbrains product it fits well into my goal of a uniform tooling experience across everything. Fingers crossed for a good product that'll push both it and vscode to be better.

[0]I use vscode as a basic text editor that can handle lots of files in a multi directory workspace because it's fast at it, plus markdown rendering and some basic autocomplete. I don't use the debugging features, navigation, or anything similar in it, but like I said, I give it full marks for being capable there, it's just that's outside my use case.
Seems like the person in question re-invented "NNLS chroma" or "Harmonic Pitch Class Profiles", which are often used for automatic chord transcription and related tasks.

See, for example: http://isophonics.net/nnls-chroma or https://www.upf.edu/web/mtg/hpc