jptlnk

7 ms·

1.
by jptlnk 13d ago
It's probably not 10MB, but famously the groundwork to prove the statement 1+1=2 is nearly 400 pages in to principia mathematica. That's not even proving 1+1=2, it's just the set-theoretic proofs you need to EVENTUALLY get t
2.
by jptlnk 20d ago
Unless I'm misunderstanding you, the existence of an objective "consciousness" property is a hotly debated question philosophically. Many great thinkers have written and discussed this question at length, and as of now the j
3.
by jptlnk 8mo ago
If I may, I think that's actually part of the point, and (at least for me) part of the lesson. I read him as saying that part of the miracle to him is that he has experienced something that makes him realize that it's a lot harder
4.
by jptlnk 1y ago
I don't think it's obvious but in my own experiments with this it's things like permissions that can get a little hairy. It's all doable and IMO preferable to have an agent-as-daemon. aider is kind of like this.
5.
by jptlnk 1y ago
What's 'this', do you mean the command pattern being described? If so, yes - I've used it to great effect, if the code around it is designed properly. It's even amenable to evals if you can write the LLM call as a
6.
by jptlnk 2y ago
Pioneer Square Labs (PSL) | Principal Engineer | Onsite - Seattle, WA | Full-Time | psl.com At the PSL studio, we build startups from zero to launch. Over the past 9 years, we've validated 450+ ideas and spun out north of 40 companies
7.
by jptlnk 2y ago
Without imputing any actual intention to the author, I agree with your points on tone. It feels focused on optics, not outcomes. It's one thing to say that you want to get things done. It's another to say you want to be _seen_ a
8.
by jptlnk 3y ago
hey hn, I'm the lead engineer on this project. This was a super fun feature to build, and was incredibly challenging at a technical level. Lots of fun stuff to figure out, from wrangling structured data, working around limited context
9.
AI is powering the second renaissance of the semiconductor industry(flux.ai)
13 points by jptlnk 3y ago|1 comments
10.
by jptlnk 3y ago
I built the copilot for flux.ai, which allows LLM-driven interaction with circuit schematics and datasheets. The stack is react / cloud run / job queue / LLMs (several) / vector db.
11.
by jptlnk 3y ago
relevant pre-print is here: https://arxiv.org/pdf/2305.08665.pdf that'll be my evening reading :)
12.
by jptlnk 3y ago
I haven't read the full article yet but the abstract has some hints: I think what they're doing is leveraging the fact that they know where and when the neutrinos were created to narrow down the search in the actual neutrino detec
13.
by jptlnk 3y ago
hey, I'm the lead engineer on this project! I love that you did this :) our experience thus far is that GPT4 definitely needs help when it comes to datasheet-like data. it's great at broad "functional" strokes, but det
14.
About the security content of iOS 14.4 and iPadOS 14.4(support.apple.com)
60 points by jptlnk 6y ago|11 comments