skysight-inc/HackerNews huggingface dataset:
This is an article about why linear types are hard to implement... and it doesn't even claim they can't be done; regardless, I have argued this at you before :(.

https://news.ycombinator.com/item?id=23579426

I continue to believe that the strongest point in that article is actually the third footnote, which correctly admits that this is mostly about a lack of appreciation.

> The Swift devs have basically the exact same argument for move-only code, and their implicit Copy bound. Hooray!

My claim here is that, given linear types, it should be trivial to use async/await style coroutines for I/O continuation. You have given no evidence against this idea.
I used to think that School was much nonsense too, so much that I spent 1 year or 2 mostly skipping it. But:

>In reality we kind of expect people to learn everything they need to know outside of school and many things they don't need to know inside school.

Yea and isn't school system aware of this? After all, if you learn how-to cook & do your taxes anyway (out of necessity, which is a stronger learning signal nevertheless) why teach it with public funding?

The opposite of your complaint is: "Ugh why are school teaching such obvious stuff that you will sooner or later learn anyway? Complete waste of taxpayer money!"

I see school as a incomplete(lazy) attempt to teach a broader populace "context" behind everything we have learned as a society so far. But that is too wide, and too deep to cover fully. Hence we cut of at some width and at certain depth, and focus on things you wouldn't learn or even know in a everyday life, the "unknown unknown" so to speak, for the young, energetic, mind.

My diastase for school mostly boggle down to how utterly incompetent they were even in this regard, in practice.

But maybe you have a more informed view on things that I missed in the short text.
I only spent a year in Hokkaido but it was a pretty hot summer when I was there... basically the weather over the course of a year wasn't that different than what I was used to in Massachusetts.
Ah, ok. Yes, from the workers point of view, I can't personally why one wouldn't want to be part of a union outside of paying dues.

With the government job security, that always struck me as a reason to not need a union. Why pay dues if the largest benefit is already provided? (Of course there are other benefits, but I imagine job security is usually near the top)
The article is trying to paint NYT's A/B testing as nefarious, but unfortunately in the current social-media-oriented landscape, headlines are very, very important for clarity, and A/B testing headlines is something every media publisher with a sufficient tech infra does.

As frequent Hacker News submitters know, headlines alone can determine whether a post gets upvoted.
it's a good point
> Speaking of open source FPGA tools, I recently saw a video on Twitter of someone programming an FPGA (TinyFPGA, I think) using a 100% opensource toolchain. Has anyone seen that?

Could it be https://symbiflow.github.io/? Symbiflow aims to be "gcc for FPGAs".
I too am a huge fan of Principles.

The quote here is “ Think for yourself to decide 1) what you want, 2) what is true, and 3) what you should do to achieve #1 in light of #2...”

Stop and let that sink in. That’s petty deep algorithm for achievement in life.
Special Agent Arch Stanton is the lead investigator
Yes, I understand that the dynamics might be different for a family. In Spain normally you'd have 1 bathroom for each 1-2 rooms, so a house/appt with 3 rooms would normally have 2 bathrooms.

I am talking mainly as a single person renting. And of course it's my opinion coming from a different culture.

"While bathing, why should we see toilet" I prefer to see an ample room while doing anything, than to have a wall right in front of me. It's not about the contents of the room, but about having walls less than 1 feet on each side of my face (for the toilet). "Toilet smell" should not be a problem normally with decent ventilation, specially with the industrial fans that Japanese homes seem to have in the bathrooms.

My issue is with overall distribution, where Japanese houses (at least for single person/room) seem to take 30~40% of the floorplan space in what in other countries would be a single room taking 15~20%.
Not sure where you're looking but modulars are definitely cheaper in the Western US. Many off the freeway modular dealers can get you a three bed for under 200k. They are not attractive though. Clayton, Champion, Commodore , etc fall into this category.

