skysight-inc/HackerNews huggingface dataset:
Gratis vs Libre, perhaps. It’s a shame English is so stunted in this regard.
Searchable List of Mastodon Servers
> The trade-off is obvious: you gain confidence about your program but you need to Learn More Stuff

This is why engineering/software articles in general (this one included) needs to bring up tradeoffs more often. No, "learning more stuff" is not a downside or a tradeoff, it's just a fact of learning anything.

That you introduce more coupling is a tradeoff. That the program (sometimes) gets harder to change is a tradeoff. That is becomes easier to write large, messy programs because programmers feel more safe in the future to refactor, is a tradeoff. Trying to fix each one of those tradeoffs also come with their own tradeoffs, and so on.

These are "apparent" for me, when talking about languages using static types vs dynamic languages, but it is not apparent for everyone. So when bringing up these "obvious" upsides, also bring up the "obvious" downsides, as it seems quite a lot of people don't see it as "obvious" as we do.
What is this madness?

Nothing should have to be parsed. Write test results to sqlite, done. You can generate reports directly off those test databases using anything of your choice.

your-program test-re.sqlite output.html
ProtonMail Visionary back for Black Friday
Seems to be back for Black Friday.

Sign up for Unlimited, then the upgrade is available (credit applied for what you paid for Unlimited). Two years paid up front, 40% discount. Discount not available for current Visionary subscribers.
I'm sure he will be so distraught to hear this.
> almost no one in the meeting spent the majority of the calendar year on their lands

And this is the thing. Many are absentee landlords, and their 'stewardship', such as it is, amounts to doing little-to-nothing until the borders of far-flung suburbs edge up to their property, then they can either sell it to Wal*Mart or outlet store developer and make a tidy profit, or contract with a housing developer to get it rezoned, parcel it out, and make a huge profit turning it over to homebuyers.

They are all territorial and have personal relationships with the land until someone waves a few $million in front of them.
This is fascinating, and deserves its own article. People do the darndest things.
> So many people believe that it is the actual gate size

They never state it was the actual gate size in the first place. May be you should blame the media for it?

And just to reply to parents.

> TSMC does sometimes call the nodes eg "N7" now.

It is not sometimes. TSMC has always been very careful and calling it N7 or N10 all the way back to 28nm era. What the media, marketing and other PR decided to call it are entirely different matter. This is especially problematic since ~2015 when they have gotten thousands if not millions times more media coverage.
Show HN: Luminal – A truly statically typed Python notebook
Hi everyone! We're the co-founders of Luminal.

We built Luminal because we were frustrated with existing Python notebooks.

Python is a very powerful programming language, but it can be hard/confusing to use. There are a few aspects to this:

• Python likes functions with _lots_ of arguments. Without good type info this means constantly switching back and forth between the docs and your editor.

• Except for basic syntax errors, you generally don't know that you have an error in your code until you run it. This can be very annoying, especially if running takes a while!

• Many things that are commonly done in Python are well... common. Reading data, plotting, writing data, filtering, etc. However, they can still take quite a while to figure out in practice. That shouldn't be the case.

• Existing browser-based notebooks tend to be on the slow side.

MyPy helps with the first two items, but we wanted a notebook that was really built for statically typed Python, instead of it just being a plugin.

So we built Luminal.

Luminal was built with static typing, speed and collaboration in mind from day one, meaning that:

• When you write code you have best-in-class auto-complete right there, including all the relevant type information and docs (even for specific parameters!).

• You can find issues in your code earlier (before you run your code) thanks to static analysis.

• You can use no-code cells to generate code for tedious/repetitive tasks. The generated code is high quality thanks to the contextual information available through static typing.

• You can collaborate on scripts with others in real-time or share a script via link for someone else to use.

• Luminal is built to be fast and "just work".

