skysight-inc/HackerNews huggingface dataset:
> you have to pollute your projects with noisy defensive code that double checks the type of everything coupled with extra manually written tests, with no guarantee you didn't miss something.

A common misconception.

In tests, you test that values are correct, the types take care of themselves.

Types being correct does not imply values being correct, so you will have to write those tests anyhow, although you maybe be fooled by the safyness of static typing[1] that you don't have to.

Values being correct does imply that the types are correct, so if your tests pass, then your types are also obviously correct. (If a==3 then I don't have to check if a is of type pink elephant, it obviously isn't).

So that's the in-principle argument. And it turns out that this is completely supported in practice as well: neither the defensive code nor the extra type-based tests that you propose must be the result actually occur in dynamic code-bases with any frequency.

That said, static types certainly have their uses, particularly in being machine-checked documentation and also for producing faster code without going through crazy amounts of extra effort.

[1] https://blog.metaobject.com/2014/06/the-safyness-of-static-t...
> In this case, Windows 10 will continue to run on your computer perfectly fine.

Has it been confirmed anywhere that Win10 installations won't be automatically updated to Win11? Given the automatic nature of Win10 updates I'd expect that I'm waking up one morning, and be greeted by Win11 on my gaming PC (and since Win11 is just a marketing name for what's normally a Win10 feature update, this is most likely to happen, at least for Win10 Home users).
huh? typescript doesn't compile into type checks at runtime

the web runs on JavaScript because it's extremely forgiving and therefore stable. there can be lots of errors and things keep chugging along.
Music from the Mind's Eye
Is Smart Agriculture a Gimmick or the Future?
Came here with the same question. Who is the target demographic?
Salt & Straw is a Portland company AFAIK.
VS Code Extensions That Make Refactoring Easy
Loss weight fast|9 simple tips
Loss weight fast, 9 simple tips, science back ways to lose weight
It really depends on the team size and a number of other factors.

Dynamic languages can be very productive for small teams.

I definitely liked the productivity of F#, but the ecosystem was lacking. Often in dynamic languages the ecosystem more than makes up for the lack of compile time checks.
I give you one reason why US airports really are the worst airports in the world. At least when you want to use them to transit to a third country.

For example: Flying to Latin America from Europe it would make a lot of sense to connect in the US. Miami, Atlanta or even New York would be convenient airports to connect on a flight between, say, Zurich and Lima.

The problem is that the concept of transit is completely foreign in American airports.

I need to get my luggage, actually pass customs and immigration, recheck my luggage, probably change terminals to something which is kilometers away with potentially bad transportation options between them. Dealing - yet again - with the friendly folks of the TSA. And all this to finally connect to my flight to Lima.

Instead of a 90 minute connection time (maybe 120 minutes on bigger airports) I have to calculate a minimum of 4 hours. Potentially more, because a lot of those variables are beyond my control and for no good reason whatsoever. I don't want to set foot on American soil, but just connect to a flight to a third country.

You don't need some spiffy Asian or European airport. Just about any developing world dump of an airport figured the concept of transit out decades ago.

