MurphyA/hacker-news huggingface dataset:
by js8 | 2025-10-21 05:58:12+00:00
Yes, that's deliberate though. (I will call these "concrete" terms, because they lack abstraction in the body, but I am looking for a good name. In fact, no universal one-point basis can be expressed as a single term like that, you need a composition of two; the concrete property is not preserved in composition, although it might be preserved in weaker bases than S,K, such as B,C,K - kind of affine logic.)

Anyway, the reason I am interested in concrete terms is I want to define typing judgements in ULC somehow. (In CoC, all mathematical questions can be rephrased as is there an object of given type T, and you need to be able to formalize questions somehow to formalize metamathematics.)

An obvious definition of typing judgement in ULC would be: term x is of type B in a typed language A (both A and B are given terms) iff there exists a term x that satisfies Ax = B (the equality is judgemental after beta-normalization).

However, this definition doesn't work, because a general term x can just disregard A and return B directly. But - I think if we restrict x to be a concrete term in the above definition (possibly with a given number of upfront lambdas - not sure if that is required), then I think we can make the definition to work.

I also suspect concrete terms can be sort of "deconstructed from the outside". In general, we cannot resolve equality of terms, but I suspect that concrete terms can be analyzed (and quoted) within ULC.

One thing I realized about your CoC implementation - I think you embed CoC into ULC in an indirect way, working with CoC terms in a quoted way. And that's fine, but what I want is to have CoC in ULC directly, i.e. have a base set of ULC terms for the primitives of CoC language. But that also can be thought of as the CoC interpreter being restricted to apply on concrete terms, giving them meaning by substituting the base inside.

In other words, concrete terms are kind of "inside view" of quoting. (Maybe we should call them "data terms", because they effectively carry only data and no executable payload.) Having the concept of concrete terms in the ULC metalanguage can also help to define interaction to the external world, that you only accept data not executables, something that you kinda do through the "monadic" interface. (You need to "remember" that a term only accepts quoted data, it cannot be made explicit in ULC language. The advantage of concrete terms is they are independent on your choice of quoting operator.)

Anyway, I am not sure if I am making sense, I am trying to grapple with this myself, so it's OK if you don't think concrete terms are a useful concept.
by zkmon | 2025-10-21 05:58:21+00:00
Undoing of the effects of excessive and unnecessary social guidance takes ages.

At some point through the times of civilizations, humans started having less work to do and more idle people around. The idle people started spending their time for preaching a life style other than what was evolved naturally through centuries and millennia. They redefined the meaning of health, food, comfort and happiness. The silliest thing they did was creating norms, redefining good and bad based on their perception of comfort and happiness and enforcing those norms on populations.

Human race continued to live under the clutches of perceptions from these free-thinking idle people whose mind worked detached from their bodies and thus lacked the knowledge gained from the millennia of human evolution.
by dns_snek | 2025-10-21 06:00:59+00:00
This is hilarious because for me Cursor with GPT-5 often generates Elixir that isn't even syntactically correct. It needs to be told not to use return statements, and not to try to index linked lists as arrays. Code is painfully non-idiomatic to the point of being borderline useless even in the simpler cases. Claude Sonnet 4.5 is marginally better, but not by much. Any ambitious overhaul, refactoring or large feature ends in tears and regret.

Neither tool is worth paying even $20 a month for when it comes to Elixir, that's how little value I get out of them, and it's not because I can't afford it.
by userbinator | 2025-10-21 06:04:02+00:00
Weird already — because my app’s website, https://www.inkdrop.app/, doesn’t even show a cookie consent dialog. I don’t track or serve ads, so there’s no need for that

What I would do in this situation: check to make sure that my site hasn't been hacked, then tell the "user" it's not a problem on my end.

The class names in the source code of the phishing site are... interesting. I've seen this in spam email headers too, and wonder what its purpose is; random alphanumerics are more common and "normal" than random words or word-like phrases. Before anyone suggests it has anything to do with AI, I doubt so as I've noticed its occurrence long before AI.
by cyberax | 2025-10-21 06:06:19+00:00
> There was a period of a few decades (I guess still ongoing, really) where parents sheltered their kids from everything.