... And this is just the beginning! There's so much we want to do with Luminal to take the friction out of writing Python, but you have to make a start somewhere and this is it! We hope you're as excited as we are about making Python easier to use and we're looking forward to your thoughts and feedback!
Several kinds of semiconductor materials are used for high power or high frequency applications but only at much larger process nodes. For example Gallium Nitride, InP, SiGe.
Bullshit. I highly doubt that 69-year-old Pamela Hemphill was attacking police officers. According to her court case, she was accused of “ demonstrating, parading or picketing in the U.S. Capitol building.” Or, in other words, criticizing the government.

Many of these people have been sitting in prison for two years without being charged with anything, and many of them who have been charged have only been charged with minor misdemeanors. Feel free to go look at ALL the cases, not just the handful cherry-picked by the Ministers of Propaganda.
The particular measurements of the elements are not interesting, but the transistor densities are meaningful. I would expect a 1nm chip to achieve densities 100x a 10nm chip. That seems unlikely.
Isn't the gate part of the transistor? Or can I pack multiple FETs with a common gate in denser?
> Since when is it acceptable to trick laypeople, especially when laypeople are buying products with the false advertising (cpus...)?

This is such a HN issue. It's not tricking people because the vast majority of layman don't even care about node size, gate size or the manufacturing process. The number of times I have encountered a person outside of a tech bubble that cared about the manufacturing process of a CPU is exactly zero.

What people do care about: does it work, is it fast, is it efficient and can I afford it. At least for performance and efficiency the marketing term does give a somewhat reliable indication of the generational gains.
Another obvious example is the CUDA toolkit - unless you don't consider it a programming tool.
lol this is a fantastic summary
The idea of an anarcho-capitalist society functioning peacefully is pure delusion and ignores basically everything from history and observations of reality. It most importantly ignores the concept of power. There would be no free exchange at all. It would be all coercion all the time, an actual hellworld.
>Please note at this early stage we only offer shipping to countries outside of Europe.

Don't you mean inside?
> There is no scenario in which a manned rotary craft competes with a drone on cost.

What drone competes with a manned MH-74 on cost? It seems like the traditional drone advantages disappear when the payload is humans.
Echo chambers lead to gas chambers.
I remember when Bush vs Kerry, they did a comparison between their policies and there was about a 3% difference between them.

The Democrats and the Republicans force a false dichotomy. In reality they are the same side of the coin, and we are all on the other side.

Yes, Bush had a military hard-on for Iraq that killed a million and ruined the Middle East. Fuck that war criminal. Yes, Gore probably wouldn't have invaded Iraq, but then again Trump wouldn't have fought the proxy war against Russia right now. Obama authorized the incursions in Honduras that have caused the humanitarian crisis at our borders these days. All US presidents love feeding the military industrial complex.
My advice: Relax and don't argue. People who don't understand that constructing an EmailAddress type is also validating the raw email string (in this case) will never understand it. They'll remain convinced for a very long time, possibly the rest of their lives, that they know better. That passing a string around is fine as long as either you always validate it everywhere (yes, kill your performance, that's smart) or that they validated it once and they pinky swear to never change the value and to always call validate before passing it into the system.

Let them find subtle errors in their programs over time, it's job security for them. They don't want to move on to new and more interesting things they just want to keep fixing the same shit for the rest of their careers.
> I know there are Marxists who claim that the USSR wasn’t even properly socialist,

You don't have to be a Marxist to claim that the USSR wasn't properly "socialist." You just have to read whoever you think lays out a clear definition of socialism, and compare it to the government of the USSR as observed.

When your analysis of the facts of the situation values the power dynamics of differing groups of adherents to fringe radical movements over simple observation and checking of requirements off of a list, you're caught up in political drama, not ideological drama.
Micro black hole > Black holes in quantum theories of gravity
https://en.wikipedia.org/wiki/Micro_black_hole#Black_holes_i...

Virtual black hole https://en.wikipedia.org/wiki/Virtual_black_hole

Timeline of gravitational physics and relativity https://en.wikipedia.org/wiki/Timeline_of_gravitational_phys...

