skysight-inc/HackerNews huggingface dataset:
It is probably pretty presumptuous to assume, but I think that a lot of programmers that have only every been exposed to C/C++/C#, Java and Python have basically no concept of what a good type system can do for them.

Two examples from the top of my head:

1. Encoding matrix sizes into the data- and function-types, so that you can safely have a function `mat[c,b] mat_mult(mat[a,b] a, mat[c,d] b)` or even `mat[w-2,h-2] convolve(mat[w,h] input, mat[3,3] kernel)` and have the compiler check that you never use a matrix of the wrong size.

2. Actually checking the correctness of your implementation.

There is a very nice online demo of Liquid Haskell [1], where they defined the properties of ordered lists (each element has to be smaller or equal to the one before, line 119). Then they define a function that takes an (unordered) list and spits out a ordered one by applying a simple quicksort.

Now, if you break the algorithm (e.g. flip the < in line 193) and run Check, the compiler will tell you that you messed up your sorting algorithm.

Pretty neat.

edit: I just realized that LiquidHaskell is almost 10 years old. Sad to see that basically nothing made it into "production".

[1] http://goto.ucsd.edu:8090/index.html#?demo=Order.hs
Thank you so much - very helpful
A Script for Generating a CMake Project for a Single Executable in C++
Thanks for making Freepik
Pulp: Playdate IDE Public Beta
I think we need a new distinction: not "self-driving" but "self-liable".

A lot of the FSD hype implies applications in which there isn't an active driver; cars going off and parking themselves, Uber replacing human drivers, working while commuting, etc. Whether those applications can be realized is not so much a question of technology as liability.

Conversely, if the human remains liable, this needs to be kept clear in the marketing material.
>Also, doesn't this offering prove there isn't vendor lock-in?

It's non-trivial to build a RHEL clone in a way that doesn't infringe on RHEL trademarks and still has timely delivery of security patches, etc. Centos did that, and was broadly used. RedHat acquired Centos in 2014. Then more recently, they completely changed what CentOS was (clone of current/stable RHEL) into a development branch that was ahead of RHEL. That's a different thing, that would serve a different purpose...they effectively killed the product.

I think it is new, and is a lever against RHEL lock-in. Though yes, the linked story is the marketing view of that.
There's a special reason to use Google Domains or it's just an example? Don't most registrars have web forwarding and mail sending features?
I've just looked this up and it seems to support `const enum` just fine[0]. I remember Babel not being able to process `const enum`, since it goes across module boundaries and Babel does not.

[0]: https://github.com/evanw/esbuild/issues/128
This basically comes down to: avoid TypeScript features that clash with TypeScript's design goals. Specifically, the one to:

> Avoid adding expression-level syntax.

https://github.com/Microsoft/TypeScript/wiki/TypeScript-Desi...

And that makes sense to me. IMHO it's best to consider TypeScript as a tool that aims to help you write JavaScript by catching common errors; it's more like a linter than a separate language in that regard, and is what sets it apart from something like CoffeeScript, and helps it avoid falling into the same traps.
That much straw in one place poses a fire hazard.

It's perfectly possible to craft policy that makes life easier for households with one working parent and one stay at home parent without doing anything to specifically restrict women. Crafting policy in such a manner would be all but necessary since we live in an age where same sex marriage is widely accepted. Heck, it could be as simple as a well crafted tax credit.

What is far harder than crafting the actual policy is having a discussion about the policy without things devolving in exactly the direction you're bringing it.

Edit: Now that I think about it policy that promotes married couples with a single stay at home parent would likely go a long way toward un-screwing the people who've been screwed out of stable households for several generations due to welfare and state assistance rules that highly dis-incentivize marriage.
I'd like to watch them sweat if you forced them to fact check "The 9/11 hijackers were terrorists" using the same priors.

