joak

7 ms·

31.
by joak 1y ago
Excerpt: But here’s a reason why other people might care. This is the first paper I’ve ever put out for which a key technical step in the proof of the main result came from AI—specifically, from GPT5-Thinking.
32.
by joak 1y ago
More generally LLMs are bad at exhaustivity: asking "give me all stuff matching a given property" almost always fails and provide at best a subset. If possible in the context, the way to go is to ask for a piece of code processing
33.
by joak 1y ago
I tried to migrate to Zen but I missed Arc's profiles. Container tabs do not replace profiles. I like to switch personae/profiles by switching spaces.
34.
by joak 1y ago
Each profile with its own cookies, passwords, credit cards, etc... Each profile is a different personae
35.
by joak 1y ago
Arc style profiles, one profile per space. Super practical for pseudonymity, and for separating work from personal life. Or avoid mixing data and confusion when working different jobs.
36.
by joak 1y ago
Zen browser is a Mozilla based clone of Arc browser... It's a good/possible alternative
37.
Putin, Xi caught on hot mic discussing organ transplants and immortality(thehill.com)
2 points by joak 1y ago|1 comments
38.
by joak 1y ago
Nuclear power plants take something like a decade to build (after permitting) It makes more sense to go for PV plus batteries that can be installed in a matter of weeks
39.
US immigrant population down by more than a million people amid Trump crackdown(theguardian.com)
15 points by joak 1y ago|2 comments
40.
by joak 1y ago
The issue I have is that it produce code that is unmaintainable. Poor modularity, code duplication, hidden errors producing spurious bugs, ... Nonetheless it's ability to produce code that works is impressive, it's useful for lear
41.
How CATL Made Sodium-Ion Batteries 90% Cheaper(youtube.com)
7 points by joak 1y ago|0 comments
42.
by joak 1y ago
One day, in a near future, most probably in this century, it will work.
43.
by joak 1y ago
Pricing and tech details here: https://www.theverge.com/news/754168/dji-romo-robot-vacuum I'm impressed, way ahead of roomba
44.
DJI ROMO Unboxing Vacuum Cleaner(youtube.com)
3 points by joak 1y ago|1 comments
45.
by joak 1y ago
China is leading in robotics. Remember Boston Dynamics' big dog... This robot is the same idea. So it's not new, 10x better though.
46.
Unitree A2 Stellar Explorer robot can carry a grown human(yankodesign.com)
4 points by joak 1y ago|2 comments
47.
by joak 1y ago
I was surprised that in the energy solutions to power the data centers the FT journalist just proposes nuclear and gas but not the obvious photovoltaics + storage.
48.
by joak 1y ago
Safari is unusable on iOS: no ad blocking. Orion bring uBlock origin, this is game changing
49.
by joak 1y ago
Orion is my way to have ublock origin on iphone/ipad. Is there another way?
50.
by joak 1y ago
Radiation is also a solvable problem: water is a very effective shield for all type of space radiations. 10 cm of would block harmful solar radiation. 3m would block cosmic rays and bring radiation to Earth levels.
51.
OpenAI's ChatGPT Agent casually clicks through "I am not a robot" verification(arstechnica.com)
255 points by joak 1y ago|292 comments
52.
by joak 1y ago
Agriculture is bad for biodiversity. The raison d'être of agriculture is to favor few species over all others. The goal of agriculture is to reduce biodiversity. Please keep agriculture for food. Simple molecules like ethanol can be pr
53.
Psilocybin shows promise as anti-aging therapy(neurosciencenews.com)
104 points by joak 1y ago|51 comments
54.
by joak 1y ago
Survivor bias Failures don't get on HN front page Hey, btw congrats :-)
55.
by joak 1y ago
What counts is not the total numbers of cars today but the growth rate of this number. Ten doublings is 1000x
56.
'Positive review only': Researchers hide AI prompts in papers(asia.nikkei.com)
7 points by joak 1y ago|0 comments
57.
Sodium-air fuel cell to enable electric aviation(news.mit.edu)
3 points by joak 1y ago|2 comments
58.
MIT's Sodium Fuel Cell Powers Planes, Captures Carbon, and Outruns Batteries(scitechdaily.com)
17 points by joak 1y ago|10 comments
59.
Terence Tao: DeepMind's open repository of formalized mathematics conjectures(mathstodon.xyz)
3 points by joak 1y ago|1 comments
60.
by joak 1y ago
Good food for LLMs...

More ›