skysight-inc/HackerNews huggingface dataset:
static in this case can be understood to mean simply "prior to (or separate from) runtime". In other words, it's based on what you can check _without_ running the code.

It's worth noting that nearly every statically-typed language currently in existence has two separate "type systems" - the static type system which is the formal type system offered to the programmer, plus a runtime type system enforced, at minimum, by the processor (e.g. you cannot divide by 0) that is ultimately different from the static type system. The 'question' in most cases is "how closely does the runtime type system match the static type system?" In many if not most languages, the answer is "not very".
Surely they can be traced back to the mess of the 70’s which Thatcher was very much a reaction to
Are there more people available to work on one vs the other, or would you be trained to handle both?
https://developers.basistheory.com/guides/migrating-off-basi...
Having worked in the auto industry, dealers are independent businesses with varying levels of quality. My fathers newish F150 was having many electrical problems and a Ford dealership could not fix it (really they claimed nothing was wrong because maybe they caused the issue in another repair), so he eventually had to take it somewhere else and they swapped the body ecu. Dealerships are no silver bullet to fixing everything, it depends on the quality of the people who work there.
100%. Once they've grown up a little bit, they recognize what you're doing; the game now changes from "how can I make this kid giggle" to "how can I make this (pre-)teenager roll their eyes" with the same joke?
Depends- there is plenty of market for purely structured logs query. I come from security background and these days in cloud security, all logs are structured: CloudTrail,VpcFlows,ALB logs etc. We are going to be focusing on such use cases.
> You might want to read up on some of the things she did whilst in power.

I know what she did

compared to say, Tony Blair, in terms of foreign policy she was a saint

> But no, people saying mean things is the REAL problem.

nice straw man

> Right to buy leading to a shortage of council houses which persists to this day, etc. etc.

it's not as if we've had 10 or so subsequent governments that could have abolished right to buy, is it?

quite why some adult's behaviour becomes worse than average 12 year old playing xbox every time Margaret Thatcher is mentioned I really don't understand

(I know why really... it's the the ultimate virtue signal for the tolerant left)
Personally, I took exception to the following from TFA:

> Python is a dynamically typed language. By definition, you don’t know the real types of variables at runtime. This is a feature.

In "you don’t know the real types of variables at runtime", this is just flat wrong. One doesn't know the real type of a variable until runtime. It seems to me the author maybe has a bit of confusion between weak typing and dynamic typing here.
> The same as in literally every other language with static typing

No, obviously not the same, otherwise I wouldn't be complaining. They are not even on par with Typescript, which I'm not a fan of either.

> [type hints] tell you when you make type errors

Not according to other comments I seem to be getting here. Other people are arguing type hints are not primarily for checking, but a form of notation for documentation. Seems wasteful, and I wish the Python community and tooling decided instead that they are for actually checking them.

> What do they lack that would make them useful?

Standardized, go-to tools that work in the build pipeline and that catch most errors without taking a long time to do so.

I haven't found mypy to fill these requirements. It's so bad I cannot convince my coworkers to make the effort to write more type hints.
Postgres really really needs index hints.
> When it’s bad, it’s hard to do because those things hurt.

Sometimes you know it hurts, but you need to keep going anyway. OP replied to me with the metaphor of physical pain, which works great in this case. If my trapped nerve hurts, I _know_ the root cause of it by now, I don't need it to keep stabbing me in the back for 2-3 weeks while I work on fixing the root cause.

Similarly for mental health, exercise (in particular) provides you with that capacity to handle things. If a person is under serious stress financially, they _know_ they're struggling. If exercising 2-3 times a week can help them keep that stress under control so it doesn't destroy a relationship in the process, that definitely seems like a worthwhile use of time (rather than "feeling" the stress).
Did the mypy task in your build pipeline silently break?

Haven't used python in years... you have build pipelines now?! Why? Javascript refugees who can't shake their webpack stockholm syndrome?
You seem to need a couple million if you want to buy a Listerine royalty as well so there's that.
Yeah, I tried to explain this to someone about Portugal too... they didn't get it. If the system is completely broken and going to kill you in a "non-corrupt" country, there's nothing you can do about it as someone who's not a megacapitalist.
I suspect that outside of... 'mainland China' (I'll phrase it for clarity) and the island just off the coast of 'mainland China'; the rest of the world really just wants stability in the region and no further conflict. Generally the status quo is OK for the rest of the planet, and the other nations would be happy to call 'mainland China' China and the island off of that recognized as the sovereign nation of 'Taiwan' (or something else other than China, since the name's already taken by a larger military power).

I wonder what it would take to get that to stick until we grow up enough as a species to cease having countries and instead have a united single government like Star Trek.
They don't need to worry as much about 'locking them down' cause they're basically there already by default.
In general it isn't that hard LineageOS has fairly clear guides.

The main hitch is Google's Safety Net. Some apps want to validate that you are using a "trustworthy" OS. Of course by "trustworthy" they mean "obeys Google, not the user" Depending on the phone you can spoof it but it is more complex and a cat-and-mouse game. Currently it is working for me even with Google Pay but it is surely only a matter of time until they require hardware attestation which will be basically impossible to fake. Of course while Google is the enabler here, the real problem is the apps. They shouldn't care what OS I used and shouldn't check. I just avoid the apps other than Google Pay which check (not that I've seen any yet other than an old bank).
> any other tesla shareholder can sell tesla shares to buy twitter, and why wouldn't they when the tesla CEO is doing it.

