tinco

9 ms·

1.
by tinco 18d ago
It's not pedantry, you're trying to find something in Rust that's simply not there. If this sort of thing turns you off on Rust you should be looking at a programming language with other priorities.
2.
by tinco 19d ago
Not sure if that's true, there's some frozen supermarket pizza now that's seriously good. If I ordered fast food and they delivered a freshly baked Crosta Mollica pizza I wouldn't send it back. Of course a fresh pizza is
3.
by tinco 1mo ago
From my evaluation[1] neither Kimi K3 nor Qwen 3.8 are as good as GLM 5.2 at coding. I wonder if there's a marketing gap that's got people underestimate it. It uses twice as much tokens to achieve the same but the results are sign
4.
Evaluating Open Weight Models for Software Maintenance(blog.bosun.ai)
4 points by tinco 1mo ago|0 comments
5.
by tinco 1mo ago
This is really interesting. I built a similar product (not released yet), but it uses Kubernetes as the infrastructure layer instead of Cloudflare OS. I guess all these years later I am left with the same existential question that plagued S
6.
by tinco 2mo ago
When I was in university the course was called compiler construction. Making a language like G# is very simple and about the level that the final project of the course would be if the team was working together really well and went for maxim
7.
by tinco 3mo ago
I don't know how CarPlay is, but Android Auto restricts the apps and app interactions you can do in the Android Auto user interface. On my phone the only apps that show up are google maps, spotify, and my podcast player and my phone in
8.
by tinco 3mo ago
They might, but the final outcome of that depends on whether the tokenmaxxing rust-using zero-user startups are using more memory in ci/cd than the users of efficiently written successful apps are using in production.
9.
by tinco 4mo ago
Seems like not being compatible with Sentry's agent is a missed opportunity for Appsignal, which I think is the premier EU based (Amsterdam) APM suite at the moment. It sounds like Bugsink is rather barebones in comparison and I bet a
10.
by tinco 5mo ago
Ok so how does he know that? This whole podcast is about how we don't even know how tau clumps and amyloid build ups relate to the progression of the disease.
11.
by tinco 5mo ago
A transistor effectively is an AND gate. If there is a charge on both the source and the gate, then charge can move to drain. So if you charge up the capacitor and you connect it to the source of another transistor then you can check whethe
12.
by tinco 5mo ago
It might count, but it is easy with git as well, what is the feature in jj that makes this easier? Switching branches and pushing changes to remotes is the core feature of git and in my opinion really easy so I'm curious how jj improve
13.
by tinco 5mo ago
I came into Steins;Gate completely cold. I watched it when it came out and I only just realised there's more to the universe. It's a ridiculously good anime, probably a top 10 for me. It's got a really cool storyline with loa
14.
by tinco 6mo ago
Never worked at a FAANG, but from what I read from their cultures I don't think a letter to the CEO from a senior engineer would go entirely unnoticed there. CEO's might receive crazy letters, but hopefully not regularly from thei
15.
by tinco 6mo ago
No we can't. In the early 2000s we desperately tried to get our governments to be less dependent on Microsoft and we completely failed. Europe is not a federation like the US, worse many of the countries in Europe themselves are govern
16.
by tinco 6mo ago
I know it can, but it can't download it faster than the network card can write it into its buffers. That's the part I would count as the 50ms that both can't improve upon.
17.
by tinco 6mo ago
> That's not how anything works. Different languages will perform differently on IO work, different runtimes will degrade under IO differently, etc. That's why even basic echo HTTP servers perform radically differently in Pytho
18.
by tinco 6mo ago
I'm saying that the Rust might execute in 50ms and the Python in 150ms. You are the one not making sense, we are talking about application performance, why are you not measuring that in milliseconds. That is assuming Rust is 100x fas
19.
by tinco 6mo ago
Sure, within 100ms. Who cares what the performance multiples are?
20.
by tinco 6mo ago
It would come pretty close, probably close enough that you wouldn't be able to tell the difference on 90% of projects.
21.
by tinco 6mo ago
What is more expensive, copying the message, or memory fencing it, or do you always need both in concurrent actors? Are you saying the message passing overhead is less than the cost of fragmented memory? I wouldn't have expected that.
22.
by tinco 6mo ago
Why couldn't a machine that identifies relations between tokens be AGI? You're imposing an arbitrary constraint. It is either generally intelligent or its not, whether it uses tokens or whatever else is irrelevant. Also, language
23.
by tinco 7mo ago
Less than 5% of the population knew what it meant to install an app when the iPhone launched. I believe Steve Ballmer ridiculed the idea when asked about it. A great many amount of people use Android to this day because of its more open nat
24.
Inception Launches Mercury 2, the Fastest Reasoning LLM(businesswire.com)
2 points by tinco 7mo ago|0 comments
25.
by tinco 7mo ago
My company helps companies do migrations using LLM agents and rigid validations, and it is not a surprising goal. Of course most projects are not as clean as a compiler is in terms of their inputs and outputs, but our pitch to customers is
26.
by tinco 8mo ago
The Falcon Heavy is $97 million per launch for 64000 kg to LEO, about $1,500 per kg. Starship is gonna be a factor 10 or if you believe Elon a factor 100 cheaper. A single NVidia system is ~140kg. So a single flight can have 350 of them +
27.
by tinco 8mo ago
There was no need for the 15 year old boy who told me this traumatic story of how his sister was killed in his own house to make that story up, because just the fact that they're a liberal family coming from Iran would have been enough
28.
by tinco 8mo ago
Depends on what you want to hear. The Iranian family in my neighborhood whose father was a doctor fled after Islamist police cut their daughter to pieces in their own home for dressing inappropriately. That's the sort of non headscarf
29.
by tinco 9mo ago
To be fair, working on the Rust compiler is also something to do when you're learning Rust. I guess this person is killing two birds with one stone.
30.
by tinco 9mo ago
If something is literally incredible, then it's prudent to stop and consider whether it should be believed or that you have made an incorrect assumption. In this case, you wrongly assume that Musk is somehow being rewarded for somethin

More ›