openquery

9 ms·

61.
by openquery 3y ago
What a giant of a man. Thanks Charlie your wisdom and clear thinking. I hope I learnt something from your writings. You will be missed.
62.
by openquery 3y ago
Can automated theorem provers solve mathematical olympiad problems in a reasonable time given enough compute? LLMs are quite good at generating semantically correct language. I remember reading a paper about extending the planning capabilit
63.
The Anatomy of a Large-Scale Hypertextual Web Search Engine (Google 1998) [pdf](storage.googleapis.com)
3 points by openquery 3y ago|0 comments
64.
How many tables does it take to run the US?(chat.openai.com)
3 points by openquery 3y ago|0 comments
65.
by openquery 3y ago
And here are the changes for the recently released v0.5: https://rocket.rs/v0.5/news/2023-11-17-version-0.5/
66.
by openquery 3y ago
Proving a theorem given a set of axioms is a search problem. Given a set of axioms you can apply rules of inference to generate the graph of all provable theorems. Proving a theorem is about finding a path from the axioms to the vertex whic
67.
by openquery 3y ago
And the equivalent uom in Rust. https://crates.io/crates/uom
68.
by openquery 3y ago
The only video footage I've managed to find of John von Neumann.
69.
John von Neumann Interview [video](youtube.com)
80 points by openquery 3y ago|49 comments
70.
by openquery 3y ago
Let's finish the quote. > the intelligence & character of the masses are incomparably lower than the intelligence and character of the few who produce some thing valuable for the community. It doesn't strike me as crazy tha
71.
by openquery 3y ago
If I had no contact with society from the 29th of November 2022 (the day before ChatGPT was released according to Wikipedia) and came back today to see the OpenAI keynote I would have lost my mind. The progress and usefulness of these produ
72.
Memento Mori Calendar Generator(memento-mori-calendar.vercel.app)
4 points by openquery 3y ago|0 comments
73.
by openquery 3y ago
> it seems that it has decided that because Rust is a good language for a platform (makes sense!) that it must be good for usage on the platform. This isn't true - or at least it wasn't our thought process when starting to buil
74.
Htmx, Rust and Shuttle: A New Rapid Prototyping Stack(shuttle.rs)
172 points by openquery 3y ago|142 comments
75.
by openquery 3y ago
Congrats on the launch! Been waiting for this.
76.
by openquery 3y ago
This argument can be made at any level of abstraction I think. For example, you can make the same case for AWS Lambdas abstracting the infrastructure away from you, or VMs that run on-top of a hypervisor abstracting away the bare-metal serv
77.
by openquery 3y ago
Disclaimer: I'm one of the co-founders of Shuttle. Also, I haven't used Pulumi so I don't want to misrepresent it. However, as far as I understand, Pulumi is an infrastructure _as_ code solution, offering an SDK in various la
78.
by openquery 3y ago
The nyan cat improvisation is even better imo.
79.
by openquery 3y ago
I've been playing piano for a few years (no teacher, on and off) and have always been curious about the topic of sheet music. When you're first learning it's very painful. The notation isn't that bad, sharps, flats, time
80.
by openquery 3y ago
I co-developed Shuttle AI so if there are any questions more than happy to answer them.
81.
by openquery 3y ago
Very cool. Another incentive to write good commit messages.
82.
Show HN: Shuttle AI – Instant apps, from a single prompt(shuttle.rs)
12 points by openquery 3y ago|0 comments
83.
Taking Rust to the Cloud: Fast File Sharing(blog.orhun.dev)
1 points by openquery 3y ago|0 comments
84.
Ask HN: Is anyone working on AGI on the side?
3 points by openquery 4y ago|6 comments
85.
by openquery 4y ago
> One thing we'd share with any alien species is our perception of the universe, and stars and galaxies are eminently countable, so the development of numbers seems inevitable. I don't this is immediately obvious. There is an
86.
by openquery 4y ago
It's definitely a problem. I'm not sure how to fix it. The crux of the addiction is that doing is hard and consuming is easy. I can watch a YT video on homotopy type theory (I'm not a mathematician) and feel good about myself
87.
by openquery 4y ago
I think there is an issue where the term 'genius' and 'prodigy' are used interchangeably in popular discourse, when they are in fact not the same. Most 'child geniuses' are in-fact child prodigies, children whi
88.
Human Cloning(en.wikipedia.org)
1 points by openquery 4y ago|0 comments
89.
by openquery 4y ago
> Because lifecycle management, access controls, auditing, monitoring, delegation/federation, budgeting, capacity planning - all of these other things together, which these tools may or may not help you with - are still far less imp
90.
by openquery 4y ago
Deployed services don't currently have permissions to provision or modify infrastructure. This is done by our build system while your services are being compiled. It is an orthogonal control plane with its own permission system.

More ›