Because they wouldn't be taking control over the company... That's the purpose of those whole situation. Musk isn't just making a play on the basis of thinking "one dollar of TWTR is worth more than one share of TSLA"
Yeah, I think it's perfectly reasonable for someone to look at it and go "$180 for that? It's not worth it for me". It's very specifically-targeted.

It does look cute, though, and if their SDK takes off I could see it being a really nice intro-to-programing tool entirely independent of Panic's own game-seasons thing. (I bought one. I won't be getting it for another 1-2 months, alas.)
I really like Tcl the language and some of the tooling, but certainly not all of it.

I kind of wish there was a single reputable website that I could go to for all versions. I don't want something from Source Forge or ActiveState or some random person's website. I'm sure they're all fine, but I'm a lot less sketched out with running Anaconda Python or Java than Tcl. Funny enough, some Python systems include Tcl for the Tk GUI, but I haven't been able to get some of the libraries I'm interested in to work with that version.
This is such an idiotic decision, there are a million legitimate reasons to want to record your own calls that have nothing to do with disability. Is there working call recording functionality on iPhone? Tired of every fucking Android update just being worse.
It's really weird how you're holding up 2.3 million paid out to 7,000 artists over a year and a half as if it's somehow empowering artists or creators

That's $16 a person a month. That isn't even a movie ticket in most cities.

.

> You can debate whether PayPal or cash would be more efficient than using Ethereum here

No you can't. There are individual sales larger than this on PayPal and cash.

This is just a crypto bro trying to sound deep by throwing out numbers and not really thinking about if they're any good

.

> but this is a new channel for artists to focus on the art and make a living.

No it absolutely is not

It's not even a compact disc monthly

Please do the math first next time
Eggdrop!
They product has indeed gone way down hill with no pretense of neutrality or even civility.
Have you looked at the tools recently? LSP + Pyright is very fast and plugins exist for many editors. Or maybe it's slow on larger codebases or very large files? I don't have that broad an experience yet, but so far it's been very good.
I think at the point you're quoting Frankie Boyle you've already lost the argument
There is an Apple program being rolled out to let you do your own repairs

https://www.apple.com/newsroom/2021/11/apple-announces-self-...

https://9to5mac.com/2022/04/08/what-happened-to-apples-new-s...
This prompted me to open K.9 and just check, I was in undated with a week worth of missed email.

I like K.9 but the notifications are extremely unreliable and I don't want to have to get into the habit of checking for mail.
I have one - well, at least for the moment. Played it in the super bright Bay Area sunlight today and had zero issues with legibility.

