skysight-inc/HackerNews huggingface dataset:
Only if you give it unfettered accesss. AWS has an API called AssumeRole which can generate short-lived credentials with a specifically scoped set of permissions, which I use instead.
> I assume California

TFA states they lived in Santa Fe, New Mexico.
I am interested in this problem as well. Please share any notes.

I am attempting to create parameterized "logic" problems (similar to the zebra puzzle) which cannot be solved by LLMs even when they are trained on it, or even when they "reason" on it.

Meanwhile this approach is even simpler, where it is demonstrated that LLMs cannot recognize 3 state DFAs. https://arxiv.org/pdf/2501.02825
How many elections do you remember and followed closely? These things shift all the time.
I think a lot of people here are conflating the Forest Service with the Park Service. The Park Service is one of the most successful, most universally beloved government agencies we've ever had, they run the national parks and are a boon to lovers of the outdoors.

The Forest Service has one of the most checkered pasts you can imagine, they're in many ways the opposite of what people imagine when they hear the name.

To quote Bill Bryson:

> “In fact, mostly what the Forest Service does is build roads. I am not kidding. There are 378,000 miles of roads in America’s national forests. That may seem a meaningless figure, but look at it this way—it is eight times the total mileage of America’s interstate highway system. It is the largest road system in the world in the control of a single body. The Forest Service has the second highest number of road engineers of any government institution on the planet. To say that these guys like to build roads barely hints at their level of dedication. Show them a stand of trees anywhere and they will regard it thoughtfully for a long while, and say at last, “You know, we could put a road here.” It is the avowed aim of the U.S. Forest Service to construct 580,000 miles of additional forest road by the middle of the next century. The reason the Forest Service builds these roads, quite apart from the deep pleasure of doing noisy things in the woods with big yellow machines, is to allow private timber companies to get to previously inaccessible stands of trees. Of the Forest Service’s 150 million acres of loggable land, about two-thirds is held in store for the future. The remaining one-third—49 million acres, or an area roughly twice the size of Ohio—is available for logging. It allows huge swathes of land to be clear-cut, including (to take one recent but heartbreaking example) 209 acres of thousand-year-old redwoods in Oregon’s Umpqua National Forest.”

That is the USFS. The guys who help loggers. The fools who so often mismanaged forest management based on Victorian ideas about "the woods". These are the geniuses who kill off fish in large waterways with rotenone.

A lot of what Trump is doing is highly questionable or outright terrible, but I don't shed a tear for this agency, and you shouldn't either. The wilds would be better without them.
Nix and Containers: Why Not Both?
Know where you're going (and be open to change)
> according to the statement, which said that foul play was not suspected.

From the 2nd paragraph of the article.
A straight car!
Salesforce: No new engineer hires this year as AI coding tools lift productivity
it's for households. Energy prices for industry is much lower and in 2024 actually cheaper than 2017 (2024: 16,99, 2017: 17,09)
Source: https://www.bdew.de/service/daten-und-grafiken/bdew-strompre...
We've forgotten what politics is. We think it's just about being right and having our rightness rewarded and memorialized by history.

Less than 40% of the adult population has a college degree. Less than 45% of voters have college degrees. Yet we took for granted the ascendence of ideas that few non-college-educated voters have been able to digest and see the evidence for. That it happened at all is pretty amazing, yet our only response has been to whine and moan that it hasn't happened faster or more completely. We could see that a lot of people weren't really getting it, and as long as we thought they were a minority, our response was who cares, they're losing. If they aren't educating themselves and keeping up to date, they're simply bad people and if they're confused and angry, fuck 'em, they deserve it.

It is not necessarily wrong as a moral stance, but it's not a strategy for succeeding in a democracy where those people can tip the balance of an election. As we felt more and more entitled to our triumph and got more and more angry and whiny about the bad people holding us back, surprise surprise, those people decided we weren't the best party to represent them anymore.

If there's any lesson we should take from this, it's that if we hold people in contempt, we can't count on their votes.

