MurphyA/hacker-news huggingface dataset:
by ethbr1 | 2025-07-31 09:32:19+00:00
The part that seems to be missing these days, that was historically present in support orgs, is escalation.

You’re always going to do the bulk of support through L1, and L1 support is going to be limited in terms of training and access.

But! The intended flow is that L1 recognizes when an issue exceeds their ability and escalates it up to L2+. And that’s where your talented (and empowered!) support engineers work.

That escalation just doesn’t seem to happen any more.

My hypothesis is that it’s a consequence of L1 being outsourced, where now they’re heavily incentivized to avoid escalating and impacting their probably-contractual KPIs.

Yet another cost for adding too many parties to something that could be better if it were simpler.
by bubblyworld | 2025-07-31 09:33:39+00:00
Yeah, not suggesting philosophers are the only people using logics, but they've certainly been using them the longest!

Indeed, I've seen various attempts to tackle the problem including what you are suggesting - expressing the semantics of different logics in some base formalism like FOL in such a way that they can interplay with each other. In my experience the issue is that it's not always clear how two "sublogics" should interact, and in most cases people just pick some reasonable choice of semantics depending on the situation you are trying to model. So you end up with the same issue of having to construct a new logic for every novel situation you encounter, if that makes sense?

Logics for computing are a good example - generally you use them to formalise and prove properties of a program or spec, so they are heavily geared towards expressing stuff like liveness, consistency invariants and termination properties.

I haven't read about CTL though, thanks! I'll check it out. Hopefully I didn't write too much nonsense here =)

> Just like mathematicians don't worry much about switching back and forth from geometry/algebra [...]

As an ex-mathematician I think we worry a lot about transitioning between viewpoints like that. Some of the most interesting modern work on foundations is about finding the right language for unifying them - have a look at Schulze's work on condensed mathematics, for example, or basically all of Grothendieck's algebraic geometry work. It's super deep stuff.

> then you may be stuck with some irreconcilable continuous-vs-discrete or deterministic-vs-probabilistic disconnect

Agreed, I think this is one of the cruxes, and lately I'm starting to feel that maybe strict formal systems aren't the way to go for general-purpose modelling. Perhaps we need to take some inspiration from nature - completely non-deterministic, very messy, and nevertheless capable of reasoning about the universe around it!
by nic547 | 2025-07-31 09:33:41+00:00
MAUI is supposed to use native ui components, AvaloniaUI just uses Skia. I think going with a non-native approach would kinda make Linux a clear second class platform, especially with all the native features that need to be rebuilt?

Is there any multiplatform ui framework that's actually "native" for all the different linux ui toolkits?
by animal531 | 2025-07-31 09:34:06+00:00
Definitely. To be honest I don't think LLM's are any different from googling and copying code off the Internet. Its still up to the developer to take the code, go over it, make sure its doing what its supposed to be doing (and only that) etc.

As for the last part, I've recently been getting close to 50 and my eyes aren't what they used to be. In order to fight off eye-strain I now have to tightly ration whatever I do into 20 minute blocks, before having to take appropriate breaks etc.

As a result of that time has become one of the biggest factors for me. An LLM can output code 1000x faster than a human, so if I can wrangle it somehow to do whatever basics for me then its a huge bonus. At the moment I'm busy generating appropriate struct of arrays for SIMD from input AoS structs, and I'm using Unity C# with LINQ to output the text (I need it to be editable by anyone, so I didn't want to go down the Roslyn or T4 route).

The queries are relatively simple, take the list of data elements and select the correct entries, then take whatever fields and construct strings with them. Even so, copying/editing them takes a lot longer than me telling GPT to select this, exclude that and make the string look like ABC.