The hygiene hypothesis is not impossible, but evidence for and against it is questionable. But anyway, for peanuts it's not the hygiene.

It's a much more complex mechanism that retrains your immune system from using the non-specific rapid-response allergic reaction to the T-cell-mediated response.

The same method can be used to desensitize yourself to poison oak or ivy. You need to add small amounts of them into your food, and eventually you stop having any reaction to urushiol contact with the skin.
by spaceprison | 2025-10-21 06:06:23+00:00
I work for Amazon (AWS for 4 years then “the website” side of the house for the last 3)

The previous commenter is correct, there is no NOC or devops team and I’ve not encountered a Devops job family and I’ve never seen terraform internally. Within AWS, the service teams that work these outages are the same ones that design the service, fix bugs, deploy the pipelines, be oncall, etc. the roles that fill these teams are pretty much one of three types: nde, sde, sysde. They typically use cdk if they’re doing AWS things, else they’ll use internal tooling.

The job you posted is a customer facing consultant like role - customers use terraform so having a customer facing consultant type that knows how customer-y things work is a good decision.
by DannyBee | 2025-10-21 06:07:12+00:00
>But wait, how do you know that's what this is?

A lot of these extensions come from Intel/AMD/etc clients first, and because of how long it takes a thing to make it into mainstream chips, it was probably conceived of and worked on at least 5 years ago, often longer.

This particular thing has a long history and depending on where they worked, they know about that history.

However, they are often covered by extra layers of NDA's on top of whatever normal corporate employee NDA you have, so most people won't say a ton about it.
by generuso | 2025-10-21 06:07:38+00:00
What this experiment does is very similar to how an ordinary LIDAR unit operates, except that during a LIDAR scan the laser and the receiver are always pointed in the same direction, while in this demonstration the detector is scanning the room while the laser is stationary and is firing across the room.

But in principle, a LIDAR could be reconfigured for the purposes of such demonstration.

If one wants to build the circuit from scratch, then specifically for such applications there exist very inexpensive time-to-digital converter chips. For example, Texas Instruments TDC7200 costs just a few dollars and has time uncertainty of some tens of picoseconds.
by jstummbillig | 2025-10-21 06:08:52+00:00
Not to confuse things: There quite simply is a long list of things that can kill an infant and we get increasingly better evidence for what's on there and what is not. Avoiding death at all cost is ludicrous, but for a child born in the 1950s in high income countries the mortality rate was ~5%. 1 in 20 kids dead before the age of 5. For contrast, now it's closer to 1 in 300. That's not a coincidence but a lot of compounding things we understand better today.

Are there missteps? Certainly. Figuring out what is effective, what has bad secondary effects (fragility, allergies etc) and what is simply wrong is an ongoing effort and that's great, but less dying is a pretty nice baseline and progress on that front is inarguable.
by Mashimo | 2025-10-21 06:09:10+00:00
We use it a bit at our company. We have a collection file that includes a ton of requests with headers and body. Developers can with ease load that collection file and run it against their own server, and also quickly change to a different server with just a click.

I guess a substitution would be a git repo with curl scripts and environment variables?

We also have some non-tech people who use postman to run tests.
by ludicrousdispla | 2025-10-21 06:09:29+00:00
The bloating and non-specific fatigue you mention are symptoms of Celiac disease or gluten insensitivity.

