I am not too financially literate, but if the 4 quarters with a 1-year cliff was the period then, what would their value had been? Around $5.75M (6,250 shares per quarter x 4 = 25000 * $230/share)?
Yeah, I worked my way through Oscar Toledo's book, "Programming Boot Sector Games". I used to program in 6502 machine language and assembler. If you like Life, you should check out Andrew Ilachinski's book, "Cellular Automata: A Discrete Universe".
Julia has had a great CUDA story for a few years now, and this about 9 days old. Rust rejects buffer aliasing at compile time using Rust's borrow checker, but shared memory in cuda-oxide currently requires unsafe, but then there's HuggingFace's Grout and mistral.rs, so yeah, Rust is picking up ground here on Julia. How is OpenCL's performance these days?
I liked Julia the first time I tried it years ago. I had some Matlab experience, so it seemed a similar, yet great improvement (no cost! more modern, but lacking some key libs or toolkits). I started programming Commodore BASIC in 1977 on my PET 2001. Then 6502 Assembler/machine language, C, Turbo Pascal, and many more. I have recently gone back to assembler because of AI. I don't miss hand coding assembler or creating macros that don't exist in FASM, but AI allows me to prompt for a terse program, using tried and true asm methods, which I can then audit. Julia has great math and scientific libraries, so my asm stuff isn't in competition with my asm efforts, but I am really enjoying the asm/AI thing for now. Granted this is for my own small projects. Coding is not my main job. I use coding in my other jobs to help me with certain tasks like scheduling, simulations, engineering, and project management. I was playing with the Julia version of cadCAD that was on Python, however, Julia has a lot of other libs that are way better to do dynamic or complexity studies than cadCAD.
Coming from a Commodore PET 2001 in 1977, I have to say I am biased towards the green phosphor colored text on black! Not speaking to flow, layout, or the filler text here...
I'll have to dive back in. I could use the decent salary right now. I've been out of work aside from my endeavors to bring this hoist to market we are working on currently. The whole formal verification thing has become an obsession of mine lately. First it was applied to just the safety-critical aspects of our system. Now, I am applying lesser, but still powerful methods and tools to make sure the whole front end and basic networking is also part of this formal verification chain. Down the rabbit hole!
If you run a model locally to work on your area of expertise in mathematics, and you make a discovery, haven't you stood on the shoulders of others that created that model you are using? Playing devil's advocate here, are we only in for human collaboration, but not machine contributions in this case? Scholars get cited, but do they normally get paid for others citing them and using their work to advance their own? I get the whole sneakiness about how these companies like OpenAI built their models upon IP and data without a clear trail of attribution or compensation where it would normally be present. I am not a proponent for either side at the moment. I am trying to grapple with this whole new world of shared knowledge and how it is produced and shared and profited from especially when there is a $1m prize to distribute!
I started recently to learn Cobol, since 2 companies my friend and son were working at need them desperately. They would prefer people with experience in the bankiing/finance industry, but at this point all the over 60s guys are leaving, and nobody is left to pick up the mantle. They told me even though the money is great >$225k starting, people don't want to maintain legacy Cobol code with very high risk if you mess up.
I've been on this horse for a while now. I've settled on learning Ada/SPARK. Ada 2022 will start feeding a new SPARK 2014 update. Yes, they are both verbose, if you don't like that sort of thing, and don't like Pascal-like syntax. Believe me, I like APL/J/k/uiua/BQN and Forth and ASM. I am usually syntax agnostic as long as the PL and the ecosystem (more important than most think), meet your needs. I tried Rust back in 2018, and then again in 2023, but found it very complex and Ok, not a fan of the syntax. I would have preferred more ML or Haskell-like syntax. Zig seemed nice, but different use case, and too new. After all, Ada/SPARK have been on huge, high-assurance, high-safety applications for decades. Rust is getting some of their love, and vice versa. AdaCore had created a verified Rust compiler, but with a real world product (Blacktail hoist) in the works, we need a toolset and guarantees and ease of auditing and acceptance to achieve high safety and standards certifications. Think aerospace, defense, railway, and automotive. I started programming in 1977, so there's always a place in my heart for ASM/C. I played with F#, F*, and LOW from MS, and they are good, but they and Rust simply don't have the real world legacy of Ada/SPARK. I have been using Shen to write some formally verified models of less safety-critical areas of our software and I find it refreshing, however, my day job is to stay focused on Ada/SPARK until Rust matures more with a formally verifed proven toolset. There are certainly efforts and crates available in that direction, so hopefully others will bring it to where it needs to be. Lean is another one I have been playing with for some of the more overall logic proof of the system we are building.
I haven't played with yolo yet. I'll have to use my airgapped, old Lenovo ThinkPad for this! Whenever I see yolo, I can't stop thinking of Joseph Redmon's YOLO and his astounding resume format!
I should try FASM to see if it produces a smaller size exe. COM files are small, but 16-bit DOS was the thing back in the day - 100H yeah and basically a memory dump.
Thank you! How about performance? Do you see Jolt evolving into something more useable for real work, or is it too niche and not capable enough? I always loved Racket. How does Jolt compare? I'll give it a try this weekend.
Yes, and people seem to leave context out of it nowadays, which usually makes it a moot point. When searching I would put "Jolt Chez" or "Jolt Clojure" to get relevant hits. There is a Jolt energy drink too, popular among techies, or it was...
Curious about the executable size and performance. Mark, you started me on AI with your, "Common LISP Modules: Artificial Intelligence in the Era of Neural Networks and Chaos Theory". I have never been able to fully leave Lisp behind. I'll have to try this on my linux box. What's your take on using jolt practically for work vs. learning? Thanks!
Cool, and I love the retro font. I had a Vic-20 (early 80s) and Commodore PET 2001 (1977) I am learning Odin, and I was going to try creating live coding environment with scripting in Forth and with the gui and rest in Odin, but for audio and graphics. I was inspired long ago by Paul Batchelor's Sporth and Tidal (now tidal cycles?). Forth is a great language. You can make an compiler/interpreter in a few days. John Earnest's ok.js is also cool. I like stack and array languages, so when I am not playing in J, I use Uiua. Uiua has the capability to do audio and graphics/animations and scratches my array/stack itch.
I picked up a book around 1977 on the PDP-11 processor and worked my way through it with pencil and paper to understand the architecture when I was around 13. I saves up my summer job money and bought a used Commodore PET 2001 for ~$700 with cassette drive and 8kb and a green phosphor screen. I later bought an expansion for it that gave me 32kb. The PET's 6502 was simpler, but that DEC handbook and working out registers on paper gave me a strong foundation in computers. I realized computers would only be tools and always managed to take jobs outside of comp. sci. or IT, but always used a computer and programmed utilities for every job I had in any language I fancied at the time and throughout the years: C, Basic, asm (6502, PIC, Scenix, 68000, 8086/88, now ARM/x64), Forth, Lisp (Lush/Lush2 lush-users on Sourceforge with Yann LeCun to get Lush running, APL, J, Logo, Pascal, Factor, Java, Python, F#, now Rust, Odin, and J is still open on my desktop daily). I had in mind how people were talking about high-paying jobs if you learned WordPerfect, and it was "the future" back in 1991-93. I felt people were putting the tool before thought, intelligence, and process. I did dip into DBA and IT here and there for a little bit, but I thoroughly enjoyed writing embedded software for the window animation I was working on for a display company, and interactive prox switches on the store window at Sachs to trigger a pneumatically actuated Nutcracker to raise his arm and close his jaw and other fun kinetic pieces in the late 90s (Pre-Arduino saturation days - Parallax Basic Stamp, Scenix, PIC, and PCBs from scratch by hand with resist and etch). Kids loved pressing the Nutcracker switches! The reason I learned so much was that you had to go to the library, write a letter or eventually by the 90s email and user groups, and just plain figure it out through trial and error on your own. I had a VIC-20, Commodore 128, Amiga 500/1000, then a PowerPC Mac running Mach Linux in the late 90s/early 2000. I loved Commodore. It's a shame. They were the best option for the buck.
A great tech book on symbolic computers in general and Lisp machines, is Peter Kogge's 1991, "The Architecture of Symbolic Computers". I believe new efforts by people like Yann LeCun will counter the "LLMs or bust" monoculture along with SOC/ASICs, in-memory compute, neuromorphic chips, dataflow, optical/analog hybrids , etc. that will bring a healthy correction or alternatives to the Von Neumann architecture.
For me, vigorous exercise, riding my bike, running, jumping rope, has always made me feel better mentally and physically whether it was a pathogen funk or just life and feeling down or symptomatic as some describe below. I always check my kids and myself after hikes, especially in tall grass or shrubs. I've found ticks here and there over the years. The cathartic effect of high-intensity exercise where you push yourself to what you think is your limit is amazing for your physical and mental well being. The old Sufi saying, "Movement is life; stillness is death" is my mantra. I have friends who avoid hiking for fear of ticks and Lyme disease. It's a shame, since being outdoors in the sun, smelling the woods, and taking in the views while walking are priceless. Movement over pharmaceuticals.
Yes, and AdaCore's tooling is formally verified and produces reports already familiar to aerospace, railway, and auto auditors for verifying certifications making it attractive to this industry segment of high-integrity apps. Memory safety is taken care of mainly through the features Ada/SPARK2014 offer in creating safe, high-integrity programs, correct.
We passed on Rust for Ada/SPARK2014 to write to bare metal on Cortex-M processor for real-time, high-integrity, and verifiable mission-critical software. Rust is making strides to be a future competitor, but it's new to the formal verification tooling and lacks any real world legacy in our domain. Ada's latest spec. is 2022. Other than AdaCore's verified Rust compiler, Rust still does not have a stable language specification like C/C++, Lisp, or Ada, SPARK 2014. I have no doubt that it will start rising to tick all the boxes that Ada/SPARK do right now with their decades of legacy in high-intetrity, mission-critical applications. The mandate to use memory-safe software put into effect this past Jan 1 2026 puts some wind in Rust's sails, but it's more than memory-safety in this domain. Plus, I do not enjoy Rust, but Cargo is nice. We're looking at Lean for further assistance in verifying our work. I think there was and is lot of Rust evangelism that will also carry it forward and boost even more Rust popularity,
Everytime I start jumping rope after a long break like Winter. It immediately starts trending lower a few points in 3 to 4 days, and plateaus after 6 weeks or so. I've averages as low as 54 bpm, but not as consistent as 58 to 60 bpm over a six month period. Granted, I tend to sleep better, have lower stress anecdotally and quantifiably by my Garmin watch's data. It has to be said that I usually add more exercise, because the rope jumping greases the skids so to speak. Good begets good.
From my comment below, we used Betamax back in 1982 for film class and would go back to editing it on a tape-to-tape deck, so starting with Betamax vs. VHS meant you had less degradation in the final edited product, since you started with higher quality. Sort of like editing RAW vs. JPEG photos nowadays to start with more resolution/information. For me streaming vs. my Blu-ray stuff was about cost. A $39 Blu-ray disc vs. a $12 movie or free movie with subscription. Amazon Music took away a purchase I had from 2014. I could no longer download it, since something changed with their licensing agreement. I have digitized my DVD/Blu-ray discs, since the discs don't last forever. I keep a streaming rez and a hi-rez copy of my faves.
Yes, but you're forgetting editing wasn't digital/digitized. You would copy from one tape to another, so a degradation issue. It's not the TV's capabilities, but if you started with higher quality you would get less overall degradation. I took film classes in TSOA at NYT back in 1982, and one class was film production and the other was lugging around a huge deck and camera in Betamax and then going back to a tape-to-tape transfer editing deck.
I'm going to download and check out Mine and Coalton. Right now, I use Neovide and Lem interchangeably. However, I am in deep with Shen. I bought a hardcopy of The Book of Shen, 5th Edition, and I still have Peter Kogge's 1991 text, "The Architecture of Symbolic Computers". I suspect the Hindley-Milner type system in Coalton will be more familiar to the Haskellers out there, but it is not as strong as Shen's Sequent calculus type system. In Shen, computation is allowed in side-conditions (if, let, and, etc.), so you can compute over terms inside types. Shen wins for raw expressive power and programmable types. Shen is very portable, but being a DSL, Coalton must integrate nicely with Common Lisp. And you get native exe's. Glad to see a simple way for people to program in CL or Coalton without having to go through the decades I have done with Vim and Emacs. VS Code bores me, but it is practical, even if it seems like junkyard truck with everything bolted on or hanging off of it.