cbracketdash

Why is it more likely you'll have internet access when you don't have a phone? If you happen to find a computer, what's insufficient about writing an email?

This can be fixed by relaxing your eyes and staring through the wall. This is equivalent to looking into the distance.

Once the USA wakes up, this will be insane news

Already made the switch back to Codex :-)

Help us out with Terminal Bench 3.0!

https://docs.google.com/document/d/1pe_gEbhVDgORtYsQv4Dyml8u...

It uses Claude Code natively. If you're still neurotic about it, you can also use opencode with gastown.

Are there credible sources for these claims?

Reasonable effectiveness: an alternative to unreasonable effectiveness

A rigorous study of the "unreasonable effectiveness" method.

Does anyone understand what the end objective of V is? I've known about this language for I think 4-5 years and for some reason it's still v0.5...?

There is a noprocrast feature in your settings to specify how long you can stay on for a single session and the frequency at which you can view HN. Super helpful!

There is a noprocrast feature in your settings to specify how long you can stay on for a single session and the frequency at which you can view HN. Super helpful!

Never forget Suchir Balaji.

I would reject the premise that the field of molecular/biological simulation is underexplored nor that existing approaches are "slower and harder to use than they need to be". This is a field that has been explored, in fact, by the most brilliant minds and the difficulty arises more in theoretical considerations (that is, devising algorithms to faithfully approximate the developed physics) rather than an obvious no-brainer application of AI.

The field of molecular and biological simulation is far more than simply "Newtonian mechanics". There is indeed a field called molecular dynamics (MD) that relies on "classical mechanics" yet it's defined usually in the Lagrangian formalism. Furthermore, there has been tons of work over the past few decades in developing more accurate numerical approximation algorithms. There is a ton of a theory in this field and if you're interested, the "MD Bible" is "Understanding Molecular Simulation" by Daan Frankel.

Now, MD is just the tip of the iceberg. Almost all chemistry simulations are built entirely from making subtle approximations to quantum mechanics and carefully building up frameworks. For example, Hartree-Fock theory (HF), Density Functional Theory (DFT), Couple Cluster theory (CCSD(T)), etc. Then there is a field known colloquially as semi-empirical methods which are a sort of combination of the above two methods. And that's just on the side of chemical simulations (i.e. I'm excluding physics-specific simulations etc).

And now, more recently there has been effort in building machine-learned interatomic potentials, machine-learned density functionals, equivariant graph neural networks, etc etc.

If you're still interested in these class of problems, consider trying to build a good model for OMol25: https://arxiv.org/abs/2505.08762

Slight tangent yet I think is quite interesting... you can try out the ARC-AGI 2 tasks by hand at this website [0] (along with other similar problem sets). Really puts into perspective the type of thinking AI is learning!

[0] https://neoneye.github.io/arc/?dataset=ARC-AGI-2

Don't worry I've also appended `0.0.0.0 chatgpt.com` to /etc/hosts.

Just deleted ChatGPT. Using Claude until ads show up there after which I'll start hosting locally at a major performance loss

Totally agree with this point. There are several advice that pg and similar roles give which are not universally true. I reiterate your point that "doing things that don't scale" is meant specifically for searching for 1-1 user experience advice.

A similar exmaple is "Make something people want". This is generally true advice in focusing your efforts on solving customer's problems. Yet, this is disastrous advice if taking literally to the fullest extent (you can only imagine).

It seems like he took a leave of absence from CMU to start his company (based on Linkedin)

Here are my instructions to Claude.

"Get straight to the point. Ruthlessly correct my wrong assumptions. Do not give me any noise. Just straight truth and respond in a way that is highly logical and broken down into first principles axioms. Use LaTeX for all equations. Provide clear plans that map the axioms to actionable items"

I'm getting a 502 error on laptop

Hi this is a cool idea! There is an issue though with zsh/p10k that I left on a github issue :)

As for your question, you just need to build a really cool product and eventually there will be people that will spread the word (like me :)).

But right now, I can't use it because it's broken :(

If it's fixed, I could definitely see this being useful for image viewers on servers since you normally don't have a GUI readily available

Hi this is a cool idea! There is an issue though with zsh/p10k that I left on a github issue :)

Also tinygrad does this https://github.com/tinygrad/tinygrad

If you're asking about Alex Hormozi, he is indeed quite legit. He of course tries to advertise joining "skool.games" which is a community of entrepreneurs that you do have to pay a hefty amount of money.

Yet, he has plenty of very good advice for free on his YouTube channel: https://www.youtube.com/@AlexHormozi.

Buying and reading a book won't hurt. Just make sure you are focused on creating something new and/or solving people's problems.

Paul Graham also has some excellent blogs on this topic: https://paulgraham.com/google.html

This likely uploads your content to their servers

All the requests made through DevTools seem to only load PDF scripts. I didn't detect any POST requests.

Of course, there is no guarantee that this will remain... regularly checking network activity before uploading a private document isn't too hard

You're very welcome! Thanks for building this out! I look forward to using it :)

I use LibreOffice Draw

Scrolling is broken. Also for modals, it'd be nice to be able to click anywhere on the screen to close it (or pressing Esc) rather than just pressing "cancel".

Also for text, different fonts is a necessary requirement (and bolding, italics, underline, etc).

Also, it seems like I can't edit text boxes after creating them... I can't even tell if I've selected the text box (an outline would be nice).

Also the confirm modal for deleting a page is realllly annoying. You should just have it automatically delete the page and create an undo feature. (Basically store the original PDF, and store all the "actions" a user makes in an array, and then undo/redo the actions to the original pdf).

Also the arrow to close the page overview on the left side of the screen is very unintuitive. Why does the entire page shift to the left? The only reason I'd use that feature is to see my centered page more clearly. On this topic, a zoom feature is super important too.

Overall, the concept of a privacy-based PDF editor sounds really cool! Just note that for users to actually make a serious switch to this, you must at least match 1/4 of the quality of other PDF services like ilovepdf.com or smallpdf.com.

Good luck!