sesm

8 ms·

91.
by sesm 1y ago
Why make this a behind-the-scene optimization instead of just introducing `new`? That would make things much more clear for everyone.
92.
by sesm 1y ago
Actually, we already discussed Rust move semantics on this website some time ago: https://news.ycombinator.com/item?id=43059293 And again, the best way to explain this is by comparison to C++
93.
by sesm 1y ago
Rust was created as a C++ replacement, borrows the 'zero cost abstractions' motto from C++, relies on RAII for resource management like C++ (not many languages do it), has the same approach to concurrency (in-place mutation guarde
94.
by sesm 1y ago
It wad easy to teach to Java devs just by using one mnemonic: PECS = Producer Extends, Consumer Super
95.
by sesm 1y ago
That's one of major problems I have with Rust docs and community. The best way to explain most things in Rust to experienced dev, is by comparison to C++. But all the docs and blog posts explicitly target newbies and avoid comparison w
96.
by sesm 1y ago
What happened in 2024 that changed your mind?
97.
by sesm 1y ago
Yep, mega-impact is a classic example of an ad-hoc hypothesis. For example, Moon formation is much better explained by multi-impact hypothesis, which also requires less assumptions.
98.
by sesm 1y ago
Yep, asking questions directly in the notebook, then editing the answer and executing it would be very powerful. I think `jupyter-ai` is close to this, judging by description, but I didn't try it.
99.
by sesm 1y ago
Their core platform and some basic language plugins (Java, Python) are open source.
100.
by sesm 1y ago
I'm paying for their IDEs out of my pocket since 2012
101.
by sesm 1y ago
IMO the right intuition about a tool comes from applying it in the context where it provides a real leverage. In case of Category Theory that would be advanced algebraic topology (not re-phrasing basic things which are easier to understand
102.
by sesm 1y ago
Good point, algebraic topology is mostly concerned with Top -> Grp functors to prove the properties of continuous transformation, while Haskel community focuses on Hask -> Hask endofunctors to use fancy names for mundane things.
103.
by sesm 1y ago
But what's the utility of this definition? Does it help solve or prove something?
104.
by sesm 1y ago
If it was, I would like to see the link
105.
by sesm 1y ago
You don't need category theory to connect dots with arrows, graph theory is enough for this.
106.
by sesm 1y ago
I think your reply overstates the importance of category theory in mathematics and doesn't give any hint on what it is about. IMO a better reply would be: category theory appeared to unify the concepts around using discrete objects to
107.
by sesm 1y ago
> In the course of this book, we learned that programming/computer science is the study of the category of types in programming languages. This is a golden quote.
108.
by sesm 1y ago
I'm using Ergodox for 9 years and still can touch type fluently on laptop keyboard. However, I never do heavy programming tasks on the laptop, only messaging, notes and small fixes. I think the more customized your Ergodox layout is th
109.
by sesm 1y ago
You can check prices for the largest gas station network here (table in the middle): https://lukoilazs.ru/category/stoimost-benzina-na-segodnya/ Prices are in RUB/L, 1 USD ~ 80 RUB, 1 EUR ~ 100 RUB. Then make
110.
by sesm 1y ago
Also known as "garbage in - garbage out" approach. That's how Clojure standard library is designed.
111.
by sesm 1y ago
That's why 'New Architecture' is a bad name. They should have called it 'Bridgless Architecture' or just 'V2 Architecture'. I remember how in an old ClearCase codebase we had a comment saying `New! <pro
112.
by sesm 1y ago
This book talks about unit tests, but for UI they are mostly useless. I found that for UI the most essential refactoring tools are storybook and visual diff tests.
113.
by sesm 1y ago
I think malware check should be opt-in for package authors, but provide some kind of 'verified' badge to the package. Edit: typo
114.
by sesm 1y ago
One issue: 'classical mechanics' section doesn't introduce Hamiltonian, and instead it's introduced in chapter 2.2 as if it is a QM concept. In my uni Classical Mechanics course was a pre-requisite to QM to ensure that s
115.
by sesm 1y ago
Author's definition of simplicity is self-contradictory: fewer moving pieces result in highly-specialized monolith systems, while breaking up everything into components with clear interfaces results in more moving pieces.
116.
by sesm 1y ago
This entire situation looks very suspicious. Was Carmack even responsible for triaging research projects and allocating resources for them? If yes, then he should have fought that battle earlier. If no, then the best he could do is to refus
117.
by sesm 1y ago
When I'm asking about a niche topic, LLM with web search enabled is infinitely better than without.
118.
by sesm 1y ago
In the age of LLMs responsible maintainers should treat contributor PRs the same way they treat AI slop: rewrite it if it's salvageable and ignore it if it's not. Accepting any contribution 'as is' shouldn't be allo
119.
by sesm 1y ago
I think the best way to achieve that would be grouping plus ability to expand/collapse groups.
120.
by sesm 1y ago
If you assume constant density, anything becomes a black hole at certain volume. The question is: is our universe big enough to be a black hole or not.

More ›