- [ ] Superfluid Quantum Gravity

-- [ ] GR + Bernoulli's re: Dark Matter/Energy: Fedi (2017),

"What If (Tiny) Black Holes Are Everywhere?"
https://youtu.be/srVKjWn26AQ

> Just one Planck relic per 30km cube, and that’s enough to make up most of the mass in the universe

Quantum foam: https://en.wikipedia.org/wiki/Quantum_foam
The worst NIMBYs are the ones in rural areas who think that because their family has owned the land for 3 generations they have a natural right to it. Never mind that it was stolen from indigenous peoples who have a better claim on those grounds, because the current landowners will say those people never "used" the land, they were just visitors.

Edit to add an example: https://www.hcn.org/issues/53.7/north-extremism-how-a-trail-...
It fooled The Economist. In this article TSMC is depicted in a chart as having >90% market share for "<10nm gate size": https://www.economist.com/asia/2022/05/26/taiwan-is-worried-...
I agree that solid epistemology has better specificity and sensitivity for what's true, and that's the idea with independent fact-checker institutions, but it appears none have managed to gain or retain widespread trust.

An approximate correlation is progress here. If you know of a better heuristic I'd be very interested in hearing it.

Also, can we agree on what problem is most important to be solving right now? Is it 1) we haven't reached complete truth across all dimensions of knowledge or that 2) we need to build bridges crossing the massive societal trust schisms?
I disagree with your criticisms as you’ve stated them.
I posit if those people could fix this problem, they would have fixed the problem in 2016

Here we are 8+ years after FSD introduction, and the thing still doesn't do emergency braking correctly yet.
Wouldn't every company love to have an excuse to slash 10% of its workforce? It feels like under-performers slipping through the hiring filters is just a part of doing business, an excuse to remedy that without a huge negative PR backlash is ideal for them.
2b)

You drop a bottle on a biking trail. Do you clean it up?

I mean, you likely won't get caught or in trouble if you don't, but you're apt to cause other humans harm by increasing the risk they'll get a flat tire.

You drop a bottle off the edge of a cliff. Do you clean it up?

Most people would not, the time and risk of getting to where the bottle is, is high versus the risk of someone being hurt by it.

I believe you've discounted a huge amount of the probability and calculation our minds do in a subconscious manner. Try to catch a ball in zero gravity for a lesson in our built in assumptions.
There isn't a reason why you shouldn't write something like $100 * (£20 / £47) as "int dollars = 100 * 20 / 47;". Note that this expression assicates to the left instead of the right, which can be the right thing to do if doing integer arithmetic. But it would not work with a strongly typed setup as in your example.

In my experience trying to prevent accidental mistakes is a waste of time and often makes our lives miserable. Catching the rare bug by doing complicated work in the type system when it would have been easy to find in normal code anyway is not worth it.
I worked on heliportable seismic crews a long time ago all over the western and central US. Many of them used Bell helicopters Jet Rangers. Hueys were still dominant in offshore operations flying out of Louisiana.

In the mountain states there were several bad crashes and enough of them involved Jet Rangers that it acquired the nickname "Death Ranger" on a couple crews I was with. Probably not the helicopter's fault since it has a great reputation everywhere else. Bad things happen when you ignore safety training and maintenance. Those seismic crews were full of dopeheads.

For lifting in the mountains you almost always saw the French Aerospatiale Lama. It was a great helicopter and when equipped with a long enough line could move your drills and assorted equipment anywhere on the slope.

Most pilots back then were Vietnam veterans. You always knew you were in good hands with one of those guys flying. I imagine most are retired by now. One in my area rebuilds helicopters for military museums and other clients. I see him fairly often on low level flights checking everything out on his latest rebuild.

