skysight-inc/HackerNews huggingface dataset:
Katara: Synthesizing CRDTs with Verified Lifting
From the abstract: "In this paper, we present Katara, a program synthesis-based system that takes sequential data type implementations and automatically synthesizes verified CRDT designs from them. Key to this process is a new formal definition of CRDT correctness that combines a reference sequential type with a lightweight ordering constraint that resolves conflicts between non-commutative operations."
Printers (3-D teleportation! reanimation! duplication!) are sci-fi magic. Thanks to smartphone cameras, scanning and OCR are now free.

Using DRM-free ethernet-without-wifi Brother laser and Dymo label printers.

Looking into combo 3D printer / laser engraver / CNC cutter, to join the revolution in photogrammetry and Lidar cameras.
https://myaccount.google.com/inactive
Not doubting that situation but its pretty rare. Currently use a Macbook for work and home use and can't list a single thing that doesn't work. Which is a first for me from a laptop.
Agreed, the example you posted is one of the main reasons I feel weird using Go. If there were better semantics in place, I feel like Go could really balance legibility and ergonomics to their advantage. As it stands though, I actually feel like Rust and C++ are more readable than Go. It uses more brainpower to understand what's going on, but the way those languages maximize each line's potential is really nice. Coming from Java and Python, it was like dusting off Tolkien after years of J.K. Rowling.
Writing advice is overrated. it's hard to know what readers will like. a lot of randomness involved. also, you need to build rapport or trust with the audience or reader, which is hard.
I believe the last time I printed something out was in 2011. I had been keeping a printer for years just to file my state taxes. In 2011, Intuit's Free File Fillable Forms became available not just for federal taxes, but for state taxes as well.

It never sat right with me that I should have to pay a private corporation to eFile my taxes, and they've always been simple enough that I didn't need a professional to prepare them, so I stubbornly printed them out and mailed them in every year. I didn't like that FFFF was provided by Intuit, but at least I wasn't giving them money directly.

Then, for the 2020 tax year, they stopped providing the service for state taxes, but I no longer have a working printer. I had to go to a local print shop to get everything printed out. It was still cheaper than eFile software, but it was a drag.
I don't care what his political agenda is, I care what the actual source of inflation is. I see a lot more evidence that a lot more of it is due to price gouging by corporations than the money supply or supply chain issues. I don't care where he writes it either. It's not as if the WSJ is going to publish an argument like this.

So maybe we can get away from "I hope <X> understands supply and demand" and actually tackle the evidence that has been presented by many economists and economic pundits regarding the relative contributors to the current inflation.
The idiomatic version has gotten faster since C++03 overall thanks to move semantics.

std::unique_ptr<Foo> doesn't have any overhead over Foo* in code where semantics is the same (i.e. you want to delete when going out of scope) on any sensible ABI - it has the same storage size, and all operations are trivially inlineable to the same exact thing you'd do with a raw pointer. About the only time I can think of where it can be slower is when the ABI insists that a struct cannot be passed or returned in a register.
AirPods can double as hearing aids
https://archive.ph/uev9J
> People on the train are people who can afford the choice of a luxury of a home in a village or the countryside instead of London

And spend 3 hours a day on a hellish commute 5 days a week?

Thats not luxury, that's torture.

I do know folls on lower end salaries that commute far, its not rare.
> A quick check of Wikipedia suggests Arabic, Portuguese and Vietnamese, all use number-based systems to name the days of the week, and they are indexed from Sunday = 1. But yes, the other is more common. Most of the Slavic languages, and Chinese, among others, use indexed from Monday = 1.

For portuguese the name being number based has nothing to do with when the week starts, portugal is historically a very christian country and always had the week end on sundays, "and on the seventh day he rested", in both casual/formal speech and formally with calendars and such, saturday and sunday are always put at the end.

The names being numerical was because that's how the names were named during Holy Week (the week that ends with easter sunday), christians were supposed to rest and not work during that week, so sunday was the first rest day, monday the second rest day, etc. which is what the names mean, some people today think it means fair as in state fair/market, e.g. monday is "segunda-feira" = "second fair", but it actually means something closer to holiday, the modern portuguese word being férias.

