j2kun

30 ms·

1. 571.▲
   by j2kun 5y ago

   I don't doubt the author's credentials, and the program is probably correct (I don't care enough to check). But if you write a program and tell me it does what you say it does with a high level reason why you think so, that&#
2. 572.▲
   by j2kun 5y ago

   The "rigorous proof" points to a Wiki page with a rambling, unrigorous explanation of a tree search.
3. 573.▲
   by j2kun 5y ago

   You'd be surprised how much VCs idolize ponzi schemes. They aren't even shy about it, and haven't been for years if you get to talking to them.
4. 574.▲
   by j2kun 5y ago

   I read "Unix: A History and a Memoir" and I thought it was great! Not the most gripping narrative but still a very enjoyable read. "Smacks you in the face" is going a bit overboard...
5. 575.▲
   by j2kun 5y ago

   I wrote "A Programmer's Introduction to Mathematics" which might interest you. https://pimbook.org
6. 576.▲
   by j2kun 5y ago

   I would, and I've thought of starting one in Portland. Not quite sure how to go about it though.
7. 577.▲
   by j2kun 5y ago

   Not that specifically. I switched from standard to PWYW after a year of sales and I felt I had made enough and wanted it to be open. I still get decent sales, but the majority of income was always from print books which are not PWYW
8. 578.▲
   by j2kun 5y ago

   Kindle sadly does not yet support books with extensive math typesetting.
9. 579.▲
   by j2kun 5y ago

   For those who liked my book, or want a different angle, or if you're looking for inspiration into why math is interesting and useful, I'm in the (slow) process of writing another book, called "Practical Math for Programmers.&
10. 580.▲
    by j2kun 5y ago

    Made a demo here: https://j2kun.github.io/assassin-puzzle/index.html Blog post: https://jeremykun.com/2018/07/24/visualizing-an-assassin-puz... Excellent video that I learned of this pro
11. 581.▲
    by j2kun 5y ago

    Oh hey that's my book. Feels great to see someone getting a lot of value from it :)
12. 582.▲
    by j2kun 5y ago

    I work in datacenter optimization and we're aware of control theory.
13. 583.▲
    by j2kun 5y ago

    Your point is not very well taken, because RISD is an extremely prestigious design school.
14. 584.▲
    by j2kun 5y ago

    I imagine, for a while the complexity that Copilot can handle is limited to what most people would pull from stackexchange anyway. And if it helps autocomplete documentation and provide automatically generated (more descriptive) function&#x
15. 585.▲
    by j2kun 5y ago

    I would say what is happening now _is_ the market sorting it out.
16. 586.▲
    by j2kun 5y ago

    Seems more likely it's so that employers can prevent their employees from discussing their working conditions with each other and enforce _more_ uniformity by stifling demands for better treatment.
17. 587.▲
    by j2kun 5y ago

    I haven't seen any particularly convincing examples of this outside of pure math.
18. 588.▲
    by j2kun 5y ago

    I can imagine that there is some theorem that says Category theory is a universal modeling language in some sense. For example, it includes all of set theory, so it "includes" everything classical math can model. But the real ques
19. 589.▲
    by j2kun 6y ago

    Not all markets are based around exchange. Kidney exchange markets, for instance, have a component based on a donor giving a kidney for nothing in exchange, starting a chain of kidney donations that could otherwise not occur. Matching marke
20. 590.▲
    by j2kun 6y ago

    > inappropriate and in bad taste This is inappropriate and in bad taste, and you missed the point of my comment.
21. 591.▲
    by j2kun 6y ago

    Somehow this feels less like anarchy and more like a free market solution, where the market finally realizes that monetary value is not the only factor in rational decision making.
22. 592.▲
    by j2kun 6y ago

    > Is there any law that says AT&T etc. cannot refuse service? Literally Trump's appointee for the FCC removed that regulation (it was called net neutrality).
23. 593.▲
    by j2kun 6y ago

    I wrote a book that you may enjoy, "A Programmer's Introduction to Mathematics" It spends a lot of time on the language and how to express things. The ebook is also "pay what you want," so you can see if you like it
24. 594.▲
    by j2kun 6y ago

    How did you get into the expert witness line of work?
25. 595.▲
    by j2kun 6y ago

    Self publishing (which I did) means you don't nearly need as much sales to make writing a book financially viable. If you self-publish through Amazon you get 40%+ royalties, and selling 10k books would net six figures. With a publisher
26. 596.▲
    by j2kun 6y ago

    I write Java in vim all day and it's fine. I'm also one of the top code contributors in my org by any metric (LoC submitted, bugs fixed, tech debt reduced, etc.) And everyone else uses IntelliJ. You devote time to learning your to
27. 597.▲
    by j2kun 6y ago

    You'd think a multi-billion-dollar company with so many smart engineers could figure out how to fit both types of work into their system, if it really mattered. Silicon Valley exceptionalism is a garbage dream if paying your workers mi
28. 598.▲
    by j2kun 6y ago

    SF kept the food party, despite the company forum ending. SF's food culture is impenetrable.
29. 599.▲
    by j2kun 6y ago

    Didn't Doug Engelbart do video streaming in the 60's?
30. 600.▲
    by j2kun 6y ago

    Bartering would be far simpler, given the certainty that if the US financial system collapses, the impact on the effective price of bitcoin would make it unusable for practical matters.