skysight-inc/HackerNews huggingface dataset:
Yeah, I've recently removed type checking in a Python project because it was causing more false positives than true positives, and working around the type checker's complaints was just getting too tedious.

I'm a big fan of type checking in general, and Typescript is a great example of a type checker that allows you to statically define all the dynamic idioms that you'd normally use. But for various reasons, that just doesn't seem to have happened in the Python ecosystem. Instead, you can either write normal dynamic Python without types, or you can restrict yourself to a vaguely Java-like subset of Python with hard-to-use generics and confusing rules about forward references.

I wonder if it would have been better to have taken the Typescript approach and have Mypy and all its annotations developed as a separate language, rather than as part of the Python language, with the expectation that they could eventually be merged at some point. As it is, it feels like both sides have been very constrained: Mypy has struggled to innovate on expressive type-level syntax because it only operates on standard Python code, and Python has struggled with balancing the various goals that different groups have for youry annotations.

The result is a kind of mess where it's still painful to type basic things like generics (yes, that's changing, but not if you need to support older Python versions), but you also have weird syntax that requires type annotations, even if they're meaningless (like with dataclasses).
I agree with this sentiment. Theres no stopping it now, its just going to have to run its course and we'll see if theres much of a world worth living in at the end. I do laugh at billionaire bunkers tho, like how long are they going to survive when money means nothing and the plebs that are still alive are outside blocking the exits and airways with dirt and rocks.

edit: its funny to see the only people making sense getting downvoted because reasons.
A draftee always has the choice to not go. Barring a tyrannical regime that sends them in as cannon fodder, they may stay in prison until the tides turn, but they will live.
I thought it was an absolute standard to put the ticket number in the commit. Are there projects which don’t use it? How does Jira find the commits associated to the issue?

I do it even on small personal projects, as soon as it’s evident it will go to production, I set up an issue tracker and commit messages. As common as setting the linter files in TS by default, even when just drafting a POC.
Is there an officer shortage? Maybe they can drop the 4-year-degree requirement for officers, too.
Yeah, the extra instructions from the division helped clue me into what might be going on, since the individual (f - b) and (e - b) calculations are visible in Clang's output.

I feel the division by sizeof(T) shouldn't matter that much, since the compiler knows it has pointers to T so I don't think the divisions would have remainders. I want to say pointer overflow and arithmetic on pointers to different objects (allocations?) should also be UB, so I suppose that might clear up most obstacles? I think I'm still missing something...

Does make me wonder how frequently this pattern might pop up elsewhere if it does turn out to be optimizable.
The only practical reason you'd want to use ipv6 at home is if you want to expose multiple devices on your LAN to incoming TCP/UDP connections from the Internet without doing port mapping, since your ISP likely gives you a whole ipv6 block instead of just one address like with v4.
> This article is a bit overblown.

I don't know. Compared to Linux and even MacOS, Windows feels seriously bloated. I honestly don't understand how non-techy people okay with the copious amount of BS it throws at you. Small things like opening a folder with a few hundred files on it, and it can't simply show the content of the folder - you have to wait, and wait and wait. I catch myself talking to it: "da heck are you doing Windozze? Tis a darn friggin' folder, just open it, d'you really have to be like Bush, desperately tryin' to find WMD or some shit in there?"
My argument is that the grid has to be designed to handle the load from cloudy weather that lasts over a week. Nobody can afford a battery system that can last that long. So the rooftop-solar enthusiasts either need to install and maintain a backup gas generator on their property (and disconnect from the grid), or pay their fair portion to maintain the grid so it can provide power to them during such weather.
I don't get it. There's no environmental gain in popularizing electric cars when they are inefficient, so what motivates the Transportation Department? I also don't understand what the significance of mpg in this context is. Electricity doesn't come in gallons. Subsidizing producers for meeting arbitrary criteria also doesn't make sense.

So, to me, it looks like someone decided to subsidize electric car manufacturers, and just needed an excuse in some legal framework. There might be a scandal there (e.g. bribes), but 6.67 factor ain't it.
Do we? Which common app is exclusively distributed though a standalone install and used by millions? I can't think of a single example which would validate that.
> The main forcing function is gravity.

Ok, you just won the Internet for the day. Thanks for that laugh.
It was IBM who established the standards with its CUA books.