> In the absence of a single, universally-agreed definition of "terrorism," it is a matter of subjective determination as to whether the actions of Mohamed Atta - leading a group of young men to hijack planes and fly them into buildings — should be described as acts of "domestic terrorism."
Yes, that's the conclusion of the thread:
"Complexity. There's an extraordinary amount of work that went into drafting treaties and agreements. You don't discard what you have without having a clear idea of what would be better.

So people have thought of this idea, but they concluded that it is impractical."
Yes, I agree! I've gone from not doing enough exercise to a level where I'm pretty happy too (hope to work up to doing 10K at a decent pace but I can do 5K without too much difficulty now). I'm really enjoying doing swimming (1.5 to 2K a week), jogging not as much at first but it's growing on me as I'm getting fitter!

Having made the effort myself over the last year and a half, it's pretty surprising seeing so many 'correlation is not necessarily causation' people here (yes, we all understand the concept) basically imply that everybody probably does as much exercise as they possibly can for their level of health, so it might all just be a correlation... It seems quite clear from general observation that a huge proportion of the population could exercise much more than they do, but don't. (I definitely didn't!). It also seems surprising because that argument basically seems to dispute the idea that exercise makes you healthier...

There's definitely both correlation and causation happening. But walking and jogging is really good for health, people shouldn't just write it off! Here's a good study on walking interventions and positive health outcomes, for example - https://pubmed.ncbi.nlm.nih.gov/25601182/
But of relative safety viz-a-viz regular cigarettes: is it not possible to assume that e-cigs are safer than regular cigs?
Well the etymology is clear too. Which I would say is the intuition some people could be using. Not sure people visit Wikipedia to learn about levels of auto piloting.

Automatic: From Greek automatos, ‘acting of itself’

Pilot: early 16th century (denoting a person who steers a ship): from French pilote, from medieval Latin pilotus, an alteration of pedota, based on Greek pēdon ‘oar’, (plural) ‘rudder
> Intuition is analytic reasoning on steroids

> A simple example is the moment of every episode of House M.D.

House M.D. was based on Sherlock Holmes, who uses inductive, rather than deductive reasoning. e.g. conclusions are not based on analytic reasoning of all the facts, but rather are supplanted by leaps of imagination, which made the series so compelling.

Intuition is inductive reasoning. Because it's not solely analytic, it can also result in answers that are also completely wrong.
When Is the Best Time to Exercise?
I'd like to see the list of words, the optimum is 4 moves, I wonder if it could be forced into a 3 move game.
How away from the explosion is the sensor? Why is there a flat part in the gas graphic? Did you have a power outage?
> Don't upvote/downvote comments based on whether you agree with them personally or whether or not they are critical of GitLab. Instead vote based on if they are thoughtful and substantive, since HN is about curious conversations.

This is an incorrect view of HN. The last bit is true, but it's fine on HN to upvote or downvote based on whether you agree with it personally. This was established by pg himself many years ago.

I don't think that controlling your employees' upvote or downvote rights is a good idea. You may want to add an advisory that downvoting a comment about GitLab could be unproductive, but anything beyond that feels micromanage-y.
Does anyone think this makes for a cool way to print a photo?
French lawmakers officially recognise China’s treatment of Uyghurs as ‘genocide’
Yeah, sure, but that's not my argument.

My argument is: There are established dimensions of intelligence. There are arbitrarily many potential new dimensions. Coming up with anything and calling it intelligence is not hard and not automatically helpful.

The hard part is coming up with something new that makes sense in the context of all the existing findings.
1983 Byte interview with Apple's Lisa developers
I would assume it only works if you have a single account. That's the most common situation, though.

LastPass has the option to autofill and auto-submit. 1Password doesn't, but that's my guess for what's coming.
Also can be _very_ expensive if you do not use it correctly.
I’m sorry for being so rude. But I disagree. I was there too I guess, i built my own prusa in 2011. I just don’t believe that patents stopped people from designing and building open source 3D printers. The early printers were just brass nozzles with a heat element, thermistor, motors belts and an arduino. There’s no patent roadblocks in there. There is a correlation, however, with the hobby computer revolution of the early 2010s…
Nest also does this, seems very strange to bet on such an experimental feature. It's very convenient to use though.
And it's only free if your time is worthless...
Years ago I wrote the Emacs tutorial I wish had existed when I was learning Emacs: https://david.rothlis.net/emacs/tutorial.html

It follows a similar philosophy as the OP: Start by reading Emacs's built-in tutorial, and then my tutorial shows you how to leverage the built-in help system to figure out how to achieve what you want to do.
As someone living in Asia, cheaper but you get what you pay for.
I've run live CDs on plenty of systems either sans local storage, or that run some other OS (when booted "normally")

It's not hard to have a stateless (or nearly so, if you prefer to have some preferences stored on USB etc) machine if you want one
" For example, do women in Japan really want career more vs becoming a house wife? You will be surprised at the answer."

Ask this question in the West and you may be surprised too.
For anyone considering teaching a gifted and talented student, as a former TX state G&T teacher I'd currently recommend either homeschooling or a Sudbury Valley school [0]. The outcomes for the "no tests, no lectures" format of Sudbury Valley schools produces better results vs traditional programs[1]. This fact is known by many educators who follow up with the question "but I wouldn't have a job at a Sudbury Valley school since teaching is no longer needed..."

I myself have worked at both trad and Sudbury, and could not in good conscience continue in trad education. Everything I leaned about pedagogy told me the trad format caused the worst outcomes, yet the school boards prevented me and other teachers from making any changes.

It's sad to realize how ineffective the trad methods are, and that many teachers know it yet follow along because they need the paycheck.

If I have children they will only attend Sudbury valley schools or be homeschooled in a similar format.

It actually prepares children to be self reliant, self teaching adults, vs the trad model that prepares for totalitarianism and simple memorization [2].

I know it's hard for many adults who went to a trad school model to accept that it's one of the worst formats possible when measured against other formats, but is it really so hard to believe? Consider everything you know about humans, and how we often fall into bad patterns even when when we know better. It's not so hard to realize how a bad model has been doubled down on for over a century, and the people in control of it have no interest in admitting they've been propagating a bad system this whole time.

[0] https://en.m.wikipedia.org/wiki/Sudbury_school

[1] https://circleschool.org/wp-content/uploads/Circle-School-Gr...

[2] https://www.cantrip.org/gatto.html
If you truly don't care about the runtime representation, then it sounds the idiomatic JS/TS construct you actually want is Symbol()

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...

https://www.typescriptlang.org/docs/handbook/2/everyday-type...
because you won't find S or above teachers
As a German native speaker, I like to break German-as-a-foreign-language speakers brains with delayed verbs.

Sadly, this style also makes my English bad^^
GSA/govt-URLs: Public U.S. government managed domains outside of .gov and .mil
The Slack instance I use the most is a private one. The other is a Swedish one for programmers.

My accounts on Twitter and Mastodon are public though! See my profile for links, and feel free to reach out if you also have Twitter/Mastodon :)

