MurphyA/hacker-news huggingface dataset:
by gruez | 2025-06-15 16:39:30+00:00
Note I'm not saying it's wrong, just that it's not considered anywhere reliable enough for a "fact check". At best it's "some sources that chatgpt turned up that I have to manually check myself". I'll admit that human written "fact checks" aren't exactly foolproof either (eg. the infamous "Clinton acid washed her servers" fact check), but at least I can be reasonably sure that it doesn't contain entirely made up sources.
by kmicinski | 2025-06-15 16:40:10+00:00
No offense, but I wouldn't take Datalog 2.0's small attendance as an exemplar of Datalog's decline, even if I agree with that high-level point. Datalog 2.0 is a satellite workshop of LPNMR, a relatively-unknown European conference that was randomly held in Dallas. I myself attended Datalog 2.0 and also felt the event felt relatively sparse. I also had a paper (not my primary work, the first author is the real wizard of course :-) at the workshop. I myself saw relatively few folks in that space even attending that event--with the notable exception of some European folks (e.g., introducing the Nemo solver).

All of this is to say, I think Datalog 2.0's sparse attendance this year may be more indicative of the fact that it is a satellite workshop of an already-lesser-prestigious conference (itself not even the main event! That was ICLP!) rather than a lack of Datalog implementation excitement.