Rather than go to an alternative health practitioner people should just go to an actual doctor and ask them to schedule a blood test. It's an easy thing to test for, so if the doctor won't do it then find another doctor or just go to a lab.
by FooBarWidget | 2025-10-21 06:09:33+00:00
You severely underestimate what they can do with alternative tech paths. You don't have to chase nanometers for good AI system outcomes. Their current, and very viable, strategy is to build a ton of slower chips and to pump in a humongous amount of power. And to optimize the software stack, e.g. more efficient architectures. Unlike the west, they have a lot of cheap power (think solar panels in the desert) and excellent transmission. It also means they'll have to innovate on powder delivery and cooling systems to handle that sort of scale, but that's still easier than building EUV. Huawei has already done it with their phone from last year: they put in a more power-hungry chip, but they innovated hugely woth passive heat dissipation and bigger batteries, so the end product is still something consumers want. And with these Chinese AI models you're already seeing how they're reducing costs so they can run more on fewer chips.
by birksherty | 2025-10-21 06:10:27+00:00
> Various allergies are a decently big thing in many parts of the world

Maybe we live in bubbles.

I am from Asia. I have only seen people need to be taken to emergency hospital in American tv shows for any allergies. Here I've never seen it in my whole life and didn't even know allergy can be this dangerous. We don't have peanut allergy too. First time even I saw it in TV, I was very confused.

Allergies do exists here, but "not to the extent" like what I've seen in American TV shows or heard online.

Only thing I remember is people need to take medicine for to allergy from venomous caterpillar hairs, they mistakenly touched those. And stung by honey bees, wasp etc.
by Tuna-Fish | 2025-10-21 06:11:24+00:00
I would not assume they just use bits in the address word for the tag.

LPDDR6 includes 16 bits of host-defined metadata per 256 bits of data. Systems can use that for ECC, and/or for other purposes, including things like tagging memory. DDR6 will likely include a similar mechanism.

SECDED ECC requires 10 bits, leaving you 6 bits. That's enough for one bit per aligned address word, which is probably used to denote "valid pointer" like CHERI.
by jychang | 2025-10-21 06:12:19+00:00
That's the kind of thing LLMs would HELP with, though.

Comments may go out of date, but LLMs can quickly generate comments that are up to date. LLMs are more likely to prevent the situation that you described.

> In many cases AIs will even add comments that only make sense as a response to my prompt and don't make any sense in-context.

Yeah, this is a common issue to be fair.
by Arainach | 2025-10-21 06:12:44+00:00
Amazon, on the engineering side, is rough for high-end software engineers, but let's be very real: it pays better than the vast majority of careers available in America, even right out of college, and while it's stressful so is being a teacher or working in the food industry, and those jobs pay peanuts compared to an Amazon SWE. It is fortunate to get a job there. It may be even more fortunate to get a job at another high-end software company but that doesn't change the fact that a job at Amazon is life changing money for most people.