I also have some curated lists on Twitter: https://twitter.com/giffengrabber/lists (that was on my old account so unfortunately I can no longer update those lists)
Unsure Calculator (2020)
Yes, images don't work for me, either.

Update notice says "Volume 10, Issue 7; 05 Feb 2007; last modified 08 Oct 2010"
Joey Hess: The offgrid ex-Debian developer
I think the big disconnect of recent times has been that of the connection between the mind and the gut. They are seen as separate systems, when they really influence each other in complementary fashions. The whole "you are what you eat" comes to mind. I'm excited to see the science behind these connections come more to the mainstream.

They say "trust your gut" for a reason. Your gut acts almost as a second brain like the article mentions. Without going into too many details, it is a good basis of intuition because of the feelings that emerge from it whether right or wrong in the future, but best in the present moment.

Your gut is your wisdom. It's your "gut reaction" to something that goes deeper than our conscious minds can go in a split second with many traits like past experience, sympathy/empathy, and even predictive ability. It would make sense that intuition is seen as a sixth-sense because of it.

It would be cool to understand how to improve our intuition. Perhaps it is... why people who are more careful with their food choices, engage in regular exercise, stay hydrated, and constant capture of knowledge may have stronger intuition than others. Or perhaps it is the very nature of individuals who can accept the reality of the world better than others for a more plausible outcome. Which of course is much different than skepticism as it would be more stoicism at that point.
>There is zero confusion.

