HackerLangs
TopNewTrendsCommentsPastAskShowJobs

brabel

8,197 karmajoined 9 năm trước

comments

brabel
·9 giờ trước·discuss
There is a lot of resistance from the Ukrainians to going to the frontlines as we can see in the endless videos of people fighting the government “recruiters” who come to forcibly take them and the large stream of people fleeing the country. It’s hard to tell if the will to continue fight comes from the people or the government, it’s not nearly as clear as you imply. In my view, it’s a huge crime against life for this war to continue. A compromise is the only solution. From both sides of course. But it seems both sides still consider the continuing fight and death toll is worthwhile and preferable to the compromises they would need to make to end the craziness. We will look back at this time as a huge failure of Europe and the US to manage to first prevent Russia aggression, and then even worse , prolonging the conflict for several years by simply failing to provide what was needed to defeat Russia while providing just enough for the Russians to advance only very slowly and at a high cost - the worst possible outcome since Ukraine still loses a huge amount of territory and more importantly, people, while Russia loses a much smaller proportion of its population while achieving many of its goals and proving to the West that it can challenge its political position near its borders even if war is the only way to do so.
brabel
·10 giờ trước·discuss
Rust didn’t start in academia! It was a practitioner’s pet language until Mozilla started sponsoring its development. It’s actually the exact opposite of an academic language like OCaml and Scala, which were started by researchers in universities. Rust did incorporate some academic ideas like the borrow checker and algebraic data types, but the former was already being used in a precursor language, and the latter was almost becoming mainstream (which it is now, Rust helped a lot with that but was one of several languages that had it).
brabel
·20 giờ trước·discuss
Their success is already impossible: you cannot lose half of your population and suffer millions of casualties and still consider that a success in the end, even if Ukraine was to retake most of the territory it has lost, which seems less and less likely as the years pass.

Wars of this kind never have winners. Russia also lost too many soldiers to celebrate anything.
brabel
·20 giờ trước·discuss
Poland is delivering 90% of NATO’s support to Ukraine. France is one of the staunchest enemies of Russia. In this situation I just don’t understand what people expect Russia to do?? Sit and accept while those countries work hard to kill its soldiers and destroy its economy? I am surprised Russia hasn’t bombed transport depots in Poland that are known to be used for weapons delivery to Ukraine yet, but that seems very likely to happen in the next few months. However that is not the same as Russia invading Poland! Those reports are talking about attacks, no one in their right mind is expecting an invasion, which is what my comment was referring to.
brabel
·Hôm qua·discuss
Even the most optimistic Russian does not think Russia will ever get beyond https://en.wikipedia.org/wiki/Novorossiya which is not much more than Russia currently occupies. You really think they will eventually march over Ukraine on to Warsaw?? That’s as likely as the exiled Chinese government in Taiwan taking over China.
brabel
·tháng trước·discuss
> You're free to apply the particle "up" to pretty much any English verb if you want the semantics that it provides.

I have been speaking English for 20 years but it's my second language. I don't think the semantics of "up" matters when I try to understand phrasal verbs like "turn up". I don't see anything about "up" (as in a direction) in "turn up" or "show up" when it means "to appear" or "to be discovered"... where is the semantic connection?? I think native English speakers just think "up" intrinsically relates to "appear" or "be found" but there's no such connection in other languages I know of.

