eggy

10 ms·

91.
by eggy 1y ago
Nice! I have been toying with KolibriOS and MenuetOS for my anti-social platform. You can network on both, and sometimes requires a direct hardwired Ethernet cable. Originally I was interested in them given they are written in assembly usin
92.
by eggy 1y ago
Congrats! Looks great coming from someone who had a Commodore PET 2001 in 1977. I have been toying with KolibriOS and MenuetOSx64, but I would sure like to try rolling my own OS. You did it! Keep truckin'!
93.
by eggy 2y ago
Wow, I was looking for my emails. I remember going to HOPE in 1994 at the Hotel Pennsylvania in NYC. Among all the talks I remember Eric Hughes' talk on cryptography. Talks of working with banking and others to bring cryptography and a
94.
by eggy 2y ago
I'll have a better look later at the methods and sources used, but given the US crack down on border policies from the previous minimal effort achieved by the Biden administration in securing our borders, this is to be expected. It&#x2
95.
by eggy 2y ago
Seveneves by Neal Stephenson was a good book that goes into what happens when things change between the Earth and Moon.
96.
by eggy 2y ago
Amazing work, and certainly for such a tentacled project good enough is good enough. I only brought up Gleam vs. Elixir because I am going to pick one to learn this year. I've played with LFE too, and as I wrote earlier, I played with
97.
by eggy 2y ago
I've been involved in many sectors, but the current application is for show control software to operate stage lifts, performer flying rigs, scenic winches, car catapults, and on and on. Overhead hoisting and effects with people require
98.
by eggy 2y ago
A great first step in getting Rust in the high-integrity arena with the likes of Ada/SPARK. First, a specification, and then tooling to allow for formal verification ala SPARK. My current project chose SPARK due to its tooling and lega
99.
by eggy 2y ago
It depends on what “sooner” means to you. Gleam catches more before the code runs; Elixir catches them when they happen but recovers gracefully. If you’re paranoid about bugs reaching users, I would think Gleam’s your pick, no? If you trust
100.
by eggy 2y ago
Would Gleam be practical for a similar application aside from the OTP/BEAM runtime? I am guessing you'd have to leverage Elixir libraries that are not present for Gleam yet, and you might have slower compile times due to static ty
101.
by eggy 2y ago
In the summer in the inner city of Brooklyn, you would be sweeping all day, everyday. NYC was a cesspool in the 70s. Newpapers blowing around, overfilled trash receptacles, insufficient street cleaning, and the public's general lack of
102.
by eggy 2y ago
"won" was past tense. Norway had so many Tesla's when my son visited there due to subsidies and green consciousness. The Tesla Y model was leading the EV sales in the EU as of recently, but I don't have the latest data.
103.
by eggy 2y ago
Yuck. We used to put the sprinkler cap on the johnny pump (Brooklyn for fire hydrant back then) and run on the curb and into the street with bare feet. In the early 70s there was a lot of dog crap and broken glass, since beverages were in g
104.
by eggy 2y ago
I would guess the +31% in Europe is also due to the stricter emissions standards, Euro 6d, and government subsidies are driving that figure in my opinion along with climate change fears. Elon already made, played, and won the EV market, and
105.
by eggy 2y ago
I lived in Java, Indonesia for a year and ran barefoot, and only wore sandals to the mosque. You wash your feet 5x per day for the 5 daily obligatory prayers, so it works out well. An earlier post here about a person barefoot in all seasons
106.
by eggy 2y ago
I am just starting out with the ironclad kernel and the gloire OS built on top of it [1,2]. From the web page: "Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded
107.
by eggy 2y ago
I also bought a Vic-20 and later an Amiga 1000. Typing in programs from computer magazines. That's another thing I did working through your book rather than downloading the code. You suggest it in the introduction, and I second that! T
108.
by eggy 2y ago
I started programming in 1977/78 in CBM/PET Basic on a Commodore PET 2001 with cassette tape drive and 32k upgrade. I loved those days. My parents didn't understand what the deal was with the costly computer I saved up for at
109.
by eggy 2y ago
Nice restoration and article, thanks! I bought my Amiga 1000 in 1986. I loved it. I was learning animation using Hash Inc's Animation:Master. People get impatient with web page loads today, but boy, waiting for a low-res animation to r
110.
by eggy 2y ago
Cool. I certainly will if I head up there. Probably when the weather warms up ;) Crappiest torpedos? I'd like to know why!
111.
by eggy 2y ago
Several countries have implemented large-scale planting efforts: China, Ethiopia, India, Brazil, Australia, Pakistan, and Turkey to name a few. In 2019, Ethiopia claimed to have planted over 350 million trees in a single day as part of a br
112.
Muen SK for x86/64 – formally verified Separation Kernel(muen.codelabs.ch)
2 points by eggy 2y ago|1 comments
113.
by eggy 2y ago
Now with the push for memory safe, high-integrity applications, I am looking for a separation kernel or formally verified OS to base my automation software upon. Rust was a contender a few years ago, but with no formal specification standar
114.
by eggy 2y ago
If it has been underestimated then that means climate models have been using the bad, underestimated data, so they need to be updated and run to see where we are at, corrrect?
115.
by eggy 2y ago
I should post my take on this substituting Rust for AI ;)
116.
by eggy 2y ago
After my PET 2001 I had purchased in 1977/78, I bought a Commodore Vic-20. Using the book, "Practical Astronomy with Your Calculator", I wrote a program in Vic BASIC which was the same as the PET's to identify the four m
117.
by eggy 2y ago
Funny, I only recently started visiting Connecticut to visit some friends who moved there! Rhode Island, the first to declare independence from England, and the last to ratify the Constitution. Not bad.
118.
by eggy 2y ago
The one thing age and experience has taught me is that everyone has a story. I am originally from Brooklyn, but have lived in the Hudson Valley of NY these past 8 years after bouncing around the US and overseas. Where are you? I am a much b
119.
by eggy 2y ago
Yes, of course. Most of the jobs I have taken were by word of mouth due to my history in the business, so I had not updated my CV for years. Even then, it was an HR formality. It is only when I reach out to new sectors that I go through the
120.
by eggy 2y ago
Great advice! I will try trimming my CV/resume. The only rub is people ask, "What did you do those 6 years in between listed jobs?" I realize this can go both good and bad. Thanks!

More ›