https://en.wikipedia.org/wiki/IBM_Common_User_Access
I may be missing a fundamental point of your comment or from the linked content, but given the minuscule number of users who’d be concerned with this in practical presentation, I sincerely hope that the UXers involved didn’t optimize for this use case.
I don't see a link to your blog in your profile ;)
I think the difference with the square checkbox is that it is for desktop UIs and clicking with a mouse. The circle checkbox is for mobile UIs where you are tapping with your finger.
I don’t quite follow here - you can still declare interfaces (Protocol) to declare what behavior your code needs.
... prompt?
Notepad, what else :)
Show HN: Zabbix API V6 Crate for Rust
Yes, when it is illegal CSAM.
You can’t guarantee the underlying memory so you can’t guarantee your app won’t blow up. You can handle errors, or expects, or however you want to call “exceptions” without the stdlib but you still have error states, you still have deterministic code branches, you may not have RTTI and non-deterministic std::exception but you still have the concept of an exception. The alternative is to segfault.
I haven't heard it talked about much either, it seems to be folk knowledge. Awhile back I bought a batch of the wrong kind of plywood and was having a terrible time cutting and thought it was something wrong with the machine. Eventually I stumbled on an online discussion thread about phenolic resin glues, and the plywood I bought had those thin black lines between the plys.

I found an old scrap of the plywood I had been using before and without those thin black lines and it cut fine. So, that's what I've been using ever since.
C# still has a lot of problems regarding cross platform development.

The Microsoft Framework (MAUI) is... let's say it has some obvious problems that probably will never get fixed. Community Frameworks like Avalonia UI are better, but not there yet.

To sum it up:

- App sizes are huge (>70MB)
- App Performance is meh
- Important libraries are either missing, not cross platform or outdated
- Hardware access is not good enough (camera, gyroscope, audio, bluetooth)
- Cross Platform Deployment is too complicated
- There is even more I can't remember right now

All of that is not the case for flutter... it worked out pretty well until today.
And yet fake news is parroted every day, and people believe videos are of real extraterrestrial beings.
There's lots of proofs of misfires, hospital incident aside Hamas and Islamic Jihad rockets are in many cases low quality and disintegrate in the air or just miss completely and land in Gaza. I'm sure you can find articles about it if you wanted to look.
No, but it's one of them, and imho a very important one. You recommended I don't use the apps - I recommend you don't use the device. It's not like it's not possible to live without iPhone in Europe.
> The better UI would be for the circles to be visually connected somehow to illustrate that only one selection is possible like you have in physical switches with more than two positions

This is an interesting point. Radio buttons are kind of weird in terms of their initial position because unlike with checkboxes, there's no way to get back to the "empty" state where none is selected. It took me a bit to wrap my head around what you described, but the more I think about it, the more it seems like a "slider" with clearly marked stopping positions. If it's too confusing for people to have some sort of "default" option, maybe having a different color for the part of the slider that's moved based on whether it's in a valid position could help; at the top of the slider, it could be one color indicating "must be moved", and then when you slide and drop it at one of the marked options (or click the option; it could move automatically to the position like a scrollbar), it changes color to show it's valid.
Right. My best friend in high school dropped out, and later joined the army after getting a GED. I dropped out as well but got a diploma from an alternative school for adults and joined.

Everyone I know who did not complete high School got within a year or two. Paradoxically, it was the smartest people I know who dropped out. None of our reasons were academic. A combination of social and financial
Making meaningful commit makes sense, however with git you can show parent commits only, to me that's sufficient to say "put whatever garbage you want inside the pr", because you can still look at merge commits only.

Github is the problem here. And squash merge is "useful" as in when I would have squashed a commit even before merging, I don't think we should squash merge otherwise
1) No, no local or short-term weather is ever going to falsify or prove anything about the global average.

2) Assuming you are already convinced by the science that the global average temperature is quickly rising; one might ask: What are the consequences? And one of the consequences is more extreme weather, as there is more energy in the weather systems..

3) So one may point to extreme weather events and say "in the future, we'll have more of those, and that's why we need to stop emitting CO2". That doesn't mean the weather event is proof of global warming in any way -- it is just pointing to an illustration of what will happen if global warming continues; as measured by the GLOBAL temperature.
Thats what I call "Uncle Bobs ossification disease" where you spend too much time on process and not enough on getting shit done.
Because everything is broken up again and again it just piles and piles, making it harder to change things. Everything is intertwined through (often unwarranted) reuse and even the non-reused stuff is smeared over dozens and dozens of functions that are used only at a single call site.
But wait there's more, for every of these functions theres half a dozen tests that ossify some implementation detail (because function boundaries are no longer meaningful).

You end up with thousands of lines of code that do very little except for being the physical incarnation of "the process" god.

That stuff is so 2000.

Type systems give you robustness and whole program consistency proofs without a single line of extra code. No manually writing tests to ensure type safety and you get help writing semantically meaningfull functions, instead of whole object graphs that need to be called in a complex dance just to avoid having 4 function arguments.
My 1st paragraph was directly answering your 2nd paragraph here (starting from "This is certainly possible..." to the end). I was saying, compilers can optimize this if they want to, but it requires work to implement, and I can only guess (the reasons I listed) as to why they might not have done so yet.