To pre-empt hyperbolic responses: I live in Seattle. I personally know plenty of people who have worked at Amazon. I know plenty of local teachers. The teachers work as many hours for a tenth the pay and burn out just as fast.
by nerdponx | 2025-10-21 06:12:44+00:00
How long did you delay for? It's not like there's some tiny window of opportunity before 10 months or whatever. Consider that the Spanish conquistadors who literally never saw a peanut as a child and tried their first peanuts as adults all survived long enough to make peanuts a globally accepted food. You can't blame yourself. To think that somehow not delivering peanut exposure was a sure cause of the allergy is nonsense.
by thaumasiotes | 2025-10-21 06:12:57+00:00
> If the stats were as good as the hyperbole in the article, it would clearly state the only 2 metrics that really matter: predictive value positive (what's the actual probability that you really have cancer if you test positive) and predictive value negative (what's the actual probability that you're cancer free if you test negative). As tptacek points out, these metrics don't just depend on the sensitivity and specificity of the test

This is a bizarre thing to say in response to... a clear statement of the positive and negative predictive value. PPV is 62% and NPV is "over 99%".

Your calculations don't appear to have any connection to your criticism. You're trying to back into sensitivity ("the test missed the majority of people who had cancer") from reported PPV and NPV, while complaining that sensitivity is misleading and honest reporting would have stated the PPV and NPV.
by neya | 2025-10-21 06:13:47+00:00
Gemini is also good, I recommend you try it as well. Usually my workflow is GPT-5 as the primary, but yes, as you mentioned it is not perfect. But Gemini surprisingly compliments GPT-5 for my use cases atleast. It's good at LiveView related stuff, whereas GPT-5 is more of architecting side.

Both LLMs suck if you let it do everything without architecting the solution first. So, I always instruct the high level architecture of how I want something, specifically around how the data should flow and be consumed and what I really want to avoid. With these constraints and bit of some prompt engineering, they are actually quite good.
by makeset | 2025-10-21 06:14:29+00:00
Some 20 years ago I started a job at Google in Mountain View, and they were paying for a rental car, so Enterprise sent a driver to pick me up to do the paperwork. On the way I was chatting with him, telling him how amazing life at Google was, all the restaurants and the stocked kitchens and massage rooms on every floor of every building etc etc. He said "Do you know what this campus used to be before Google?" I said "Yeah, they told us at the orientation, it was SGI." The driver said, "Yes, and ten years ago it was exactly like that at SGI, too. I was an engineer there."
by thaumasiotes | 2025-10-21 06:15:09+00:00
> The doctors who perform these tests are trained to understand this type of stuff. They're not just blindly accepting any single test result

They're "trained to understand this type of stuff" in the sense that it will get a mention in medical school. Overwhelmingly, they aren't "trained to understand this type of stuff" in the sense that if you pose them a simple problem of this type, they'll be able to calculate the answers.
by mroche | 2025-10-21 06:16:30+00:00
> But a somewhat high-flying (albeit hardware) company was recruiting me for a CA job and they basically admitted it would be a lifestyle downgrade in terms of salary.

I've been given second hand accounts of similar situations. One was team consolidation, and the business was offering Boston-area engineers positions in San Jose. One of the folks who moved with his family was back in MA within 5 years. His salary was not adjusted as much as it should have been for the cost of living difference.
by dlcarrier | 2025-10-21 06:17:31+00:00
I would say it's perhaps because of them, considering the long-term effects of foreign aid, but the metric itself is nonsense.

Disregarding the noise present in all exchanges, the Argentine peso has been continuously dropping, compared to USD, for decades. If it were to have a sustained climb, that would be quite the event, but that aside the question is how fast it is falling, and whether the rate is increasing or decreasing. An extreme one-time rise or fall would be significant, but that hasn't happened.
by lazyasciiart | 2025-10-21 06:17:51+00:00
That could be totally unrelated - I had the same thing happen last month. Eventually (~3 attempts over a week) managed to fight through the various chat options that tried to dead-end into "wait 3-5 business days and check again", and once I had a person on they took about 5 minutes reading the background and said "oh, I can see that this return was processed months ago, and we have it listed as received. I will return the amount you were charged immediately!"
by somenameforme | 2025-10-21 06:18:04+00:00
LLMs aren't arbiters of truth - they're just natural language search engines. In a way it's quite similar to Wikipedia. Something being on Wikipedia doesn't mean that it's true, but rather it means that a "reliable source", which are not infrequently less than reliable, said so. And even that often doesn't hold as there's another layer of indirection where it's an editor saying this is what a source said, which is again not infrequently not exactly accurate. And then there's 'citogenesis' [1] where imaginary facts can be circularly whisked into existence.

This is why Wikipedia is not a source, but can provide links to sources (which then, in turn, often send you down a rabbit hole trying to find their sources), and it's then up to you to determine the value and accuracy of those sources. For instance I enjoy researching historic economic issues and you'll often find there's like 5 layers of indirection before you can finally get to a first party source, and at each step along the road it's like a game of telephone of being played. It's the exact same with LLMs.

[1] - https://xkcd.com/978/
by theill | 2025-10-21 06:18:08+00:00
Many sites exist for sharing photos, but I just want to press one button to generate a QR code. Then, I can use it myself and share it with friends. Once scanned, they will land on a page where they can upload photos and videos. Everything will be gathered in one hub, allowing everyone to see the photos. No sign-up, no administration, nothing. It's simple and free.
by jatins | 2025-10-21 06:18:28+00:00
I think it comes down to demand and supply for jobs.

The only time Amazon was forced to change its ways was during Covid hiring boom where they couldn't compete in the talent market. They were forced to increases their salary bands and the culture was also a bit easy during that time. But starting mid 2022 it's been an employer's market and Amazon is making sure to juice every bit out of its employees while it can
by shrubble | 2025-10-21 06:19:42+00:00
(not Bryan)

Sun did waste a lot of money in buying MySQL, $800 million in cash and $200 million in stock. Certainly a distraction, as well.

Sun never offered any way to inexpensively get onto the on-ramp of Sun hardware and software as they thought they could continue selling high-margin hardware forever; they had their $995 V100 which even included their much-loved LOM which was a remote-management device like iLO/DRAC/IPMI , then followed it up with: nothing.

info about the V100: https://dogemicrosystems.ca/pub/Sun/System_Handbook/Sun_sysh...
by FreeGuessr | 2025-10-21 06:20:38+00:00
I built GeoUtil.com to provide a free, browser-based toolkit for geographic data analysis.

It offers: - Interactive Map Tools: Measure distances and areas directly on the map. - Data Format Converters: Convert between TopoJSON and GeoJSON formats seamlessly. - Coordinate Utilities: Perform conversions and other coordinate-based operations.

No sign-up required, and all tools run client-side for privacy and speed.

Built with open standards and designed for developers, educators, and anyone interested in geographic data.

Feedback and suggestions are welcome!
by sails | 2025-10-21 06:22:01+00:00
Agree, each agent creating a PR and then coordinating merges is a pain.

I’d like

- agent to consolidate simple non-conflicting PRs

- faster previews and CI tests (Render currently)

- detect and suggest solutions for merge conflicts

Codex web doesn’t update the PR which is also something to change, maybe a setting, but for web Code agents (?) I’d like the PR once opened to stay open

Also PRs need an overhaul in general. I create lots of speculative agents, if I like the solution I merge, leading to lots of PRs
by Magmalgebra | 2025-10-21 06:26:16+00:00
Depends on what you're measuring.

Quite a few of AWS's more mature customers (including my company) were aware within 15 minutes of the incident that Dynamo was failing and hypothesized that it'd taken other services. Hopefully AWS engineers were at least fast.

75 minutes to make a decision about how to message that outage is not particularly slow though, and my guess is that this is where most of the latency actually came from.
by generuso | 2025-10-21 06:28:43+00:00
Yes, the laser was fired at 3 KHz, while the mirrors were slowly scanning across the room.

For each laser pulse, one microsecond of the received signal was digitized with the sample rate of 2 billion samples per second, producing a vector of light intensity indexed by time.

A large number of vectors were stored, each tagged by the pixel XY coordinates which were read out from the mirror position encoders. In post-processing, this accumulated 3D block of numbers was sliced time-wise into 2D frames, making the sequence of frames for the clip.
by sparkie | 2025-10-21 06:29:00+00:00
> On amd64 they actually need to be sort of "sign extended" so require some fixup once extracted.

Pointers need to be canonical if LAM/UAI is not enabled. The simplest way to do it is to shift left by 16, then shift arithmetic right by 16. (Or 7 if using 5-level paging). Alternatively, you can store the pointer shifted left by 16 bits, and have the tag in the lower 16 bits, then canonicalizing the pointer is just a single shift-arithmetic-right. If combining with NaN-boxing, then you rotate right to recover the double. (Demo: https://godbolt.org/z/MvvPcq9Ej). This is actually more efficient than messing with the high bits directly.

With LAM/UAI, the requirement is that the 63rd bit matches the 47th (or 56th) bit, which gives 15-bits of tag space on LAM48 and 6-bits of tag space on LAM57.

With LAM enabled, care needs to be taken when doing any pointer comparison, as two pointers which point to the same address may not be equal. There have been multiple exploits with LAM, including speculative execution exploits.