brabel

14 ms·

331.
by brabel 6mo ago
They agreed that war was a thing of the past, but still continued to push for NATO to allow new members anyway, ironically causing Russia (and China and everyone who is NOT in NATO) to suspect that war was NOT a thing of the past and theref
332.
by brabel 6mo ago
We need to find a way to incentivize progress that does not involve purely personal wealth.
333.
by brabel 6mo ago
I just wrote “sex” and it gave a biology lesson on the topic!
334.
by brabel 6mo ago
The site can verify the signature of the presentation document using the public key of the credential issuer, yes. Each presentation is generated on demand to avoid identity tracking (sites could collide to to track presentations otherwise)
335.
by brabel 6mo ago
I think you are in the wrong. But my reason is that when you support concurrency, every access and modification must be checked more carefully. By using a concurrent Map you are making me review the code as if it must support concurrency wh
336.
by brabel 6mo ago
Most countries in the EU already have widely accepted identity proof apps mostly verified by the banks or the government itself. Once verified the identity app gets a certificate which is signed by the authority which issues the identity. W
337.
by brabel 6mo ago
I think this was a genuine generational change. I am pretty sure Rust would never have become popular 20 years earlier because the priorities back then were so different (that was the era of languages like Ruby and Pearl where conciseness a
338.
by brabel 6mo ago
Keep in mind that as the post says, the model you’re trying via ollama may not be the model you asked for! And the performance may be subpar and not reflect the model true performance. Otherwise, I agree they offer an easy and polished prod
339.
by brabel 6mo ago
Ollama is a bit easier to use, you’re right. But the point of the article is the way they just disregarded the license of llama.cpp, moved away from open source while still claiming to be open source and pivoted to cloud offerings when the
340.
by brabel 6mo ago
The educators keep making blunders like in this case. Hundreds of years of teaching and sorry but looks like your field is still trying to figure out the very basics of your discipline.
341.
by brabel 6mo ago
Thanks for writing this, I hope people here will actually read this and not assume this is some unfounded hit piece. I was involved a little bit in llama.cpp and knew most of what you wrote and it’s just disgusting how ollama founders behav
342.
by brabel 6mo ago
I agree. I just can’t understand how people who work in education seem to be incapable of learning anything about education! They couldn’t have predicted that just having the most amazing tutor in the world available all the time just would
343.
by brabel 6mo ago
No. It would be like finding a memory unsafe caused bug in a Java application that is due to a bug in the JRE. That would absolutely warrant a title like “I found memory unsafe bug in my Java code” when everyone expects Java code to be memo
344.
by brabel 6mo ago
When the Lean runtime has bugs, all Lean applications using the Lean runtime also have those bugs. I can’t understand people trying to make a distinction here. Is your intent to have a bug free application or to just show the Lean proof ker
345.
by brabel 6mo ago
I have been interested in this topic for a long time and to be honest, there is no better book on the topic than The Mythical Man Month. Yes from the 70s I think, but still the best I have read.
346.
by brabel 6mo ago
And what is your theory? That it’s better to not save those 2 hours since they will just go to waste anyway? Or that there is diminishing returns to saving work as people will tend to just spend longer on other things they were already doin
347.
by brabel 6mo ago
The actor model for concurrency.
348.
by brabel 6mo ago
Who has that end goal?? Who is going to direct the AI if only the CEO is left in the organization? The CEO will never actually do it , and will always need someone who can and will do it. I just can’t see a grand plan to take humans out of
349.
by brabel 6mo ago
The US engages in preventive wars, generally. For example, the wars in Korea and Vietnam were ultimately fought to prevent the USSR from becoming more dominant than the USA and ultimately to prevent it from becoming so strong that in an eve
350.
by brabel 6mo ago
You haven’t actually done that have you. If you did, you would immediately understand the problems MCP solves on top of just trying to use an API directly: - easy tool calling for the LLM rather than having to figure out how to call the API
351.
by brabel 6mo ago
Never seen that in any company I worked at either and I can’t believe professional developers seem to think that it would be ok to write meaningless commit messages. That’s just so sloppy.
352.
by brabel 6mo ago
Where I live the phone companies do this: you can get a discount every year by calling them and saying you will change companies unless they give you a better price. They always do and the only people paying normal prices are the ones who c
353.
by brabel 6mo ago
I live in Sweden, and I don’t see a fiber plan available from Telia, the biggest provider, faster than 1Gb!? https://www.telia.se/bredband/fiber And I have the 600M plan since it’s less than half the cost of 1G but sti
354.
by brabel 6mo ago
My guess is that this mission is not about imaging the far side of the Moon at all as that has been done already.
355.
by brabel 6mo ago
Courage guided by righteousness or vengeance? I feel like the motivation is very important here.
356.
by brabel 6mo ago
That can only be a sarcastic answer, don’t you think?? You really believe people would get a job at former Facebook, after lots of scandals have been exposed, and not even think about that?? Sorry no way.
357.
by brabel 7mo ago
Most university students still behave like kids. I don’t think you can expect under-20 students to behave as adults, honestly. I went to university again around 30 . And my wife teaches first year students. Maybe I am just old now but those
358.
by brabel 7mo ago
Toyota has an open source game engine written in Flutter! https://www.youtube.com/watch?v=98n32VstnpI
359.
by brabel 7mo ago
You say later that you think gravity and acceleration look the same but cannot be the same , which is funny since that’s exactly what relativity says: if two things are indistinguishable from each other even in principle, then they must be
360.
by brabel 7mo ago
It's on the front page because it looks really cool. You can complain about it being vibe coded, but it still looks good. If you ask Claude to allow the user to slow down the animation, it can do that quite easily, that's just not

More ›