I've loved helicopters since I was a kid growing up near Ft Hood during the Vietnam War. The skies were always filled with helicopters. To this day when I'm inside and hear a chopper I feel the urge to run outside a see which one it is. I am apparently too old now to reasonably expect to be able to grow out of it. They all have distinctive approach and departure sound profiles. The strangest helicopter I have seen was a full-size robotic chopper (large enough for pilot and co-pilot but it had no cockpit windshield at all) that was flying along near my house one day less than a hundred feet off the ground. I looked for any documentation online about it but only found one military chopper that looked like it and no mention of civilian use.
They do not offer anything of use. This is just a demo for an API that in principle can be used as an "assembly language" for quantum computers, but it either runs on simulators that can not do more than 10 "perfect" qubits, or on hardware that has 100-ish "noisy" qubits. You need about a million "noisy" qubits, together with error correction codes, to encode 1000 logical "perfect" qubits. That is about the minimal number at which you can do something useful.
> Open sourcing is not a magic dust that automatically makes everything better.

I think it does.

The market is then on ideas. Long term, someone will build an open core business model around Mathics (or similar) and that’ll create an incentive for Wolfram to reprioritize and pursue the best ideas.

The same will happen for this new biz with the open core business model. It will continue to fray as industry figures out what the market wants, pruning poor ideas/execution and rewarding good ideas/execution.

Let’s go!
Based on the author’s examples and the JS-ish looking code in the article, maybe PureScript in general and row types in particular, uh, 4ev3r?
Why Is the Powerball Prize at a Record? Thank Fed Chairman Jerome Powell
What does that have anything to do with what's been posted on here? Just seems like a sly remark to make.

For instance, every time the US makes advancements in technology, we don't scream that it solves the plethora of disproportionate issues it has for a developed nation. Why? It does not advance the conversation and is unrelated.
To be clear, I’m not imputing motive directly to the Rust project.

I think the people involved have consumed so much American state-affiliated media that they simply don’t ask themselves these questions.
There's just so many insurmountable physical limitations to VR. I wonder what Facebook are thinking will mitigate for that
Like you I was surprised to hear this is a thing or is even controversial. Admittedly I've only been programming for about 10 years, but I haven't heard (or seen) this come up even one time. Every test I've ever seen has usually had multiple mutations and assertions, all of them testing the same premise.
Best IDE for Programming
Makes sense. People have been burned. Probably there are lots of people who think about typescript environment setup and source maps when they think about typing, or who think about python's "isinstance(str, foo)". Or who think that it's overly complicated arcane nonsense with weird terminology (lookin at haskell). Or that types specifically refer to borrow checker woes in rust.
You don't understand what I said.

I say, don't make assumptions unless you need them. Formatting an email address in an HTML document would work by wrapping it in the appropriate tag. (which implies html-quoting it correctly, but that is unrelated to email syntax).

Sending an email using an API would work by passing the email as a string to the API.

Looking up an email address from an address book using a pattern to match would be implemented with normal text search.

It doesn't matter if the email is "valid" or not. Don't overthink it.
Afaik, this is still true in most cases.*
this is true for almost every database.

* Except, maybe, toast, hot or compressed..
Apple fired 4,100 when Steve Jobs returned in 1997
For Twitter, outages are serious business and definitely a threat to the organism.

As users on the outside maybe we don't care so much, but internally Twitter has invested tremendous amounts of energy and brain power to make the service resilient and scalable over the past 12+ years.

When Twitter is down, it was taken quite seriously by those who worked there. I'm sure they did the blameless postmortem culture, the whole none yards.

Too much downtime and people will stop using it and / or migrate to a competitor, and then the service will be dead.
This just isn't true, optics really do work, the focal point is not close to your face and it doesn't feel or effect you like the screen is close to your face in anyway.
Yup, I wrote about them from an HP conference in 2010 and remember being told about them for a roadmap item well before that: http://ewams.net/?date=2010/09/05&view=hptechforum2010

Another one of those "right around the corner" things that is always coming soon.
Yes, they were a thing even in the 90's.
It's finite but not explicitly conserved: science funding is around 1% of the US national budget and can change (a bit).