This will really sink or swim dependent on how well those initial games deliver. If there’s no true stinkers in the initial run, I suspect we’ll see a strong long term development effort buoyed by ongoing consumer interest. It is a pretty neat little device and I know personally that I’m always a more creative developer when I have some legitimate, and significant, limitations on my resources.
> This is irony right?

you needed to ask?
> seems to be an incredibly stupid idea

It's on a floppy hinge, it's metal, and it folds in when you're not using it. Here's it in use: https://youtu.be/ZGdP59hhiDg?t=125

Here's a teardown showing what looks like a very reasonable mechanical strain relief: https://youtu.be/J5G02ru0GyM?t=110

> There are so many alternatives to a handcrank which aren't desperately fragile.

~~It's not just for charging.~~ (edit: Not for charging! Obvious with that teardown!) It doubles as an input for the games.

> I wouldn't give this thing to my kids: they'd destroy it in a week.

This sounds like it may not be related to the device.
Using Fedline Command with Axway by chance? E.g. see https://www.frbservices.org/binaries/content/assets/crsocms/... matrix of ways to connect to the Fed.
IKEA actually sold a bluetooth speaker for a while designed by TE. I got two of them. They are excellent.

PS: anyone want a used Sonos?
I was answering a specific question--how you evaluate. Yes, in this case, I would assume royalties would track roughly with inflation, i.e. future cash flows will increase although there are other reasons to discount beyond that number. Even absent inflation you can earn some money by banking it. And there's also risk of "stuff" happening as you move into the future.
> I am stretching the truth a little bit here

long past its breaking point
This is a very lame dismissal, which I'll just respond to similarly:

"Cancel culture" very clearly had crowds of people demanding someone lose money/access to a job/platform.

Perhaps we're just in different bubbles that don't overlap.
Do note that Tiller and Personal Capital both use(d?) the same mechanism to scrape data: Yodlee

https://www.yodlee.com/
Can't say I'm surprised
https://www.ikea.com/us/en/new/frekvens-limited-collection-p...
Splitting Apple/Google/Facebook/Amazon into 40 smaller tech companies would result in larger tech companies from elsewhere - mostly China - eating American tech industry's lunch on the world stage.

Large companies have massive resources which are a competitive advantage. Having these titanic companies headquartered in the US, beholden to American laws, employing Americans, being a symbol of American prowess abroad and listed on American stock exchanges is in American interests on multiple tangible & intangible levels; including allowing American engineers to command ridiculous salaries and granting the government a lot of soft-power.

The recent sanctions on Russia (and previously Huawei/ZTE) shows howuch that soft-power is worth
yes. tons. go look.
So why is the current definition of "cryptocurrency" so narrow? It seems to imply either a) blockchain, or b) some decentralized alternative to blockchain that tries to fill in the basic features of blockchain and one day scale it.

But there must be dozens of other approaches to doing cryptocurrencies in a sane and safe manner. E.g., in all this crazy buzz, has anyone in this space tried to do an updated version of digicash? That was a digital payment system created by one of the grandfathers of modern crypto. I've never heard a counterargument to its fundamentals-- unlike Bitcoin, you got your cashlike properties of anonymity wrt the issuing back through the use of blinded signatures. And I'm pretty sure it could also scale much better than blockchain-based stuff. It just pre-dated ecommerce so it didn't have a market.

There must be dozens of other non-blockchain approaches that also route around all the scaling problems of trying to do a blockchain or decentralized approach.

I mean, even in the realm of anonymous messaging researchers like Len Sassman came up with remailers that could make use of some number of centralized servers without relying on them to play nice for the anonymity properties. Hell, Moxie even went full centralized and still gets what I think a lot of commenters on HN would have to admit are decent privacy properties. Or, at least better privacy options than you'd get with doing transactions through Bitcoin.

Are there equivalent non-blockchain, non-decentralization-zealotry cryptocurrency experiments going on right now in this same space? If so, I'd love to know about them.