For what it's worth, none of what I'm saying is meant to rebut your high-level point that there is little novelty left in implementing raw Datalog engines. Of course I agree, the research space has moved far beyond that (arguably it did a while ago) and into more exotic problems involving things like streaming (HydroFlow), choice (Dusa), things that get closer to the general chase (e.g., Egglog's chase engine), etc. I don't think anyone disagrees that vanilla Datalog is boring, it's just that monotonic, chain-forward saturation (Horn clauses!) are a rich baseline with a well-understood engineering landscape (esp in the high-performance space) to build out more interesting theories (semirings, Z-sets, etc..).
by skybrian | 2025-06-15 16:40:21+00:00
iOS and Chrome (often on Android, but not necessarily) have built-in password managers. I use both! I believe Windows has one, too.

It's true that a lot of people who don't really think about which password manager they should use will end up using one of those by default. (Much like happens with web browsers.)

Getting the masses to use password managers regularly will greatly improve security. It would be better if more people made a deliberate choice, though.
by burakemir | 2025-06-15 16:41:05+00:00
I made some progress porting mangle datalog to Rust https://github.com/google/mangle/tree/main/rust - it is in the same repo as the golang implementation.

It is slow going, partly since it is not a priority, partly because I suffer from second system syndrome. Mangle Rust should deal with any size data through getting and writing facts to disk via memory mapping. The golang implementation is in-memory.

This post is nice because it parses datalog and mentions the LSM tree, and much easier to follow than the data frog stuff.

There are very many datalog implementations in Rust (ascent, crepe) that use proc-macros. The downside is that they won't handle getting queries at runtime. For the static analysis use case where queries/programs are fixed, the proc macro approach might be better.
by sampullman | 2025-06-15 16:41:26+00:00
It does alright with Rust, but you can't assume it works as intended if it compiles successfully. The issue with current AI when solving complex or large scale coding problems is usually not syntax, it's logical issues and poor abstraction. Rust is great, but the borrow checker doesn't protect you from that.

I'm able to use AI for Rust code a lot more now than 6 months ago, but it's still common to have it spit out something decent looking, but not quite there. Sometimes re-prompting fixes all the issues, but it's pretty frustrating when it doesn't.
by seadan83 | 2025-06-15 16:41:56+00:00
So many of the drawbacks have been mitigated at this point too. Offshore teams are well organized, have their own managers, orgs, the offshore talent has really grown in ths last few decades with many excellent engineers, and remote/async work has become a first class citizen now. Despite offshore getting way better, the US jobs market in IT has not collapsed.
by pgwhalen | 2025-06-15 16:42:07+00:00
I mean this earnestly, and not as some sort of comeback: what would “checking” this behavior look like? What is gone in society now that checked it in the past?

I’m sympathetic to this view but I can’t really make it a coherent theory in my head. When people talk about it on the internet it doesn’t seem to go very far beyond “something changed after Covid” and maybe “social media is to blame” but those two observations don’t make for much of a theory.
by like_any_other | 2025-06-15 16:42:56+00:00
The US is just following the European example of "responsibly" moderating speech [1], instead of blindly sticking to the 1st amendment, as they were so often called to [2].

[1] https://www.gbnews.com/news/renaud-camus-banned-migration-vi...

[2] https://www.theatlantic.com/politics/archive/2017/08/what-eu...
by mindslight | 2025-06-15 16:43:07+00:00
Open what up? This event isn't about finding some needle in a hackstack, but about power structures using unaccountable "AI" to create chilling effects on the freedom of speech. The public having a go-to list of journalists who committed wrongspeak about Israel wouldn't particularly change much, beyond facilitating the extension of this authoritarian dynamic into the corporate world in a uniform way.
by FirmwareBurner | 2025-06-15 16:43:57+00:00
Because it's only evil when your opposition/competition is doing it. You're always the hero in your own story and for you the actions are justified because you're doing it "for good". The road to hell is paved with good intentions. Hitler was also a fan of works of art with themes of peace and harmony.

The world, at the highest levels of competition and leadership, doesn't run on morals, it runs on unscrupulous force, conquest and domination. See: the human history for the past infinity years. Those who tried to maintain peace on morals instead of force, got eliminated form the gene pool. People should remember this more often.
by theptip | 2025-06-15 16:44:29+00:00
Anthropic is the most open of the major labs; RSP, actual model cards, and they publish their red teaming results.

C.f. openAI who released o3 and didn’t publish any model card or safety eval at all, their justification being “it’s not GA, only the top paid subscription can use it”. That’s not how safety works.
by Terr_ | 2025-06-15 16:45:42+00:00
Consider someone 50 years ago saying: "Anyhow, aren't people already losing their privacy by sometimes buying things with credit?"

The implied message is that things can't get that much worse, that some practical saturation point is about you be reached. But today our daily movements are being tracked by cell networks and license plate readers, and much of what we type or view online becomes individualized dossiers.

I think the same pattern applies here: If it seems like it can't get (much) worse, then somebody's not imagining hard enough.
by NitpickLawyer | 2025-06-15 16:45:54+00:00
~Iridium~ devices were bricked in the first days of the invasion, iirc. That's why starlink was such a big deal, and that's why the usmil wanted it "yesterday" after it proved itself in ua. They had to set up a dedicated unit to deal with starlink, as every branch was trying to get it on their own and complicated purchasing. That unit / project was also called starshield, confusing the matter with the other starshield project that uses starlink buses + ng sensor packages.

edit: it was Viasat not Iridium, I got them mixed up.
by WarOnPrivacy | 2025-06-15 16:46:21+00:00
Name: Billups Neon Crossing Signal

The reddit and wiki might be easier to consume because they're not a video. Reddit has a pic.

https://old.reddit.com/r/trains/comments/ze8au4/the_billups_...

https://en.wikipedia.org/wiki/Billups_Neon_Crossing_Signal
by MostlyStable | 2025-06-15 16:46:22+00:00
"Real" as opposed to "nominal" in this context means inflation adjusted, which means that wages have been increasing faster than inflation for 30 years. Now, it is true that some components of cost of living, most notably housing, have (especially in particular regions) also increased in cost faster than the general inflation level. But that's not due to some inherent breakdown between productivity and wages. It's due to a series of bad policy and development choices mostly in cities.

So if you want to have that discussion, that's fine, but it's totally separate from the original discussion about productivity and wages.
by 1shooner | 2025-06-15 16:46:26+00:00
I once had a firepit conversation with the Floc coordinator of a small US city's PD. A big part of the value he saw in Floc was being able to query the data within some window (maybe 30 days?) then no longer being responsible for it. If the government had the data, then they'd need to respond to FOIAs for the data. Not only would that be an administrative cost, but it would also show the public how invasive the mass surveillance is. He clearly was not concerned about civil rights, he just wanted the convictions.

He was also proud of paying more for some kind of exclusive license to the data, that Floc wasn't going to sell his surveillance data to other entities. I never really believed that.
by root_axis | 2025-06-15 16:46:34+00:00
> Nobody is ‘declaring’ any such thing

Yes, they are.

> The claim is that phenomenal consciousness is fundamentally functional, making the existence of philosophical zombies (entities that behave like conscious beings but lack subjective experience) impossible.

They're explicitly defining the hard problem out of existence.

> I loathe this kind of lazy pejorative attack accusing someone of asserting

Take it easy. Nothing I wrote here is a "pejorative attack", I'm directly addressing what was written by the OP.
by Aurornis | 2025-06-15 16:47:21+00:00
> Finally gave Claude a go after trying OpenAI a while and feeling pretty _meh_ about the coding ability... Wow, it's a whole other level or two ahead,

I’ve been avoiding LLM-coding conversations on popular websites because so many people tried it a little bit 3-6 months ago, spot something that doesn’t work right, and then write it off completely.

Everyone who uses LLM tools knows they’re not perfect, they hallucinate some times, their solutions will be laughably bad to some problems, and all the other things that come with LLMs.

The difference is some people learn the limits and how to apply them effectively in their development loop. Other people go in looking for the first couple failures and then declare victory over the LLM.

There are also a lot of people frustrated with coworkers using LLMs to produce and submit junk, or angry about the vibe coding glorification they see on LinkedIn, or just feel that their careers are threatened. Taking the contrarian position that LLMs are entirely useless provides some comfort.

Then in the middle, there are those of us who realize their limits and use them to help here and there, but are neither vibe coding nor going full anti-LLM. I suspect that’s where most people will end up, but until then the public conversations on LLMs are rife with people either projecting doomsday scenarios or claiming LLMs are useless hype.
by mdaniel | 2025-06-15 16:47:30+00:00
A child comment mentioned k8s but I also have been chomping at the bit to try out the eBPF hooks in https://github.com/pixie-io/pixie (or even https://github.com/coroot/coroot or https://github.com/parca-dev/parca ) all of which are Apache 2 licensed

The demo for https://github.com/draios/sysdig was also just amazing, but I don't have any idea what the storage requirements would be for leaving it running
by candiddevmike | 2025-06-15 16:48:01+00:00
All that I've seen with AI in the workplace is my coworkers becoming dumber. Asking them technical questions they should know the answer to has turned into "let me LLM that for you" and giving me an overly broad response. It's infuriating. I've also hilariously seen this in meetings, where folks are being asked something and awkwardly fill time while they wait for a response which they try and not read word for word.
by hollowturtle | 2025-06-15 16:48:11+00:00
I don't get claims like that, if AI let me do more and be more productive with less people I could also grow and scale more, that means that I can also hire more and again multiply growth because each dev will bring more and more... I'm skeptic because I don't see it happening, actually the contrary more people doing more things maybe, but the not 10x nor 100x otherwise we would see products built in 5 years coming out in literally 15 days
by closeparen | 2025-06-15 16:48:22+00:00
Mobile came on scene, which meant you wanted an API, which split web development into backend and frontend. At the same time, the powerful-but-crusty complexities of enterprise Java backend world, which Rails stood in opposition to, started to get more lightweight and fashionable answers in the Go/Kafka/gRPC/microservices scene. While a very convenient overall development experience, it didn't stack up as well when considered in isolation as either a backend or a frontend technology. Much of the Javascript integration it has today (Turbo, etc) came after people had already moved on.
by jstummbillig | 2025-06-15 16:48:27+00:00
Owning what? Your employer (likely) owns little of value in a world of cheap AI software generation. Open Source models are already the thing that you can use to code with, and will obviously get better. We have to believe some really weird stuff for this vision to be coherent, for example a nvidia-everything-world, where they are not only the sole provider of hardware but also control access to all relevant models, and all software products that any (non-tech) business needs to use AI.

If by "owning class" you actually mean "all people with agency" then, yeah, I agree.
by neilfrndes | 2025-06-15 16:49:52+00:00
Yup, Claude Code is the real deal. It's a massive force multiplier for me. I run a small SaaS startup. I've gotten more done in the last month than the previous 3 months or more combined. Not just code, but also emails, proposals, planning, legal etc. I feel like working in slo-mo when Claude is down (which unfortunately happens every couple of days). I believe that tools like Claude code will help smaller companies disproportionately.
by xsimonx | 2025-06-15 16:50:11+00:00
We just wrapped up the closed beta build of Clarity

Before we open the next wave of beta invites, we’re running a short 3–5 min survey to fine-tune the onboarding, metrics, and pricing.

If you're curious about Clarity or want to help shape where it’s going: Fill out the survey and you’ll get a beta key once the next slots open: https://clarity.hacknscrum.de/survey/dba63be4-c45f-44c7-b7aa...

Appreciate everyone who takes the time! Simon & JP
by mariusor | 2025-06-15 16:50:32+00:00
I think that as long as the APIs for interacting with whatever each permission gives access to: camera, microphone, geo-location, etc, can't be accessed directly from HTML, a <permission> tag should not be in the spec.

Maybe they want to bring a whole lot of other elements in to allow that type of access, but I wouldn't put the carriage before the horses.
by timr | 2025-06-15 16:50:47+00:00
> Oh, you actually are just straight-up lying, or purposefully wallowing in ignorance.

Wow. I know I shouldn't reply, but:

1) That's about QSBS, not income tax. 2) QSBS is only relevant should your equity be liquid (i.e. IPO, sale, etc.) in the distant future (there's a 5-year holding period). 3) QSBS is only applicable to a fraction of startups anyway.