I check my bags in to the final destination. I don't need to deal with potentially horrid immigration experiences, don't have to pass through security again (granted, that's dependent on the airport. But almost certainly less of a hassle then anyway in America)

Maybe transit is just not important in America with the lion share of flights being domestic. But for international travelers wanting to connect to a third country they really are at the bottom of the barrel.
Funnily enough, Uncle Bob's latest obsession is Clojure, so you can say for sure he's on the dynamic train now.
But it also does not use mortar, which according to the article seems to be the biggest issue.
How to Get Buy-In for Refactoring?
I get that they called it cube because the project is called c^3 (c cubed) but they could have also made it look like a cube.
Thanks for confirming that it's not an automated account. I don't think it's ok to post as an agency though. For the record, I've added more thoughts in the other thread: https://news.ycombinator.com/item?id=28058552 .
Size isn’t really a problem for dynamic languages. There has been extensive tests of this. Huge Erlang projects of 1.5 million lines of code have been developed faster and with fewer bugs than comparable systems using statically typed languages like C++.

I think size becomes a problem when you don’t properly modularize and test.

Also I think often it is more about the specific language in use rather than dynamic vs static typing. I would rather use Go than JavaScript. But I would use Julia over almost anything else when possible.
Reminds me of the people that buy a Raspberry Pi and only afterwards ask what to use it for.
They enforce Secure Boot on Windows 11. It was always a requirement on Windows 8 and 10 but never actually enforced.

There's nothing to stop you from using Windows 10 or Linux on your hardware unless MS goes all anti-competitive and forces OEMs to build hardware that only runs Windows 11.
Don't you lose a lot of the benefits of static type checking if you don't use it systemically?
What a terrible example. You're taking as an example a case where a production defect resulted in contamination by the disease itself. The long term side effects are not caused by the vaccine as a vaccine, they were those of the disease a faulty vaccine contained. It boggles the mind how anyone can find this a compelling argument, but that's par for the course for antivaxers.

Your second example is a short term effect, not a long term one. Wrong again.
...and window.alert is a blocking action, which allows you to display a message like "You lost! Your score: 1234 points" without having to build additional UI or adapt the loop of your game to be able to prevent game logic from continuing until the user clicks "ok" - which for jam games is damn handy ;)
I was looking into this role here :
https://careers.microsoft.com/us/en/job/1041386/Security-Dat...

Two more questions:
a) Is it possible to get domain specific experience without getting into an cyber security role?
b) Did you mean to say that Companies will be open to hire non-Cyber Security folks due to the high number of vacancies? I am sorry. I did not understand what you meant.

Thanks a ton!
For people in this thread ask why.

The Trouble with Quantum Mechanics,
Steven Weinberg JANUARY 19, 2017 ISSUE,
http://quantum.phys.unm.edu/466-17/QuantumMechanicsWeinberg....
I'm a type enthusiast, but dynamic languages make a lot of sense for small programs that either give you an immediate answer or fail to run (i.e. not long running, few branches).

In those cases, the difference between a compile-time check and a run-time check is much smaller.
Ditto. Build high end computers and they'll last a decade or longer, at least since ~2011.
Amazon, Ebay, Facebook, Twitter, Google, CNN, Fox News, MSNBC, Pfizer, Moderna, …
>At Ethena, our track record of transparency, open feedback channels and an experienced management team put us in a position to make these types of bold policies that other companies may struggle to operationalize.

Never fails to make me smile watching capitalists advocate for planned economies :)
Firefox and Webkit are always rejecting proposals from Chrome, or the other way around or whatever.

There's just no evidence that points to what you're suggesting.
Breathless in Air World's 'Most-Advanced' F-35 Stealth Jet Faces NASA Scrutiny
PlusDental | Senior Data Engineer | Berlin or REMOTE

PlusDental is one of the fastest-growing MedTech Start-ups in Europe and the company's mission is to digitalize and democratize aesthetic dentistry.

We are looking for an experienced senior data engineer (or principal) to become our team's expert for data engineering and to mentor other engineers in our team.

- Senior Data Engineer https://bit.ly/2SmZwJ6

Feel free to check out other openings here https://plusdental.de/career-job
> Go look at the Cutter incident. It killed 10. Seems like the long term side effect that you claim does not exist.

Not to mention what could happen if someone messed up and injected bleach instead of the vaccine.

You have to go back over 60 years and even then only find issues caused by manufacturing problems, i.e., cases where not the intended vaccine was injected...
GIS, map rendering, can be surprisingly intensive. Then you show off your leaflet frontend. Not something one does on a laptop, maybe you do not have a terabyte to spend there, but supposing you travel a lot and you cannot prerender...

I am exercising willpower to not suggest that it could run C— /J
>When you define a variable in a program the reader can easily infer the type by the value it was initialised with.

This breaks exactly when you're dealing with more than one function. Then you have to guess the types of the whole chain of functions.