If not, then it sure does look like a bunch of people either copy/pasted Bitcoin's hashcash hack or put an experimental stop-gap in there to surf atop this ocean of cash that seems to only chase this incredibly small niche.
Yes, https://support.apple.com/en-gb/guide/deployment/dep580cf25b...
explains how to MDM them for OOB management. (Lights out management).
I don't think the OP was referring to build pipelines, but rather continuous integration pipelines. Build in the sense: lint, install deps, and run tests.
Expect has had remarkable longevity, though I'd say the greatest impact of Tcl has been though *sqlite* which started as a Tcl extension and still uses Tcl in its development. Sqlite is used so very widely, hard to find any major software that doesn't incorporate it. I guess Tcl is nearly everywhere, under the hood anyway.
I was really hoping they would make something out of it. Apple can create great products.
DCF still works if you assume 0% inflation, as even without inflation tomorrow dollars are worth less than today dollars.
You seem to discard that in a democracy, one person should get one vote. In crypto, you vote with your wallet – due to network effects – so the richest/most powerful weight the most.
Today was the first day any non reviewers have been receiving them. Mine should be here within the next day or two.
Anddddd it sold out. TE knows their audience, folks.
This will hugely vary based on where you were living at that time - I worked for a UK ISP in the early to late 2000s and can't agree with this description of the UK as a whole.

Virgin's coverage has never really been close to "nation wide" either. Even today, Virgin Media's DOCIS network only reaches about half the premises in the country. It was far less in the early 2000s! Virgin also only acquired the Telewest cable network in 2006 and didn't rebrand it Virgin Media till 2007.
Good luck getting retail investors to pay. Most do not pay and those that do pay for actionable trade ideas (ie buy X options and sell the next day)
Yeah, it was heavily subsidised - they’ve been on a big push over the last several years to get digital infrastructure into the boondocks. Contention is low, given the population - and I don’t directly use it, as I live quite a way off grid - but it’s the backbone for our LTE connection, which gets a comfortable and consistent 150 down and 50 up - plenty good enough.
>> For many people. . .the polymer is the worst form of planetary pollution since oil spills. Some of that attitude is cultural snobbery, a marker of class allegiance not that different from Ralph Lauren eschewing synthetics in the early ’80s.

There it is! HN cant help itself. I love that one of the citations is literally “naturalclothing.com” that seems like a very neutral source.

> Yeah, no thanks.

I mean you are entitled to the subjective opinion about how comfortable cotton is to work out in, but the objective reality of the mass market is that polyester is hugely popular as a technical fabric. I go backpacking and cotton essential doesn’t exist in the back country, everyone is either sporting wool or synthetics. Wet cotton is cold, rough and doesn’t breathe. I love high performance natural fibers, and own a lot of wool and down, but I’d be lying if I didn’t say that polyester has advantages over wool (less so down).

Is there any evidence that plastic can enter our body transdermally? I find it extremely unlikely and honestly quite far-fetched given everything I know about the skin.
I think a lot of people dont realise how big of a mistake Shake was.

Apple acquired Shake from Nothing Real in 2002. by 2006, it was essentially dead. This was a huge problem with the visual effects industry as it was the standard for compositing works and nothing was comparable. quickly there was a scramble for alternatives to up their game, two major players were Fusion and Nuke, with Nuke evenutally winning out.
all things crypto has been pretending to work on for more than a decade while riding the work of an individual research paper from the 1970s which explained, at the end of the paper, why this should never be used for money

y'all some junior koch brothers
Ok, fine apart from Hull then.
Don't forget also their strategy of buying 1st season hits then creating new seasons regardless of the story or quality just to capitalize on "safe bets" or the "money cow" loyalty/fan phenomenon. Ex: The Crown, Money Heist, Designated Survivor, etc.