If you step up to a higher end manufacturer you end up paying about the price of a site built but with much nicer finishes than the comparable site built. Method, Ideabox, Timberland, etc fall into this category.
This is why you only connect to your TV through a pi-hole network.
Photogrammetry is what they say. It's a technique that involves stitching together loads of still photos to reconstruct a 3d surface. It's not real-time capture, it's for creating 3d models.
Click the right edge of the touch area, advance 10 seconds. Click and hold the right edge, fast forward until you release. Left edge similar but rewind.

You can also click in the middle and then swipe left or right to move the slider.
Hmmm? For digital content, I pay a fee each month of which a certain amount is supposed to go towards the artists.
Netflix Canada $14.99/month
Disney Plus $11.99/month
Amazon Prime $7.99/month
Spotify $9.99/month

For cable TV content which I don't have, The channels run ads. Which makes the channel owner money who then is supposed to pay the artists.

If the artists aren't getting anything from that, that's a problem between them and their distributor. A problem that isn't going to magically get fixed by a TV OS running ads, of which the artist very likely never sees a cent of either.

Lets say Netflix was free, and they ran ads in their content. Would I have a problem with that? No, they are providing free content and I would not mind watching ads.
Or how about cable TV? People are already paying for Channels and getting blasted with Ads every 15 min or so, why should the TV OS "layer" Ads on top of Ads?

I own a LG TV... it's not allow to access my network because of Ad "Layers" and I run everything through an Apple TV. At least that way, I see no Ads on paid content, and just 1 layer of ads on free content.
Based Cooking
I preferred roku when the Amazon vs google fight meant I couldn't use Youtube TV. I stocked up on rokus in the house figuring they were the safe bet. And then for months there was this stalemate between WB and Roku where I couldn't access HBO Max. Seems like I can't win. I bought an Apple TV and I've been pretty happy with it so far.
This is interesting but unless I missed it the author doesn't really explain why they believe they observe all A/B tests. They kind of assume that the randomization is over time (so every reader within a window sees the same headline, and then it changes) rather than within cohorts at a fixed time.

But the quote included suggests the NYT does do the latter: "Half of readers will see one headline, and the other half will see an alternative headline, for about half an hour."

So given that the author mostly observes long consistent blocks of time with the same headline, that suggests the NYT is allocating them to a subgroup in a persistent way (by IP or whatever). Then perhaps the cases where they didn't observe A/B testing were just cases where they were randomized into the optimal (hence final) headline subgroup by accident at the beginning, and never saw any different.
Emacs changed my life (2013)
Taking a page out of the AWS playbook
It does have some nice improvements over C though, such as defer-style deallocation, which can help with many potential bugs.
Is this intended to be ironic? You're doing the exact same thing.
“There are two hard things in computer science: cache invalidation, naming things, and off-by-one errors.” — multiple attributions and versions
Amazing achievement at that age.
> The supposition that modern UIs are based on is that they should be drop dead simple for a brand new user to pick up and use without training, but at the expense of flexibility and utility.

Spend almost a decade building enterprise software and heard EXACTLY that a stressful number of times. On one hand, I think that maybe my customers (mostly Fortune 500) couldn't hire anyone with at least 90 IQ, because, shit, it had to be simple! And also, probably, those companies provided the worse customer service ever, since they wanted to have people operating their software with zero training.

Now, besides making the interface dumb, less productive, we had the problem that people were much more concerned with making things easier to use (and pretty) and not productive.

(and don't you think that they'd ever talk to the actual user...)
In several of these the shift is due to a headline written about an upcoming event being changed during and after the event, especially the Trump and Cuomo examples. Interesting tracking but not really A/B, which would be testing two different headlines roughly simultaneously.
Wow when did popular mechanics become Amazing Stories?
> is it not also possible that people are commenting without opening the article

Title: "Why are so many athletics records falling?"

Byline in the article answers it: Shoes.

The free section says this is for track athletics.

In the comments there's a link to the full article without paywall - https://news.ycombinator.com/item?id=26406977