There's nothing coherent behind the shift to Trump except mutual contempt. I hope we are getting to a point where we can talk about our own political failings without reflexively changing the subject to the voters' moral failings.

Also, we should consider that when our definition of a good person includes the rapid assimilation of new information and ideas, the ability to be a good person is not evenly distributed. We're only a tiny way towards building a world where that ideal isn't elitist and exclusionary. A lot of people were not raised with that definition of moral goodness. Acting in good faith, they did not equip themselves with the necessary skills, because they thought they could be good people without them. What we're demanding from them now is that they either exercise intellectual skills and habits they don't have, or they speak and believe in obedience to those of us who have them. I don't see a good way around it, but we shouldn't be surprised if they're unhappy about it.
I think that there's a practical upper limit for most cities (it'll vary somewhat depending on population, road layout, openness to measures like making significant parts of the road network bus only, etc), and that most cities do tend towards more or less hitting it, yeah. Adding bus capacity is a cheap option up to a point, but there are _limits_, and as you hit those limits you generally explore expensive higher capacity options for busy routes (in rough order of expensiveness and capacity these tend to go BRT -> tram -> commuter rail -> metro).

This is a simplification, and there's definitely wiggle room within those categories (for instance, there exist tram lines which are higher capacity than many metro lines, mostly through the use of extremely long tramsets) but _basically_ how it works; buses can only take you so far, capacity-wise.
AI GF?
What do you guys think about AI girlfriend? Grok kinda added that.
> This failed, so they've needed to pivot somewhat to reduce their load.

Or it worked, and now through free tier limitations they get more people sign-up and more people taking paid subs
> You just need to ensure that your data is never interpreted as code.

That's sanitization. Many different languages implement this. The old-school method is "tainting" data so it can't be used as part of execution without an explicit function call to "untaint" it. Same is used for "secret" data in various programs where you don't want it leaked.
As someone who recently started their first internship, I really needed to read this. I've already been on the receiving end of this, and it helps to know that it wasn't a personal insult. The bullet points at the end seem very useful as well, even outside the context of work.

That said, surely there must be a less blunt way of saying it? Something like "I believe in the team, but we still need improvement".
Absolutely bonkers that Hackman quit acting more than 20 years ago [0] — "Welcome to Mooseport (2004)" was his last film. But his body of work in my mind feels as timelessly relevant and fresh as Clint Eastwood's and Bill Murray's. Maybe because I love rewatching Unforgiven and Crimson Tide. I haven't even seen French Connection, which earned him his first Oscar. RIP to this legend.

[0] https://www.imdb.com/name/nm0000432/
Previously on official post: https://news.ycombinator.com/item?id=43170626
Sure there's a way owning a home brings happiness . . . when you're ready to retire, you've paid off your mortgage, and then you can actually, you know, retire. As opposed to funding your landlord's retirement paying rent for the rest of your life.
Cellebrite suspends Serbia as customer after claims police planted spyware
(Mis)Fitting: A Survey of Scaling Laws
We have more cameras, we have more ways to report information. This could easily account for the uptick in seeing whales and dolphins. I think we need more than just some than just sightings and attacks on boats to verify that it's working.
Ask HN: Crowd sourced grocery inflation tracker?
Are there any sites where you can upload grocery receipts and see locations/prices over time? I imagine you could OCR a store location and item prices from a receipt photo/scan, and do some cool data visualizations about prices and locations, maybe publish a data feed for researchers.

If not, free project idea -- I'm not going to build it, I just want to use it.
Painful to read. I have had similar conversations with my own father, though nothing quite extreme. There is no moving them from their warped reality.

I have theorized some root causes:

- They cannot differentiate between well-meaning friends and high quality information i.e. there is a fallacy of "this person is honest, hence this forward they just sent me is true".

- Starting from at least my generation (born in late 80s), there is an understanding of "echo chamber effects", personalizing newsfeeds for engagement etc. There is some inoculation against content meant to trigger/resonate with specific sub-groups. I have found this to be completely lacking in discussions with my parents/their generation.

