eggy

12 ms·

1. 151.▲
   by eggy 2y ago

   I'd like to hear her raw voice compared to the polished product. Listen to famous singers' acoustic vs. heavily audio-engineered final cuts. Big difference. I think if you played this OpenAI "Sky" voice to a sample popul
2. 152.▲
   by eggy 2y ago

   Scarlett Johansson will forever be associated with this voice named, "Sky", the official voice of "Skynet" that will wipe us all off the face of the earth! In comparison, the unfolding of "her" the movie would
3. 153.▲
   by eggy 2y ago

   Maybe F* with dependent types and proof automation? I am programming in SPARK2014 currently and I would argue it is more of a Rust competitor with a longer legacy in high-integrity, safety-critical programming applications.
4. 154.▲
   by eggy 2y ago

   I've tried Idris. J and APL are great for quick analysis once you know them. I leave J open on my desktop for engineering and stats. Frink too for effortless units work. Haskell and its ilk are good for math. Programming to learn math
5. 155.▲
   by eggy 2y ago

   I like Julia and Python, however when I'm playing with doing math, or using paper, I like APL or J. The above example in J: 3 3 $ i.9 0 1 2 3 4 5 6 7 8 3 3 $ >: i.9 1 2 3 4 5 6 7 8 9 J is 0-indexed. ">:"
6. 156.▲
   by eggy 2y ago

   Me too, but I had a thing for Nastassia then when I was 18. Later, finding out how she was exploited by Polanski and others, I felt so bad for her. Hollywood is a dark place. I liked Tess, since I had read the Thomas Hardy novel in high sch
7. 157.▲
   by eggy 2y ago

   Thanks, I had looked at ATS many years ago, but I had forgotten about it. I'm going to look at both Lean and ATS, but I guess I'll stick with SPARK2014 for work now.
8. 158.▲
   by eggy 2y ago

   It's the Cat People! Just ask Nastassia Kinski <cue David Bowie singing>
9. 159.▲
   by eggy 2y ago

   I have heard of Lean, but I just took a look for the first time. Certainly, much more Idris/Haskelly than the OCamlish F*. Are there libraries available for general programming in Lean? Can you compile to another lower-level language l
10. 160.▲
    by eggy 2y ago

    Very well might be the case. I am speaking on old news. I would guess the lack of an official published standard makes it hard to create tools and support them over time - a moving target.
11. 161.▲
    by eggy 2y ago

    I shot competitively in JROTC and after, but never out to 1000 yards (914 m), only 500 yards. The Earth's rotation affects your trajectory significantly particularly if you are shooting longitudinally at a target at a higher or lower l
12. 162.▲
    by eggy 2y ago

    Well, if we're nitpicking here, it is not 86,000s/day (24 hours * 3600s/hour) and 7.27x10^-5 radians/s, but 86,164.091s and 7.29x10^-5 radians/s. 24 hours is the time it takes the sun to return to the same spot in t
13. 163.▲
    by eggy 2y ago

    I just posted a relevant comment on the F* article a minute ago. I would subjectively prefer F* because of syntax over Rust, but for the show control software we are developing, we are going with Ada/SPARK2014. Rust needs a formal, pub
14. 164.▲
    by eggy 2y ago

    I prefer F#/F* syntax, but I had to go with Ada/SPARK2014 for the safety-related control systems I am trying to verify formally and use for high-integrity applications. Rust is making some inroads with AdaCore and Ferrous Systems
15. 165.▲
    by eggy 2y ago

    I was following this ever since I had read about AdaCore collaborating with Ferrous Systems on this, however, it is for the compiler. If they created a published Rust standard specific to their compiler then maybe, but I think there needs t
16. 166.▲
    by eggy 2y ago

    Yes, Carpenter made it to be about yuppies and unrestrained capitalism in 1988, however, art from the viewer's perspective 36 years later, can mean something different for that viewer or any other. Personally, I don't see the neo-
17. 167.▲
    by eggy 2y ago

    Is there a Rust standard yet like there is for C/C++, Common Lisp, and Ada/SPARK2014? Without that, it is a moving target compared to the verification tools that have been developed for say, Ada/SPARK2014. Not to mention the
18. 168.▲
    by eggy 2y ago

    Hug of death?
19. 169.▲
    by eggy 2y ago

    Thanks, not really a blogger. I should really, since I have tried to pass down my experience or mentor, but unfortunately, a lot of people younger than myself, were intrigued but went on to chase safer and more lucrative salaried work. In M
20. 170.▲
    by eggy 2y ago

    Even though I started programming in 1978 (Commodore PET 2001), I avoided doing full-time IT or software work. It's always been adjacent to my work - embedded systems, CNC machines, robotics, animatronics - but I lost any appetite for
21. 171.▲
    by eggy 2y ago

    I am currently working on a control system from low-level, bare metal to high-level HMI/GUI for a cool, new hoist primarily for shows, but with applications in other industries. Shooting for high-integrity, safety-critical certificatio
22. 172.▲
    by eggy 2y ago

    The House of Dancing Water in Macau. There is O at Bellagio, LV, NV, Le Reve closed at Wynn Las Vegas, The House of Dancing Water, Macau (where I worked), and there's another one in Wuhan, China (yes, Wuhan). The lifts had 8m hydraulic
23. 173.▲
    by eggy 2y ago

    I guess I am biased to like the article including it's presentation, since I spent 6 years as a technical diver fixing underwater hydraulics and electrical systems, but at much shallower depths than the undersea cables. A buddy of mine
24. 174.▲
    by eggy 2y ago

    Interesting when Russia complains for decades not to have NATO encroach on their borders to the point where they invade Ukraine, but here the possibility a Chinese automaker is offered incentives from Mexico, the way they did for Tesla, is
25. 175.▲
    by eggy 2y ago

    NY is becoming more and more surveilled. I just watched Demolition Man again for the third time in 30 years. Great movie!
26. 176.▲
    by eggy 2y ago

    The article doesn't cover how this is concentrated locally (shoving incidents in the NYC subway - to the tracks) vs. state-wide, or how the 2 databases the Federal government maintains and uses, have been redefined, and with unreliable
27. 177.▲
    by eggy 3y ago

    Sure given the epicenter was in NJ and closer than Brooklyn. I am from Brooklyn, but live in Nyack, NY, and I felt it here. Nyack is 40mi from epicenter, Brooklyn ~60mi. But your experience could be different based on the structure you are
28. 178.▲
    by eggy 3y ago

    Were you always on the 4th floor for the others? You would feel it more the higher up you are as the building resonates.
29. 179.▲
    by eggy 3y ago

    I wish the SEC would clean house of all the congress members and senators, Democrat and Republican, around 75 to 97 at last count, who had bought or sold stock or bonds, or other financial assets related to their congressional work. It&#x27
30. 180.▲
    by eggy 3y ago

    Try April (Array Programming Reimagined In Lisp)[0] then. Sorry, I am both an array language and Lisp fan for many years. You use Lisp for all of its goodness, and drop into APL to do numerics and array work in a language better suited for