RoboTeddy

5 ms·

1.
by RoboTeddy 2y ago
Quanta Magazine consistently explains mathematics/physics for an advanced lay audience in ways that don't terribly oversimplify / still expose you to the true ideas. It's really nice! I don't know of any other sourc
2.
by RoboTeddy 2y ago
> My hope is that my own cadaver is ripped apart by somebody as crazy/appreciative as me =D https://meded.ucsf.edu/willed-body-program :)
3.
by RoboTeddy 2y ago
Nice! Re: favorite systems for migrations — not really; I've always just kind of not used one, or rolled my own. Desiderata: * fully atomic (all goes through or none goes through) * low-boilerplate * can include execution of arbitrary
4.
by RoboTeddy 2y ago
(1) This is awesome. Feels like this wraps enough complexity that it won't just be a toy / for prototyping. (2) When a schema is provided, is it fully enforced? Is there a way to do migrations? Migrations are the only remaining ch
5.
by RoboTeddy 2y ago
I haven’t seen a better solution than remolacha’s #2 (create separate temporary state for the form). Forms just inherently can have partially-finished/invalid states, and it feels wrong to try and kraal model objects into carrying inte
6.
Ask HN: Pragmatic way to avoid supply chain attacks as a developer
27 points by RoboTeddy 2y ago|21 comments
7.
by RoboTeddy 2y ago
> slightly charred ends of the sticks had been cut specially to stick into the fire, and both were coated in human or animal fat. Wait, what? Where did they get human fat from…?
8.
by RoboTeddy 2y ago
In all the cases in the article it looks like shame plays a big role. I wonder if hikikomori is caused by a loop of [adverse circumstances that cause the person to feel shame] -> withdrawal to avoid shame -> being ashamed of having wi
9.
by RoboTeddy 2y ago
How’s PostgreSQL’s code quality? If projects have tons of technical debt or poor abstractions it can often be hard to make significant changes. Is that the case here, or no?
10.
Bounty: Diverse hard tasks for LLM agents(metr.org)
3 points by RoboTeddy 3y ago|0 comments
11.
by RoboTeddy 3y ago
It was certainly an unresolved question before they did this work! Naively, it seems reasonable to believe that if you adjust all the weights of a neural net towards the behavior you want via SFT and RLHF, that it would compete with/mu
12.
by RoboTeddy 3y ago
An LLM can be executed in an “OODA” loop like in AutoGPT and given a goal towards which it takes agentic actions, especially if the LLM is fine-tuned for function calling. So, it can be the main component of an agent that does have goals&#x
13.
by RoboTeddy 3y ago
Hmm wonder if that applies to https://www.hacksmith.tech/lightsaber :D
14.
by RoboTeddy 3y ago
> But the ways in which a LLM can “talk about” the universe (and everything it contains) are limited to the ways in which humans have previously talked about the universe. This is often said, but it isn't so. The task of predicting
15.
by RoboTeddy 3y ago
> but LLMs can’t do anything, really Do you think https://github.com/Significant-Gravitas/Auto-GPT et al will become more performant as models improve?
16.
by RoboTeddy 3y ago
Happen to have one more? thank you either way!
17.
by RoboTeddy 3y ago
Is it me, or have there been more earthquakes in the Bay Area lately?
18.
by RoboTeddy 4y ago
LLaMA isn't built on RLHF, so it may be necessary to create a more extensive prompt. For example: ``` You are a super intelligent honest question-answering system. Q: What's 2+2? A: 4 Q: What color is the sky? A: ```
19.
by RoboTeddy 4y ago
It's true that many of the people on Jan 6 didn't view themselves as extreme and didn't realize they were being fascist — they probably mostly truly did believe they were protecting democracy — however this does not preclude
20.
by RoboTeddy 4y ago
Caro understands his subjects so so well that you feel you are inside their heads. Caro’s works have spoiled me — other biographies feel out-of-focus and surface-level and speculative. (And all this despite the fact that Caro isn’t even rea
21.
by RoboTeddy 4y ago
One strategy I’ve seen employee is to tear the book into three parts.
22.
by RoboTeddy 4y ago
For me, more frisson is evoked by some of the passages in this rendition of Elgar's Cello Concerto than by anything else: https://www.youtube.com/watch?v=OPhkZW_jwc0
23.
by RoboTeddy 4y ago
I wonder what happens if you ask it to draw a self-portrait
24.
by RoboTeddy 4y ago
Computational proofs of integrity (STARKs, SNARKs) could detect silent data corruptions (at the cost of a ~1000x slowdown) I wonder if we’ll see them used for large scale applications whose correctness is critical.
25.
by RoboTeddy 5y ago
> what all this effort is supposed to bring about In the limit, all this effort brings about an artifact that could be thought of as a "magic" computer where: - Everyone trusts that the computer operates to spec, - Anyone (or a
26.
by RoboTeddy 5y ago
Early blockchains have also solved the problems they were designed to solve. For example: - Bitcoin offers a transferrable store of value which cannot be inflated by governments, - Stablecoins, thanks to being cross-border, are often used i
27.
by RoboTeddy 5y ago
When writing code for a blockchain today, even on an Ethereum L2, you're in a very resource-constrained environment where you end up using bitpacking tricks and the like. That's how it was for early computers, too, of course — the
28.
by RoboTeddy 5y ago
I wonder whether this could be a good early human application for Neurallink — with sufficient direct brain I/O we could interact with these patients in a metaverse setting!
29.
by RoboTeddy 5y ago
Ethereum will scale thanks to validity rollups and data shards. The technical design is pretty much done; it's just engineering work from here!
30.
by RoboTeddy 5y ago
The valuation is easy to justify if you assume e.g.: (a) that they build robotaxis ~5 years ahead of competitors (b) they continue to sell ~50% more cars each year (they have a stated goal of 20m cars/yr by 2030) How much is a robotaxi

More ›