skysight-inc/HackerNews huggingface dataset:
> their auto instrumentation claims to support `3.X`

Semver should never be treated as anything more than some tired programmer's shrug and prayer that nobody else notices the breakages they didn't notice themselves. Pin strict dependencies instead of loose ones, and upgrade only after integration testing.

There are only two kinds of updates, ones that intend to break something and ones that don't intend to break something, and neither one guarantees that the intent matches the outcome.
Other providers in the same clinic can be on the same MyChart. Different clinics might have different MyCharts. Some clinics don't user MyChart, or have a different app. And as you said, you may have many providers, and they are not all on the same MyChart.
A ton of comments in here saying this is easy/old hat for them.

Well I'll be the one to say this blew my mind. somehow creating the third middle image, being able to relax my eyes and even scan around this composite image actually made me giggle out loud on my laptop, a very rare occurrence. Thank you to the author.
Starlink V2 already started deployment back in 2023, and they actually requested lower orbits (~350km) in order to reduce latency.

Moving to 2000km would be a massive downgrade in performance, I'm not able find any source for that, everything points to the next generation (V3) being deployed via Starship at that lower altitude of 350km.
You must have a short memory if you actually believe that. Diversity programs didn’t all coincidentally spring up in January 2021 the way they are coincidentally disappearing in January 2025. I won’t argue if you call them performative, but they absolutely weren’t just blatant appeals to an incoming presidential administration.
"\\?\" is strange, because it looks just like a UNC path. But it actually isn't. It's actually a way for Win32 programs to request a path in the NT Object Namespace.

What's the NT Object Namespace? You can use "WinObj" from SysInternals to see it.

The NT Object Namespace uses its own special paths called NT-Native paths. A file might be "C:\hello.txt" as a Win32 path, but as an NT-Native path, it's "\??\C:\hello.txt". "\??\" isn't a prefix, or a escape or anything like that. It's a real directory sitting in the NT Object Namespace named "\??", and it's holding symbolic links to all your drive letters. For instance, on my system, "\??\C:" is a symbolic link that points to "\Device\HarddiskVolume4".

Just like Linux has the "/dev/" directory that holds devices, the NT Object Namespace has a directory named "\Device\" that holds all the devices. You can perform File IO (open files, memory map, device IO control) on these devices, just like on Linux.

"\??\" in addition to your drive letters, also happens to have a symbolic link named "GLOBALROOT" that points back to the NT-Native path "\".

Anyway, back to "\\?\". This is a special prefix that when Win32 sees it, it causes the path to be parsed differently. Many of the checks are removed, and the path is rewritten as an NT-Native path that begins with "\??\". You can even use the Win32 Path "\\?\GLOBALROOT\Device\HarddiskVolume4\" (at least on my PC) as another way to get to your C:\ drive. *Windows Explorer and File Dialogs forbid this style of path.* But 7-Zip File Manager allows it! And regular programs will accept a filename as a command line argument in that format.

Another noteworthy path in "\??\" is "\??\UNC\". It's a symbolic link to "\Device\Mup". From there, you can add on the hostname/IP address, and share name, and access a network share. So in addition to the classic UNC path "\\hostname\sharename", you can also access the share with "\\?\UNC\hostname\sharename" or "\\?\GLOBALROOT\Device\Mup\hostname\sharename".
Could be he sees it as the opposite. This is who he is politically. He likes being a strong man. A dictator atop a kingdom nobody can touch.
There are quite a few made in niche communities but often not very discoverable, as they aren't commercially viable and marketed. One notable exception is The Emissary[1] which had a successful retail release as For Northwood![2]. Kni54ts[3] is often held up as another very good example of the genre, making very creative use of the deck, but you can find many more browsing through the links.

