News for hackers. Stuff that matters.

hkalbasi

So maybe everything is now low hanging fruit, with your definition.
Re:Typesafe AI raises $870M at $7.5B on Friday October 09, 2026 @03:39PM (#50025656)
> OpenAI's own Decisions API [1] beats it

Jev is 42$/B but OpenAI is 100$/B token.

Re:Tao: Open math problems being non-renewably mined by AI on Tuesday September 08, 2026 @08:10PM (#49618969)
So we can let the ai generate some math problems based on the solutions found? Other fields (computer science, physics, ...) can generate math problems too.
Re:GLM-5.3 is now open-weight on Friday August 28, 2026 @12:23PM (#49480810)
Is it possible to fine tune this model and unlock / extend its cybersecurity capabilities? I'm scared that maybe we are not ready for an open-weight model with high cybersecurity skills.
Re:Palomar: A registry of Lean verified mathematics on Wednesday August 19, 2026 @06:42AM (#49359679)
Re:Zed DeltaDB on Wednesday August 05, 2026 @04:47PM (#49188789)
I guess this data is not intended to be used all the time. But occasionally you may find it useful in blame or bisect or similar things.
Re:Karpathy's Pelican on Sunday August 02, 2026 @01:44PM (#49146597)
This makes me think about using a game engine and a coding agent instead of current video generation AIs. It will probably cost much more, but it will have almost zero consistency problems. Is this line explored?
Re:General Resolution: LLM Usage in Debian on Saturday July 25, 2026 @07:23PM (#49052826)
> A LLM (...) merely produces syntactically likely combinations of the training data

While doesn't matter much in the rest of the policy, this is a common misconception among AI skeptics. It is not the case for a long time (since RL is used heavily in the training) and a LLM may go beyond its training data.

Re:Memory Safety Absolutists on Saturday July 25, 2026 @05:26PM (#49051759)
Someone should fire up an AI and create Fil-Rust by connecting the Fil-C llvm backend to rustc, ending this flamewar. I guess it is well within the capabilities of a Fable class model, even if the driver doesn't have experience in compiler development.
Is there a gallery of all pelicans generated by simon over time?
Re:Kimi K3 is now live on Thursday July 16, 2026 @09:46PM (#48942510)
What about the cyber security capabilities? Given that this model is probably not guardrailed like Fable, would we see a wave of zero days?
Re:Understanding the Odin Programming Language on Sunday July 12, 2026 @02:18PM (#48883204)
If the major obstacle for adopting Rust is C interop, you may find my project CO2[1] appealing. It helps you to define C crates, `#include` C headers, while exporting a Rust API with Rust types in your crate boundary.

[1]: https://github.com/hkalbasi/co2

Re:AI 2040: Plan A on Friday July 10, 2026 @09:32PM (#48867639)
Self improvement of agent-1 is not achieved. Sure, people in AI labs write python code with AI, but I doubt it resulted in 50% algorithmic effiecency in training. Writing python code never was the bottleneck, if it was, AI labs could hire more people to do it. And this is core of the prediction.
Re:AI 2040: Plan A on Friday July 10, 2026 @09:23PM (#48867589)
Pretty accurately what? So now OpenBrain has an Agent-1 that makes their algorithmic progress 50% faster than other companies? If it was 50% more CVEs, that would be something, but I doubt any meaningful self improvement is achieved which the competitors are slower due that, which is the core of the prediction for 2026.
Re:Rewriting Bun in Rust on Thursday July 09, 2026 @06:33AM (#48843681)
> over/underflow checks.

Integer overflows are not checked in release builds by default, since they are not related to memory safety.

On the other hand, rust emits noalias everywhere, which helps in autovectorization.

Re:crustc: entirety of `rustc`, translated to C on Thursday July 02, 2026 @08:26PM (#48769169)
Not really. This C code is more like a binary and compiler artifact than a source code. So it won't match the standards of bootstrap.
As an Iranian in Iran who is now connected, I have a request: Please tell google make colab available behind the safe browsing IP. Google's safe browsing IP is usually the #1 whitelisted IP in internet blackouts. Having colab on this IP allows tech people to ssh into their servers, and bootstrap connections based on the available protocols at the time.
Re:Liquid-rust: Liquid templating for Rust on Monday December 15, 2025 @04:40PM (#46281103)
I like https://github.com/rust-sailfish/sailfish more. It accepts arbitrary Rust code in the template so you don't need to learn another syntax.
How it compares to other libraries in this space, e.g. reedline or rustyline?
> iOS Simulator or the Android Simulator, which based on experience, neither are made for anything resembling "quickly".

It's not adb / avd or some device emulator. It's an app that you install on your device, and then it can load your app from your development device using a link. I was able to run it in 5 minutes without having android studio or any other android development kits on my laptop.

> In the framekernel OS architecture, the entire OS resides in the same address space (like a monolithic kernel) and is required to be written in Rust. However, there's a twist---the kernel is partitioned in two halves ... the unprivileged Services must be written exclusively in safe Rust.

Unprivileged services can exploit known compiler bugs and do anything they want in safe Rust. How this affects their security model?

Re:Zngur: A C++/Rust interop tool on Saturday August 17, 2024 @04:03AM (#41272719)
Zngur allows you to write functions operating over Rust types, adding methods to Rust types and implementing Rust traits for C++ and Rust types inside C++. So you can write a rusty wrapper for the C++ library inside C++.

If you want to immediately use a C++ library in Rust with minimal manual effort, check out autocxx [0]. Its generated api isn't very idiomatic Rust, and it uses Pin, moveit, ... but it covers a good percent of C++ apis and you can also make an idiomatic wrapper for it in Rust.

[0] https://docs.rs/autocxx/latest/autocxx/

Older »