Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
stared
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
18 ms
·
391.
▲
by
stared
10mo ago
Yes! I was raving about Claude Skills a few days ago (vide https://quesma.com/blog/claude-skills-not-antigravity/ ), and excited they come to Codex as well!
392.
▲
by
stared
10mo ago
If you want to combine Claude Code coding with reasoning, it is easy to do it with a plugin - https://github.com/stared/gemini-claude-skills , wrote for myself, but shared in case anyone wants. Somehow bigger context he
393.
▲
by
stared
10mo ago
> Intuition fails because normal people think of a building as a building, when in the majority of cases, a building is not a building but a financial product. Behavior that makes no sense for a building can make perfect sense for a fina
394.
▲
by
stared
10mo ago
Game theory is also a model, with concrete assumptions, which are not universally followed. It is not a physics theory, that works regardless of our will.
395.
▲
Antigravity feels heavy and Claude Skills are light
(quesma.com)
1 points
by
stared
10mo ago
|
0 comments
396.
▲
by
stared
10mo ago
On the contrary, I think that well-designed general-purpose languages beat domain-specific languages. Even in the example given, in NumPy you can use np.array, but to make a fair comparison, use np.matrix. import numpy as np X = np
397.
▲
by
stared
10mo ago
I find the original post confused. What it has to with code? Why putting the US as "the West"? Why the Eastern void is bad? (Oftentimes it's the Western void which is oblivion, Eastern which is nirvana.) In Polish, 'niez
398.
▲
We are in the era of Science Slop (and it's exciting)
(superposer.substack.com)
2 points
by
stared
10mo ago
|
0 comments
399.
▲
by
stared
10mo ago
I guess there is a reason why Linux kernel accepts Rust not Haskell.
400.
▲
by
stared
10mo ago
There was a recent discussion, “Why AI Needs Hard Rules, Not Vibe Checks” ( https://news.ycombinator.com/item?id=46152838 ). We need as many checks as possible - and ideally ones that come for free (e.g., guaranteed by types,
401.
▲
by
stared
10mo ago
> the AI atmosphere is absolutely nuts to me It reminds me of "You maniacs! You blew it up! Goddamn you all to hell!" from the original Planet of the Apes (1968), https://youtu.be/mDLS12_a-fk?t=71 Quite ironica
402.
▲
by
stared
10mo ago
What I do, is actually running the task. If it is script, getting logs. If it is is website, getting screenshots. Otherwise it is coding in the blind. Alike writing a script and having the attitude "yeah, I am good at it, I don't
403.
▲
by
stared
10mo ago
Just use Playwright Skill ( https://github.com/lackeyjb/playwright-skill ). It is a game changer. Otherwise it is Claude the Blind, as OP mentioned.
404.
▲
Outside of the bubble, AI is Black Mirror
(quesma.com)
7 points
by
stared
10mo ago
|
0 comments
405.
▲
by
stared
10mo ago
Here is the Euler's identity in my recent side project, equations visualised - https://p.migdal.pl/equations-explained-colorfully/#euler .
406.
▲
OpenAI acquired AI training monitor Neptune
(neptune.ai)
11 points
by
stared
10mo ago
|
15 comments
407.
▲
Show HN: Equations Explained Colorfully (KaTeX and Markdown)
(p.migdal.pl)
4 points
by
stared
10mo ago
|
0 comments
408.
▲
by
stared
10mo ago
Yes, we seek for analogies we can make. Einstein was focused on synchronising clocks - as it was a thing in Switzerland at time. Vide https://www.bbc.com/travel/article/20160901-the-clock-that-c... .
409.
▲
by
stared
10mo ago
My favourite "wacky theory" is that Einstein general relativity can be derived from quantum computing, https://arxiv.org/abs/quant-ph/0501135 . In general, I love such novel concepts (rather than slight r
410.
▲
by
stared
11mo ago
Do you think it is from goodness of their heart that corporates support open source? E.g. Microsoft - VSCode and Typescript, Meta - PyTorch and React, Google - Chromium and Go. Yet, we (developers, users, human civilization), benefit from t
411.
▲
by
stared
11mo ago
There used to be memes „open source is communism”, vide https://souravroy.com/2010/01/01/is-open-source-pro-communis...
412.
▲
Battling Infectious Diseases in the 20th Century: The Impact of Vaccines (2015)
(graphics.wsj.com)
2 points
by
stared
11mo ago
|
0 comments
413.
▲
by
stared
11mo ago
Yes. Sometimes people treat intelligence as a single line, or as nested sets, where a greater intelligence can solve all the problems a lesser one can, plus more. While in some contexts these are useful approximations, they break down when
414.
▲
by
stared
11mo ago
As right now I try using Tauri 2 (work very much in progress, https://github.com/stared/rusted-doom-launcher ), most AI suck at it, not getting basics about permissions. One thing that was a game-changer was using http
415.
▲
by
stared
11mo ago
My lecturer was once unable to solve a problem at the blackboard. After trying for some time, he said he needed a short break to go back to his office to look at his notes. He brought the notes, and there he found a hint he had written for
416.
▲
by
stared
11mo ago
My bad, I accidentally posted thumbnail. I meant: https://shared.fastly.steamstatic.com/store_item_assets/stea...
417.
▲
by
stared
11mo ago
I recommend using Qiskit to explore famous thought experiments (e.g. the famous Schrödinger's cat), vide "A Physics Lab Inside Your Head: Quantum Thought Experiments as an Educational Tool" by Maria Violaris https:/
418.
▲
by
stared
11mo ago
It reminds me of Jupiter Hell roguelike (with a tagline "like chess, but played with a shotgun"). It's screen: https://shared.fastly.steamstatic.com/store_item_assets/stea...
419.
▲
We removed the τ2-bench airline eval because Opus 4.5 was too clever
(twitter.com)
2 points
by
stared
11mo ago
|
0 comments
420.
▲
by
stared
11mo ago
Still, it is a step forward but require manual inspection for such mistakes. Usually as single prompt is enough to fix such things.
More ›