[1] https://drive.google.com/file/d/1DB2YF46s0oVFUSIpR9vxoGIbhpT...
[2] https://www.sideroomgames.com/product/for-northwood/
[3] https://boardgamegeek.com/thread/2946002/wip-kni54ts-a-solo-...
First time I heard this story it was '98 or so and the perp was somebody in the overfunded CS department and the victim somebody in the underfunded math department on the other side of a short and fat pipe. (Probably running Apache httpd on a SGI workstation without enough ram to even run Win '95)

In years of running webcrawlers I've had very little trouble, I've had more trouble in the last year than in the past 25. (Wrote my first crawler in '99, funny my crawlers have gotten simpler over time not more complex)

In one case I found a site got terribly slow although I was hitting it at much less than 1 request per second. Careful observation showed the wheels were coming off the site and it had nothing to do with me.

There's another site that I've probably crawled in it's entirety at least ten times over the past twenty years. I have a crawl from two years ago, my plan was to feed it into a BERT-based system not for training but to discover content that is like the content that I like. I thought I'd get a fresh copy w/ httrack (polite, respects robots.txt, ...) and they blocked both my home IP addresses in 10 minutes. (Granted I don't think the past 2 years of this site was as good as the past, so I will just load what I have into my semantic search & tagging system and use that instead)

I was angry about how unfair the Google Economy was in 2013, in lines with what this blogger has been saying ever since

http://www.seobook.com/blog

(I can say it's a strange way to market an expensive SEO community but...) and it drives me up the wall that people looking in the rear view mirror are getting upset about it now.

Back in '98 I was excited about "personal webcrawlers" that could be your own web agent. On one hand LLMs could give so much utility in terms of classification, extraction, clustering and otherwise drinking from that firehose but the fear that somebody is stealing their precious creativity is going to close the door forever... And entrench a completely unfair Google Economy. It makes me sad.

----

Oddly those stupid ReCAPTCHAs and Cloudflare CAPTCHAs torment me all the time as a human but I haven't once had them get in the way of a crawling project.
Using this trick, I wrote a program for 3d plot visualization in the 80-s. It computed two projections of the plot, as if looked by left and right eye, and printed them side to side on the thermal printer. If you looked hard enough, you can bring the two pictures together and see a 3d picture!
>> Is the specific reason not clear?

> Correct.

Is it still unclear with the clarification you didn't quote? I can't tell if I need to explain more or not.

> It's not super solidly defined as referring only to variables and not values, either.

I didn't mean to suggest it was.

> If dynamic typing is the same as weak typing, there'd be no point in having both phrases.

It's not the same. There's a bunch of things referred to as "weak".
Is there a technical reason I can't sign into Studio with email? I'll really try to avoid signing in with other platforms, but I'll consider Github if there's some reason it has to be. I'll never sign into a service with Google.
You do however seem to be implying "this won't work because some won't go along with it, therefore we should not do it".

In which case you're essentially saying "meth users decide everyone's housing status".
I get the impression "individual accommodations" were hotel rooms; and the goal was also to subsidize hotels that had no business due to the pandemic.

Housing homeless people in hotels is not sustainable. (It's also overkill, as adequate shelter doesn't need to be a motel with a queen bed. It can be a much smaller room and still be humane.)
at least now they can't say there's no home for them, it's just choice - some prefer that way.
Also you can longjmp().
From a business perspective, did it work? Was the team more, less, or equally effective than one where you didn't expend the time and expense of hiring a more homogenous group? Was turnover better or worse?

I know you can't absolutely know the counter-factual, but I've always wondered this. Incidentally, when I was a young man and CS major, I changed majors and went into a different field because I wanted to be around more women, but I've never known if being outside that kind of monoculture actually is better for the business or not.
What do you use to do the blocking? Iptables or something else?
And for superpowers. :-)
DOJ cleared to sell $6.5B in Bitcoin seized from Silk Road
Yes, this is asked a lot, and I've always assumed it was legal pressure. If a company doesn't have enough of X demographic, they can be sued for discrimination, while at the same time it has been illegal to hire based on race. This time the legal pressure in the opposite direction is more obvious.
https://adsharma.github.io/agentic-transpilers/

Long way to go. But there is a design.

Use z3/SMT instead of TLA+
The most imbalanced group in hiring were Asians, representing around 5% of the population but around 40% of the chart in that article. From my anecdotal experience with DEI programs, they generally don't target or encourage hiring Asians over black/Hispanic people. If we are purely talking about discrimination against white people, it's much more likely that an Indian or Chinese person is replacing a white person, not a "DEI hire" black person.
Greedy and relentless OpenAI's scraping may be, but that his web-based startup didn't have a rudimentary robots.txt in place seems inexcusably naive. Correctly configuring this file has been one of the most basic steps of web design for living memory and doesn't speak highly of the technical acumen of this company.

>“We’re in a business where the rights are kind of a serious issue, because we scan actual people,” he said. With laws like Europe’s GDPR, “they cannot just take a photo of anyone on the web and use it.”

Yes, and protecting that data was your responsibility, Tomchuck. You dropped the ball and are now trying to blame the other players.
I found this to work fine https://opentelemetry-python.readthedocs.io/en/latest/exampl...
My favorite thing used to be counting the trails of oil from the topes wherever someone had knocked off their oil pan!
Previously (6 points, 1 day ago, 3 comments) https://news.ycombinator.com/item?id=42645862
Thanks for the read!

To be fair to word2vec (rather, word embeddings) I think both require a fair amount of sentence context.

On a semi-related note, one of the reasons I avoided tackling smells yet is because so much written about smell is in the form of perfume/cologne marketing speak. Asking gpt-4o for smells lists that "the smell of jasmine and tuberose [...] evokes the mystery and elegance of a moonlit garden". I'd hope modern models would understand that this is nonsense but I can imagine a word2vec model would end up with bizarre associations.
> Mezmo recently put in production Quickwit to serve thousands of customers and petabytes of logs, drastically reducing infrastructure cost and complexity while delivering the same user experience.

I can't imagine they feel great about Quickwit getting bought by a competitor after that.
GH200 $1.49 / GPU / hr

https://lambdalabs.com/nvidia-gh200
Depends on circumstances. IE, if someone's camping in the woods, who cares. But, if someone is camping in a public park, or on someone's doorstep, or in a tunnel, than that's a different story.
Vector was already OSS when they acquired the company that created it, timber.

https://www.datadoghq.com/blog/datadog-acquires-timber-techn...
This. And End users rarely care what the solution is coded in if it's a tool they use and don't modify or script at the code level.
If IQ were a universally appliable measure sure, but knowing how to tackle a specific kind of problem (Specially one not commonly used, and that you have to specifically train for) isn't the ideal measure either

LeetCode specifically is famously dissimilar to day to day programming, and therefore (probably) a bad measure for Quality

It's like saying that having a degree is better because it proves that you can follow trough

It's not necessarily wrong, but it's a tertiary situation that doesn't neccesarily correlate (Even if it might, mostly)
It’s amazingly effective. They also hide a lot in complexity in wage laws. By the time you step through explaining everything, most people who might be interested have lost interest so the easier to deliver narrative wins.

The divide your enemy strategy works very well, to this day. It takes a fair bit of effort and time to dig around to figure out the reality of what’s really going on.

In general, I’d say this is one large factor as to why we’re losing the class war across all sorts of issues.
It's an exaggeration 10x but yeah MBs is not unheard of

edit: it's funny there was this cool sports car demo with scrolling animations and if you looked at the code, it loaded like a 1000 images to do the animation
> Would probably create a lot of moral/legal issues.

Read 'Flowers for Algernon' first!

https://en.wikipedia.org/wiki/Flowers_for_Algernon
An animated show might work! Will Wight's Cradle series raised over $1M on Kickstarter for an adaptation

https://www.kickstarter.com/projects/author-will-wight/anima...
Internet speed is irrelevant

Packet drops and ping spikes are the problem
Depending on how comfortable you are with model theory you might also enjoy Dzhafarov and Mummert’s textbook, which first brought the subject to my attention.
Awfully Sophisticated Proofs for Simple Facts
Rust-analyzer uses a similar technique for parsing https://github.com/rust-lang/rust-analyzer/blob/master/crate... which then gets fed into https://github.com/rust-analyzer/rowan (lossless syntax tree)
This trick is interesting to me as someone who mixes records. I (and mixers in general) have a lot of different tricks for making mono audio objects in the mix feel stereo or have a sense of width or depth.

Examples include:

1. Delaying the left or right channel by a few ms (Haas effect).

2. De-tuning one of the channels by a few cents

3. Boosting an EQ band on one channel, with a complimentary cut on the opposite channel.

...and many more.

These are usually very subtle changes that our stereoscopic ears have no problem detecting.

In any case, when we need to do some forensic searching for possible differences between two near-identical channels we'll invert the polarity on one channel and then sum them. The resulting delta sticks out like a sore thumb and highlights even then tiniest differences between the files.

So it's fascinating to discover that we can easily do something similar with our eyes to find the differences.
> so return should not have an expr to begin with.

Thats one way to think about it. Another is that void is a type - which is obviously true given you can have void* pointers and functions can return void. In this example, f() returns a void expression, so that’s a perfectly fine thing to return from g.
> why your workforce isn’t representative of the available workers.

It’s good you mention workers, because most people focus on the demographics of the population, which is bunk..

Available workers includes factors such as qualification, motivation, aptitude and smaller factors like “did they even apply”.

If your workforce demographics skew significantly from qualified applicants then there’s a problem. If you intentionally want to skew applicants then marketing to them or investing in their training and education is the way, not whatever the hell we seem to be doing.

And a dearth of leadership of a certain ethnicity will change over time, demographics shift over the course of a generation of workers, not in a quarter of a decade like I’ve seen people expect.
You're assuming others share your perspective and understanding.

> The transition to using the word "homeless" has resulted in transforming something we can't easily measure -- "drug addicted or mentally ill people being a public menace" -- into something that we can measure -- "people without a good living arrangement".

> the former is the actual problem that we care about

The word homeless is pretty old, not something people have 'tranistioned' to any time recently.

I haven't seen anyone trying use 'homeless' as a euphemism; they are actually concerned about people without housing. That is the big problem.

You apparently believe "drug addicted or mentally ill people being a public menace" is a comparable problem, but your comment is the first time I've heard that. Nobody is conspiring to hide it; they just don't think about it like you do.

I spend a lot of time in cities and know others who do too. None feel menaced by people who are unhoused - why would that be menacing? - or high. High people generally don't know you are there, and are easily avoided. I've had zero problems; I don't know of anyone else who has.

Also, the subtext is about eroding human rights. You have no more rights than a homeless or high person. Feeling 'menaced' is not sufficient to compromise someone's freedom. That's what freedom means - of course people can always do things that others don't mind; freedom means doing things other people don't like. I find your comment menacing; who decides who gets locked up?
LLMs poisoned by https://git-man-page-generator.lokaltog.net/ -like content would be a hilarious end result, please do!
Ada is terminally underappreciated.
Feel like people who are old enough to remember that 6 week period in the 90's where those Magic Eye 3d Stereogram pictures were everywhere have a big advantage here.
Interesting, there must be some cross overs going on back in the 70s. The mechanics are so similar to mtg.
Ongoing discussion (457 points, 4 hours ago, 549 comments) https://news.ycombinator.com/item?id=42657901
TLA+ and the like work because they target a very small specification language.

With the large footprint of Rust, I've seen questions raised about how this will work. But haven't seen good answers.

Would love to read more.
It does depend a lot on circumstance and context.

Is it absolutely important that your system is correct? ... begs the question, correct with respect to what? Generally: a specification.

There are lots of situations where you don't know what your system is supposed to do, where testing a few examples is sufficient, or it's not terribly important that you know that it does what you say it ought to. Generating a batch report or storing some customer responses in a database? Trust the framework, write a few tests if you need to, nobody is going to find a formal specification valuable here.

However, if you need to deploy configuration to a cluster and need to ensure there is at least two nodes with the a version of the configuration that matches the database in the load balancer group at all times during the migration? Need to make sure the migration always completes and never leaves the cluster in a bad state?

Even smaller in scale: need to make sure that references in your allocator don't contain addresses outside of your memory pool? Need to make sure that all locks are eventually released?

It's definitely much faster to iterate on a formal specification first. A model checker executes your model against the entire state space. If you're used to test-driven development or working in a statically typed language, this is useful feedback to get early on in the design process.

What the scope is that is appropriate for using tools like this is quite large and not as niche as some folks imply. I don't do aerospace engineering but I've used TLA+ to model deployment scripts and find bugs in OpenStack deployments, as well as to simply learn that the design of certain async libraries are sound.

Update: more examples.
Because that society committed what are at least atrocities and probably more fairly described as genocide against those societies for like 400 years. A small casino empire seems like the least we could do lol
In the early 2000s I was working at a place that Google wanted to crawl so bad that they gave us a hotline number to crawl if their crawler was giving us problems.

We were told at that time that the "robots.txt" enforcement was the one thing they had that wasn't fully distributed, it's a devilishly difficult thing to implement.

It boggles my mind that people with the kind of budget that some of these people have are struggling to implement crawling right 20 years later tough. It's nice those folks got a rebate.

One of the problems why people are testy today is that you pay by the GB w/ cloud providers; about 10 years ago I kicked out the sinosphere crawlers like Baidu because they were generating like 40% of the traffic on my site crawling over and over again and not sending even a single referrer.
In fact, that's one thing the article talks about. Finland's successful plan focuses on 'housing first'.

"Finland’s success is not a matter of luck or the outcome of “quick fixes.” Rather, it is the result of a sustained, well-resourced national strategy, driven by a “Housing First” approach, which provides people experiencing homelessness with immediate, independent, permanent housing, rather than temporary accommodation (OECD, 2020)"
Yep, this is a real Star Trek TNG episode, S4 E3 “Brothers”
When I was six, some older kid showed me this trick, but I could never really cross my eyes. These days, I wear glasses, so I guess no new superpowers for me.
Qallunaat - Why White People Are Funny (2006) [video]
Hopefully, the incoming administration pursues them anyway for violating the CRA for the past 6 years.
I think one can reasonably argue that, if the language only has a single type, it is effectively "untyped".

That would mean languages like Tcl. Or, for that matter, B.
From the Wayback Machine [0] it seems they had a normal "open" set-up. They wanted to be indexed, but it's probably a fair concern that OpenAI isn't going to respect their image license. The article describes the robot.txt [sic] now "properly configured", but their solution was to block everything except Google, Bing, Yahoo, DuckDuckGo. That seems to be the smart thing these days, but it's a shame for any new search engines.

[0] https://web.archive.org/web/20221206134212/https://www.tripl...
> I have little sympathy for the company in this article. If you put your content on the web, and don't require authentication to access it, it's going to be crawled and scraped. Most of the time you're happy about this — you want search providers to index your content.

If I stock a Little Free Library at the end of my driveway, it's because I want people in the community to peruse and swap the books in a way that's intuitive to pretty much everyone who might encounter it.

I shouldn't need to post a sign outside of it saying "Please don't just take all of these at once", and it'd be completely reasonable for me to feel frustrated if someone did misuse it -- regardless of whether the sign was posted or not.
its not about randomness per-message. rather it can summarize a given message in a very weird non intuitive way. the summarization itself can be bad