I think there was a post yesterday about AI's as HUDs, and that makes a lot of sense to me. We don't need an all-powerful model that can write the whole program, what we need is a super-powered assistant that can write and refactor on a very small and local scale.
by donjoe0 | 2025-07-31 09:34:12+00:00
Like running out of unskilled people to import, especially in these times of rapid emancipation of countries that used to be forcefully held down in an undeveloped state so they could be used precisely as reservoirs of natural resources and cheap labor, to be tapped at will. Witness the collapse of 200 years of "economic theory" in the White Racist West that was basically just some shiny wrapping over the doctrine of "well we will just rob all those other countries that can't defend themselves".
by Cthulhu_ | 2025-07-31 09:34:25+00:00
Part of me wants to build one of these "here is my infodumping about hobby X", but... I don't have any unique hobbies, nor any deep knowledge of any particular subject, but I think the main thing is competition.

Example. I bought and built a Gundam model the other day, cool stuff, could make a website for that... but there's already a wiki [0] that has a painstaking log of the franchise, everything ever published, etc. I have nothing to add to that, let alone do I have any right to build a website about it.

Of course, I shouldn't take it so seriously; it could be a simple blog post about "this is what I did this weekend, this is what I found, here's some pictures and some links". That'd have its own charm, I'm sure.

[0] https://gundam.fandom.com/wiki/The_Gundam_Wiki
by asim | 2025-07-31 09:35:17+00:00
Makes total sense. You cannot be constrained by the CLI when do much of what models do is multimodal and graphical. I don't think this dilutes their efforts in running the models or the CLI. In fact it's a huge enhancement and helps them penetrate the enterprise market in the long term. And the reality is, when you take VC funding for an open source tool, your customer basis is going to be the enterprise and your inevitable goal is to become a profitable business. Do not let any of the delusions of Docker fool you. Build a thing, take VC money, you need to return that investment with profit. Unfortunately free things and Dev centric tooling often make it very difficult to establish that business model. So for Ollama to take this UI approach potentially let's them then monetize a lot of things around the GUI and leave the CLI tool free.
by lukko | 2025-07-31 09:35:19+00:00
I like the idea of a 'bullshit timebox' - an hour period of protected time for minor chores & slightly annoying tasks.

I wonder what the best way of arranging it is. I guess you want to schedule them or have set weekly times, otherwise there's a slight overhead of remembering and finding the best time to timebox. Or maybe you use the last timebox to schedule the next one..
by ozim | 2025-07-31 09:36:05+00:00
I just updated and a bit annoying by default gemma3:4b was selected that I don't have on my local. I guess would be nicer to default to one of the models that are present.

It was nice it started downloading it but also there was no indication I don't have that model before hand until I opened drop-down to see download buttons.

But of course nice job guys.
by silvestrov | 2025-07-31 09:36:15+00:00
It is a real failure of Adobe management that Adobe didn't make Figma but kept doing the native old klunky apps.

The failure started with the Adobe Acrobat being such a dog slow app and never being fixed. Adobe looked too much at market share and forgot to be a tech company, so every platform now has their own PDF reader instead of using Acrobat Reader.
by precommunicator | 2025-07-31 09:36:36+00:00
I self-hosted it for a while now. Works well. I track all devices I have and additionally hardwired a GPS in my car, connected to it. It supports a almost infinite list of GPS devices and protocols, so definitely you can find something on their list.

Very configurable, when I added a Bluetooth temperature beacon to the GPS in my car I was able to write specific computed attributes in it so that it converts raw value and saves temperature together with each check-in.
by Cthulhu_ | 2025-07-31 09:37:30+00:00
There's a "classic web" search engine / indexer / randomiser at https://wiby.me/; I put the 'surprise me' link on my bookmarks bar for a random peek into the classic web.

I just hit it though, and some are... kinda sad. Ended up here [0] and the last post from '03 seemed like the author was the last person that still checked in, they seemed quite dejected and sad. Looking further, their about page mentions them going to Rochester Institute of Technology to become an animator, and them being referenced a few times online as someone that was inspiring but who left the community / communities a while ago.

[0] http://aido.furvect.com/main.htm
by rcarr | 2025-07-31 09:37:33+00:00
100% agree. People want, above all else, convenience. Whichever tool gets the job done with the least amount of friction for the end user will generally win. People don't want to mess around learning a program, they just want to get the idea that is in their head out into reality as quick as possible. The more friction there is, the more likely the idea is to die before it's realised.

