jkaptur

6 ms·

1.
by jkaptur 2mo ago
Putting cynicism aside (there's plenty of that here already): there is a theory that people invest in index funds because they don't want to pick individual stocks. They want exposure to "the public stock market as a whole&qu
2.
by jkaptur 2mo ago
When you say you support "all Excel formulas", which version of Excel do you mean? I assume you don't support CALL and REGISTER... https://support.microsoft.com/en-us/excel/using-the-call-and...
3.
by jkaptur 2mo ago
The other thing to keep in mind is that if you have a policy of considering 98% to be "close enough", then it only takes 35 of those decisions to remove over half the population. And it'll be exceptionally difficult to work
4.
by jkaptur 4mo ago
I’m not an expert here, but it sounds like you’re forcing a first-order logic problem into a propositional logic box. A “native” first-order logic solver like Z3 might be something to try.
5.
by jkaptur 4mo ago
> I personally don’t know any colleagues who were good engineers just because they wrote code faster. However, the best engineers I know are usually among the quickest to open an editor or debugger and use it fluently to try something ou
6.
by jkaptur 6mo ago
It's interesting to contrast "Measure. Don't tune for speed until you've measured" with Jeff Dean's "Latency Numbers Every Programmer Should Know" [0]. Dean is saying (implicitly) that you can estim
7.
by jkaptur 7mo ago
Canonical essay on this sort of technique: https://www.joelonsoftware.com/2005/05/11/making-wrong-code-...
8.
by jkaptur 7mo ago
To be fair, many of those films do not portray human drivers in the best light.
9.
by jkaptur 8mo ago
(I'm not an expert. I'd love to be corrected by someone who actually knows.) Floating-point arithmetic is not associative. (A+B)+C does not necessarily equal A+(B+C), but you can get a performance improvement by calculating A, B,
10.
by jkaptur 8mo ago
https://www.jkaptur.com - I have some plans to add more content, but who doesn't? :)
11.
by jkaptur 9mo ago
There are two extremes here: first, the "architects" that this article rails against. Yes, it's frustrating when a highly-paid non-expert swoops in to offer unhelpful or impossible advice. On the other hand, there are Real Pr
12.
by jkaptur 9mo ago
Another point is that the world is always changing. If you work slowly, you are at much greater risk of having an end result that isn't useful anymore. (Like the author, of course, I'm massively hypocritical in this regard).
13.
by jkaptur 9mo ago
I think that there are three relevant artifacts: the code, the specification, and the proof. I agree with the author that if you have the code (and, with an LLM, you do) and a specification, AI agents could be helpful to generate the proof.
14.
by jkaptur 11mo ago
"Couples often flake together. This changes the probability distribution of attendees considerably" It's interesting to consider the full correlation matrix! Groups of friends may tend to flake together too, people who live i
15.
by jkaptur 11mo ago
I've heard this called "A Duck" https://blog.codinghorror.com/new-programming-jargon/#:~:tex...
16.
by jkaptur 1y ago
PowerPoint actually fine - bad communication possible in any medium - pptx in NASA even today! - issue is managers/SMEs communication differences - issues with technical papers - long - boring - vs word, excel
17.
by jkaptur 1y ago
"... if all knowledge were stored in a structured way with rich semantic linking..." this sounds a lot like Google's "Knowledge Graph". https://developers.google.com/knowledge-graph . (Disclosure: I
18.
by jkaptur 1y ago
This essay would benefit from results from computational complexity. P vs NP, of course, but also the halting problem and Rice's theorem: non-trivial semantic properties of programs are undecidable. In other words, if you say "thi
19.
by jkaptur 1y ago
Google was founded in 1998 and you could buy ads on the search results page in 2000. https://googlepress.blogspot.com/2000/10/google-launches-sel...
20.
by jkaptur 1y ago
Beyond "very likely", it's right there in the paper: https://snap.stanford.edu/class/cs224w-readings/Brin98Anatom... "The research described here was conducted as part of the Stanford Integrate
21.
by jkaptur 1y ago
Really? That’s very surprising. You can see what this says? https://docs.google.com/document/d/1uYM0vyZiDJbo-5mXmU_6Xtrz...
22.
by jkaptur 1y ago
> If you aren’t sure what your cofounders are doing, trust your git instinct. That's good advice to not lose your HEAD.
23.
by jkaptur 1y ago
Validation can serve the purpose of communicating that one person deeply understands the other's problem.
24.
by jkaptur 1y ago
Including https://xkcd.com/2128/
25.
by jkaptur 1y ago
I'm interested in learning more about the benefits of MECE - I've never heard that before. In particular, it seems radically different from Divio's system [0], which presents the same information in many different ways. 0: h
26.
by jkaptur 1y ago
I think that’s the rose colored glasses again. What made you choose Toy Story as an example rather than Waterworld or Cutthroat Island?
27.
by jkaptur 1y ago
Ah ha! Thank you for explaining.
28.
by jkaptur 1y ago
How does the verifier gain confidence that the prover has solved a particular instance of a sudoku puzzle?
29.
by jkaptur 1y ago
I can't wait to read that blog post. I know you're an expert in this and respect your views. One thing I think that is missing in the discussion about shared data (and maybe you can correct me) is that there are two ways of lookin
30.
by jkaptur 1y ago
I didn't quite follow how you can actually prove that you've solved a sudoku via reduction to graph coloring. If I understand correctly, an important part of the graph coloring protocol is that the prover permutes the colors betwe

More ›