ddosmax556

7 ms·

1.
by ddosmax556 3d ago
It results in different behavior in the compiler. You don't have to check the return type of a function in which you call a function return never. Using a different symbol gives you a hint why the code works, if you used `Never` you&#x
2.
by ddosmax556 5d ago
Completely agree. I think there is a danger that we will loose important interactions because we don't need them, but there's also a chance that we skip unimportant ones and focus on important ones. If being in a Waymo alone cause
3.
by ddosmax556 10d ago
Your comment appears to imply that the fact that LLMs used prove2me makes their accomplishment in any way less powerful. But consider that we just witnessed an AI system generate an automated proof that was previously unthinkable within 11
4.
by ddosmax556 3mo ago
The title of the paper itself is odd. "LLM" is an abstract computation that's performed on some substrate, could be GPUs, could be a piece of paper, could je Minecraft, could be AoE, or could be all of them together. That&#x2
5.
by ddosmax556 3mo ago
Anthropic, if you're reading this: I'm a developer trying to figure out LLMs, I use them 8h per day to do my work. Claude Desktop is a missing piece I don't have access to because I'm only on Linux! I'm happy with a
6.
by ddosmax556 3mo ago
What's with these journals all being so hostile? I remember years ago i tried to delete my Washington Post account - there was no button anywhere in the settings menu though, only: text if you want your data deleted. I texted them, the
7.
by ddosmax556 4mo ago
check audiotool
8.
by ddosmax556 4mo ago
I understand that this is frustrating for people who mostly write thoughtful emails. But personally I use gmail for exactly the following things: account recovery, system notifications, and b2b email threads. For the latter, I really couldn
9.
by ddosmax556 4mo ago
It can be discussed but not like this. The tone is problematic and results in the reaction. You're basically saying: I found a few bugs and I saw that you use tool X, thus you're now not worthy of maintaining this software without
10.
by ddosmax556 4mo ago
Yes, reliability plummeting is valuable feedback, but it should be framed as such, and not attack the maintainers descision to use agentic tools to write code, and especially not in that high nose way with an undertone of: What you're
11.
by ddosmax556 4mo ago
I agree, if I was the maintainer this would be an extremely tiring community feedback. People coming in "I encountered a bug, I don't know what the bug is but I thought about it for a second and it's obviously your descision
12.
by ddosmax556 4mo ago
They're not negated, smarter is smarter, but you have to reach deeper in your pocket. I think this will happen more and more - the smartest models get more expensive. But it won't matter - the current models we have today will get
13.
by ddosmax556 4mo ago
I would take all benchmarks with a grain of salt. I don't really use them. What's it supposed to tell me? "5% smarter", what does that mean? My experience will differ. Just try it! I doubt Anthropic internally sets as a
14.
by ddosmax556 4mo ago
I can tell you my experience as a js package dev, last tried a few weeks ago. We're building an npm package that's supposed to run on both node.js, deno & bun & the web. This is an annoying to do for exactly two platforms:
15.
by ddosmax556 4mo ago
I know and I agree. It sounds incredibly arrogant but it's frankly is a bid sad to see how much HN is lagging behind AI adaption. It's been 90% noise over the last 3-6 months about problems that aren't truly problems if you r
16.
by ddosmax556 4mo ago
This article assumes that AI only has an impact on the development phase which is certainly not true. It can speed up every part of the step. Including ideation, legal, documentation, development, and deployment. Ideation: Throw ideas back
17.
by ddosmax556 4mo ago
Enforcement is secondary and is allowed to take weeks / months / never at all if nobody reads the paper. It's about being able to ban if an issue arrises; not about keeping the database strictly clean.
18.
by ddosmax556 4mo ago
I agree with everything you said, it's great that they're trying to detach from US IT providers & alternative, and I do think Europe is doing a lot things better than the US. But there's nothing like AWS, Google Cloud, fa
19.
by ddosmax556 4mo ago
Looking at it from Europe, this definitely also happens. It depends on the situation. I know of ppl who were kept bcs the parting was in good faith (which was less a firing and more an agreement that parting is in everyone's interest),
20.
by ddosmax556 4mo ago
Perfectly possible IME, it just requires more time. Even if you understand all the (important) parts of your code and validate it, Ai still helps with productivity a lot. It's just not as fast as blindly vibe coding - not at first at l
21.
by ddosmax556 5mo ago
I think there's a real space there, and a lot of what e.g. nurses and doctors do is talking to humans, and that won't go away. But two facts are also true: a) diagnosis itself can be automated. A lot of what goes on between you ha
22.
by ddosmax556 5mo ago
Not with you, just a little frustrated with the general vibe and tone in hackernews :) Nad it's not anyone's fault either everyone is just doing their best to follow what's happening. But I think hackernews is currently way o
23.
by ddosmax556 5mo ago
Why is it a problem with Githubs infrastructure!? Bcs any website on the planet will struggle when they have to fulfill 30x capacity within 1-2y, no matter which tech stack they're built on, including federated networks. I'm not s
24.
by ddosmax556 5mo ago
Switch to a git provider that offers agentic augmentation of your workflow. And I don't necessairly mean the way it works right now - it's being refined & adjusted & infrastructure is being built as we speak. For example,
25.
by ddosmax556 5mo ago
No the problem is that github has to stem exponential usage increase and prepare 30x of their capacity, that's not symptom, that's problem.
26.
by ddosmax556 5mo ago
If you're seriously using agents, you'll know that if they didn't offer that then people would rapidly switch platforms if they didn't. Maybe not all of them yet, but soon it will be all.
27.
by ddosmax556 5mo ago
This looks cool but the issue github is dealing with is exponential usage. They're trying to 30x their capacity right now - let that sink in! Microsoft here or there, any company would be struggling under this load. And I frankly don&#