All these make it hard to move them out of the dis-information locus they fall into.
When chatGPT corrects my writing, the explanations are actually quite helpful.

> IMHO that's not remotely the same thing as figuring out the steps on your own.

This is true with pretty much anything, but it doesn't mean we should ignore tools that can do those steps for you.
Sorry, but this is a strange article. Not sure what the reader should learn from it.

> However, while OSM’s open, collaborative nature is a major strength, the quality and accuracy of its data still lag behind proprietary services like Google Maps.

Such a general statement is wrong. For car routes maybe. But even for POIs I have found that OSM catches up fast.

But Google Maps has definitely not the best quality for outdoor routes (like walking, hiking and biking). And this is not just my personal opinion.

> These pipelines, which process and format the data appropriately, are typically only feasible for large companies.

No, this is wrong. Already smaller companies can handle these pipelines.

Furthermore there are many companies that offer OSM data as a SaaS (routing, geocoding and/or maps)

> they are largely ineffective without access to the latest and most accurate map data.

'largely ineffective' is misleading here. OSM is already sufficiently precise atm (ofc depending on your needs). Sure, you do not have live traffic, but there are already many (Uber-like) companies that use OSM and enhance them with their own data. And also there are a few options to buy live traffic for OSM data.

> Therefore, currently, their best option is to utilize Google's APIs

From my experience many customers find them too expensive especially for the ride-hailing use case OP describes.
You still need somewhere for the heat to go, and that's a lot easier if you're on top of water instead of nothing.

Although, a good radiator on a spacecraft still seems trivially easy compared to having a working fusion reactor in the first place.
I take your point, and that (i think you would agree) loose anti-socialism definition you explained is a big part of it. But i think the subtext in modern usage is also “the right to operate a private toll on the economy” especially when its Bezos advocating it.
Amazon's Cloud Unit Builds Quantum Computing Chip Called Ocelot
The house is in Santa Fe, New Mexico.

https://www.hellomagazine.com/homes/816924/inside-gene-hackm...

Santa Fe weather seems to be daytime high around 10C, nighttime low around 0C, maybe a few degrees below 0C these days.
And F1 is a student visa.
This reads to me like "After running the marathon he just went from point A to Point B, and that effort could have been better spent elsewhere"
With llms and theorem provers doing the formalism, what is left is intuition - love the intuitionist focus in this book, also tying into what Bessis said in [1]
I intend to read this book in depth.

Author: please fix the html rendering.

[1] https://www.amazon.com/Mathematica-Secret-World-Intuition-Cu...
Having some degree of personal experience with this situation myself, I don't see why you'd ever sever a relationship over something like this. Like sure, maybe his beliefs are insane, but why would you let that affect your personal relationship with someone you're close to? Just talk about something else.

> "Why am I going to abandon the truth?" he insisted. "I can't abandon the truth."

In a way, that's actually kind of an admirable attitude, it's only sad in this case because he's so wildly wrong about what the truth is, and because some members of his own family decided to abandon him over those beliefs.
Quantum physicist here. My PhD back in the day was about the entanglement between downconverted photons. I've thought about this more than I like to admit.

While I appreciate the blog post, it seems a bit disingenuous. I hope everyone understand that if you take two entangled photons A and B and detect A before B, then the outcome of the measurement of B must depend on the outcome of the earlier measurement of A, because measuring A causes the collapse of the joint state and determines the wavefunction of B undergoing the later measurement.

The MAGIC about delayed choice measurements is that they work even when the temporal order is UNDETERMINED. By this I mean that the two measurements of A and B can be set up to occur so close in time to each other that there is no time for a signal travelling at the speed of light to travel between the two events. Under this condition, you can witness both orderings (A measured before B and B measured before A) just by changing your reference frame. Under these conditions, the delayed choice experiment STILL WORKS!

