harveywi

18 ms·

1. 151.▲
   by harveywi 9y ago

   Thanks for sharing! This is really interesting, especially the part about the reduced count of abstraction layers. Do you think the abstraction layers are the problem, or the fact that the overwhelming majority of "abstractions"
2. 152.▲
   by harveywi 9y ago

   >The real reason is the culture of poverty. That's a bold claim.
3. 153.▲
   by harveywi 9y ago

   Not quite the promotion to deputy chair that he had expected.
4. 154.▲
   by harveywi 9y ago

   cf. billions of Facebook users.
5. 155.▲
   by harveywi 9y ago

   Garnishing whopper wages only makes them more delicious.
6. 156.▲
   by harveywi 9y ago

   Thanks for the tip! Unfortunately I'm bolted into Play Framework, which does not seem to be compatible with SBT 1.0. :(
7. 157.▲
   by harveywi 9y ago

   I'd like to see a Scala compiler that works more like a proof assistant like Coq. I want the compiler's job to be to help me quickly write correct code. That should be first-class functionality. Batch-compiling the same source
8. 158.▲
   by harveywi 9y ago

   I had used Scala for many years before trying C#, and I have to agree. The only thing that I really missed in C# were higher-kinded types.
9. 159.▲
   by harveywi 9y ago

   This is interesting. Would it be helpful, and possible, to add a "YOLO mode" to the Scala compiler so that it just make-believes that recursively derived implicit parameters bottom out properly? Maybe force the caller to give an
10. 160.▲
    by harveywi 9y ago

    >incremental compilation works Not for me. There are hot zones in my code that I dare not touch unless I want to trigger an extremely long recompile. This really sucks.
11. 161.▲
    by harveywi 9y ago

    Here is one that I run into frequently. You're building a CRUD app, but want some semblance of sane FP interaction with your database. So you use Doobie [1] because free monads and all. So you type your query using a Doobie SQL strin
12. 162.▲
    by harveywi 9y ago

    > As someone finishing a PhD in this field, my perspective is that there's a big lack of software engineering talent here. As someone with a PhD in computer science who did a postdoc in a bioinformatics lab, I can vouch for that.
13. 163.▲
    by harveywi 9y ago

    This is worth its weight in gold. Add to that the ability to selectively broadcast the conversation to potentially-relevant people without mutilating the concentration of non-interested parties. Add to that the ability to forward that inf
14. 164.▲
    by harveywi 9y ago

    Vega is a good supplement for those who cannot digest the milky whey.
15. 165.▲
    by harveywi 9y ago

    Frustrated Scala users take note: Idris can compile to JVM bytecode ( https://github.com/mmhelloworld/idris-jvm ), JavaScript (displacing Scala.js), and native code (displacing Scala Native). Idris may be a very good c
16. 166.▲
    by harveywi 9y ago

    Unless the category is, e.g., the category of small categories.
17. 167.▲
    by harveywi 10y ago

    Those are generally pretty easy. Now ask me to recite all of the rules of implicit resolution, and I will be stumped. That is probably the only part of the language, other than delimited continuations, that I do not need to know for day t
18. 168.▲
    by harveywi 10y ago

    Are there any physicists here who might be able to explain whether or not laser weapons would be effective underwater, e.g., mounted on a submarine for point defense against torpedos? What about from LEO or from space? Would the atmospheri
19. 169.▲
    by harveywi 10y ago

    Humans are using computers to program other humans. Used to be humans using TV to program other humans.
20. 170.▲
    by harveywi 10y ago

    I wonder if the Pope has any dietary restrictions or follows a program such as the Imperial Diet.
21. 171.▲
    by harveywi 10y ago

    > one step closer to a literal fountain of youth I think you mean "Literally one step closer to a metaphorical fountain of youth." Or, in other words, the literal journey is literally the reward.
22. 172.▲
    by harveywi 10y ago

    Hopefully more will be wary of the leeks of Julienne Assange.
23. 173.▲
    by harveywi 10y ago

    Exactly. When handed an under-specified problem (semantics), hand back a lambda compiled in the target language (syntax). "What do you mean? African or European?"
24. 174.▲
    by harveywi 10y ago

    > I never found out the BEST way to share data between programs Come on, add another layer of indirection! When given a problem to solve, hand back another problem. In this case: Q: "I want the SIMPLEST possible way to synchronize
25. 175.▲
    by harveywi 10y ago

    > Taken to extremes, though, there is a trade-off That's some circular reasoning. YMMV, but maybe consider making fewer excuses for your "inability" to perform physically and stop diffusing blame in every direction except
26. 176.▲
    by harveywi 10y ago

    Poppycock.
27. 177.▲
    by harveywi 10y ago

    Minor detail, but the undecidability Halting Problem strictly requires an infinite tape (infinite storage space). In "practice", if you could call it such, a computer with limited memory becomes a "linear bounded automaton&qu
28. 178.▲
    by harveywi 10y ago

    Thanks for volunteering to answer some questions. 1. What is the (maximum) range of read lengths that modern gene sequencers can produce? Any timeline on when those read lengths will increase substantially? 2. How do bioinformatics people
29. 179.▲
    by harveywi 10y ago

    > History History is the past as it is described in written documents. In other words, a narrative.
30. 180.▲
    by harveywi 10y ago

    The state of Rust editors continues to evolve [1], but I would be curious to learn more about the editors/IDEs that people are using for Rust development. Any stories or thoughts? [1] https://areweideyet.com/