MurphyA/hacker-news huggingface dataset:
by Jach | 2025-11-03 11:34:12+00:00
Thanks for the details, I don't play those games. (Clair Obscur is on the list but I was planning on just bumming off a friend's xbox version.)

Your nvidia complaints suddenly make a lot more sense after mentioning Wayland. I've always used X11 and will continue to do so for the foreseeable future, with Mate as my desktop environment. It was stable in 2009 when I built my first gaming desktop and it's stable in 2025 with my newer one. My main desktop distro has been Gentoo, with my current CPU a Ryzen 9 5900X and a 4090 GPU. (Upgraded from a 1080 Ti. Prior to that on my old machine I had a 1050 Ti and prior to that an AMD Radeon 7950 that worked great up until AMD started messing with their drivers and trying to be more "open" (I hope they eventually got manual fan control back in).)

Besides my Steam Deck I also sometimes have played some games on an older travel laptop (ThinkPad T470p with an older i7 and an nvidia 940MX) running Mint, also with X11 and Mate. Again though I didn't have any real issues apart from having a weak CPU/GPU. (Tekken 7 on fairly low settings and resolution is about the best it can do, I've had better experiences remoting to my home PC with steam remote play or sunshine/moonlight.)

The shader recompilations after a driver update or what have you suck, but I don't think I've had them take nearly 15 minutes before. I've been tempted to turn it off / skip it since in theory it doesn't matter so much anymore for reducing stutters, and Windows is essentially that already (though I still hear complaints all the time from Windows gamers about shader compilation stutters) but I haven't really experimented. This is something that somewhat rewards continuous usage at least, because even if there are games I play that would take that long and I just haven't noticed, it's easy to not notice because the system's on most of the time and Steam can do that in the background as needed before I decide I want to play the game.

I've yet to try one of the "gaming distros" like Bazzite but their marketing often rubs me the wrong way. e.g. they brag about HDR support but I'm very skeptical of that working well or at all for those with nvidia GPUs. I do technically have an OLED 1000 nit HDR monitor but I don't make use of HDR in Linux, that is I guess a downside but when I tried experimenting on Windows when I got it I could barely tell the difference so whatever. In theory gamescope can kinda get HDR working now (as of this year) even with nvidia, at least for playing video files, but I never got it working for games. I have been experimenting with gamescope more but without HDR just to have a more isolated display compositor. Some older games especially don't tolerate alt-tabbing out of full screen and tabbing back in, but with gamescope that problem goes away.
by __MatrixMan__ | 2025-11-03 11:35:51+00:00
The lever is that whenever somebody tries to give you a scarcity-only token like USD or BTC you say "that's no good here, come back with something that proves to me that you didn't make it by making life worse for the people around you". We (the masses) still control consensus on what counts as valuable, and if were going to break from scarcity as the basis for that (and we should) then it has to be a proper break.

Play by rules that have something to do with our collective values or we're not going to acknowledge your stores of "value". "I got this from my grandpa who was a successful swindler" needs to stop being a source of money that you can expect the children of the swindled to accept. We need to drop the idea that scarcity implicitly creates meritocracy and instead deal in verifications of merit.

If they're really ready to go it alone in their bunkers with robots for friends then I guess we won't be seeing each other anymore, but I kinda doubt that'll work for them in the long run.
by skydhash | 2025-11-03 11:36:12+00:00
> I still don't know what Vertigo and Consult provide

Emacs have this whole completion things, but it’s a bit bare as it’s somewhat similar to bash completion (a lot of tab-bing). Vertico add incremental completion and present the candidates in a vertical list, so it’s more like filtering than completions.

Consult provides a lot of collections for completions and some niceties on top of some existing completion sources. Two of its main features are narrowing (kinda like selectibg a subcollection) and asynchronous sources (you can have something like ripgrep powering the sources of completion candidates).
by jojomodding | 2025-11-03 11:37:19+00:00
This is why dependent types work for modelling maths: you don't actually use your proofs as programs. Sure, the formalism would allow you to, but since you don't care about lemmas like "this proof and that proof are _the same_ for certain kinds of 'inputs,'" you don't run into issues with dependent types. If you try using dependent types, lemmas like the above quickly become necessary and also quickly become unprovable.
by Razengan | 2025-11-03 11:37:30+00:00
A month ago when I asked Claude (on the website) about its privacy options and stuff, it always pointed me to the Antrhopic website to look it up myself.

