j2kun

29 ms·

1. 541.▲
   by j2kun 4y ago

   > But if you have a monolith where you constantly keep the dependencies up to date - everything stays up to date. At the expense of dependencies constantly breaking you, which itself contributes to bit rot by pissing off developers who f
2. 542.▲
   by j2kun 4y ago

   2122 for Homomorphic Encryption?? I'm working on it right now! I hope it's ready in the next ten years.
3. 543.▲
   by j2kun 4y ago

   I wrote a book based on this premise: www.pimbook.org. The ebook is pay what you want.
4. 544.▲
   by j2kun 4y ago

   > I think the problem we have with self-driving cars is more social than technological at this point. > it's a hypothetical so give me some leeway on this! IMO you should not base (and broadcast) your opinions about safety on hyp
5. 545.▲
   by j2kun 4y ago

   I recall reading an analysis of the self driving safety stats a few years back that concluded, if you counted incidents requiring human intervention as if they were accidents, then based on total miles driven, humans far outperformed self d
6. 546.▲
   by j2kun 4y ago

   I don't have any advice for you, but I do work on homomorphic encryption at Google and we have an FHE compiler project [1] (though it is likely going to change a lot in the coming year). I happen to have a math PhD, so the transition t
7. 547.▲
   by j2kun 4y ago

   This is a feature of the math-focused instance, Mathstodon.xyz
8. 548.▲
   by j2kun 4y ago

   The math-focused Mastodon instance has a pleasant focus on math topics in a way that Twitter (before or after Musk) tends to interrupt to grab your attention.
9. 549.▲
   by j2kun 4y ago

   > Brave Search only uses your search query, country, and device type to show you ads This, by definition, is not "fully private."
10. 550.▲
    by j2kun 4y ago

    wait, you had to correct it for it to produce a working regex?
11. 551.▲
    by j2kun 4y ago

    The LaTeX examples given by ChatGPT are also... strange? Nobody would write the same differential equation twice with two different notations right after each other (it uses y' and dy/dx in two stacked aligned equations)
12. 552.▲
    by j2kun 4y ago

    This is one detailed survey: https://eprint.iacr.org/2021/1402.pdf The underlying cryptosystems are often LWE (Learning with Errors), RLWE (Ring Learning with Errors) and one called (R)GSW (named after the authors of t
13. 553.▲
    by j2kun 4y ago

    +1, and some compilers already exist to do that for you. See, e.g., Google's compiler (which I work on). https://github.com/google/fully-homomorphic-encryption
14. 554.▲
    by j2kun 4y ago

    Here's one: https://pimbook.org/demo/index.html Eigenvectors are the fundamental frequencies of a spring system
15. 555.▲
    by j2kun 4y ago

    Does this say anything significant or new about xylitol? This seems like the safest bet...
16. 556.▲
    by j2kun 4y ago

    The licenses in question in this issue make it explicitly illegal for Copilot to reproduce their code.
17. 557.▲
    by j2kun 4y ago

    There are plenty of regulations that only apply to companies with more than X employees, etc. What makes you think any way to improve the law would necessarily harm individuals?
18. 558.▲
    by j2kun 4y ago

    A friend of mine who worked on eye tracking at Google (before his project was canned) basically said the technology can do exactly this, but there's no market for it at the price point required to do it reliably.
19. 559.▲
    by j2kun 4y ago

    If you type two keys and have to "select a label" as the README says, then you have to parse the screen to see what actually happened so you can decide what to do next. That seems to be what the parent commenter is saying slows on
20. 560.▲
    by j2kun 4y ago

    Personally, writing slower encourages me to put more effort into choosing the right words. My writing is better for it.
21. 561.▲
    by j2kun 4y ago

    Citation?
22. 562.▲
    by j2kun 4y ago

    Do you have a blog or Twitter? I'd like to keep up with any other cool projects you're working on!
23. 563.▲
    by j2kun 4y ago

    The more electrified infrastructure the better! Glad for Oregon.
24. 564.▲
    by j2kun 4y ago

    Maybe reach out to Arfon Smith, who does a lot of stuff at GitHub and is passionate about astronomy: https://www.stsci.edu/stsci-research/research-directory/arfo... I recall talking to him years ago about tools fo
25. 565.▲
    by j2kun 4y ago

    There's a good reason Gurobi is so expensive, and the company hires so many stellar optimization experts. Building a top-tier solver is hard, and short of a paradigm shift I don't see this as a realistic timeline given the low fun
26. 566.▲
    by j2kun 4y ago

    I do datacenter optimization at Google and SCIP is ~2 orders of magnitude slower than Gurobi for our problems.
27. 567.▲
    by j2kun 5y ago

    +1 what a strange choice to deliberately conflict with an existing project
28. 568.▲
    by j2kun 5y ago

    I'm writing a book that focuses on the practical aspects of mathematics for software engineers. You might enjoy it, check it out: https://buttondown.email/j2kun/archive/a-week-of-book-writin...
29. 569.▲
    by j2kun 5y ago

    I wrote an essay response to this proposal that you might enjoy: https://jeremykun.com/2020/05/17/musings-on-a-new-interface-...
30. 570.▲
    by j2kun 5y ago

    I'm actually currently writing a book with exactly this emphasis! The working title is "Practical Math for Programmers," and the idea is to build a collection of 60-75, 3-page long, _compelling_ demonstrations of mathematics