> Does make me wonder how frequently this pattern might pop up elsewhere if it does turn out to be optimizable.

Probably a fair bit, but as I mentioned, it might break a lot of code too, because there's too much code in the wild doing illegal things with pointers (like shoving random state into the lower bits, etc.). Or not... the Clang folks would probably know better.
> The problem is, if you aren’t there on graduation day, you don’t get that proof of paper saying you know what you know.

A flat tyre, or the flu, on graduation day doesn’t mean the last X years of your life have been wasted and you don’t get a diploma…
Basically, climate change is occurring, and is known to cause extreme weather events. So when there's an extreme weather event, it could be evidence of climate change. Each individual one is not proof of climate change, but in aggregate they are strong evidence. And of course they're not the only evidence.
I don't mind ticket IDs, but "Fixes #125" is not a very helpful message. Now I need to cross-reference an issue tracker just to understand what changed. I've been at places that required the ticket title be posted as well and that worked well. Humans could quickly see what changed and tooling could get triggered.

> However, those hyper-detailed commit messages that some people seem to like? High cost, very low payback. Better to put all that effort into other docs instead.

I guess I'm one of those people? I don't think the cost is very high. It's certainly no higher than putting them into another document. I don't get the emphasis on "very low payback" though. I've had to dig into projects where those detailed comments saved me weeks of effort. I love reading the rationale and any associated pitfalls with a nice code diff contextualizing the whole thing. And it's right there, easily accessible in my SCM log, where it integrates with the CLI and IDE. No 404s or issues because the startup that created the project died or was sold and the domain is no longer in use.
>There's no such thing as "overpopulation" on its own. There's only population relative to resource abuse.

This is an unfortunate delusion that is widespread, and exploited by governments and industries that seek to ravage what is left of our environment for profit.

If you believe and understand that the earth is a finite place, with finite resources (as all intelligent, rational people do), then you believe and understand that this finite place, with finite resources, can only support a finite population. Of course we can debate about what exactly the "sustainable" population is and we can agree that the "sustainable" population depends on how resources are managed, used and maintained, but there can be no disagreement that this number exists, and that if there are too many people our finite resources cannot sustainably support them no manner how efficiently they are distributed.

Unfortunately far too many people don't believe this, and don't understand that the earth is a finite place with finite resources. They insist that the earth can support an infinite number of people if only we manage our finite resources properly and impose a strict enough dietary and behavioral regiment on the teeming billions stuffed onto the planet.
the heat itself is useful in winter to keep the system regulated and heat the passengers
Direct link to the paper without you having to let them see your e-mail https://gitclear-public.s3.us-west-2.amazonaws.com/Coding-on...
Evidence for Widespread Support for October 7th Terrorists Among Unrwa Teachers
The best UNIX desktops experiences were the ones with vertical integration, where the desktop, vendor tooling and hardware provided a unique experience, instead of yet another UNIX fork.

NeWS, NeXTSTEP, Irix, ...

As for Android and Chrome OS, yeah they might use Linux kernel, which is an implementation detail on Android SDK/NDK official APIs for app developers, and on ChromeOS only exposed via the sandboxed Crostini environment.

Google could switch to another POSIX like kernel and app developers would barely notice, only OEMs and people rooting their devices would.
Privacy and financial independence without banks and financial companies. For that alone, it's worth it. Anyone who does not understand is a slave of the system.
The wrong assumption in that page is that Static Typing implies the need for type hints or annotations.

In fact, type inference is a thing.