Another annoying example: I thought Google's Gemini would be search-first since, well, they're Google.

I asked Gemini to search for Airbnb rooms in an area and give me a summarized list.

It told me it can't and I could do it myself.

I told it again.

Again it told me it can't, but here's how I could do it myself.

I told it it sucks and that ChatGPT etc. can do it for me.

Then it went and I don't know, scrapped Airbnb or used a previous search it must have had, to pull up rooms with an Airbnb link to each.

This could actually be THE absolute killer app for a lot of people, if AI could plan your trip from a single sentence: "I'm free next week. I'd like to go to A, B, or C for a couple days. What's a cheap flight and a room within this budget near X area?" and if it could also go and make a booking through your accounts it would be orgasmic. Finally we would have what people in the 1960s thought computers would be doing in 2000 :')

But as it is, in their current state you have to wade through quite a bit of dumbassery.
by nynrathod | 2025-11-03 11:37:53+00:00
Hi,

So main goal of this language is to have simplicity while writing code. Rust is great will dominate, but as dev who want speed and security but with high level syntax, doolang is best for them. Right now im working on std library and inbuilt function, and moving forward I will integrate doolang with my own note taking app uoozer note https://play.google.com/store/apps/details?id=com.uoozer.not... , 550+ test cases covered by doolang already with valgrind memroy test too.

so for roadmap, after inbuilt functions and standard library deployment will build http router and will test real world scenario for api dev. IF all well then will integrate with uoozer note.
by zozbot234 | 2025-11-03 11:39:06+00:00
The point of TLA+ is to act as a simple "toy model" for the actual system where you can still figure out relevant failure modes by automated means. Real-world code is a lot more complex so "end to end" proofs, while viable in a sense (static type checking is a kind of proof about the code) have very different and more modest goals than something like TLA+.
by frankdenbow | 2025-11-03 11:40:10+00:00
Get up and move is the best thing to do, there was an article on HN with the correct algorithm for this but cant find it.

Having a follow up email with everyones contact helps a ton.

I've also given people a prompt of what the question is to ask to get the convo started when people move around. Let people focus with 2-3 people listening mostly to the story of one person.

Many friendships/teams started from these tips!
by ArcHound | 2025-11-03 11:40:45+00:00
Right, what got me going is the reduction of plenty cyber security concepts into a simple "safe" label in the diagram.

So what I meant is that before you discard all of the current security practices, it's better to learn about the current approach.

From another angle, maybe the diagram could be fixed with changing "safe" to "danger" and "danger" to "OMG stop". But that also discards the business perspective and the nature of the protected asset.

I am also happy to see the edit in the article, props to the author for that!

And to address the last question, no one proposed that right now, yes. But I was in plenty of discussions about security approaches. And let me tell you, sometimes it only takes one sentence that the leadership likes to hear to detail the whole approach (especially if it results in cost savings). So I might be extra sensitive to such ideas and I try to uproot them before they bloom fully.
by physarum_salad | 2025-11-03 11:40:52+00:00
I disagree. Oxbridge, LSE, Edinburgh, etc appear equally as susceptible. In fact in top London universities it seems to be worse - prestige attracts more international students.

I also agree in the sense that there are less prestigious universities that appear to operate as if they are almost Chinese/in China.

Both are major concerns I would have thought.
by thelastgallon | 2025-11-03 11:41:38+00:00
> "There has been significant progress in the construction of molecular motors powered by light and by chemical reactions, but this is the first time that electrically-driven molecular motors have been demonstrated, despite a few theoretical proposals," says Sykes. "We have been able to show that you can provide electricity to a single molecule and get it to do something that is not just random."

