skysight-inc/HackerNews huggingface dataset:
Having used Tcl extensively I think scoping rules aren't really too complicated, but there are some apparent inconsistencies. A main one is global variables aren't visible inside procedures unless declared as "global", whereas procedures are global no matter where created (in the global namespace). However referring to variables and procedures using fully qualified namespaces is always correct and unambiguous.

The thing with upvar (and uplevel) is that by default upvar refers to variables in the caller of the current proc. But when a proc is called indirectly (e.g., a callback proc) then the variable upvar is intended to reference may be 2 or more frames above. Using something like "upvar #2 refvar var" works as expected. It's analogous to deferencing pointers in C when there are >1 levels of indirection.

Is there any programming language that doesn't have some confusing rules? If a language is going to be useful the answer is bound to be "no". It's a curious how we get used to a particular (or even peculiar) syntax. When used long enough it begins to feel "natural" and obvious, and find it amazing how anyone would have difficulty understanding how it works.
So a concise but not-legally-binding notation for types?

Useful, but way less useful than if it was actually checked.
i fixed it! thanks for reminding me.
This is what happens when companies decide to get involved in social engineering instead of providing value to their customers.

Picking partisan political battles is sure to piss off at least 30% of the people out there. Can Disney afford that?

Disney had a privileged position for a long time, and in abusing that privilege has lost it.
Python does and always has enforced types at runtime. This is called duck-typing. If you're not familiar with the concept of strong+dynamic, it is easy to see how this could be confusing. This may help. https://stackoverflow.com/questions/2351190/static-dynamic-v...

Static type annotations by definition are not enforced at runtime. This has been true of every language that has ever used static typing, including C, C++, Java, Rust, Typescript... you name it, statically typed languages only enforce their static typing at compile/analysis time.

Yes, it is possible to annotate types in Python incorrectly. It's possible to do this in all other languages that allow type-unsafe behavior (whether natively or via reflection, etc). This may be less common in some languages than in others, but it is fundamentally possible in the vast majority of languages that perform static typing, because those types are fundamentally enforced at analysis time, not runtime.

The author of the article seems to be unfamiliar with these distinctions, and maybe you are too. It's fair to complain that these distinctions are confusing and make things harder for programmers. Nevertheless, very few languages have ever been designed with a type system that acts exactly the same at analysis time and runtime. It's a very difficult problem, partly because these are all abstractions from the perspective of the underlying computer, which only understands boolean logic and integer/floating point math, and has virtually no other notion of types in any formal sense.

Type systems are a complex topic, and as someone who has been paying attention to them for a while, it's frustrating to see uninformed discussion of them show up on Hacker News. That said, it's perfectly understandable that people are confused by these distinctions, and rest assured there's a lot of effort going into developing better languages that suffer _less_ from these issues.

For the everyday working programmer, however, there are currently lots of tradeoffs to be made, and Python's approach to static+dynamic typing is actually pretty usable, all things considered, which is why the community overall has embraced the new static typing despite its blemishes.
I have a dumb fraud story.

A fraudster called me up (I knew it was a fraudster right away). I played along as he said there had been some fraudulent activity on my account - payments from random locations etc.etc.

The crux was that he wanted to send me a verification code from PayPal. This is where I was dumb. I assumed it was from a fake PayPal messaging system and they knew the number already. When they asked me to repeat it back to them I pretended to be dumb and gave a fake number back, repeatedly. I at first thought they knew the number. It then hit me that they didn't know the number and were actually trying to break into my PayPal account. I was so dumb! Still no bad outcome other than me looking stupid.
Bus ridership&minimum wage: Evidence from bus stops near fast-food restaurants
All I've seen was this tweet thread: https://twitter.com/playdate/status/1516099269979262976

Basically, they started shipping the Group One systems on Monday and say that they think they'll all be out within the next month. Presumably Group Two will ship after that, meaning they'll be shipping late May -- but they haven't actually announced that, just said there's news coming soon.
As an employee, you trade time and some basic human decency in exchange for money.