In this case, there cannot be any argument like "but the idler was measured first", because "first" does not make any sense.
The challenge here is not IK. Sure, you don’t need IK if your policy directly operates in joint space but this isn’t the motivation for doing RL.

IK to my knowledge is well known in every setting I am aware of.
The reason why they're called DOGE staffers is because Trump renamed the US Digital Service to the US DOGE Service. That's why they're DOGE Staffers. They were there before January 20th, when it was still the US Digital Service.
My mistake. I read Santa Fe elsewhere without the state attached and must have skimmed over it here.
To me, "memory safety" really means:

- There are clearly stated guarantees, like "a pointer cannot access outside the bounds of its allocation" and "if you free an object while there are still pointers to it then those pointers cannot be dereferenced". These guarantees should be something you can reason about formally, and they should be falsifiable. Not sure this presentation really has that. It's not clear what they prevent, and what they don't prevent.

- There is no way to break out of the clearly stated guarantees. Totally unclear that whatever guarantees they have are actually guarded against in all cases. For example, what if a tmp_alloc'd object pointer escapes into another tmp_alloc'd object with different lifetime - I get that they wouldn't write code that does that intentionally, but "memory safety" to me means that if you did write that code, you'd either get a compile error or a runtime error.

It's possible to ascribe clearly stated guarantees to C and to make it impossible to break out of them (Fil-C and CHERI both achieve that).
The alternative is that the starter pricing tiers are more expensive. Pick your poison.
Care to share the examples?
> It's an exploit mitigation strategy, not a sound way of actually preventing bugs.

Actually it is a simple and effective way to prevent general bugs.

If you have an input field called birthday, you can inject it directly into your database. Doing that could cause an SQL injection exploit, so people use prepared statements.

But even if you use prepared statements, you'll still end up with a database column with all kinds of birthday formatting (M-D-Y, Y-M-D, slashes, spaces, colons, etc etc). These different, non-standard formats will eventually cause a bug.