Similarly with things like "fed up" (as in 'tired of'). Where is the "upness" here?
brabel
·tháng trước·discuss
What the hell why are you thinking you decide anything?? The man has his project and can do whatever he wants with it. Read the license.
brabel
·tháng trước·discuss
Everyone forgets D. It’s probably the fastest to compile, even faster than Go
brabel
·tháng trước·discuss
Is this a case of people saying one thing and doing another?? Everyone's experience is different, but to me it seems most people love AI?! I see reports in the news about people not being able to do anything anymore without asking AI first, people dating AI boy/girlfriends, students using AI to do homework, teachers using AI to catch AI cheating by students, people writing emails via AI, improving their own writing with AI... and so many more! I personally use it a lot for coding (though I still try to do some manual work so I don't just forget everything), translations, quick queries about things, in the computer (specially CLI commands, AI is just incredibly good at it - no matter the CLI, seemingly) and in the physical world (e.g. what's the name of that thing you turn on a tap to open it - English is not my first language), it even helped me a lot figure out legislation in two different countries, where finding and understanding the law was next to impossible by myself (and it gave me links to everything so I could check by myself).
brabel
·tháng trước·discuss
If you think tool call and letting the LLM call an API via curl are the same thing, you haven’t a clue how LLMs work and honestly shouldn’t be commenting on the topic at all.
brabel
·tháng trước·discuss
Tinkering means different things to different people! Want to tinker with your hardware, as bare metal as possible? Or extract every inch of performance out of your CPU? Zig is great for that.
brabel
·tháng trước·discuss
I just upgraded some code to Zig 0.16.0 and I am actually really happy with the results. It impacted A LOT of things, but the changes were actually very good and seems to have set the language for a bright future, especially with the new IO mechanism which allows supper efficient code that looks good whether it's implemented single-threaded, multi-threaded or just via an event loop!

If you haven't tried Zig since 0.16.0 was released, I highly recommend having a look. The release notes for this release were huge!!

https://ziglang.org/download/0.16.0/release-notes.html
brabel
·tháng trước·discuss
No OP, but MCP really is just a logical next step once you've got an API. The API is the "low level" protocol, the MCP is the high level one, suited perfectly to an LLM that can call tools (since MCP essentially turns an API into a LLM tool).

With just an API, the agent needs to "read your API docs" to know how to call it (that can be an OpenAPI spec or even just text).

With MCP, the agent sees a bunch of tools it can call, and they've been trained to call tools so they nail it.

One more very important factor is authorization, which no one seems to mention in these discussions. CLIs were made for humans and use primitive mechanisms for authorization: either an API key you hardcode in your environment, or they literally run a background HTTP Server to get a callback OAuth call to receive a token from a browser authentication flow. Incredible that people are happy with that, appparently. With the MCP Authorization spec, you solve authorization across multiple MCP servers in the same standardized way, the LLM client you use just need to know the protocol, not how to login for every single MCP server.

Very importantly, if the MCP client does the authorization, the MCP provider has auditability: is this a call from a human or from a LLM? That's important in Enterprise! People think it's ok to let an LLM act on behalf of the human but that will eventually bite a lot of people. Did the LLM just try to hack the API while you were mindlessly clicking "yes" when it asked if you wanted to let it do something? Tough luck, there's no way to distinguish an LLM making a mistake from a human maliciously running some attack.

And as the post mentions, there's also more benefits like being able to "elicit" user input (not just request/response cycles) and the ability to have documentation and assets (skills also have this though).
brabel
·tháng trước·discuss
The CL condition system always gets brought up when people unfamiliar with effects see effects for the first time (example: https://news.ycombinator.com/item?id=38813484, another example: https://lobste.rs/s/12m2f0/algebraic_effects_another_mistake).

But while the condition system can do many things you can also do with effects, they cannot do everything.

Here's another discussion on this: https://news.ycombinator.com/item?id=44078743
brabel
·tháng trước·discuss
A real effect system allows you to do things like NOT continue execution after using the effect (like the error effect does - if you "implement" this by using Exceptions, you're not using effects at all, just using Exceptions with extra steps) or only continuing it after some asynchronous work happens (the Future effect), or even "continue" execution several times. That just cannot be done with "just passing stuff in". You still don't seem to have understood effects.
brabel
·tháng trước·discuss
Yes, this article is doing a bad job at explaining why you would want effects, and one of the main advantages is exactly that it becomes part of the type system, essentially coloring every single function with a set of effects it needs to be called. As the article used JavaScript it shows what untyped effects would look like, which in my opinion is awful. If you want to use algebraic effects today, I highly recommend Unison. If you’re on the JVM, Flix is doing major advances with effects!

https://www.unison-lang.org/

https://flix.dev/
brabel
·tháng trước·discuss
Keys in the Secure Enclave never leave the device (or the SE for that matter) and cannot be extracted even physically.
brabel
·tháng trước·discuss
If they’ve done it using Secure Enclave it’s essentially physically impossible to spoof.
brabel
·tháng trước·discuss
This is a bizarre post by a brilliant person. I am a fan of her technical skills and I actually enjoyed her previous writing about CosmopolitanC, Redbean, llamafile… I can’t imagine how she could have problem finding jobs she is happy with given her talent. But this post just doesn’t feel right, I would guess she is suffering from depression or something. If Justine reads this, your views seem to align well with Andrew Kelley (except the part about private aviation!), you could be a huge addition to the Zig Core team. Watch his interview with JetBrains to know more about his views on software and open source. I am an outsider, but just wanted to throw the idea out there, maybe someone can pull some strings and make it happen.
brabel
·tháng trước·discuss
You seriously think current LLM is just at apprentice level in programming? It can write stuff one shot that I’d expected even some experts to struggle to do even with ample more time allowed.