PS: Disney is doing the same, but with brands instead.
- https://www.collaborativefund.com/blog/
- https://topstartups.io/
- https://milkroad.com/
- https://www.reddit.com/
And relevant to OP, you cannot hibernate on Linux with secure boot enabled, I think precisely because Linux doesn't know how to sign/encrypt the RAM dump (no idea how it's actually called)
yes, and yes. and they are still useful.
I wonder why you don't see Johnson and Johnson bidding on it; if they acquire it they are effectively paying themselves at that point.
The screenshot in the post mentions hiding “leaderboards”. What are those in the context of github? Google isnt showing anything
half of the article is paywalled, given that no one on hn actually reads the article i suspect its not an issue here
The smallest 256x256 single-color PNG file, and where you've seen it (2015)
Thanks. Unfortunately that's what I was afraid of. I need it mostly in TTY, so still gonna wait for some improvements there.
More people need to understand this. Most businesses are not designed for VC pace and scale. But they can be excellent cash-flow and profitable businesses
My favourite way to enforce types in python is to use typeguard‘s typechecked decorator. It is checked at runtime but it can be added gradually.

https://pypi.org/project/typeguard/
Ok, correct, I was thinking of FTTC as in VDSL. I haven't heard of VM being "FTTC" before. Though even most of VMs new rollout is actually FTTH, albeit RFoG (for now).
Just wanted to correct that the crank doesn't charge the device. It's just input.
Yeah, it's definitely a thing for a particular group.

Then again, I suspect many raspberry pis meet the same fate; bought and played with for a few hours and then left to collect dust in a drawer somewhere.
when types are not checked and enforced, they get out of date just like comments and docstrings.

i agree with the author, if the hints can't be trusted, even just once, there's no point littering the code with them, and are actually harmful when trying to debug something using faulty hints.

i am a big fan of static typing but not in python. pick a language that was designed around it. you can't make a duck bark.
I would still recommend Debian, possibly with some added repos for things that need to be newer or which aren't normally included.

If only that recently discussed change to include just the closed source firmware blobs in the standard dist gets approved, things would be even better than they currently are.

https://www.phoronix.com/scan.php?page=news_item&px=Debian-C...
An airship's lighter than air nature is one of their biggest drawbacks. An airship needs a large volume in order to make all of its heavier than air components lighter than air in aggregate. This makes for a huge sail area. So even modest winds make it difficult to control an airship near the ground.

When an airship is near the ground it doesn't really land, it moors. Even if it compresses or vents lifting gas to control buoyancy it's still a giant sail very close to the ground. A gust of wind can seriously damage the airship or mooring or cause it to spill cargo or passengers.

I love the idea of airships but they have a huge number of practical concerns.
doesn't the alcohol content in listerine increase the risk of oral cancers I read somewhere?
Another day, another A16Z announcement
It's painful to see how sharp he was back then and then see his current show. Something happened.
Right, but the identity/directory/device management solutions being used are still 3rd-party -- things like Jamf, Azure AD, Mosyle, JumpCloud
Greater variation in a population makes it more robust to adverse events
I use celluloid on Wayland. Never crashed. It'd be helpful to know what distro you are using. Fedora has the best Wayland experience of them all, others not so much.

You wouldn't have a nice Wayland experience on Ubuntu 20.04 LTS for example.
Yup, even if you never want to get a license you could spend $180 or so on an introductory flight or two for fun.

WARNING: you will get addicted and end up spending $15-20k on a license.
Talking about the hardware here. Yep, Server.app is a shell of what it could be. But I mean the rackmount macs — I was asking GP why they didn't consider those servers ;-)
You can have mypy doing the type checking. Just put it on your CI pipeline alongside your tests.
> 1. If you're using a dynamic language, then _by definition_ the language will not enforce your static hints at runtime.

Counterexample: PHP is a dynamic language which enforces static type declarations at runtime.
Sorry, I wasn't clear: I want command-line tooling for the build pipeline, not for the IDE or any individual developer.
A sequencer for the /mixer/ is terribly terribly useful. Basically like having control parameters in a tracker, but for any arbitrary input you've plugged into the mixer. And knowing TE, I would be shocked if you couldn't target the mixer params with the sequencer. (Arguably, this is part of the value prop (hahahahahaha) for modular synthesizers.)

The synthesizer is probably more 'because they can,' once the rest of the software/hardware interface is in place. It's close enough to what they've already done lots of with the pocket operators; might as well throw one in so people can prototype sounds easily.