How much decency you trade is debatable, but I assure you, there are millions of people working in industries where losing far more decency is considered normal. Call centers, retail, food all immediately spring to mind.
They said they should be done with group 1 within the next month and group 2 will start immediately after.
“Missile” is an extremely broad concept (Wikipedia calls it “a guided airborne ranged weapon capable of self-propelled flight usually by a jet engine or rocket motor”), but I think most people think of a missile as something without wings (but quite possibly fins) where the target is known at launch time, life expectancy is calculated in, at most, hours, and that doesn’t cooperate with other missiles.

I wouldn’t see a dozen airplane- or (especially) helicopter-like drones that get launched with, say, the goal of preventing a piece of road to be used by the enemy, and that distribute themselves over the to be protected area and, Hang around for weeks as missiles.

Because they aren’t weapons, I also wouldn’t think of reconnaissance drones as missiles, even if they are rockets that follow a pre-planned trajectory and then crash. That’s getting close to an edge case, though.
I meant SSR as in what nextjs does. Render on the server using front end tech, cache for performance and then rehydrate in the front end for up to date data.

They should have called it Server Side React Initial Rendering maybe :-)
I was just watching some reviews of electric cars and noticed a tendency to remove all tactility.

Some of the models have "touch" buttons for drive mode, and things like environmental controls being touch or on screens is horrid.

It's bad enough having to look away from the road for a fraction of a second to find the AC switch in my Nissan, these newer "solutions" just feel plain unsafe.
No, not yet, that's a good idea though, thanks for that.

There is https://akc3n.org/projects/banking/#list-of-banking-apps
And https://github.com/akc3n/banking/issues?q=is%3Aissue+is%3Acl...
he used the term "absolutist", moreover those firings would probably be illegal in most civilized countries.
For 1, there's some unfortunate but important semantics. Python does not enforce type _Hints_ at runtime, as Hints are in many ways fancy comments. But as pointed out, python is a strongly typed language (at least on the sliding scale of strong to weak), and types are known at runtime (call `print(type(var))` to see them). And calling `1 + 'a'` will result in a TypeError exception, unlike say JavaScript.

I believe this is the relavent passage in the article the GP is referencing, which is incorrect if you take "runtime" to mean something like when the line is executed: "Python is a dynamically typed language. By definition, you don’t know the real types of variables at runtime."

It _is_ however correct to say you don't know the real type _before_ runtime, at least python does not.
I just started using type hinting in Python and I love it. Maybe it's your tooling? I'm using neovim with LSP and pyright and the experience is very much like writing code in a Java IDE. As I code, it informs me where there are mistakes or pieces of code that need to be updated, catches typos, reminds me about forgotten imports, etc. It makes refactoring way easier because as you change signatures or object types it flags all the places in your code that need to be updated. Seems like a real game changer to me.
Mypy checking is actually really good, and you can give it flags to make it super strict. Setting it up in CI is the same work as setting up any other linter. The only fault I had with it was 3rd party libs not providing hints often enough.
The IDE catches type errors, and it lets you do things like simulate structs using @dataclass.
> "Google has said in the past it would prefer if the accessibility APIs were only used by apps meant for people with disabilities"

Google and Apple make all users of their phone platforms "disabled" thru draconian policy restrictions. Does that mean all users qualify because we've had our abilities limited?
That's pretty insulting to the people that spend the better part of the last decade making this happen
Even then they’ll change or remove connectors arbitrarily.

I’m sure someone said this same thing about iPods once.

I haven’t seen a new iPod in years.
Just put types in docstrings? Why type hinting with imports and other dependencies, especially for complex objects?
What is the precise definition of static typing? Both the article and many comments in this thread refer to static typing or static type hints in Python. But as I've always understood it, static typing means that types are checked and enforced at compile time. And if python is not compiled, the notion of static typing in python does not make sense. So do I have it wrong? Or is the term ambiguous?
Having been on the dole I can sympathise (was quite a few years after Thatcher though for me)

