HN user

elbear

738 karma

Studying math at the moment

Posts18
Comments704
View on HN
news.ycombinator.com 2y ago

How to get out of career limbo?

elbear
5pts22
en.wikipedia.org 2y ago

Column-Oriented DMBS

elbear
1pts0
news.ycombinator.com 2y ago

Ask HN: Could Nix make crypto mining more efficient?

elbear
2pts8
elbear.com 3y ago

Functional programming principles you can use in Python

elbear
2pts0
news.ycombinator.com 3y ago

Ask HN: How to Visually Design Tutorials?

elbear
18pts9
elbear.com 4y ago

How to Use Monads Without Understanding Them

elbear
2pts0
news.ycombinator.com 4y ago

Ask HN: If you knew math, what would you use it for?

elbear
1pts2
haskell.elbear.com 5y ago

Haskell Records and JSON. An Approach

elbear
4pts1
github.com 5y ago

Cuneiform – A large-scale data analysis functional programming language

elbear
2pts0
www.discovermagazine.com 5y ago

Measurements performed in the future can influence the present

elbear
3pts0
publish.elbear.com 5y ago

Use Nix to make experimenting with Haskell easier

elbear
3pts0
en.wikipedia.org 6y ago

Perception

elbear
1pts0
aeon.co 6y ago

Whatever happened to the noble art of the manly weep?

elbear
79pts111
elbear.com 6y ago

The Profile of the Ideal Software Developer

elbear
2pts2
github.com 11y ago

Show HN: Bud – Django project template for quick deployment (Vagrant, Ansible)

elbear
9pts4
www.comedylib.com 12y ago

Show HN: Comedylib – A site that organizes comedy content from major video sites

elbear
1pts0
news.ycombinator.com 13y ago

Ask HN: What equity should I ask for as a first employee?

elbear
1pts2
elbear.com 13y ago

The right Django project layout

elbear
3pts2

Curious, which model do you use for Codex? I'm very happy with the solutions '5.5 high' finds. It's like it understands exactly what I mean and it also anticipates all sorts of situations. Before I used '5.5 medium' for some time and it was a bit underwhelming. It may sound funny but it's like it didn't care that much to do a good job.

DeepSeek v4 3 months ago

I'm also unemployed. So far the models that I've used the most are Kimi and GLM. I haven't done that much agentic coding though, I've mostly used them for studying math and general conversations and I'm generally happy with their performance.

In case you don't know, Gemini 2.5 flash is hosted on DeepInfra. They also have 1.5 flash but not 2.0 flash.

I have no affiliation with DeepInfra. I use them, because they host open-source models that are good.

I wonder, how does a Julius perceive another Julius, as another competent worker? What about a non-Julius then?

* It's cheaper than proprietary models

* Maybe you don't want to have your conversations used for training. The providers listed on OpenRouter mention whether they do that or not.

C Is Best (2025) 7 months ago

How I interpret his comment about the distance: The benefit of switching from C/C++ to Rust is higher than switching from C++ to Go (in the similar use-cases) or from Java to Kotlin.

Another argument offered for Rust is that it's high-level enough that you can also use it for the web (see how many web frameworks it has). So I think that Rust's proponents see it as this universal language that could be good for everything.

I would never expect a Western European country to not accept Visa and Mastercard. I say this as an Eastern European. But I do remember that in Germany (and Austria) it's not that accepted to pay by card.

GPT-5.2-Codex 7 months ago

Yeah, we now need to specify who wrote the tests, because it's important information.

GPT-5.2-Codex 7 months ago

Those tests were written by people. That's why they were confident that what the LLM implemented was correct.

No one claims that good type systems prevent buggy software.

That's exactly what languages with advanced type systems claim. To be more precise, they claim to eliminate entire classes of bugs. So they reduce bugs, they don't eliminate them completely.

I forgot about fromJust. On the other hand, fromJust is shunned by practically everybody writing Haskell. `unwrap` doesn't have the same status. I also understand why. Rust wanted to be more appealing, not too restrictive while Haskell doesn't care about attracting developers.

I never said Rust makes guarantees that code is panic-free. I said that Rust provides more safety guarantees than C. The Result type is one of them because you have to handle the error case explicitly. If you don't use unwrap.

Also, when I say safety guarantees, I'm not talking about safe rust. I'm talking about Rust features that prevent bugs, like the borrow checker, types like Result and many others.