And maybe that function is used in multiple places, now you need to guess the types of all the places where this function is used.
I wouldn't hold my breath. I'm not a Windows user, but my understanding is that the legacy code allows people to run old software, so I wouldn't expect this to go away just because the required minimum CPU is fairly new.

If anything, it should stay in place, as an argument to push adoption of Windows 11: "yeah, you need brand-new computers, but don't worry, all your old software will still work as before".
I use Linux daily on Win 10.

WSL2 is a game changer.
> freed up 40% of the workforce.

And did that actually improve everyone's quality of life? Or did it just increase the cost of positional goods (check out house prices in the West)?
> some of what it produces is exactly the "noisy defensive code" you're talking about, for the simple reason that it's an elegant language that has to compile down to a worthless untyped jargon like javascript.

I don't understand. All languages, without exception, must compile down to a "worthless untyped jargon". Only assembly can execute.
I agree your suggested experiment shdnt be funded. I thought for the other one it is actually quite obvious. You have a quantum realm which has been confirmed by all experiments so far, and you have a classical world (objective trajectories), now it could be that there is a boundary where qm breaks down, or it could be that (when allowing for suitable coherence environments) that this never happens. I think you definitely shd try to push the (experimental) boundary on this one. Same like ppl check if Colombs law is really 1/r^2 (which is an even weaker case where one shd look).
Here is what I think about this. I write "we" as in us as programmers. YMMV.

1. The type system is not the only consideration, nor is it the most important one for most cases.

2. Language choice often boils down to cultural things: what is already written, who can write it already, the lowest common denominator. This is not always a good thing, but often it is necessary.

3. The tools we use shape the way we think.

4. Tools should be invisible, like an extension of ourselves.

5. Static vs. Dynamic is a false dichotomy. There is a gradualism to it and it includes more than typing.

6. Constraints are important, because they facilitate engineering, confidence and systems thinking.

7. Interactivity is powerful, because it facilitates understanding, expression and domain thinking.

8. There are cases where either of these things are more beneficial.

9. Some languages are half-assing either of those to be more familiar.

10. We should give ourselves more credit to be able to use the right tool for the job.
It's not the finitude of the Earth, it's the finitude and stability of a certain mode of organisation of the Earth.

We're not going to run out of atoms. We're definitely on course to running out of stability in our current configuration.
That may be true, but it would also mean it's not worth reading an article from 2003 about this topic anymore.
Go ask them to wear masks. Either masks worked or they didn’t. Don’t force people to inject vaccines into their bodies.
Enable Real-Time Merge Conflict Detection in VS Code
For me this feels like robotics operating at the wrong layer of abstraction. It's like those old tomorrow's world programs where they show the robotic helper diligently sweeping the floor with a grass broom.

In car manufacturing robots are used to bolt and weld together stamped metal panels, this feels more like someone designing a robot which would be given a flat sheet of metal and using hammer and dollies forming the complete panel to be attached to the car.

In short, if we ever see a major change to automate housing construction I expect it will also come along with significant changes in construction methods.
Bowel obstructions kill you clown. Seems like a long term side effect to me.
Jitter is one way to solve it.
Request coalescing is another.