42/100 of comments atm don't seem to know the article answers the title with shoes.
QuickLogic perhaps; 100% open source FPGA+MCU platform. This is probably the video you're thinking of: https://www.youtube.com/watch?v=Q5GIZUsXb3I
Would very much like to read your thoughts on V[0]

[0] https://vlang.io/
For example, usually it's not obvious when memory is being freed. I recall a thread about esbuild where the author was saying they had better GC perf from go due to GC happening in a thread whereas in Rust it didn't and it was not clear how to make that happen or if it was even possible.

In zig, you can use an arena allocator, you can free things piecemeal while using an arena, you can free the arena on program exit or in a thread, you can enforce a stack allocator, have multiple allocators, etc and because of the orthogonality of the Allocator interface, most of this knowledge is something you can probably pick up within the first 2 hours of zig (assuming you know C).

Re: edit about rust binary size. When I say zig is on par w/ C in terms of binary size, I mean I get the small binary with the basic `zig build-exe hello.zig -O ReleaseFast --strip` command, without any attempts at optimization. Do you know if this 8kb number includes the UPX optimization? If so, I'm calling shenanigans :)
Has anyone purchased from this vendor? What has been your expreience
I think there is a targetted campaign to push nuclear... even on this site.

The personal attacks start as soon as you start asking the hard questions. Like how much actual permanent storage is required for the most toxic substance humans have ever tried to store, who pays for it, the perpetual risks.
Thanks, I didn’t even notice I had done that.
I miss Ansible/Chef, yes I said it!
I would say that learning how the NY Post writes their headlines would be a more fun story.
Honestly it was really obvious from context that you were referring to consumer empathy and not that you were implying that they were a psychopath.
Should we just read that as they may actually have some customers?
Chinese Semiconductor Tycoon HSMC Collapses
Haha yeah I was imagining I'd probably freak out some companies if I use their name in my email address.

Currently I also use filters/labels in gmail, sounds like that is the better strategy.
We'd all like more light in the evening if it came for free, but an hour more light on the evening in the winter means an hour less light in the morning. Depending on where you live, that could mean the sun rising an hour after you get into work or school.

Waking, eating breakfast, and commuting before the sun rises sucks. Making it worse would, well, make it worse.

In the summer we don't have that problem, as even with the time change the sun usually rises before most people do.
One of the best thing about parser combinators is that I was writing them before knowing what it was.

My first programming language being C[1], all you had was functions and composition, it's the natural pattern to write parsers.