Most of the languages with Hindley Millner type system (such as oCaml, F#, Haskell, PureScript) do feel dynamic (e.g., developer does not need to hint the compiler) yet they are purely static typed.

What is the argument against having Python checking the types, without asking the developers to change their code?
Same here, except the shorts bit. Not sure we are winners so: never before seen droughts in summer, extreme weather events and flooding at least every other year at scales we used to call once in a hundred years events. And then we are a lot less effected by all of this than other regions.

Also, I love snow and winter, so I really do miss this!
What's the difference.

That's a statement.
Installing Linux on a Surface RT [video]
I don't disagree, but I do think it's important to note that any two high school experiences can differ drastically. For someone who is barely making it through high school academically, their high school diploma may represent a basic level of math and other subjects. For someone else who is in advanced or AP classes, their high school diploma is going to be substantially more advanced than what the GED is. The GED is a fairly basic measurement. I don't think I would consider it high school equivalent, although when there is a requirement for a high school diploma, it is absolutely true that a GED will nearly always suffice, so from that perspective they are equivalent.

Edit: also worth noting, is that I know of people who have graduated high school who probably could not pass a GED. It is definitely possible in the right school to coast your way to graduation, even if you would not meet the normal expectations. So in those cases, a GED would be superior to a diploma. All of this I think indicates that high school diploma is becoming somewhat meaningless
It doesn't work very well for generic concepts. For example, let's say I have a dependency which exposes a function which takes a URLDefinition as an argument.

Maybe the dependent logic already has a similar type to represent URLs but maybe it's called URLInfo... The property names might be slightly different. Maybe URLInfo has a Host and Port property starting with capital letters but URLDefinition properties are all lower case.

IMO, this is a huge mistake. URLs should simply be treated as plain strings that way you don't need to worry about unnecessary interface mismatches. Inventing complex interfaces instead of just representing concepts as primitives adds unnecessary friction.
IDK what's their mission? Who knows anymore. Who cares. Fuck Mozilla and for the love of god don't donate money to them.
Given infinite money, is it possible to build a robot /today/ that can do all the things you list, in a reliable manner, capable of scaling up to industrial farm levels?
It removes the ability to instantly know whether you have a multiselect situation or a select-one situation.
I counted 10 instances recently going down on the status page. There is at least a correlation, probably a cause.
> Convince the government to forbid the business model in which most of users are not paying customers but a product offered to advertisers

I like broadcast TV and radio (especially radio while driving) and think that most Americans would object to their removal.

Just look at the uproar over a few NFL games being unavailable on broadcast TV for a hint as to how well such a ban might go.
>I don’t really like people assuming somebody that didn’t graduate high school are somehow inferior or stupid people.

I took it the opposite way. High schools are designed to provide a bare floor of knowledge a citizen should achieve. The top side may be extremely competitive, but the bar for passing high school is meant to be low.

Someone who can't pass that and doesn't have developmental issues likely have environmental issues to address. So having someone be exploited by the government to fight instead of improve that environment feels scummy.
You see unnecessary bloat, I see wheel reinventions. Unpoly gives me almost everything I need for any non trivial app. Same thinking about using Django/Rails/Laravel vs bare bone routers like express, Sinatra or flask.

Once you get past the simple landing page or hello world app all those things you call “bloat” come in super handy. Otherwise you end up with a custom undocumented untested unproven probably insecure rushed out implementation of what the “bloated” solution gives you. Same applies for Unpoly vs htmx. Unless you’re building just a hello world landing page, as I said.
I agree, we really don't know what the effects are, or even how to establish a set of criteria that we would look for in an empirical investigation that determined what its effects on human health are. That's why I say we should just keep spraying the fucking shit on all of our food, and wait for the science to come out before clutching at our pearls here folks!
Canadian tar sands pollution is up to 6,300% higher than reported
I am super disappointed in the lack of evolution of dataflow, but am encouraged to see things like airtable, and I guess blender and etc using node-based interfaces for functional logic.

I did my senior thesis/project in CS (we had to do several, it was anticlimactic) about visual programming, and basic paradigms that might be the future.

I ended up writing a missive about labview holding people back, because 2D planes suck at communicating information to people who otherwise read books and blogs and C# code.

My conclusion 15 years later is that we’ll talk to LLMs and their successors rather than invent a great graphical user interface that works like a desktop or a <table> or even a repl.

Star Trek may have inspired the ipad and terrible polygon capacitive touchscreens… but we all know that “Computer, search for M-class planets without fans of Nickelback’s second album living there as of stardate 2024” is already basically a reality.

EDIT: I like this CPU experiment too! It is a great example of the thing I’m talking about. Realized after the fact that I failed to plant my context in my comment, before doing my graybeard routine.

So. Food for thought, our LLM overlords are just unfathomable spreadsheets.
Or just a single tweet

> People post tweets because there's more engagement and revenu and less friction

It's ironic this hot take got the long form treatment
If people are only getting little glimpses, then even if they think those glimpses look very nice it's not a very good use of space.
> (while the ruling class continues to enjoy their luxuries.)

Not for long. Few political power can last that long.
There is a significant difference between checkboxes and toggles. Checkboxes expect a secondary submit step, whereas toggles have instant effect. https://blog.uxtweak.com/checkbox-vs-toggle-switch/ explains this better. Especially the pizza toppings example, that obviously make no sense with toggles.
Here is the video, right at the point where they make their absolutely ridiculous fucking claim:

> We tried to get that skin crisp in a hot oven and under the broiler, and it just didn't work. The only way to get it crisp was using hot oil.

https://www.youtube.com/watch?v=3ucXLDX_xrE&t=390s
> No C++ Standard Library / Exceptions / RTTI

This alone already rules them out as sane on my book.
Especially scrollbars. For a webdev trying to figure out what element triggers the scrollbar is extremely difficult with thin disappearing scrollbars.
Even the poorest are refusing to be sent