"something that is not just random" ==> Probably a long way away from something in production. I wouldn't hold off on any urgent transportation needs waiting on this tech.
by lynx97 | 2025-11-03 11:41:54+00:00
If you say so--for the sake of winning an arguemnt--there you go. You can have your victory, I don't care. The difference is still very fundamental, in a literal sense. Most people opposed to organ donations have religious reasons. I am an (not opted-out) organ donor, and I don't care about that. However, I would violently oppose being subjected to more machines then absolutely necessary while dying.
by defrost | 2025-11-03 11:42:17+00:00
That seems unlikely, a proper Brit would know that a stone is defined for body weight (14 avoirdupois pounds), Wool (14, 15, or 24 pounds depending on wool class), Wax (12 pounds), Sugar and spice (8 pounds), or for Beef and mutton (8 pounds).

( Of course Scottish Britains used 16 Scottish pounds for a Scottish stone ).

The point being that 'precious' metals used a different weight measure altogether .. (common lead often used a 12 pound stone).

Such a fun system.
by iamacyborg | 2025-11-03 11:43:08+00:00
> They're building yet another student block in my expensive and popular London area. I'd much rather they build flats for people to live in less transiently, but they can make a lot more money from short term letting to foreign students.

That’s a better option than people buying flats in residential buildings and letting them out to students, which is what’s happening around White City with the new Imperial campus.
by jancurn | 2025-11-03 11:43:25+00:00
Hey, this is Jan, founder of Apify.