The section 174 change interacts with both things, but the reason people want to change it has nothing to do with QSBS, and everything to do with the fact that they cannot deduct expenditures in the current tax year.
by jakelazaroff | 2025-06-15 16:51:42+00:00
The "normal administration" to which I'm referring would be almost any administration in US history other than the current one. Freedom of speech is — at least putatively — a bedrock principle of the US.

In fact, the same Secretary of State who deported this man from the US for his speech (amongst dozens of other such deportations[1]) has announced a policy meant to prevent other countries from doing the exact same thing.[2] "Free speech for me, but not for thee."

[1]: https://truthout.org/articles/rubio-brags-hes-championing-fr...

[2]: https://www.state.gov/announcement-of-a-visa-restriction-pol...
by blacksmith_tb | 2025-06-15 16:52:49+00:00
Does that say Camus had his phone seized? He was denied being allowed to come and speak, not to visit as a journalist, which also strikes me a fairly different case (whatever you think of his positions, or whether they should be debated or silenced). It seems unlikely to me that a journalist who'd written flattering things about the AFD would be treated so badly trying to visit Germany?
by skerit | 2025-06-15 16:53:05+00:00
Sonnet or Opus? Well, I guess they both still can do that. But I'm just keeping on asking it to review all its code. To make sure it works. Eventually, it'll catch its errors.