In practice you're right, though, usually new funding in one place gets taken from somewhere else. But if the world really wanted scientific progress we could afford to fund some more speculative projects.
you too, with the sarcasm? JFC, at least read my reply to the other guy:

https://news.ycombinator.com/item?id=33482926

Preventing transmission was never the point. Reducing deaths (to the tune of 19.8 million lives saved globally, Lancet link in my comment there), was. The "never tested for preventing transmission" argument is thus a red herring. Congratulations on caving in to inflammatory media distortion, I'm sure their ads appreciated your eyeballs.
Linus gave a good answer when queried for advice. Paraphrased: Focus on developing great hardware and documenting it, Intel is at it's best when developing hardware standards. And don't let market segmentation drive your product decisions, which prices out people who could develop on and use new features.
> How to save some cash: 1. Fire your staff, 2. outsource their work to the general public. Brilliant!

Imagine this as a sarcastic comment about why a country shouldn't move from a monarchy to a republic.
It's weird to me how scanning the comments all seem to refer to systems with 100k-ish LoC and dozens of contributors.

A big chunk of my job is writing node microservices in AWS Lambda. I do everything I can to avoid shared library code, since past experience tells me there be lots of dragons (mainly in when and how to push or pull lib updates to components). I have a very tiny shared lib that I try to never touch and definitely never introduce breaking changes.

Unit tests are a breeze since I never have to cast objects or worry about generics, etc.

Typescript would slow me down so much and add absolutely no benefit. Maybe I'm misinterpreting though and no one is claiming Typescript would benefit here.

We also have some C# lamdbas and I find writing unit tests for those so much more of a pain - since the shared libs have generics and I'm always casting things. But admittedly I don't know all the tricks.
Yes it’s a matter of the incentives, but a government entity has fundamentally different incentives than a private entity. Countries ranging from Canada to Sweden to India to China invested heavily into state-owned industries in the 20th century, and every single one reversed course. Because it just didn’t work.
What killed 156 people in Seoul crowd crush on Halloween
Why ban products that are cheaper, sturdier, lighter, cleaner, healthier, and better for the environment?

If the article begged the question any harder, the local constable would run it out of town.
Interesting. I was wondering why the cash value was so much lower relatively than X months ago.
My rule of thumb is to go with the project that has the biggest community/support out there UNLESS the other project provides a business critical feature I need.
And even then it feels like we can just wait a bit until that feature gets implemented in the one with the biggest community/support.
> I think the issue here is that you’re blurring your complaints between the two quite distinct issues of heavy-handed moderation, and shadow moderation. You’re talking about having a philosophical or principled issue with shadow moderation; fine - I don’t necessarily agree, but it’s a reasonable argument to have.

Could be. They kind of go together. Shadow moderation often leads to heavy handed moderation. But yes it's entirely possible I'm muddling things together.

> But what you have ended up saying here is “all moderation in all communities must be to my own standards and any others are wrong”.

You lost me. How did you come to that conclusion? My gripe is with shadow moderation, and even in that case I think it should be up to the platforms to decide whether or not they want to implement it. Without further understanding of the law, I don't support government intervention. So I don't see how I've removed choice from either platforms or moderators here.

> But I have seen so many spaces ruined by lack of moderation over the years that it’s hard to get enthusiastic about it as a cause.

I see a lot get ruined by secretive moderation. And, getting rid of secretive moderation does not mean getting rid of moderation altogether.

Remember, your ideological opponents have access to the same tools, and they don't have your moral safeguards. So they are inherently better at abusing whatever tool you provide to grow their following. What you want is to divide powers so that your worst enemy cannot abuse the things you have access to in order to do things to you that you would not do to them. Comprende?
Grover has some plausible applications as well as Shor.

And Shor is based on quantum superior FFT if I recall correctly, which could have applications outside of discrete log.

Disclaimer: I’m not an expert on this stuff, I’m sure someone will correct me if I’m wrong because there are real pros on here.