We’re running a marketplace of 8,000+ tools called Actors for all kinds of web data extraction and automation use cases (see https://apify.com/store). Just last month, we paid out more than $500k to community developers who publish these Actors on the Apify platform.

The unit economics work for niche tools: scrapers for specific platforms, packaged open-source tools, MCP servers, or API wrappers. Too small for building SaaS around it, but developers earn a few thousand dollars per month as passive income.

We believe there can be many more such Actors. So we're putting $1M in prizes on the table to motivate developers to build new, useful Actors. Our bet is that 10,000 new specific tools can widely expand the capabilities of many AI agents and unlock a lot of value.
by flumpcakes | 2025-11-03 11:43:28+00:00
The UK Gov funding of universities does not cover their operational costs. I am not sure how we silently got ourselves into this position but the fact is that without foreign students the universities will run out of money. It's strange to me as some of these universities have portfolios of property in the billions of pounds. I would have thought more industry collaboration and smarter use of property could generate income for the universities. Unfortunately there are many high tech well funded industries that get constant campaigns against them on campuses, mostly by students not even in a related field.

I'm not sure how you fix this. The UK is sleep walking into becoming irrelevant.
by DebtDeflation | 2025-11-03 11:44:14+00:00
I Google News searched Poolside and found this:

https://techfundingnews.com/nvidia-prepares-up-to-1b-investm...

>Poolside operates across the US and Paris, focusing on coding automation tailored for government and defence clients.

>The company is also working on bold infrastructure expansion. Earlier this month, Poolside partnered with CoreWeave to build one of the largest data centres in the US under an initiative called Project Horizon. Set in West Texas, the facility is slated to reach 2 gigawatts of capacity, which is enough to power about 1.5 million homes.

Searching for Project Horizon led to this:

https://poolside.ai/blog/announcing-project-horizon

So another data center company, but focused on the Defense/Intelligence community. A hardware equivalent to Palantir?
by rgblambda | 2025-11-03 11:44:22+00:00
The point being made here is that while the university claims they don't factor in the applicant's ability to pay the fees, they also conveniently ask for information which helps them infer your social status, making their claim somewhat more difficult to take at face value.

Bear in mind this is a thread discussing how UK universities are claiming in the face of overwhelming evidence that they are not being influenced by foreign governments. So we should be able to accept that universities are capable of lying about their internal practices.
by Freak_NL | 2025-11-03 11:44:53+00:00
I'll never understand how people can think 'Gruyère' and then imagine cheese with holes in it…

A fun fact: the Dutch don't usually think of Emmentaler when you say 'Zwitserse kaas', but of these paper shakers filled with grated Schabziger:

https://www.gourmandgazette.nl/2023/12/08/zwitserse-kaas/

Those have been sold as 'Zwitserse strooikaas' for decades.
by philipwhiuk | 2025-11-03 11:46:28+00:00
MBG AG:

Revenue - €153.2 billion (2023)

Production output - 2,491,600

--

Tesla:

Production output - 1,773,443 vehicles (2024)

Revenue - US$97.7 billion (2024)

--

Maybe Tesla is just hillariously overvalued and MBG AG can afford them once the hype bubble implodes.
by locknitpicker | 2025-11-03 11:46:46+00:00
> To me this seems to be true. From what I’ve seen CoCs are overwhelmingly used as a tool to enforce and reinforce a certain kind of ideological point of view.

I don't know which codes of conduct you have been exposed to. The ones in Linux cover basic things like not being cool to attack other maintainers with posts like:

> Get your head examined. And get the fuck out of here with this shit.

https://lwn.net/Articles/999197/

This is hardly what I would label as an ideological debate.
by dan-robertson | 2025-11-03 11:47:25+00:00
Without knowing anything about your situation, this sounds like a bad idea. I think roughly you want a university that is well-regarded[1] and hard to get into so that one’s attendance carries some signal.

[1] by well-regarded, I mean well-regarded by eg people at competently run well-paying firms who do hiring, rather than eg people who are really into politics and who have idiosyncratic opinions about particular universities
by mitchell209 | 2025-11-03 11:47:37+00:00
I also settled on CachyOS after distrohopping a few times in the past month. I had Brave at first but it doesn’t play well with shutting down on any Linux distro IME so I switched to LibreFox, but I might switch back and simply deal with the Brave issues instead because everything else feels better using Chromium-based.

I thought the auto-complete in that shell they use was neat, but I made a typo and it kept autocompleting that typo and I’m about to do the same as you lol.

I’m having wifi issues with my setup for some reason when it’s perfectly fine in Windows, so I need to diagnose that or switch back to windows until I build a new PC with a more Linux-friendly hardware.
Show HN: AikiPedia – An Open-Source AI-Enhanced Interface for Wikipedia
by grenishrai | 2025-11-03 11:47:51+00:00
Hello Hacker News,

Wikipedia remains an invaluable resource for structured knowledge, yet its traditional search mechanisms can feel outdated in an era of conversational interfaces. AikiPedia addresses this by providing an open-source layer that integrates AI capabilities directly with Wikipedia's content, enabling more intuitive exploration and synthesis of information.

Overview AikiPedia is a web application that leverages the Wikipedia API to access comprehensive documentation, enhanced by AI-driven tools for natural language interaction. It allows users to query, summarize, and personalize content without compromising on factual accuracy.

Key Features (v0.2) * Natural Language Search: Submit queries in everyday language, such as "Explain blockchain for beginners," to retrieve Wikipedia-sourced results refined by AI for clarity and relevance.

* Generated Overviews: Produce customized summaries, comparison tables, or timelines from any topic, facilitating efficient research and knowledge distillation.

* Save and Share Functionality: Use local storage for bookmarking and exporting content in Markdown or PDF formats, with AI-assisted previews for easy dissemination.

Future enhancements will be guided by community feedback, potentially including voice-based queries, multilingual support, and collaborative annotation tools. The platform ensures reliability by sourcing facts exclusively from Wikipedia's API, while employing the Gemini API for intelligent processing—minimizing errors and maintaining transparency in outputs.

I developed AikiPedia in a single evening, inspired by interactions with similar AI-augmented knowledge tools like Grokipedia. This project emphasizes an open-source, Wikipedia-centric approach, prioritizing ease of extension and deployment.

Technical Stack * Frontend: Next.js 16 (App Router) with Shadcn UI, utilizing server-side rendering for optimal performance.

* Backend: NestJS 16 (App Router) for robust API management, including caching of Wikipedia responses and coordination of Gemini integrations.

* Storage and Integrations: LocalStorage for user data persistence; Gemini API (via Ai SDK) for AI functionalities; Wikipedia API for content retrieval.

* Deployment: Hosted on Vercel for scalable, edge-optimized delivery.

License: MIT, permitting unrestricted modification and redistribution.

Repository: https://github.com/Grenish/aikipedia. Live demo: https://aikipedia.vercel.app/

I welcome your insights: Any observations on usability, particularly across devices? Contributions via stars, pull requests, or issues are greatly appreciated.

Thank you for your time and consideration.
by GnarfGnarf | 2025-11-03 11:48:16+00:00
Qt has many good features, but it is not as robust as Visual Studio. It can lock up while debugging. <F2> will take you to the extern in the same module, not the actual definition. Variable expansion during debugging is slow. You can’t display a.b.c, you have to expand all of ‘a’, then all of ‘a.b’
by darkwater | 2025-11-03 11:48:17+00:00
> My friend can open up to me when we are in a safe environment without the need for first ingesting a drug. It's not the alcohol that causes the safety.

But that's not a party. I mean, there are people that open up when drunk, but they do it with strangers. But if you are opening up to a friend, a real friend, I would say the norm is to do it without any substance involved. Because the barriers are already not there.
by joshstrange | 2025-11-03 11:50:47+00:00
Almost 2 years ago I did this with ChatGPT. It was soon after you could feed it images as input IIRC. It worked very well. I settled on AWS Textract + ChatGPT to save money and was able to get it to well under 1 cent to take an image and turn it into a recipe you could export to Paprika (and others). I never pursued it further but it was a fun little side project.

At this point I don’t think I’d do the Textract step since LLMs have gotten way better and cheaper. Also you lose some info/context when the model only gets the post-OCR data.
by thelastgallon | 2025-11-03 11:51:26+00:00
If I were a self-respecting journalist, I would've used 3.26 gallon milk jugs. Small dog automatically goes to which breed? Chihuahua (fits in a toddlers purse) or Border Collie or Golden Retriever or Saint Bernard (needs an SUV/minivan)? 4 different classifications based on size!
by vintagedave | 2025-11-03 11:52:02+00:00
I see Free Pascal mentioned quite often on HN, so I suspect many are. I recently attended a Delphi conference where several people were using Free Pascal, including one session presenter.

I've also been using Oxygene, which is a different Object Pascal dialect. (This started because I have begun working with RemObjects - I have to admit, I have wondered why I never used it earlier.) It had design decisions to evolve it more like newer languages (eg it has inbuilt async/await and did on .Net before C#, tuples, nullables etc) and sanitised the syntax somewhat. I like it a lot. https://www.remobjects.com/elements/oxygene/language
by reactordev | 2025-11-03 11:52:11+00:00
If you were to say 100 yards, we could. That’s a football field (American football played with your… hands).

Because people in the south don’t even know the imperial system… it’s bad. They say things like “Take the road there yonder and when you see the white church, turn right, go a ways until you get to the dirt road…”

Anything outside of what they have with them, they don’t have a clue or can’t imagine it accurately. Small dog reference, there’s millions of Americans with a small dog so most just looked to their pooch when this came up. Same as if you were to say something like 50 cars. They would look outside to their Toyota Corolla and imagine 50 of them. It’s like talking to grown toddlers sometimes but that have full grown emotional states not under control. Not everyone is like this but a good 50-60% of Americans are. Just look for the Lululemon.
by VagabundoP | 2025-11-03 11:52:34+00:00
Anesthetics are very weird though. There's still a lot we don't know about how they work. They seem to act like you experienced, complete shutdown, for most people, which seems different from the states that people go into when unconscious or are near death usually.

And some people have a very different experience while under them - they are fully aware.
by kloud | 2025-11-03 11:52:50+00:00
Also in the context of LLMs I think model weights themselves could be considered an untrusted input, because who knows what was in the training dataset. Even an innocent looking prompt could potentially trigger a harmful outcome.

In that regard it reminds me of the CAP theorem, which also has three parts. However, in practice partitioning in distributed systems is given, so the choice is just between availability or consistency.

So in the case of lethal trifecta it is either private data or external communication, but the leg between these two will always have some risk.