It's like the old story about Steve Jobs. He asked a bunch of engineers to make him a printing application. So they scoured the printer manuals and made this app that implemented every feature possible and took it to Jobs. He instantly dismissed it as being way too complicated, went over to the whiteboard, drew a box with a button, and said something like "You drag the file you want to print on to the box and then click the print button."
by jay_kyburz | 2025-07-31 09:38:06+00:00
It would be cool if the post office could issue you an ID card, but for a pseudonym of your own choosing, so that when the data leaks, you can just trash it and get a new one. You could just show the dude at the post office your real id and he can check the age, but not actually write it down or link the two identities digitally.

Even cooler would be if you create a different identity for each service so when they do leak, you know who leaked it. My first id would be for John Facebook Doe.
by helloplanets | 2025-07-31 09:38:15+00:00
Most of those look like context issues to me. Repo map (using Tree-sitter, etc) and documentation would already do wonders. Feeding 32-64kTok of context directly into a model like Gemini Pro 2.5 is something that more people should try out in situations like this. Or even 128kTok+.
by dist1ll | 2025-07-31 09:38:42+00:00
It's fascinating to me how the values and priorities of a project's leaders affect the community and its dominant narrative. I always wondered how it was possible for so many people in the Rust community to share such a strong view on soundness, undefined behavior, thread safety etc. I think it's because people driving the project were actively shaping the culture.

Meanwhile, compiler performance just didn't have a strong advocate with the right vision of what could be done. At least that's my read on the situation.
by 28304283409234 | 2025-07-31 09:39:44+00:00
Spoken like a true <insert derogatory term>.

I disagree. My paycheck stays what it is when I do not go shopping. Time keeps running out regardless of where my attention goes.

To me it seems that attention most certainly is a separate resource.

And more importantly, regardless of what it is, it is more important. Time is meaningless. My attention is not.
by brokegrammer | 2025-07-31 09:40:48+00:00
Vibe coding is only a problem when non-programmers do it. As a programmer, I know how to give precise instruction to models so that they end up writing high quality code. I also have the knowledge to manually fix code that models generate.

Non-programmers can't do any of that. That's why I believe that programmers should use vibe coding to get work done faster, but non-programmers should restrict vibe coding high quality projects to their dreams only.
by jrflowers | 2025-07-31 09:40:53+00:00
I love that you can just write anything online. “Attention is your scarcest resource” doesn’t make any sense at all for anyone on earth in any context but if you just sort of like phrases based on shape or vibe it’s definitely a sentence.