Input sanitization forces you to standardize on one birthday format, and inject it into your database in one format (let's say "YYYY-MM-DD", no other characters allowed). Then all the code expects - and gets - one format. This reduces bugs from unexpected formats.

It has the added side-effect of also eliminating the SQL injection bug, regardless of prepared statement.
See https://www.npr.org/2024/03/28/1241443505/green-bubble-shami...
You must like these truthful conversations with truthful detectives where being truthful with you and as you is very important in the moment, cause all of that may be taken into account and it’s a last chance for being truthful.
Nobody ever got anywhere by being overly modest!
Use LibreWolf. It's just firebox rebuilt and released with better defaults (no suggestions/spying)
> The Moss Landing Power Plant is a natural gas powered electricity generation plant as well as a battery energy storage facility

I feel like it's at least mildly weird to actually _colocate_ these. Like, it makes sense that they would be _close_, but probably not right beside each other.
I don't know if this helps at all but you can use `export FOO=bar` in Fish, and the prefixing a line with an envvar should work the same as in Bash etc. like `FOO=bar echo $FOO`
I know the law is often behind the trend because of the rate tech develops, but surely the old analogy for all technology is postal mail.

Last time I checked, the postal service had no responsibility or requirement that they don't distribute certain messages or ideas? In some cases the government can ask to intercept them, but there's no regulation requiring them to scan letters for banned content.

Why don't these same rules apply to online technology?
Background: Aleph Null was a pseudonymous author of a column in a 1970s software journal whose identity is unknown.

They wrote on many eclectic computing topics. Their true identity is still unknown.

And no, this comment isn't an AI-written summary. :-)
> If I were to say this is just a coincidence, how would you respond?

I'd say you probably don't know enough to say that with such certainty, and should probably avoid jumping to conclusions lest you be Dunning-Krugered.

I would then encourage you to ask ChatGPT something like: "How are SELFOS (Spontaneous electrical low-frequency oscillations) different to PCOs (pulse-coupled oscillators)".

Tl;dr - SELFOs and PCOs aren't the same.
What ?!?
I saw that, yet all the above remains true. Income, even after inflation adjustment, isn’t the same thing as living standards.
Decline of Christianity in the U.S. Has Slowed, May Have Leveled Off
Ask HN: Who are your favorite modern-day philosophers?
As a casual philosophy reader, I've always been fascinated by how humanities fields like art, literature, and philosophy eventually anoint a "great" for the generation. For philosophy, are there any good individuals you would recommend who are currently still productive in writing?
So just to recap, at the moment we have bookmarks which are free, paper thin (because they're made of whatever piece of paper, ticket stub, etc. I have around) barely stick out from book but can stay with it, and feather light. When I start reading and stop reading I simply move it to another page. I can and do own dozens with at least one stuck in many books. I can have multiple in one book. They physically bring me to my last-read page.

Instead this is something expensive, thick, with a battery that could ignite and a knob I must turn, protrudes a lot and/or I must carry separately, slow to resume and slow to save.

This doesn't read like an April Fool's joke. This reads like an Onion or SNL skit mocking the tech industry. What am I missing?
UK businesses reporting unlawful activity in their 2024 annual reports
True, but LLM token probability doesn't map nearly as cleanly to "how readable was the text".
I am in no way at all better than that guy. Not even sort of. I appreciate his talk.

However, if I were to make a presentation based on my superior C practices, it would have to be implementation and example heavy.

All of his rules sound great, except for when you have to break them or you don’t know how to do the things he’s talking about in your code, because you need to get something done today.

It reads a little like “I’ve learned a lot of lessons over my career, you should learn my lessons. You’re welcome.”
This happened to me once. It was like attaining enlightenment. My company worked with a F100 that had, as a core piece of their business, a piece of software they'd commissioned in the 80s that they still used in the 2010s to make billion dollar decisions. But no one knew how it made the calculations they relied on. This was before attorneys knew to include source code in procurement, the original devs at a third party code shop was long gone.

We were already working on something for them, and on a whim, one of their VPs asked my company if we could take a look at it.

So that's how the mathematician at the company (me) ended up waking up, sitting in front of a whiteboard, and losing all concept of time until my wife got home from work at night, not eating, not sleeping, staring at decompiled assembly and stepping through line by line for weeks. (I don't want to say months because I'm sure someone will come roast my ass for taking too long, but "months" is honestly more accurate; in fairness, I was learning every technique used on the fly)

It was a prolonged, repeated flow state that I've only ever experienced during really competitive tennis as a high schooler. Losing all concept of time and space, hyper focused on one task that has completely spread to all parts of your consciousness.
In 2023 the Wikimedia Foundation had 700 paid employees/contractors working for them.

At the end of 2023 Mozilla Corporation had 964 employees and Mozilla Foundation had 118.

So the difference isn’t that large…
Night Moves is essential neo-noir
"French Connection" is truly great. Such a good chase scene.
Former tennis pro, Vitas Gerulaitis, died from carbon monoxide poisoning from a faulty propane heater.

https://www.atptour.com/en/players/vitas-gerulaitis/g008/bio
And the original paper: https://eccc.weizmann.ac.il/report/2023/174/
I agree, there's no way to know for sure. But I feel like I'm the least likely person to do this with Yaak since I learned from experience already.
Nope! In fact, last I heard, donations to the Mozilla Foundation could not be used at all for the browser, which is developed by the Mozilla Corporation.
Maybe something like "recurrence space" would be better. Frequency does have a physical interpretation which could be misconstrued, e.g. the FFT of a wave in the space domain yields the wavenumber in the independent variable, not the frequency.
A couple of days ago, Michelle Trachtenberg (of Buffy fame) died. Seems the liver issues she'd been clearly undergoing since over a year ago finally caught up with her. She was just 39.
> Whats frustrate me is how people still believe in politics even though nothing much really change. ... greedy politicians ...

Join a local party and observe how the discussion is not really centred around screwing their voters over, hopefully.

My take was about as yours before I tried to do something and realized how hard it is.