krapht

38 ms·

1. 421.▲
   by krapht 9y ago

   Perhaps we should also all learn Esperanto as well, since English is such an inefficient and inconsistent means of communication.
2. 422.▲
   by krapht 9y ago

   Nope, because plain-text is incompatible with centuries of mathematical notation.
3. 423.▲
   by krapht 9y ago

   Human ingenuity is needed for sanity checking the design output and ensuring the search space is sufficiently constrained so that a valid design is output. To say humans have no place in this is the same as saying in the future, my compiler
4. 424.▲
   by krapht 9y ago

   I'm not sure how much effort I want to spend arguing this. Have you ever used FEM/BEM software as a practicing engineer? In many cases, the design effort moves from making the structure to writing out all the possible structure co
5. 425.▲
   by krapht 9y ago

   There's human ingenuity in applying computer optimization techniques to a given problem. Actually using finite or boundary element analysis software requires a great deal of expertise in order not to get garbage results out. Strong AI
6. 426.▲
   by krapht 9y ago

   Is this a joke? Most would prefer prison over execution.
7. 427.▲
   by krapht 9y ago

   You can't pay a staff scientist $20k a year like you can a graduate student. The article mentions that. I don't see the situation changing unless the supply of graduate student labor dries up. Hell, if I could hire grad-school qua
8. 428.▲
   by krapht 9y ago

   Was Gaisler the first to write about it? I actually first heard about it from Mike Treseler, who is mentioned in this Powerpoint ( http://ens.ewi.tudelft.nl/Education/courses/et4351/structure... )
9. 429.▲
   by krapht 9y ago

   Any chance this could be implemented for automated proof synthesis? Would love to see this used in F* or Lean.
10. 430.▲
    by krapht 10y ago

    I dislike people who claim it's not in a respondent's self-interest to do this; that it's somehow irrational. Status is relative - as the old saying goes, it is better to rule in Hell than serve in Heaven.
11. 431.▲
    by krapht 10y ago

    Maybe I should have made a different comparison: you can write a kernel driver in Python, but maybe you shouldn't. Debugging your HLS compiler is not a process full of joy and happiness.
12. 432.▲
    by krapht 10y ago

    Simple bags of data and the functions that act on them. That's a message I can get behind.
13. 433.▲
    by krapht 10y ago

    I was never able to convince my coworkers to program in FPGA HLLs, just because when you need to debug and simulate, you have to touch VHDL/Verilog in order to communicate with the board and understand what your high level abstraction
14. 434.▲
    by krapht 10y ago

    Here's a study you might be interested in reading: https://www.weforum.org/agenda/2013/05/do-patents-help-or-hi...
15. 435.▲
    by krapht 10y ago

    This news article is fairly useless. FPGAs have always been an option; that's why they are used in many DSP heavy workloads in communications etc. However, they are expensive. GPUs are popular and cost-efficient because millions of vid
16. 436.▲
    by krapht 10y ago

    Would you? Do you subscribe to consumer reports?
17. 437.▲
    by krapht 10y ago

    Hah, are you describing most of my intro classes as an undergraduate engineer? I paid an egregious sum of money to teach myself physics, chemistry, and calculus out of a textbook and get tested on it.
18. 438.▲
    by krapht 10y ago

    Says you. It took me weeks when I first encountered it to understand the Peano axioms, how the natural numbers were constructed, and how addition is defined recursively given that definition.
19. 439.▲
    by krapht 10y ago

    Program correctness (safety) is way more than just the memory access guarantees Rust gives you.
20. 440.▲
    by krapht 10y ago

    Non-Turing complete systems can also allow extremely strong constraints to be embedded, while also allowing the type system to be decidable. Remember, while Rust makes a lot of noise about being safe, it isn't Ada Ravenspark, or ATS, o
21. 441.▲
    by krapht 10y ago

    I don't see any reason why retirement-age me won't be able to play Super Mario 2060. Adjustable difficulty, whether through mechanical tweaks or competitive multiplayer matchmaking should be good enough?
22. 442.▲
    by krapht 10y ago

    Define flourishes. Being poor in China is 10x worse than being poor in the West.
23. 443.▲
    by krapht 10y ago

    Hmm, how accurate is it, though? How do you calibrate such a system when the ambient illumination could be anything?
24. 444.▲
    by krapht 10y ago

    “It is important to recognize that during a rare event with the emergency spillway flowing at its design capacity, spillway operations would not affect reservoir control or endanger the dam,” wrote John Onderdonk, a senior civil engineer wi
25. 445.▲
    by krapht 10y ago

    Never underestimate the power of marketing and branding in creating profit over generic competitors. See blenders: Ninja, Vitamix.
26. 446.▲
    by krapht 10y ago

    Yes. Coq doesn't validate non terminating proofs.
27. 447.▲
    by krapht 10y ago

    This is a little long to commit to close reading. Summary, anyone?
28. 448.▲
    by krapht 10y ago

    If anything I think my estimate is too conservative. Electrical storage must be adequate to meet demand in the worst case. The minute somebody's grandmother freezes to death because of brownouts due to wintry, overcast skies in Decembe
29. 449.▲
    by krapht 10y ago

    I'm extremely skeptical that ARES will ever be cost efficient. Potential energy is proportional to mass * g * d_height - any reasonable grid storage option will need to be moving truly enormous amounts of mass. Back of the napkin here:
30. 450.▲
    by krapht 10y ago

    I mean, you said it yourself. I run a CentOS development machine because what I write will eventually deploy on a CentOS / RHEL server.