MurphyA/hacker-news huggingface dataset:
by FeepingCreature | 2025-07-31 08:12:55+00:00
Nothing is truly and completely new. I'm not formulating my requirements in an extinct language. My point is "filling in the blanks" and "do new things" are a spectrum.

LLMs have their limits, but they really can understand and productively contribute to programs that achieve a purpose that no program on the internet has done yet. What they are doing is not interpolation at the highest level. It may be interpolation/extrapolation at a lower level, but this goes for any skill learnt by anyone ever.
by isaacremuant | 2025-07-31 08:12:57+00:00
> Social media is undermining the fabric of our societies and destroying a whole generations emotional development and institutionalising a culture of infectious insecurity. I support this-

YOU are undermining the fabric of society.

With the excuse of "protecting children" you're trying to destroy the last semblances of privacy and the ability to dissent.

Fuck your using children as a shield. You're hurting them like you did supporting covid policies.

You don't help children isolating them and censoring them and their parents.

Disgusting Propaganda of the lowest form. War on terror. War on drugs. War on disinformation.
by Almondsetat | 2025-07-31 08:13:17+00:00
>Lean doesn't solve the problem of verifying that a formal theorem actually states what we think it states rather than something else.

With all honesty, if a tool existed that did that we would have solved maths. Or at least we would have solved human communication. In both cases it would be the most studied thing in the world, so I don't know where this belief would come from
by 1dom | 2025-07-31 08:13:30+00:00
I don't understand this move. A frontend desktop application is the opposite of what I and anyone else I know uses Ollama for. It's a local LLM backend. It's been around long enough now that any long term users have found, created and/or adjusted to their own front end interface.

I'm comfy, but some of the cutting edge local LLMs have been a little bit slow to be available recently, maybe this frontend focus is why.

I will now go and look at other options like Ollama that have either been fully UI integrated since the start, or that is committed to just being a headless backend. If any of them seem better, I'll consider switching, I probably should have done this sooner.

I hope this isn't the first step in Ollama dropping the local CLI focus, offering a subscription and becoming a generic LLM interface like so many of these tools seem to converge on.
by JoRyGu | 2025-07-31 08:14:48+00:00
I'm sorry, but this is selling good engineers very short. If you didn't nest your utils folder 8 folders deep, it seems pretty obvious that one should check the utils folder before writing another utility function. This stuff should also be caught in code reviews. Maybe the new guy didn't know that util function existed, but surely you did when you reviewed their MR? Obviously mistakes like that can happen, but I've found that to be the exception rather than the rule, even in some of the gnarlier codebases I've worked in.
by pyman | 2025-07-31 08:15:26+00:00
As much as I'd like to criticise Meta for this, the truth is, the company is just being reactive. Zuk's AI strategy has been driven more by FOMO than common sense. Why do I say that? Because while millions of people have been asking for years for an AI that can summarise their unread WhatsApp messages, what did they build? A chatbot.

They thought, "If we add a bot to WhatsApp, we'll become the most popular AI company in the world," without even stopping to ask how this helps users. (Which is something OpenAI and Anthropic do all the time)

That said, this is yet another perfect opportunity to call out Meta and its managers for their lack of empathy and common sense. They've got an incredible app and tool called GenAI, and billions of users. So why not use it for something good? Something that doesn’t involve feeding people junk all day, making them angry, polarising families and friends.

Why doesn't Lucia (or whatever their AI monster is called) act as a voice of conscience when someone gets upset on WhatsApp? Why not do the opposite of what Facebook usually does? Why not use GenAI to help people for once?

For example, imagine this conversation in a group chat:

Susan: "I think the school should ban smartphones, it's the only way for kids to focus and learn."

Dave: "It's dinosaurs like you and your thinking that are ruining our kids!!!!"