The reason it took over was basically because the church said so, the old names were still based on old gods and the new nomenclature was adopted for all weeks instead of being Holy Week exclusive.

I guess if the aliens landed in portugal that would be another thing to add to the thread :)
>Consentual sex is not hedonism.

Agreed 100%. Consensual sex is awesome (the only good kind!), but we're talking about hook-up culture specifically though.

And I never said anything about banning birth control, there are many different types of birth control. The ones that add estrogen to our water supply are problematic though.[0]

As an aside, what do you think is causing the massive drop in fertility and semen counts in western men?[1] It's one thing to handwave away things you don't like, but we know semen counts have never been this low, so why do you think that is?

[0] - https://pubmed.ncbi.nlm.nih.gov/26454754/

[1] - https://www.nytimes.com/2017/08/16/health/male-sperm-count-p...
Think of it as "weekends" as in the limits of the week not "weekend" as in the last part of the week.

In SMWTTFS the Saturday and Sunday are at the ends as in limits of the week, and furthermore it makes sense for there to be two "weekend" days like there are two bookends. In MWTTFSS Sunday is the only actual end of the week with Saturday being included just because(?) and Monday being "weekbegin", which isn't really a word in English.

So based on this SMWTTFS seems more logical and sensible at least in English.
It has come up when we've played the "McMaster Game" at our office, in which we attempt to guess random things that McMaster might or might not have.

Interesting things they have had in the past include basketball hoops (in a kit, ready to go, for all your "our institution needs a basketball court... today" needs) and a urinal.

But yes, there are real uses for industrial tricycles -- need to move some stuff (or a person) pretty far pretty quickly inside a warehouse? Industrial tricycle.
At my college town around 2013, any prime delivery would always take a day longer than it was supposed to. Saturday delivery wasn't common there at the time so you had to get your order in by Wednesday morning at the latest otherwise you'd be waiting until Monday.
> There are no neutral historical records to prove he specifically existed.

https://en.m.wikipedia.org/wiki/Historicity_of_Jesus

"Virtually all scholars of antiquity accept that Jesus was a historical figure"

For non-Christian sources, see: Tacitus, Suetonius, Josephus. It's virtually a certainty Jesus existed. Whether he was the 'son of God' is a very different discussion.
McMaster is defintely amazing. Now I wish that Digikey and Mouser got their shit together when it comes to providing models and footprint files without me having to scour the internet for them, without having to login to various sites.
Nobody is talking about doing an insertion
Yes, I ran into this issue after I switched to iOS a couple years ago. Google demanded full permissions to even open the app. I promptly downloaded my image library on the web, and also, related to OP's post, some of my images had artifacts. Some were even corrupt. I moved everything over to onedrive, and restored the corrupted ones that I had local copies of (gradually, it took a lot of work) with local copies I have. I now mirror in "the cloud" with both iCloud and OneDrive. I also have a local copy and a couple of USB sticks with a backup handy on my keychain (solely for if a fire breaks out and I remember to grab my keys).
This reminded me of a very hip recording of Anthony Braxton playing Donna Lee on contrabass clarinet:

https://www.youtube.com/watch?v=4qL_hkYEf1M
They also make it impossible to add air conditioning if I'm reading this right and can only really cool things down to the surrounding temperature (basically attempts to keep buildings from turning into greenhouses). Very cool but I don't see this being implemented anywhere where someone can afford AC
We use these in military aviation across the world. Stupidly useful when you’ve got 100+ lbs of tools to run out to a down aircraft that needs fixed to make a mission.

Also in shipyards, for similar reasons.
And I bet the tech is all done by 3 guys and maybe a data entry/modelling team...
100% of the things I need to print at home are things for the kids. I imagine once they are grown, I will never need to print anything again.
3rd testimonial in support. 2016? changed toner once. In a world of devices that need constant care and feeding, this one Just Works.
Big adult size tricycles with a cargo basket or saddle bags. I’ve seen them used in big factories/plants for maintenance crews.