I think for many general laypeople (not the HN tech-oriented), there IS confusion. It is also not helped by Tesla's marketing, such as naming the system "autopilot" which has a different colloquial meaning than may be understood in engineering circles. Note how most other manufacturers are generally prefer naming their systems some variant of "driver assist" or "cruise control"
>Engineering, however, was a disaster story. Code is horribly written and very few tests are maintained to make sure deployments go without issues. There was too much emphasis on deployment and getting fixes/features out over making sure it won't break anything else. It was a common scenario to release a new feature and put duct tape all around it to make sure it "works". And way too many operational issues. There are a lot of ways to break DynamoDB :)

>Overall, though, the product is very solid and it's one of the few database that you can say "just works" when it comes to scalability and reliability (as most AWS services are)

How those two can coexist?
Is anyone still using the class keyword in javascript or typescript? private field syntax doesn't matter in the first place if you don't use class {} anywhere ...

I feel like most of the typescript code i've been in recently looked like it needed 0 more class declarations.
It's pity that almost none of the carrier boards feature dual camera connectors for stereo video applications. The StereoPi is a rare exemption. The Pi CM4 board itself has pinouts for dual cameras, no additional hardware needed. The firmware/software stack also supports stereo video capturing.
As you probably know there isn't going to be a package to emulate any old service. The closest you will get are probably:

* FakeNet-NG (dev has been suspended indefinitely) [0]

* INetSim [1]

Reverse engineering, and malware analysis skills will transfer to this task directly.

[0]: https://github.com/mandiant/flare-fakenet-ng

[1]: https://www.inetsim.org/downloads.html
I don't quite get it, is the base SuSE or RHEL? I've always liked SuSE so we will see what will come out of this.
>No one uses DynamoDB alone

Almost every single team at Amazon that I can think of off the top of my head uses DynamoDB (or DDB + S3) as its sole data store. I know that there are teams out there using relational DBs as well (especially in analytics), but in my day-to-day working with a constantly changing variety of teams that run customer-facing apps, I haven't seen RDS/Redis/etc being used in months.
How is HN any better than reddit?
Don't overthink it...unless your idea of fun is spending evenings being a sysadmin doing network management:

Cable modem -> Unifi Dream Machine Pro -> 2x Unifi Access Points (w/injected POE).

I have the ability to create multiple WIFI networks, including a guest network with temporary credentials, and configure QoS, firewalls, etc. if desired.

The multiple access points provides full coverage across my 4-bedroom single-story (rambler) home.

You could achieve similar results with even less effort (and cost) by doing:

Cable model w/built-in wifi -> 2x Eero Access Points (mesh networking)
There is no need to nuke all Google accounts. You can switch to the free edition of Cloud Identity - https://support.google.com/cloudidentity/answer/7319251?hl=e...

You will still need to find the replacement for gmail etc though
Serena Williams Joins Sorare to Help Conquer US Sports, Women’s Leagues
>The politics around allowing immigration are complex and controversial though.

And forcing every woman to have two children isn't?
Show HN: Revolutionary parametric 3D printable magnetic key switches and stabs
"Very few people have an assistant these days."

Uh, frankly, you don't know what you're talking about. Just because the people you work with don't, doesn't mean that your experience is universal.

Most execs or C-level employees are going to have at least one exec assistant, if not more.
I remember trying Dynamodb around 2015/2016: You had to specify your expected read and write throughout and you would be billed for that. At that time we had a pretty spikey traffic use case which made using dynamodb efficiently impossible
I mean eventually enough duct tape can be solid like a tank :)
Nitpick, but by "we western youth" you mean "we American youth" or even more probably "we US youth".