(And here's where the magic happens...)

Lucia: Hey Dave, Susan is raising a real issue and your reply doesn’t really add value to the discussion. Do you still want to send it? (Yes) (No)

Come on Meta. You have the tools and tech to improve relationships and make the world a better place. Use them.
by SlowTao | 2025-07-31 08:15:52+00:00
To use the Donald Horne quote "Australia is a lucky country run mainly by second rate people who share its luck. It lives on other people's ideas, and, although its ordinary people are adaptable, most of its leaders (in all fields) so lack curiosity about the events that surround them that they are often taken by surprise."

Unfortunately, this has propagated down to a lot of the people. They want the government to be the parent instead.

As Jordan Shanks once said - "I have 6 investment properties" is the entire personality of a lot of Aussies. Many others are the same they just don't have the opportunity.

This whole situation appears to be a failing on all angles. From government over reach, corporate greed by forgoing morals to the people who are so worn down they just don't have anything left to give.
by thekevan | 2025-07-31 08:16:40+00:00
I run a more risky method of this. I put two containers out and fill them with water. I check them every day, multiple times a day and when I see the squiggly larva in there, I dump it on a dry, sandy part of the yard. It bakes in the sun.

I have a dog and do a lot of yard work, so I honestly am in my backyard in the summer 5 to 10 times a day. When I have the traps out, I don't think I've gone more than 18 hours without checking them.

They are going to lay eggs somewhere, might as well give them a place to do it and then kill them before they mature. It isn't foolproof, I'm not sure I recommend it to others, but it has worked well for me for years.
by TheOtherHobbes | 2025-07-31 08:17:21+00:00
I'm in the EU, and in this corner of it it's damn near impossible to import anything, no matter how small.

I would be delighted if de minimis rules applied to imports. But everyone I know who has tried to import trivial items - books, small presents, and such - has been slapped with wildly unpredictable and excessive costs, and long delays while the paperwork clears.

As for the US - yes, clearly the goal is the destruction of government, health, education, research, and the economy in general. Whatever the people nominally in charge think they're doing, the people who are advising them and setting policy are either cranks or traitors.

Given their links to other countries, it's hard not to suspect the latter.
by jperkin | 2025-07-31 08:18:12+00:00
> Took them 3 months before a "we're not interested" email was sent. No reasons, either.

Yeh this is really really tough. They have an excellent RFD that explains the hiring process and it contains a section on this here: https://rfd.shared.oxide.computer/rfd/0003#_rejection_of_non...

I ported their Hubris kernel to RISC-V and ARMv6 before applying for a role to work on it, so thought I had reasonably strong materials, but got rejected.

I fully understand and empathise with their reasons for not providing feedback, but it does mean you're left not knowing whether you were a hair's breadth away from getting in but were behind a better candidate and it would be worth trying again in the future, or rejected for other reasons that no improvement in materials will make up for. As a fully signed-up member of imposter syndrome club I'll obviously lean towards the latter ;)
by mitemte | 2025-07-31 08:18:32+00:00
Figma was quick until a 12-18 months ago, it’s been getting progressively worse. It’s excruciatingly slow at times now. The version history feature takes forever to load. It’s a shame, at one point it was, in my opinion, the best execution of a web app, having avoided all of the issues that other web apps suffer from.
by anal_reactor | 2025-07-31 08:18:50+00:00
I've tried becoming a nicer person in order to expand my social circle because apparently that's the foundation of your mental health. The result is that I met lots of people whose presence I simply do not enjoy. The people whose presence I do enjoy have shit to do and I see them once every few months at best. My prospects of meeting a partner are epsilon, which a major source of frustration for me. I've tried having hobbies but everything gets boring after the initial phase of "wow I love doing this new thing". I've tried sticking to things out of pure discipline and I gained skills, but fuck, it's not enjoyable. I'm not invested in my career because getting a significant raise at my company is pretty much impossible, and if I want to switch companies, I'd need to leave local maximum. I don't enjoy spending time with my family because they're not interested in getting to know me, they just want me to perform the theatre of "How's weather? Ah it's a nice day today".

It's not possible for me to be emotionally invested in anything because I'm profoundly disappointed in life. I want a refund.
by isaacremuant | 2025-07-31 08:19:15+00:00
It's not idiocy. It's malice and it's lobbied hard transnationally. It's coming to the EU as well:

https://digital-strategy.ec.europa.eu/en/policies/eu-age-ver...

People who complained about political speech being too scary to tolerate (see the typical discourse around Republicans on sites like these) have been pushing for this all along.
by 1dom | 2025-07-31 08:19:26+00:00
I'm sad this post is greyed out. I think it's a fair take.

Other critical takes say the same thing, but wrapped in far more variations of: "definitely not judging/criticising/being negative, but I don't like this."

This is clearly a new direction for Ollama, but I can't find anything at the link explaining or justifying why they're doing it, and that makes me uncomfortable as an existing regular Ollama user.

I think this move does deserves firmer feedback like yours.
by somedude895 | 2025-07-31 08:19:41+00:00
You think kids will grow up to hate their parents because they weren't able to consume brainrot? They'll turn 18, open Tiktok for the first time and think wow our parents have been keeping this treasure from us all our childhood? Do kids grow up to hate their parents because they aren't allowed to drink before turning 21? If it's a general ban for all kids, not just some that will then feel excluded from the rest of the group, I don't think they'll care the tiniest bit about not being allowed to access this crap before age 18.
by pyman | 2025-07-31 08:20:24+00:00
Zuk's AI strategy has been driven more by FOMO than common sense. Why do I say that? Because while millions of people have been asking for years for an AI that can summarise their unread WhatsApp messages, what did they build? A chatbot.

They thought, "If we add a bot to WhatsApp, we'll become the most popular AI company in the world," without even stopping to ask how this helps users. (Which is something OpenAI and Anthropic do all the time)

That said, this is yet another perfect opportunity to call out Meta and its managers for their lack of empathy and common sense. They've got an incredible app and tool called GenAI, and billions of users. So why not use it for something good? Something that doesn’t involve feeding people junk all day, making them angry, polarising families and friends.

Why doesn't Lucia (or whatever their AI monster is called) act as a voice of conscience when someone gets upset on WhatsApp? Why not do the opposite of what Facebook usually does? Why not use GenAI to help people for once?

For example, imagine this conversation in a group chat:

Susan: "I think the school should ban smartphones, it's the only way for kids to focus and learn."

Dave: "It's dinosaurs like you and your thinking that are ruining our kids!!!!"

(And here's where the magic happens...)

Lucia: Hey Dave, Susan is raising a real issue and your reply doesn’t really add value to the discussion. Do you still want to send it? (Yes) (No)

Come on Meta. You have the tools and tech to improve relationships and make the world a better place. Use them.
by NitpickLawyer | 2025-07-31 08:22:00+00:00
Is it much more different (in quality) to "I don't know what I'm doing, but [SO/learn x in 24h bootcamp] helps me pretend that I do"?

I guess I see your point in quantity. I could see how this would be more widespread than c/p from SO. And the results would "look" better crafted at a glance, but might explode later on.
by photonthug | 2025-07-31 08:22:50+00:00
> logics philosophers use .. aren't very "modular" and can't easily be mixed

Not sure if the model-checking communities would agree with you there. For example CTL-star [0] mixes tree-logic and linear-temporal, then PCTL adds probability on top. Knowledge, belief, and strategy-logics are also mixed pretty freely in at least some model checkers. Using mixed combinations of different-flavored logic does seem to be going OK in practice, but I guess this works best when those diverse logics can all be reduced towards the same primitive data structures that you want to actually crunch (like binary decision diagrams, or whatever).

If no primitive/fast/generic structure can really be shared between logics, then you may be stuck with some irreconcilable continuous-vs-discrete or deterministic-vs-probabilistic disconnect, and then require multiple model-checkers for different pieces of one problem. So even if mixing different flavors of logics is already routine.. there's lots of improvements to hope for if practically everything can be directly represented in one place like lean. Just like mathematicians don't worry much about switching back and forth from geometry/algebra, less friction between representations would be great.

Speaking of CTL, shout out to Emerson[1], who won a Turing award. If he hadn't died recently, I think he'd be surprised to hear anyone suggest he was a philosopher instead of a computer scientist ;)

[0]: https://en.wikipedia.org/wiki/CTL* [1]: https://en.wikipedia.org/wiki/E._Allen_Emerson
by philipp-gayret | 2025-07-31 08:23:29+00:00
All major AI assistants already come with ways to not have any of these issues.

Claude Code has /init, Cursor comes with /Generate Cursor Rules, and so on. It's not even context engineering: There are out of the box tools you can use not to have this happen. And even if they do happen: you can make them never happen again, with these same tools, for your entire organization - if you had invested the time to know how to use them.

It is interesting how these tools split up the development community.
by rstuart4133 | 2025-07-31 08:24:12+00:00
> The idea of the account being locked and requiring MFA to verify is something they made up without consulting the user.

I'd be surprised if that was true. They don't just consult me about MFA, they downright pester me about it.

Besides if you wait long enough Google unlock the account anyway (if it's due to suspicious logins). I know, because it happened to me. I don't know how long it took, all I know is when I happen to check a few months after I thought I had lost access to the account, I could login again.

Finally, it's not like they have a choice. They have to protect the reputation of their domains and servers. It may seem unfair that you cop it if there are security issues, but you got the account for free and you refused to use the numerous MFA options the provide. If someone nerfarious takes over an accout to distribute spam or malware there is a mess that costs time and money to clean up.

There is a real point to be made about how Google / Microsoft and friends message accounts. But it's hard to sympathise with complaints about free ones. Paid for ones, where they promised a certain level of service and then withdraw service without warning and without the ability to recover your data (as I think happened to to the ICC) is a different matter.
by mycatisblack | 2025-07-31 08:24:43+00:00
This looks very appealing. I’m using a google spreadsheet, which also maps to grids in small parts drawers. I will give your software a try.

One suggestion: for smd resistors and capacitors I’m using plastic mini vials:

https://ae-pic-a1.aliexpress-media.com/kf/S69e6442d03074cd0b...

They come in all sizes and if you drill holes in a thick piece of plastic you can arrange them and put them in a single drawer.
by lesuorac | 2025-07-31 08:25:04+00:00
I'm kinda surprised that the rightsholders don't try to push the accountability onto the ISPs.

The ISPs are giving the individuals their licence plates (IP Addresses) so are in a good spot to say this IP is allowed to access X content. For devices being a NAT then the local router can provide that information to the ISP to forward to the service.
by seanwilson | 2025-07-31 08:25:06+00:00
I notice HN comments often that say people want and appreciate native apps/UI, people don't like web apps, and people don't want files stored in the cloud. I think Figma proves these aren't things non-tech people care about when a web app is done well, similar for Google Docs.

The ease of collaboration in teams, and being able to just click a link on any platform to preview or start working on a design without installing anything is a killer feature.

The risks of vendor lock-in, losing control of your files, or price hiking sucks though, but convenience outweighs this for most. Coming from a dev background, I'd love open file formats and being able to pick where the files are stored though.

> …and everyone is learning Figma, that’s a viral adoption mechanism that is not possible with Adobe products.

I have to use both and switching to Adobe for stuff is painful and feels so archaic now because you lose the ability to have multiple people live edit/preview a document, you have to muck around with syncing files + installing, there's no free plan, and nobody on Chromebook or Linux can use it.

For example, it's so much easier, faster and with better results to just let a client edit copy directly on a design, rather than the clunky way of having them message you a list of edit suggestions that doesn't let them iterate properly. Or live pair editing with another designer. Really hoping Figma add CMYK/printing support too (would it really be that hard when they already support P3 and non-P3?).

For Sketch, it being Mac only feels very restrictive and not a good business choice for them. I personally use so few native Mac apps, a native UI isn't something that influences me and I'm not even clear on what differentiates them now. Native UIs can also be bad as well as good, I just want an app with a good UI. I often prefer a web app because it feels like it would be more sandboxed, especially for installing plugins (like Figma allows).

I have a browser extension that I sell, and I'm so glad I didn't go the native app route. It's higher friction than a web app for users to get started, but much lower friction than a native app, and it lets me easily target Linux, Window, Mac and Chromebook.
by ratsimihah | 2025-07-31 08:25:16+00:00
Used to be like you, now I focus on creating high conversion landing pages if I'm trying to build a project for profit, and only build the full idea if I get enough sign ups.

Another thing I do more, which I find hard as a developer but somewhat more rewarding, is talking to potential users. Sometimes it makes you realise your ideas are crap haha.

But it's a different thing to build for fun, which I tend to do less these days and want to do more.

And agreed on the learning side. Building full-on projects is the best way to learn. I've picked up so many skills that have landed me new amazing jobs, i.e. that's basically how I transitioned from a native iOS developer to a full-stack React/React-Native developer.

Keep building! and don't forget the user side :)
by bayindirh | 2025-07-31 08:26:21+00:00
I don't use their API, but the search works for my scenarios. I'm not an heavy commenter, but it never failed in their app (which is supposedly Electron based) and Firefox for me.

Did you open tickets for these? Some Notion developers frequent here I believe, maybe you can reach them if they provide contact information?

I always found it beneficial to reach-out to provider/developer. The results were not positive all the time, but at least I managed to add an entry to their bug tracker, and the problems are solved 99% of the time, after some time.
by DrNosferatu | 2025-07-31 08:26:29+00:00
France no longer has to live with the risk of an invasion by Germany *because* the Allies stopped the cycle of violence by deciding to reconstruct Germany rather than erase her off the map.

That’s the reason why.

As abundantly mentioned already, the Palestinian survivors will remember and have their revenge someday.

…unless the plan is: “there will be no survivors”.

Have you noticed how shocking the above “plan” is? Events seem to closely align with it. A literal final solution. Equally shocking is how little people care about actual genocide, and - consequently - how normalized this is in practice.

The international community lets Israel get away with far too much.
by tgsovlerkhgsel | 2025-07-31 08:28:05+00:00
I think this observation is undervalued:

> Wait times are the second-most underrated component in making metro systems effectively faster (right after street to platform time).

Street to platform time made using public transit annoying in several Asian capitals. Wait times are the main reason why I often hate traveling with public transit even in a city with one of the best public transit systems - if you aren't planning your life around the transit schedule, the wait time is essentially an unpredictable part of your travel time (and if you do plan around it, it's one more annoying thing to deal with).

If you leave your doctor's office, and you have a 10 minute train home that goes every 30 minutes, then you really have a 10-40 minute train home - so for practical purposes, you essentially have a 40 minute train. Once unreliability or delays become frequent enough to start being a factor to consider, this could easily turn it into a 70 minute train.

Another big factor is the time between the actual start/end of the trip and the nearest station. Even with near-zero street-to-platform time (e.g. busses/trams) and reliable, reasonably frequent public transit, once you add it all up, a bicycle often ends up being faster than even excellent public transit.
by defrost | 2025-07-31 08:28:27+00:00
There's already Australian High Court precedent establishing that Australian ISP's are blind providers of data with no obligation to spy on their users for the benefit of third parties wanting user intel to connect the dots.

That was WRT torrenting, but it's a case that'd serve as a foundation for any push back in other related claims.

* https://en.wikipedia.org/wiki/Roadshow_Films_Pty_Ltd_v_iiNet...

This case is important in copyright law of Australia because it tests copyright law changes required in the Australia–United States Free Trade Agreement, and set a precedent for future law suits about the responsibility of Australian Internet service providers with regards to copyright infringement via their services. The managing director of iiNet, Michael Malone, claimed that "iiNet cannot disconnect a customer's phone line based on an allegation. The alleged offence needs to be pursued by the police and proven in the courts. iiNet would then be able to disconnect the service as it had been proven that the customer had breached our Customer Relations Agreement,"

In general it established that Australian ISP's are not obligated to act as a nanny wrt their customers.

ISP's can, of course, choose to do all manner of MiTM behaviour and monitoring but they are not obligated* to do so.

* save via five eyes related unspoken mandatory duties nobody talks about