Something breaks and the maint guy hops on, loads up his toolbox and cycles out across the plant to go fix it.
How did it go? Haven’t done that in a long while, but your message brought back childhood memories.
This is not a law of nature. It's a function of the idea that you should always seek the highest price you think you can get. That's a very specific political and moral idea, and some people, in some circumstances, would call that "price gouging". Nobody is demanding that a store raises prices in response to being out of stock - the store does it because it believes people will pay more, and if their costs are constant, they will make more money by charging more. There are other conceptions of how this could/should work that do not bestow god-like status on "the highest price that doesn't shrink demand is the right price".
Nextgenhacker101 – How to view someones IP address and connection speed (2008)
Classic YouTube video. Wonder what kind of hacking Nextgenhacker101 is up to these days.
Open offices, beer kegs, and ping pong tables.

Which, frankly, at this point might very well include every company founded since Facebook and including FB. Maybe every tech company post-dot com bubble is spiritually a startup.
McMaster's pricing and structure also self-selects for the right kind of customer -- customers who are willing to pay a reasonable premium for quality, speed, and customer service.
Why not? We know of one occurrence of intelligent life. It would be pretty weird if it happened exactly once and no more
Ditto. Our Brother laser printer gets used primarily to print package labels for e-commerce returns. Secondarily, for forms required to interact with certain bureaucratic entities (paper is either required or easier than dealing with a crap website; also sometimes it's useful to print blank forms for drafts).

Almost all of what we print is either outbound or transient (and shredded once its immediate purpose is fulfilled). 99% of what needs to be preserved long-term gets scanned (and shredded).

The above has been our operating mode for at least 10 years.
mcmcaster carr is also extremely popular in the hobby drone building market for buying bolts/nuts/fasteners/standoffs to attach circuit boards (ESCs, flight controllers, etc) to carbon fiber plate, and for attaching cnc cut carbon fiber plate piece together to build the whole frame of a small UAV.

people in the film/tv/production industry also use them to buy various fasteners and hardware for rigging lights, microphones, building complex camera systems onto gimbal platforms, etc.
Shout out to Ableton who has a really well-written online and pdf manual for what is a quite complicated piece of software.

https://www.ableton.com/en/manual/welcome-to-live/

Wish more software companies were this thorough.
It's amazing how fast things can be with no crap ads and just pure content.
Fun fact: rockyou.txt by now is probably one of the most common/famous wordlists out there, used for doing various types of dictionary attacks and the entire list ships by default with lots of tools, including Kali Linux which is a common distribution for pentesting.
When people run out of real problems they create fake ones.
This doesn't go into the actual mechanics of finalizing your order, which is incredibly well done. I've only actually ordered from McMaster 3 times and don't have a need for anything right now so I might be getting details wrong, but basically, the "items in your cart" page has a shipping address and payment method pre-filled, and you just hit "order" and that's it. What's in stock, what ships when, etc. is all clearly labeled in each line item. There are number entry boxes to adjust quantities. You can put in your own part numbers, of course, and the items in the shipment will be labeled with that (or at least a reference to the line item on your invoice). First time I bought from them, I was blown away how clean and easy it was. You hear "industrial supply" and think the ordering process is going to end with "ok, now call us for a quote", but it's smoother than Amazon. Well done.

I also like their parametric search. If you type '1/4"-20 screw', the page goes to the overview of that screw type AND populates the "machine-readable" parameters on the left side with what you typed. It's wonderful. I also appreciate that their search term tokenizer understands that you're looking for a thread size ('1/4"-20') and doesn't strip the non-alphanumeric characters like most would. (Amazon has gotten better at this over the years. I wanted to say "look at those idiots, giving you any screw that has the number 1, 4, or 20 in the description", but they bring up the parameterization as well.)

Finally, McMaster has a reputation for being pricey, but sometimes you just pay the same price that everyone pays for something. For example, say you want a set of Mitutoyo 4" digital calipers. On Amazon, which is rife with counterfeit knockoffs, you'll pay $136.94. On McMaster, you'll pay $129.19 (plus shipping, yeah I know). And it won't be counterfeit! As always, shop around, but they are not trying to screw you on price, or by subbing in counterfeit trash to make a few bucks. Truly a marvel of online shopping. I wish they sold everything.
I doubt anyone would do it differently if put in Tobi’s place. If you see a bump in demand and growth for your product, do you just wave it off and hope the existing team can handle the increase stress on infrastructure, product needs, customer support, sales, etc?

Why not capitalize on it while you can, and if it doesnt pan out just reverse course and fire fast.
The Risks of Having an Older Father
I haven’t worked on mobile iOS development. My question is about you requiring to wait on the review process of the App Store for your fix. Would a design where you abstract your parsing logic etc behind your own API be allowed? Then you could make changes as required without being stuck in approval.
I said that it's natural, not that it's right. I decline to pay you for rolling your boulder up and down the hill.
The recourse when nobody can be found who knows or remembers why the fence is there, is to figure it out based on first principles. It's fine to do "tear it down and see what happens" as a consciously chosen trade-off for expediency. But in my experience people often act like there's just no way of knowing if you can't find someone to ask, and that's very rarely the case.
So pretty soon it won’t be okay to hate religious or poor people anymore?

What will people do with themselves when there’s not a single group of people left that can be blindly hated and scapegoated for everything? I mean they might have to self-examine and look at how they can improve their lives instead of blaming strangers.
Next day delivery is so common for B2B that many times it's the only way to order. I won a free DMM from Keysight and while it took a month for it to be actually shipped, they shipped it next day from Malaysia to the US when it finally did. Like you guys made me wait weeks for it, I could have waited another week for snail mail.
Anything meaningful I could say would just be interpreted as peak autism so I'm not interested in engaging, thanks.
That's fine, but if you spend more money to go slower, that's just stupid. The point is that the pass is a really bad deal, or at best, break-even, unless you're traveling a long distance and within a short-ish timespan. Tokyo-Kyoto is not a long distance and isn't worth the pass at all.
digikey, mouser, and arrow are the big ones that I'm aware of. All of their UX is really bad compared to McMaster though.

I love when a field value table has redundant values for 20mm, 2cm, 2.0cm, 20mm with a trailing space, etc. A lot of the value-add here from McMaster comes from pure data cleanup and categorization and cleaning up the categories and fields. That gets way harder to do on something the size of mouser or digikey though, they have a LOT of product types in the catalog, and tens of millions of products in their warehouses. Just cataloging it all is a massive amount of work.

I'd actually be curious what the data structure of the McMaster catalog is to support that. It's a cool website, it makes it seem so effortless to search for parts.
Probably applies to less than 1% of the apps with this issue.
DNS over HTTPS is default on some browsers now. Firefox does it iirc.
How does DoH make DNS any more centralized than DoT does?
Really depends on the mission profile. If you are refilling in space for a "short" burn, it could still be longest in human history.
I have Starlink and have been using it since last year. It’s true, the speeds have gone down during peak hours. I get maybe 100Mbps instead of 250-300. And I see speeds back in the 200s off-peak.

But damn, Bait and Switch? Harsh words for extremely usable high speed Internet from Space that’s fast enough for remote working, online games, zoom, and 4K streaming that works extremely well from a good portion of the Earth. Compared to “satellite internet” of the past it’s a similar technological leap as dial up was to cable internet. I don’t know how people can complain.
Not on topic, but the author uses an annoying mix of inline links and footnotes. Why aren’t they consistent on it I wonder
ISPs are evil and untrusted. That’s just a fact. The solution is to not allow them to see or modify anything.
Fascinating read. Made for a society that doesn't exist yet - or ever.

"free" access to crucial services on the internet is of course not free.
You are paying with a very simple currency: your online behavior.
That is super convenient and works fine. The ads you get to see are tailored to you and that - in turn - might make you spend money that - in turn - pays for more ads and keeps those services free.
That's very simplistic but essentially what is happening.

And that is perfectly fine by me. There's no privacy on the internet anyways.
For services where you do care that data you give away is kept confidential, I'm paying for it.
(Like Apple's cloud. I gladly pay a few bucks to give Apple all my pics and documents)
This does involve trust: Does the company I'm paying for to keep my data (and money) secure keep their end of the bargain?

So there we have the second currency: Trust.

Do I trust a p2p network that uses my private resources and internet access to store illegal data on my devices? Hell no.
This is definitely not a plug, but I'm actually working on an alternative to email, cloud storage, authentication/authorization/sso/etc. solutions from Google, Microsoft, etc. and one of my specific focuses is to allow free personal use and free smaller company use. It is refreshing to see I'm not building this in a vacuum. I started the project for no other reason except Google yanking out their free accounts. I absolutely do plan to commercialize it, however, I would still be happy with the result even if it failed, since under Google's pricing, I'd pay more than $1,000 a year vs. less than $10/year with my own solution.
The worst part about the front page is the censorship... sometime by top users and sometimes by mods ... Like some other users mentioned, I also like https://news.ycombinator.com/newest better then the front page (you avoid HN ads by using that, too)
Why is it worth the time of a CS student and not worth the time for a self-learned developer?

Feels like the reasoning should be something like; either learning it makes you more efficient, or it doesn't make you more efficient. If it does, learn it, if it doesn't, don't, regardless of your background.
McMaster.com webdevs should do Digi-Key next.

...or Arrow, Mouser, or Farnell.

Yes, I realize 10 other people said the same thing. But I feel so strongly about this that I don't think an upvote is sufficient!
Every other worker in a shipyard has a tricycle like this.
I haven't. In fact, I just bought a new toner cartridge for my black-and-white HP 426 MFP.

What I have stopped doing is using the fax section of that MFP. The last fax I sent was about 6 months ago.

Note: I probably do as much scanning as printing.
In total, but you're building denser so the per-resident cost ends in a similar ballpark.
Amazon doesn't hate their customers nor do they love their customers.

They clearly are indifferent to customers except to the point required by law, or as needed to keep the cash flowing in.

It costs money to do the things that MMC does and Amazon prefers volume and revenue over the margins that MMC can command by providing quality service.
He should read up on steering geometry in general. The wheel axis always needs to be offset from the pivot axis or the steering will be unstable. Take a look at your bicycle and you'll see that the axle of the front wheel is at an offset from the steering axis, because the fork is curved (or offset).
Electronics are a different market than the one that McMaster serves. Frequently at Digikey, you need an exact part number from a specific manufacturer. Or, if you're buying parts at scale, you might be quite price-sensitive.

At McMaster, there would be one 555 timer, one utility op-amp that implements the LM741 spec, one low-noise op-amp, one 5V regulator, etc. They would all perform at or somewhat above average, but you wouldn't know precisely what you were getting.

There probably is room for a McMaster-like Digikey (or a simplified Digikey storefront for those who aren't picky about details), but it is unclear how large its market opportunity might be. It might look kinda like SparkFun.

A lot of the time, details in electronics really do matter. I think I've ordered almost every variation of the LM35 temperature sensor over my career. Sometimes you care more about price, sometimes you care more about accuracy. McMaster would probably only stock one of the grades, not sure which.
Only in Russian.

In other Slavic languages it's mostly some form of ty + djen' (Polish tydzien Croatian tjedan Czech týden Belarusian тыдзень Ukrainian тиждень). But see Bulgarian (седмица seven-thing (fem.)).

I suspect (without evidence) that, in Russian, it's referring to Sundays as a way of reckoning weeks.

week:Sunday :: year:summer :: month::moon. Cf. "When I was but 10 summers old", "Many moons ago", etc.

That would fit with the use of the archaic word for Sunday as well.
Of course it does.

But leaving things untouched is sometimes impossible or an even bigger drain.