[1] - Well, in truth it was GML from Game Maker 6, but I quickly went to learn C :p
Integrity and such aside, as someone who runs A/B tests I love seeing this data. Thanks for sharing it!
TIL. I was so excited to try this out, finally a cloud provider with decent pricing (especially considering I'm on South America). Definitely the best price around here by a long margin.

But then I just spent 20 minutes trying to sign up. Every time with my credit card being rejected due to "wrong billing address". Never had this happen before to me, I tried pretty much every permutation of my address. Sigh, I guess Oracle will always be Oracle.
For a UPS you want to know both the max wattage of the load, as what % of the total output that the UPS's inverter can put out at any given time, and also the nominal steady-state watts so that you can calculate the Watt-hours, which is what will determine runtime on a given battery size.

If you have a UPS with, for example, 4 x 12V 8Ah AGM batteries, it has a certain amount of Wh you can realistically use before you deep-discharge the batteries into severe damage.
Yes but they don’t have the same software stack, which is what the concerns are about.
Not really. The longer you stay in power, the more people are used to it. ;D
Good piece, but damn I was hoping for some details on their implementation. Are the variations coming from the server, CDN/edge, or client? How does this impact SEO? Do they change the article slug if the title is a winner? How much is automated and how much is human curated? When beset with new assignments who has the time to babysit these things?
I think only a small (but substantial) number of people actually want home based Smart/IoT products. And I think there's the extra push we see here to advertise to them because they're big trender spenders. Inshallah this article is part of a push-back that will encourage some TV companies to take a step back and get a little less intrusive on their customers.

One of the biggest IoT markets is large corporations with large workforces they would like to manage. A lattice of job-relevant IoT devices give them an automated layer to monitor and control. It lets them enhance safety, productivity, communication and motivation to their own likings. IE to their own profits. Usually at any personal expense or detriment on the part of their work force they can reasonably expect to get away with.
I wonder how much demand there is for services to "dumb down" smart TVs --- paying someone to replace the motherboard with a dumb one (search online for "universal scaler board"; the "3663" is a common model), for those who don't want to do it themselves.
I've semi-seriously considered getting one of those flashing process lights that you see on industrial equipment and hooking it up to a pi that monitors the power draw through the outlet and lights up whenever it goes high->low.
To add to your point - so much amount of software already exists in the world. Tools like zapier enables people to put these different software services in an massive assembly line and kind of use them to get their workflow.
What you sounds quite reasonable...from a consumer perspective. Laws are not written for consumers. You have no power and no voice and the vast majority of people are so completely checked out of reality that you are hopelessly outnumbered. Oh, and big business and government surveillance are both lined up on the other side. We are losing this one.
How come a double brick home would be worse for tornadoes and hurricanes? At a pinch i would say the first weaknesses would be windows and roof, not the walls.
I think the fact that you can do coding everywhere makes the comparison a bit skewed. How many awesome skiiers are there in the Netherlands that will never develop that skill?
I’ve had no trouble with this since I made changes in that pane at least a year ago. Do you do expert user things with your Mac, like disabling SIP or running LittleSnitch or so on? Have you opened a bug report for Apple with sysdiagnose attached? Are you using or have you used developer betas on this device or other macOS devices linked to the signed-in iCloud account of this device, if any? Have you run out of drive space since you set those settings, and/or performed a migration from another system?

What evidence have you collected that demonstrates that this is an intentional act by Apple, as claimed in your post headline?

HN isn’t an appropriate venue for unsupported accusations of malfeasance or conspiracy. Please substantiate your post.
I love how the downvotes and lack of meaningful replies on your comment prove your point perfectly.
Okay so I was a bit eager to blame Microsoft, thanks for the correction. The early proliferation of non compatible clients was still a bad blunder that I can now attribute to Mojang.
Why would they cover the difference?
One would begin to think that, then remember they're discussing Oracle
Your ISP may well already support IPv6, especially if they have CDN endpoints in their data centers.
Post-Exploitation Analysis from Microsoft Exchange [video]
i think people who repair and make stuff hate these sorts of things because they introduce a layer of complexity that ruins longevity and predictability. what you call convenience, i call added costs down the line, and unreliability. also, the "time saved" is a bit like saying modal editors are good because you can enter text more efficiently. its all technically true, but seems irrelevant to me (and i use vim exclusively). but i have to concede that this idea of IOT home convenience stuff may be legitimately useful for some people, like yourself. it just seems to be the case that thats only true for some people.
Please don't. I realize you meant it in good fun, but this sort of thing is kudzu* and there's a power law in how worse it gets as the thread proceeds.

Threads are particularly sensitive to initial conditions, so it's especially important not to do this when there aren't any comments yet.

(Submitted title was "4,000 year old woman may have been powerful European leader, treasure suggests". Perhaps the submitter rewrote it to fit HN's 80 char limit, or perhaps NatGeo rewrote their own headline once they realized all the lame jokes it was generating.)

* though I do need to find a different metaphor- https://news.ycombinator.com/item?id=23668829
Buy a monitor. Hook it to an Apple TV, or some other reasonably well behaved source.
I think the article attempts to demonstrate with its examples that some of the titles don't actually accurately represent what ought to be the core takeaways of a news story.

Selected excerpts:

"I actually watched this interview—all two hours of it—and I can tell you that the first two headlines are a much better summary of what went down. Yes, Meghan does reveal that she contemplated suicide, but it’s a five-minute interlude in an interview that has a lot more going on."

"Trump starts off addressing conservatives and claiming leadership of G.O.P. but in the final headline Trump has a hit list and is firing a warning shot. And sure enough, the bombastic rhetoric propels this article onto the “most viewed” list."

In other words, while you're correct that titles are important for clarity, the claim in the article is that "clarity" can be at odds with what gets clicks (or gets upvoted).

I'm able to viscerally internalize this because, as a tech worker, I've typically used A/B testing as a tool to maximize engagement, but I've never in my career used it as a tool to maximize correctness or "clarity".
I'm more concerned about the near-to-mid future in this respect.

It is still quite unusual to have embedded LTE modems and the like in consumer devices. Outside of a few relatively expensive product types, like cars and of course phones/tablets, I think most people would be surprised to find independent wireless connectivity in their consumer products and a lot of people would probably ask why it was there if it had no obvious purpose.

With 5G looking like it's going to be mainstream in most developed countries within a few years and promoted extensively as a technology for connected devices and applications using inter-device communication, it feels much more credible that both the infrastructure networks and the component manufacturers involved could offer pricing models that make incorporating connectivity cheaply into any device you feel like a realistic outcome.

My concern is that we drift into a situation where including local network communications, possibly sensors, and independent remote communications all in the same devices becomes routine, without anything close to adequate protections for security and privacy to go with it. Given that governments around here (UK/Europe in my case) are only just beginning to act on issues like right to repair and online privacy and have barely touched numerous other issues raised by modern tech and its capabilities, I'm extremely wary of a relatively uninformed public accepting a lot of hostile measures because they either don't know any better or (possibly correctly) assume that by that point there is nothing they can do about those measures even if they don't like them.
I am sorry if I didn't do my research here. What chips can use this? And does one still need to use their other IDE for the generation of bitstreams in addition to this?
> headlines are very, very important for clarity

I'm pretty sure engagement is more important than clarity. I don't see how A/B testing helps you optimize for clarity. What are they measuring to determine a clarity score?

Sadly, most of the time engagement is highest when something is more outrage inducing.
The one admin frontend (mcadmin? forgot the name) for minecraft servers is a heap of magic too.
Judging by the number of homes that have been in progress in my area for several years now, I don't think this is 100% the case.

It's also worth noting that even for a "solved problem", driving down costs is still beneficial in the end.
Graphics are a notorious case of CPU-bound applications. Adding IO boundedness to the equation seems like a bad idea.

I’m not saying it can’t be done, or that it can’t be fast. But it’s very much against the grain and needs more justification Than “NVMe is fast”
Life in a connected home is easier. I can spend the time saved on things that actually matter.

Philosophical point: If everything you do is under the whims of large corporations, does anything "actually matter" anymore? Is it really your life, or are you just "living" an empty existence controlled by global faceless entities who seek to maximise only their profits?

"We fight because we live. We live because we fight."
Looks like 3-clause BSD to me.
When I spent Christmas in Reykjavik a few years ago, there was nominally 4 hours of (barely) daylight - 11:30 through 15:30.

But because the sun barely ever got much above the horizon, the slightest cloud cover meant it mostly felt like twilight.

I can't imagine anyone calling something 5 degrees above the horizon the 'top of the sky', but perhaps they did. I don't speak any Icelandic, so I can't really say for sure.

Interestingly the solar noon during winter (ie. not daylight savings) there is around 13:30 -- no one seemed to be terribly concerned it not being 12:00
You are living the Tony Stark life lol.
" Zapier lets non-programmers, the vast majority of the planet, do things that programmers do"

I doubt that's the reason for the evaluation, that's hardly unique.
Agree. there are sites do salary compare. if it is Montreal, 55k is not a lot.. Also Quebec has higher tax and better benefit, French is more widely used than English.