It depends on the request type. Is it cacheable? Do you require a per-client side effect? ...
Yes. I think pretty much anyone that has flown with young children could backup that you can bring food through. We bring all sorts of snacks for the kids. Fresh fruit, crackers, cheese, etc.
CCC stops reporting vulnerabilities to Merkels CDU after suing security activist
CCC no longer reports security vulnerabilities to Merkel's Christ Democratic Party because they're pressing charges against a security activist who reported security vulnerabilities in one of their apps responsibly.
Being mathematically inclined and having worked in software for a decade+ I'm also very good at understanding the complex laws and nuances for international travel in the age of COVID. I'm about to visit 3 countries and from my own research I feel like I'm the world's expert on the congressional bills and executive orders of these countries now (I'm only somewhat kidding)

By the way, I'm a liberal arts graduate (but majoring in math, comp sci and minoring in music)
Well, I agree to your point that the explainability is only as good as the features used in the model. Yet it is important to attribute the correct set of features (along with quantification) for a given instance. The SHAP framework does that to a good extent but it's focus is not towards helping with identification of model parameter related issues. This work here seems to focus on the later and hence I found it a bit different and a refreshing perspective towards the explainability aspect.
> I imagine many chargers even if they catch on fire will struggle to cause a large scale fire unless they are behind something flammable or the like.

Given that USB-C PD's EPR upgrade will allow 48V @ 5A for a total of 240W of power, the potential for a fire due to shoddy (too thin/fraudulent or damaged) cables, dirt or loose solder connections on the sockets (causing high resistance and thus heat build-up at the spot) is not negligible.

The most troublesome potential is the combination of PD controller bugs on the charger side leading to 48V/5A on the cable, and a lack of protection circuitry on the side of a device that has been designed for 5V-only.
> A single layer brick wall isn't structural

My 92-year old house with single layer brick walls says otherwise. (And yes, it insulates badly, but it kept standing through a lot of storms.)
That's not my experience at all. People are just as wary about upgrading Apple devices. I've seen it among friends and family. They're afraid things will break or their device will slow down or everything will move around and they'll have to relearn how to use their device again.
F# still has rather crippling limitations imposed on it by its inherited .NET CLR type system (for example F# union types must have their own hierarchy: you can't have an F# union with a POCO from another assembly).

F# skirts-around some of the limitations with just-in-time design-time type generation ( https://docs.microsoft.com/en-us/dotnet/fsharp/tutorials/typ... ) though Microsoft pitches it as a "better T4" for F# specifically, I think it's far more powerful.

The way things are looking, C# is set up get some form of higher-kinded-types in the next 3-5 years (hurrah!) - but from what Mads and the design-team have said it seems like they'll be implemented without significant changes to the CLR's type-system - so be prepared for everything to be implemented as glorified structs (and don't expect struct inheritance either...) with excessive amounts of implicit-conversion.
Long time no chat! Haven’t talked to you since a couple years after Microsoft acquired Groove.

This is really cool, but I don’t see any information on costs if you go over the 500mb of cellular data. Probably missed it, but I did click around a lot trying.
It works but on older hardware it takes a significant performance hit. They don't want that.
Building a Farm Application – Part 1 – Installation and Configuration
Wrong. Rotavirus is 1998. Do the math. 2021 - 1998 = 23 years

EDIT: 23 not 32 years
Go ask other road users to wear seat belts so that I can drive drunk and over the speed limit.
I have an M1 Air and tried Blender. Works very good and rendering is surprisingly fast (I used x86 binaries, perhaps there are native one now?). The hotkeys need a lot of work since Apple keyboards are a crime against humanity.

I don't use it for much productive work, only when not at home but the speed was indeed surprising. Not much worse than my PC.
I think a lot of people took a gap year last year (who otherwise wouldn’t have). Why pay for college if you won’t get to actually go?

Many of those people are showing up now as applicants.
> That strikes me as highly anecdotal.

Well sure, because it is. As mentioned I also worked both in first- and second level support in an enviroment that had Windows, OSX and Linux desktop, with very varying degrees of proficiency between the users of all operating systems.

The anectdote from my mother is mirrored in the many experiences I made at the job. Sure that is still no true evidence, but I never claimed it was more than just my opinion. My opinion that I derived from working at precisely the issues involved.

Btw. there was one particularily bad Windows user (the type that comes with viruses and toolbars, the type that thinks someone can control their computer if you plug their mouse into another computer). We had nothing but hassle with that person until we moved said person to Linux, where a big pain turned into a much smaller pain.

This is again just another annecdotal example, but I could go on.
Yes. Me and my father are daily driving PCs from 2007, because they are fine for what we do.
Nobody should run a linux distro that has systemd in it, but thankfully you have many many options for that that don't involve running an OS with terrible hardware support (and a small community to boot).
I said this on a previous win11 post here, and I'll say it again. I don't want telemetry on my machine, I don't want to jump through loops to turn it off, I don't want Teams on my machine (are we back in ie6 territory again?), I don't want a 'must be connected to the internet' operating system.

After 20 or so years of using Windows at home, I think I'm probably done with Microsoft.

Linux and KDE satisfies all requirements now, and in fact my machine is dual boot and I haven't booted into Windows in weeks.

The only thing I'll miss is Visual Studio, but I have a Jetbrains license, so that's fine.
Show HN: I made a Squarespace plugin with 100 presets
If abductions are not an issue, couldn't lost kids simply ask strangers for directions?

Unless you talk about the wilderness.

Actually when I let my kids go outside alone, I usually give them a phone. I live in a big city. Reception could be a problem in the countryside.
I remember the mixer interface (channel volumes, mute states, routing matrix) was far superior with ALSA.

I used a script to toggle the SPDIF output stream of my Soundblaster Live to get track marks on the Mini Disc player recording the output.
A bullet to the brain kills you more, but they're no more LONG TERM than a bowel obstruction shortly after injection.

LONG TERM means years down the road. We already have a year of experience with this vaccine, starting with the participants of the first trials.

This is just silly.
Yeah this might be true of Java, but I think for modern languages with good type inference it adds a lot to readability without much cost in terms of verbosity.

After working with more strongly typed languages, it actually seems crazy to go back to JS or Python and not have type information in function signatures. Like how are people supposed to read code and understand what this function is allowed to take?
40 Years Ago, a Woman Famously Survived Being 'Frozen Solid'
Show HN: What I learned about collecting payments for digital goods in Europe
> Here's how to make the call on iPhone 8 or later

I wonder how many people actually remember what buttons to press in an emergency situation - it’s also different depending on which device you use.
If you are willing to take a 10% pay cut I think your motivation might be that remote work allows you to save more than 10% on things like rent.
Can Hard Drives Be Recycled? Google Is Trying to Find Out
That's still 3 decades, and that was short term.
To be fair, when writing TypeScript you often end-up needing to write loads of type-guard functions, and there are plenty of popular TypeScript extensions that generate those type-guard functions for you, e.g. https://github.com/rhys-vdw/ts-auto-guard
How this startup utilized partnerships to gain 1000s of followers and raise $1M
> ... Java, C and C++ have much weaker checks of correctness...

It is confusing that people talk about C in terms of being a typed language. The types are an annotation so the compiler knows how much memory to allocate / read. All the side benefits of having to spell that out are incidental.

That sort of typing is a distraction. A programmer does not care that they are passing 4 bytes as the first argument. That isn't really trying to squeeze anything useful out of a type system. They care that they are passing something recognised as an ID, not that it has 4 bytes.

Using C/C++ as an example of a typed language doesn't say much. The guarantees are more a culture of how to use the language than in the language itself.
https://archive.is/sXJK8
What i remember back in the day was that the advocates for dynamic languages were certain that everyone would write in dynamic languages because we would had all the most optimized implementation and not having to do it by hand.
Some of Dates gripes are valid, but some are quite questionable.

In SQL you enforce uniqueness of rows by defining a primary key. Dates concern seem to be that you can have duplicate rows if no primary key is defined, but why would you do that in the first place? A table should always have a primary key.

His gripe against nulls are controversial - E.F.Codd suggested nulls himself, so when Date claims null have no place in the relational model he is just stating a personal opinion. And while nulls are kind of weird, his suggested alternative is far worse.

His complain about comparing different types is valid IMHO. SQL is weakly typed and types are silently converted. I think it would be be much better if it was strongly typed and values has to be explicitly converted when e.g. comparing a string to a number. The issue about custom types is a consequence of SQL being weakly typed.
Functional programmers also say "how can I go back to mutable state and OOP". The fact is people get stuff done in many different ways and paradigms. You found what works for you and that's good, stick to it. Others found theirs.