West in world context is not just the USA.
>Prove it, and prove that the underpaid non-specialist moderator who labelled it as such was justified even if they were right.

>Facebook is not and can not be an arbiter of truth in the abstract,

I'm not sure you're replying to the right comment, because I wasn't claiming that the BMJ story was demonstrably false[1], and I wasn't defending any action that labeled it as such. The action was to label it as "needs context", a category which specifically exists not to claim that the story is false.

So what are you replying to?

And are you really disputing that social media spreads a lot of clearly false stuff that isn't a mere matter of interpretation? Why do you consider that so implausible?

Edit: As exhibit A, I could probably cite your attribution of claims to me that I didn't make. Now, imagine all the people on social media without your exacting standards of integrity!

[1] Just the opposite -- I accepted that they found legit problems!
Not a class or course per-se, but I've found the New Yankee Workshop TV show to be really helpful and informative:

https://www.newyankee.com/watch/
He is completely incorrect about the purpose of enums. It isn't to simplify changing all locations of an occurrence. It is for defining domain concepts. It is to communicate to other code users, here is every allowed permutation of this type.
Note: *.gov domains can be found at another U.S. federal repo maintained by Cybersecurity and Infrastructure Security Agency (CISA):

https://github.com/cisagov/dotgov-data

There doesn't appear to be an official govt-maintained repo of .mil domains.
An example of what, the existence of other forums? Hacker News.

An example of different styles of moderation on the same platform? Reddit. Some subreddits are very loosely moderated, some are strictly moderated. See: /r/politics vs. /r/askhistorians.

An example of people moving to alternative platforms? Plenty of Youtubers are advertising their content on their own domains or services like Nebula because Youtube's own algorithms make monetization unreliable. Whang and Corridor Digital are two examples I can come up with off the top of my head.

An example of multiple points of view being expressed on large forums, despite the existence of fact checking? That should be obvious - discussion about these topics was never actually stopped or even hindered by the presence of fact checks. You can still find plenty of anti-vaxx content on every platform.
I wonder if there is a way to share your feed? Is there a platform for well-curated feeds, both on different topics, but even more so on different "mindsets"?

I feel like it would be very interesting, and I would probably even be ready to pay for someone to carefully pick interesting content, as I often feel like scrolling for hours only to find one great article (like this one was for me) is a huge price to pay.

This could even go for books. I try reading as much as possible, but it seems like 98% of books I find randomly recommended to me could easily fit into 10 pages, but instead they get drawn out into infinite repetitions because that's the only way nowdays to sell books. If someone was willing to charge me for a well-curated list of books with well written synopsis and a good indication of "Is it worth reading the whole thing even when you know the overall idea", I'd be a happy customer.

Maybe there are people on Substack doing this?
We don't tax wealth, we tax income, transactions (sales), and many places also tax real estate per year.

There's a big difference between those things and taxing your whole net worth every year.
> What is there left to use in the end? Type annotations?

That's what Typescript mostly is, that's where its success comes from. Type annotations for existing JS code. The vast majority of people need to type existing JS code, and compile to JS. A few minority need some specifics from the TS type system. Outside of that, there are other options.
Bird BMS: The Secret to Safe, Sustainable Scooter Batteries
>If the driver is not paying attention, that is the driver's fault.

No doubt. But by extension, if a safety feature did not work appropriately, that would be Tesla's fault, no?

I deliberately put both root and proximate causes in my first post because there can be multiple contributors to the accident, and each may bear some responsibility.

My main issue with the OP was that it lays the groundwork for absolving the manufacturer of any responsibility whatsoever, which I don't feel is appropriate. Society generally requires professionals (engineers, lawyers, doctors) that work in areas of public safety/public good to bear some responsibility. I don't want a system where that professional standard is eroded because it's easier to push the risk down to the end user with a simple clause in a manual/contract that may never be read.