eggy

7 ms·

1.
by eggy 6d ago
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...
2.
by eggy 6d ago
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 obsessi
3.
by eggy 6d ago
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
4.
by eggy 8d ago
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 leavin
5.
by eggy 8d ago
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 Pasc
6.
AI for Peace Workshop – ICLR 2026(youtube.com)
1 points by eggy 22d ago|1 comments
7.
by eggy 22d ago
Joseph Redmon's talk at ICLR 2026. The genie was let out of the bottle way before 2016, and YOLO, but just put it on the heap...
8.
by eggy 22d ago
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!
9.
by eggy 22d ago
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.
10.
by eggy 1mo ago
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.
11.
by eggy 1mo ago
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 amon
12.
by eggy 1mo ago
What does this have to do with Jolt, the Clojure compiler other than in name? Is there a port to Clojure or other connection?
13.
by eggy 1mo ago
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 beh
14.
by eggy 2mo ago
Wow, I never saw this! I like APL/J/Uiua, so this is perfect. Uiua is both stack and array based. Thanks!
15.
by eggy 2mo ago
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 a
16.
by eggy 2mo ago
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 wit
17.
by eggy 2mo ago
Why did you choose F# over OCaml? I am in the same boat and evaluating both. Mainly systems programming, applications, etc.
18.
by eggy 3mo ago
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"
19.
by eggy 3mo ago
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 k
20.
by eggy 5mo ago
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 sa
21.
by eggy 5mo ago
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
22.
by eggy 5mo ago
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 ov
23.
by eggy 5mo ago
For sure, and that makes MINIX the most widely used consumer OS!
24.
by eggy 5mo ago
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 h
25.
by eggy 5mo ago
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
26.
by eggy 5mo ago
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 tex
27.
by eggy 5mo ago
I ran Minix around 1991 on my Amiga computer. Minix had a smaller attack surface and isolation provided by its microkernel vs. Linux's monolithic kernel. I had the Minix textbook, and it was easier to think about it because of the spli
28.
by eggy 5mo ago
Wow, 160 kWh/month! My family of four uses as much as 790 kWh/month in the high-heat or very cold season, with an annual average of 650 to 700 kWh/month. We pay around 0.13 USD/kWh, however, when you add the taxes and su
29.
by eggy 5mo ago
A delta of 3 bpm on sauna days corresponds to around 4% delta if the baseline is 72 bpm. I've gone from a resting heart rate over a 7-day average of 64 bpm to 58 bpm by jumping 15 min. of rope a day, 4 times a week. I've lost weig
30.
by eggy 5mo ago
Since it's not a battery storage setup, the energy being sent into your home circuit alleviates demand by a small amount. Where did they come up with 10 to 25% savings? Factors such as an optimal view of the sun for as much as possible

More ›