I think the biggest problem with Thatcher is she recognised the old industries were dead but didn’t do enough to replace them - Nissan Sunderland perhaps being one of her few successes on this front

It also easy to forget that the closure of the mines is one of the reasons our CO2 emissions have gone down - mind the demise of UK coal was as much Scargill’s doing and Thatchers
And what's amazing is that the coin has a market cap of $450m (probably still expensive if comped to someone like Dropbox).

If something with that utility is so lowly valued, then imagine the true intrinsic value of BTC!
They've also been recently promoting some third-party games you can sideload: https://twitter.com/playdate/status/1516864373473480705
If you use a company account, you might not be able to have app specific passwords. OAuth is your only option then.
I think the parent was referring to a private plane that you pilot. 180 would about cover the expense of fuel for the hour.
Context is everything. I am pretty sure LISP is not Jewish so (((looking at your LISP))) is perfectly fine.
I suppose we speak not of chan?
and you still can:

https://www.nvidia.com/en-us/drivers/unix/freebsd-x64-archiv...

someone at Nvidia must be a FreeBSD stalwart and I’m okay with that
K-9 Mail is the only thing I miss after my switch from Android to iOS.
What would open sourcing the Twitter algorithm actually look like?
I wish the tooling outside IDEs worked better. There's obviously some magic going on with tools like PyCharm and VSCode + plugins.

I wish this was the case with command line tools I can plug into the build/deploy pipeline. I know they exist, it's just they are unsatisfying and there are lots of cases where they miss stuff that is trivial to catch in statically typed languages.
I think this is great and not often looked way to diversity. They are selling at 20X annual earnings (or 5% annual returns) and have track record of producing earnings for over 100 years. Additionally, royalty is brand dependent (it seems), not whether Listerine actually uses formula. Also, this is regular consumable that is unlikely to get displaced anytime soon. The best thing about it is that it is inflation protected. Not a bad deal to diversity in low-risk, low-return zone.
I think taking into account human motivation is a very smart system, but the motivations of a lot of what you mentioned aren’t necessarily aligned with everybody.

Take Wikipedia for example: it started nobly but has become an ideological battleground for petty editors to wield influence when you look at what kinds of edits are made to important current day topics.

Or take non-profits: I’m sure many of their employees have fine motivations, but in a big picture sense the organization dies if they actually solve the problem they’re designed to solve. It’s hard to perfectly trust the motivations of even non-profits.

As far as publicly funded journalistic outlets, do you mean stuff like NPR? Without getting into an argument about NPR, there’s a substantial amount of real criticism about them out there. It’s hard for many to perfectly trust them either.

The best system I think is trusting independently minded journalists who have developed some credibility: namely those willing to take real shots against their own “team”. I’m open to finding others, but the best one in this regard that I’ve come across might be Glenn Greenwald. Time and time again, he’s willing to take shots against his own political side, even when it damages his career: that carries some credibility with me. I’d love to find more independent journalists like that.
Uh huh, completely new laptop and desktop lineup on a completely new architecture = no interest.
More likely you’d be at the kiosk, judging by this story
> The tooling that pays attention to type hints is slow as molasses or difficult to use or understand.

I use mypy daily on big codebases, it is fine, not fast, but fine.

> The type hints themselves are of dubious use.

They tell you when you make type errors, they help you understand what type things should be. The same as in literally every other language with static typing. There is nothing special here, nothing different. python with a static type checker running in strict mode is not fundementally different from Java's static type checking.

> As a fan and advocate of static typing, I find myself advocating for type hints anyway, but I must agree I often can't reply anything to my coworkers' objections, because Python type hints are truly not that useful.