Now this isn't a viable way of working if you're paying for this token-by-token, but with the Claude Code $200 plan ... this thing can work for the entire day, and you will get a benefit from it. But you will have to hold its hand quite a bit.
by tanaros | 2025-06-15 16:53:43+00:00
> I learned a while back that Google Maps was moved from maps.google.com to google.com/maps so that when people gave location permission to Maps, Google Search could also use that permission.

This does not appear to be the case, at least on iOS Safari. I went to Google Maps, gave it permission, then went to Google Search and searched for “delivery near me.” It again asked me for permission.
by username223 | 2025-06-15 16:53:52+00:00
This bit from the WebKit response hits hard for me:

> Security Complexity: Proposed security measures (styling constraints, timing, and position mitigation) add substantial complexity, indicating possible fundamental issues with the approach.

"Security complexity" is never something you want to see, because it will become yet another game of whack-a-mole between browser makers and hostile websites (i.e. between Chrome and Google Ads). Does anyone believe that a standard will hold up against the AdTech industry armed with the full power of HTML+CSS+JavaScript? These are the people who brought you the "Enable push notifications? Yes/Pester-me-later" pre-prompt.
by jadamson | 2025-06-15 16:53:58+00:00
Yoghurts probably won't help, but Fecal Microbiota Transplantation might.

A team at the University of Calgary is currently recruiting participants with Major Depressive Disorder and Obsessive-Compulsive Disorder:

https://research.ucalgary.ca/participate/clinical-trial-eval...