It is like “The Goof Troop Movie Trilogy is finally getting its final installment… hyuck”. Like no it isn’t, that’s not happening, that’s just made up. Those are just words that are fun to read but mean nothing
by jeffhuys | 2025-07-31 09:41:05+00:00
Honestly feels very vibe-coded [1] [2] and would not really trust my money with something like this. I had to read the code to understand what it actually protects me from, as the README.md (other than telling me it's production-ready, professional, and protects me from so much!) tells me "Supports all major providers: OpenAI, Anthropic, auto-detected from URLs". OpenAI and Anthropic are "all" major providers [3]?

[1] https://github.com/dipampaul17/AgentGuard/blob/51395c36809aa...

[2] https://github.com/dipampaul17/AgentGuard/commit/d49b361d7f3...

[3] https://github.com/dipampaul17/AgentGuard/blob/083ae9896459b...
by rkachowski | 2025-07-31 09:41:58+00:00
What kind of tests are these that can identify such disorders? In the culture and country I'm from, everyone I know with a similar diagnosis has had to go through a path of "decide what you have, battle the gatekeepers until they relent". This isn't just cynicism and shopping for desired results but the result of a medical system where professionals are guardians of insurance spend rather than fonts of advice.

The idea that there's a valid diagnostic test available sounds quite interesting.
by benterix | 2025-07-31 09:42:19+00:00
> Who else would spend the time and effort to figure out you leaked your stipe key to your front end? Sure people have bots to do that, but it’s kinda unbelievable someone would run such a bot on their vibe coded website.

I could offer some anecdata as a counterargument but I'm a bit ashamed about how it happened so I'll just say, you friend was lucky it only ended at that.
by FirmwareBurner | 2025-07-31 09:43:38+00:00
What's the European alternative to the things OpenAI puts in their datacenters?

What's the European alternative to Nvidia H100s and Quantum InfiniBand, AMD Epycs and Instincs, and Intel Xeons?

In the past you had European companies like ST, Ericsson, Nokia and Siemens who could design cutting edge compute and networking chips of the time, but those days are long gone, with European companies have missed out on the hyperscale race being relucted to making commodity low margin products, so they either have to buy American or Chinese if they want cutting edge.
by whitehexagon | 2025-07-31 09:44:11+00:00
This caught me out yesterday. I was trying to move models onto external disk, and it seems to require re-installation? but there was no sign of the simple CLI option that was previously presented and I gave up.

As a developer feature request, it would be great if ollama could support more than one location at once, so that it is possible to keep a couple models 'live' but have the option to plug in an external disk with extra models being picked up auto-magically based on the ollama_models path please. Or maybe the server could present a simple html interface next to the API endpoint?

And just to say thanks for making these models easily accessible. I am agAInst AI generally, but it is nice to be able to have a play with these models locally. I havent found one that covers Zig, but appreciate the steady stream of new models to try. Thanks.
by lbriner | 2025-07-31 09:44:32+00:00
I feel like this is one of those articles that claims some clever idea on paper but without experience of how this would actually work IRL but IDK if the OP has more experience than me so I will assume the best.

Others have already pointed out some of the practical things that would limit what you can achieve with shorter trains like minimum headway between trains and the congestion that would occur after a delay where you would expect people to wait for maybe 10 short trains to arrive and depart before you could get on.

There are other problems. The cost of the smaller trains means if e.g. 2 carriages each, then every other car is a driving vehicle with motors and control equipment. On longer trains, this could be 1 in 3 or 1 in 4. Each of these not only requires regular maintenance (so that's doubled the maintenance requirements) but also creates massive congestion issues in maintenance yards. Commonly, 1 or 2 full trains fit in each siding so getting most trains out if e.g. one is broken down is usually easy enough. Imagine having to move 3 or 4 separate smaller trains out of the way, they are not automated in the yards.

Most people would be very unhappy knowing that they might be alone on a train, which is a main reason why operators are not quick to get rid of all staff. But currently, a single driver and conductor is close by for, maybe, 8 carriages. This would double if you needed a single attendent on each 2 carriage train.

The signalling is very heavily designed around traditional trains with its delay after passing a signal. 4 x 2 carriage trains would utilise more signalling capacity/time than 1 x 8 carriage train. If these were all coming from the same location and needed to return, that would also need a lot more platforms so that the following trains don't block the first trains in terminal platforms. This is already a major problem at most UK terminal stations so that is largely unsurmoutable.

I also heavily question the idea that station cost is largely dependent on platform length. On most surface stations, platforms are relatively easy to construct and whether they are 4 carriages or 12 carriages long still require a station building or 2, some ticket machines and CCTV etc. For elevated railways that is more likely to be true maybe.

So yeah, like someone else said, we are unlikely to come up with ideas that 1000 other engineers haven't already asked, the easier problems to solve are around planning, design, legal rights for infrastructure projects etc. since these tend to eat up sometimes decades and billions of dollars.
by uyzstvqs | 2025-07-31 09:44:41+00:00
That opinion still stands. But I believe that we should regulate children's access to the internet, and not the internet's access to children. As the prior does not affect adults and their free, open and private internet, while the latter absolutely does.

I believe that there should be a standard, open framework for parental control at the OS level, where parents can see a timeline of actions, and need to whitelist every new action (any new content or contact within any app). The regulation should be that children are only allowed to use such devices. Social media would then be limited to the parent-approved circles only. A minor's TikTok homepage would likely be limited to IRL friends plus some parent-approved creators, and that's exactly how it should be.
by qcnguy | 2025-07-31 09:45:09+00:00
It's what happens, it's almost by definition not subjective. The world is full of people geeky enough to use third party clients but not geeky enough to understand the nuances of service evolution. Their reasoning goes like this: yesterday it worked, today it doesn't. I didn't change my client, so it must have been the service that changed. Therefore, it's the service's fault.

This type of reasoning is typically reinforced by the third party app developers themselves, who will tweet "XXX broke their APIs today, really sorry, working hard to get you an update that works around their $@!%#! engineering" and other stuff that not-so-subtly encourages people to blame the service.

Also, don't discount the abuse aspect. Closing clients and out-iterating them is a proven strategy for winning the abuse war, and as all users care about abuse but very few care about third party clients, losing the latter to please the rest of the user base is an easy decision to make.
by metalman | 2025-07-31 09:45:36+00:00
you will have to explain your cartoon metaphore as I dont watch movies or television but if the allusion is to not following kings then I think that then perhaps you are aluding to the orange one?, in any case there is a widespread dissilusionment as expressed in the "No Kings" movement.

https://www.inlander.com/news/todays-no-kings-movement-trace...

https://en.wikipedia.org/wiki/No_Kings_protests
by Cthulhu_ | 2025-07-31 09:45:52+00:00
Both is good. The linked page is a marketing page built to impress. The OP is an content page built to inform. Sometimes you want marketing pages built to inform [0]; sometimes you want content pages to impress [1]. It's always a tradeoff, but I can guarantee that your idealism doesn't correlate with harsh reality.

[0] https://aws.amazon.com/s3/

[1] https://ciechanow.ski/
by jauntywundrkind | 2025-07-31 09:45:54+00:00
Crazy sprawling framework. A directory of ACA and MCP tools. A bespoke low latency messaging system. Workflow schedulers.

Out of Cisco! Very surprising to me. It's hard to tell what the various other company logos really mean, but there are a lot of big names features on the website! https://thenewstack.io/cisco-donates-the-agntcy-project-to-t...
by csomar | 2025-07-31 09:46:28+00:00
> I think indeed, vibe-coded software in the hands of the inexperienced is instant tech debt. But at the same time, he was able to prove out a viable business in a matter of a few months with no engineering background and no technical capability.

Wait, if there are competitors, how was he able to prove a viable business when there were two viable businesses out there?
by hiAndrewQuinn | 2025-07-31 09:47:01+00:00
>Time is your most precious resource.

This is just false. Time cannot be your most precious resource, because there are many, many ways to push the likelihood of you dying tomorrow, next year, or next decade down considerably from where it is. Exercising, for example, or reaching a healthy weight, or quitting recreational substances like alcohol or opioids. Yet in reality we see a great many people who refuse to do any of these things, and statistically end up with less time because of it. Empirically speaking this is very strong evidence against time's claim to ultimate value.

It's true that there seems to be a maximum amount of time our unaugmented wetware can provide us, but something being finite does not make it the most important thing you have. I have a finite amount of money in my pocket, yet money isn't my terminal goal.
by dragonwriter | 2025-07-31 09:47:04+00:00
That's a broader definition of legacy than I’ve usually seen used; usually, “legacy code” is a fuzzy categort of code that lacks some significant subset of the maintainability properties expected as the norm in the category of “existing, actively maintained code”, such that issues in that code requiring working around the code, replacing code units wholesale, or expending extra effort research, document, develope tests for, or otherwise bring the code into a maintainable state to enable diagnosing and resolving issues with it.
by chasing0entropy | 2025-07-31 09:47:23+00:00
The industry (hint:this forum's readers) have replaced "fast" software with "portable" meaning -universally addressable libraries that must load from discrete and often remote sources, -zero hang time in programming language evolution (leaving no time for experts to discover, document, and implement optimizations) -insistence on "the latest version" focused software with no emphasis on long term code stability