What do they lack that would make them useful?
See my point about rich nerds. If you are okay with spending a couple hundred bucks on something which you may throw away after a few hours – great, it's a fun quirky device made just for you. 99.9% of the planet does not fall into that demographic, however.
Back in the day, CNN was a new thing, it was kind of amazing. There was just news when you needed it or wanted it. Then somehow it became a brand. HLN was supposed to just loop the top stories every 30 minutes, you know Head Line News... Somewhere, between the politically targeted "news" market and streaming, it's a shell. Maybe worse than a shell, "CNN" and "HLN" are literally just brands now, to the top decision makers it's a channel with a pool of viewers, they could give a shit about actual content.

The irony of all of this is that I think a lot of people would pay a few bucks a month for a real hard news streaming service. I could even imagine some sort of a package deal where like the NYT or some other top shelf paper worked with such a new service and you could get both as a package. Ironically, or maybe not, the pay per household model of how carriers pay for the content has really driven the lowest common denominator and as more people pull out of cable, it's actually strengthening the Fox like market share. During lunch here at home, I'd love a 15 minute quick hit of news and the market as I make a sandwich and eat it.
hey this is ATT we are talking about(CNN's parent owner), they paid $85B for Warner bros in 2018, and really haven't seen much a return on their investment with Game of Thrones winding down, the new matrix movie being horrible, and then spun it off for half its value ($43B). Lets then look into directv the other dud that ATT bought for $67B and spun it off a few years later into a $16.25B standalone company. For those who are keeping count thats $92B lost in the matter of a few years which is astonishing!

CNN itself is a deeply troubled network, its old CEO(Zucker) had to step down due to sleeping around with a direct report, Chris Cuomo (a cnn exec)was fired for helping out his brother(the Gov. of NY) escape sexual assault allegations, another top CNN producer(John Griffin) was arrested(and fired) on child molestation charges. In addition to all that the viewership is sinking like a rock so its not surprising that CNN+ was dropped so quickly.
They lasted longer than I expected.
I want automated type checking outside the IDE. I want something that will catch other programmer's mistakes, not just mine. Without enforcing a specific IDE.
> The problem with that is good art or even entertainment is rarely made by analyzing a spreadsheet to determine what audiences want.

Exactly. I made this point a month or two ago. I cancelled my Netflix account for the first time since 2004. Because with all their data scientists and two decades of viewer data (more detailed than Nielsen ratings could ever provide), and billions of dollars... they still can't compete with AMC, HBO, etc. It's inexcusable. It's laughable. And it makes me think we are in a serious big data/data analytics bubble. When I unsubscribed, their crowning achievement was a "Top 10" leaderboard. Something any junior dev could throw together with a few SQL reports and a day or two of free time. That feature also highlighted the bargain bin nature of Netflix's catalog.

The other problem they have is they have eroded viewer trust. You can't actually watch new shows because you know they will be cancelled after a season or two. So new shows come out and no one watches and Netflix cancels them because of no one watching. It's a snake eating its own tail.

Plus people have realized they would rather wait until all seasons are out to binge watch than have to wait large gaps of time.
> CNN is very economically conservative, it's just socially (cynically 'performatively') liberal.

'Corporate values'
>Who do you see as your competition? AWS's CloudWatch / Centralized Logging? Splunk? GCP's Logging? Logstash? Graylog?

More like Athena/Presto/SnowFlake. Simply put, anyone who is DB like systems for querying structured logs.

>What kind of query language are you thinking? I imagine SQL-like, as that's Clickhouse's native language.

Pretty much CH like SQL with some syntactic sugar for JSON. https://docs.dassana.cloud/docs/query/sample-queries#filter-...

>Business-wise, how are you gonna integrate with the cloud providers, AWS / GCP / Azure? Most people who use those services just use the built-ins.

Cheaper, faster and easier. Let me openly challenge anyone- take a nested JSON, send it to logging service and query it. And now do the same with Dassana. You will find night and day difference. I agree with most folks start with in-built services but they soon grow out of it. Here is an example- if you are using GCP, try getting count of failed HTTP requests group by host or ip. Turns out, there is no support for aggregate queries and you will have to create bunch of complicated metric filters to achieve it.

>More than Grafana, I think you need something like Metabase integrated OOTB. That might be a killer feature.

That's an awesome suggestion, we are going to look into it

>IMHO, FTS is a must-have from day 1. Most software that folks run produce non-structured logs OOTB (sad, I know), so folks won't even be able to try your service without changing their software. And getting a lot of software, even popular ones like Python/Flask, Ruby/Rails, Java/Spring, to produce structured logs is not a simple task.

Agree with your sentiment,we for now are focusing on use cases where you have structured logs. SecOps teams have such use cases. These teams mostly deal with data like CloutTrail, VpcFlows, ALB logs etc.
> California's net neutrality law is similar to the federal rules repealed under former FCC Chairman Ajit Pai. California prohibits ISPs from blocking or throttling lawful traffic. It also prohibits requiring fees from websites or online services to deliver or prioritize their traffic to consumers, bans paid data cap exemptions (so-called "zero-rating"), and says that ISPs may not attempt to evade net neutrality protections by slowing down traffic at network interconnection points.

I don't understand how anyone could oppose this.
Long ago I was part of a team (but not the first core team) that built a pension and investment system from scratch , because there were no banking APIs available from anyone, we convinced a bank to let’s us connect to them as an ATM
HTAP ≠ OLTP and OLAP
Very interesting. And the total income works out to more than, say, an index fund?
Probably similar to Hollywood accounting where even a massive loss is just used to avoid paying taxes on profits in other places. Big companies really can't lose
Also Crest Pro-Health, ACT, and TheraBreath of the top of my head. I imagine Colgate also has a mouthwash.
No. You can go back 600 years (!) and find that things don't change much: https://www.wsj.com/articles/the-wealthy-in-florence-today-a...
> Suppose you took a narcotic whenever you felt pain. Once you have taken the narcotic you would not be aware of the pain <...> You may even lose the ability to tell when you are feeling pain or where it's coming from because all you have to do is take the drug.

It's easy to get lost in anecdotes sometimes.

Sometimes (physically or mentally) the pain is too unbearable to handle to actually face up to what is wrong, and you need an aid. I've struggled with nerve pain for most of my adult life, and it comes and goes in waves, and when it comes, I know it's there, I can feel it, and I konw what I need to do to resolve it, however I'm unable to walk/sleep/<insert other daily activity here>. Using appropriate pain relief to let me be able to deal with the root of the problem is a great approach, and the exact same thing applies with mental health.

> It's easy to dismiss what I say. but that'd be very typical of someone who doesn't want to hear it because they'd like to avoid what's really going on with themselves.

I'm not dismissing what you say because I don't want to hear it, I'm dismissing it because you're not offering any suggestions, simply "it doesn't work for everyone", "it can be a crutch" or "You're doing it wrong". It's helpful to have a meaningful discussion on these topics, but muddying the waters with "actually no, in this case..." doesn't really help anyone.
> USA has plenty of older fabrication labs

Do we? The current, continuing semiconductor shortage argues otherwise.

I mean, the fact that a "switching regulator" can go out of stock borders on the absurd unless those fabs are busy producing stuff with higher margins.
But if this is royalties from sales, wouldn't the amount theoretically rise with inflation, especially for a mass market consumer product like Listerine? So I don't see how if you hold on to this royalty (easy to do), and Listerine sales don't tank (out of your control), wouldn't your earnings be more or less constant in real terms?
I’m all due respect to TSMC, Taiwan may be ‘unrealistic’ pretty soon.
Any founder will explain that the ideal startup would take no investors at all.
I've tried many times to get into Cities: Skylines but it always ends up with people dying, traffic, pollution, and me bleeding money into the negatives.

I really need to start looking at tutorials or something
In a very similar fashion, I was pleasantly surprised that I can tear down every mechanical part of my Dyson cordless vacuum to wash them without a single tool.

On the subject of Volvo, I'm shortlisting the Polestar 2 as a candidate for my next car.
Rules-Based World Order