https://research.ucalgary.ca/participate/focused-study-fmt-o...
by ninetyninenine | 2025-06-15 16:54:08+00:00
They caused SAD in mice by introducing specific microbiota.

But does the system have hysteresis? Can the flip be switched the other way? Introduce antibiotics to wipe out all the microbiota and does the SAD improve?

There can be human trials for this given that antibiotics are approved low risk medicines. Clinical trials with antibiotics to clean out and reset the microbiome along with strict diets in attempt to prevent reintroduction of said microbiota.

It can even be DIY.
by the_gipsy | 2025-06-15 16:54:11+00:00
> my impression is that Lerc’s mind is able to do that entire exercise much more quickly and simply know the answer, and know that it could be verbally justified if needed

My impression, is that the process is never complete without verbalization. So far, that I believe it is impossible to function as a human being without it - those that claim to have no inner monologue simply are either less aware of it, or expect it to be an actual audible hallucination. Whenever questioned to introspect and explain how they navigate tasks that require planning, it either comes out that indeed there was some inner verbalization, or evasives.
by YeGoblynQueenne | 2025-06-15 16:54:17+00:00
>> 1) Next token prediction can itself be argued to be a task that requires reasoning

That is wishful thinking popularised by Ilya Sutskever and Greg Brockman of OpenAI to "explain" why LLMs are a different class of system than smaller language models or other predictive models.

I'm sorry to say that (John Mearsheimer voice) that's simply not a serious argument. Take a multivariate regression model that predicts blood pressure from demographic data (age, sex, weight, etc). You can train a pretty accurate model for that kind of task if you have enough data (a few thousand data points). Does that model need to "reason" about human behaviour in order to be good at predicting BP? Nope. All it needs is a lot of data. That's how statistics works. So why is it different for a predictive model of BP and different for a next-token prediction model? The only answer seems to be "because language is magickal and special". But without any attempt to explain why, in terms of sequence prediction, language is special. Unless the er reasoning is that humans can produce language, humans can reason, LLMs can produce language, therefore LLMs can reason; which obviously doesn't follow.

But I have to guess here because neither Sutskever nor Brockman have ever tried to explain why next token prediction needs reasoning (or, more precisely, "understanding", the term they have used).
by mdaniel | 2025-06-15 16:54:21+00:00
The word "can" is doing a lot of work in your comment, based on the now horrific number of moving parts[1] and I think David has even said the self-hosting story isn't a priority for them. Also, don't overlook the license, if your shop is sensitive to non-FOSS licensing terms

1: https://github.com/getsentry/self-hosted/blob/25.5.1/docker-...
by bluefirebrand | 2025-06-15 16:54:28+00:00
> which means that wages have been increasing faster than inflation for 30 years

If you look at the graph you posted and carried the slope of the pre-70s trajectory forward, assuming that the 70s-90s slump had not happened, would the graph end in the same place it is currently?

No. Not even close

> So if you want to have that discussion, that's fine, but it's totally separate from the original discussion about productivity and wages.

It's absolutely not a separate discussion, the end result is that the same "real wage" that used to provide a comfortable life is now poverty

You cannot just shrug your shoulders and say "well incomes are matching productivity so this is fine actually"
by vunderba | 2025-06-15 16:54:43+00:00
As others have already said, MIDI is a spec and does not contain any actual sounds. General Midi's big thing was probably its defined list of sounds but that was really only a naming convention.

The great thing about MIDI is that it is easily routable to any number of things (physical instruments, samplers, etc.).

Being able to listen to Sonic 2 - Chemical Zone with a combination of a Minimoog Model D and a Jun-6 (basically a Juno-6) is unbelievably fun.
by whoisyc | 2025-06-15 16:55:42+00:00
> webp, jpeg 2000, HEIF, jpeg xl, farbfeld

I think you just illustrated how difficult it is to propose a new standard. Webp was not supported by many image related softwares (including the Adobe suite!) for years and earned a bad reputation, HEIF is also poorly supported, JPEG XL was removed from Chrome despite being developed by Google and not supported by any other browser AFAIK. Never heard of farbfeld before.

If the backing from Apple and Google was not enough to drive the adoption of an image format, I fail to see how this thing can go anywhere.