eggy

10 ms·

61.
by eggy 11mo ago
I've heard this one before. I still use Mathematica (Home edition). It has curated data and more than just a notebook interface, which it pretty much invented. I use Julia with Pluto, SMath Studio, Frink, and some others for Maths tool
62.
by eggy 1y ago
There's more than just memory safety for high assurance apps. Personally, I think Rust is heading in the right direction, but I am not sure it's complexity will ever be smooth or enjoyable for some. I feel you get most, if not all
63.
by eggy 1y ago
Enjoyment is part objective and a lot subjective. Mitchell Hashimoto who wrote Ghostty in Zig speaks about it here: https://youtu.be/YQnz7L6x068?si=VtH2FEAuW-SiFPHr&t=1415 I started with 6502 assembly and PET Basic in 1
64.
by eggy 1y ago
Adacore is doing great work. They have a Rust compiler, but the static analysis and formal verification is not quite there for the Rust toolchain and it does not have any where near the legacy for high-integrity, mission-critical apps. Not
65.
by eggy 1y ago
In performing an assessment of which ecosystem and PL to use to develop our high-integrity automation software for mission-critical applications, we assessed Rust, Zig, and Ada/SPARK. Rust had the support behind it from a big corp., a
66.
Introduction to Formal Verification with Spark(youtube.com)
2 points by eggy 1y ago|1 comments
67.
by eggy 1y ago
Reasons to use SPARK for embedded instead of Rust.
68.
by eggy 1y ago
>"According to sources familiar with the huge data transfer outside of the EU country, it occurred in early August. Intelligence sources said Unit 8200 planned to transfer the data to the Amazon Web Services cloud platform. Neither
69.
by eggy 1y ago
Looks great, I'll have to play with it this weekend! Has a scent of Orca https://github.com/hundredrabbits/orca
70.
by eggy 1y ago
I never did that! Beats typing it in, but then again, I memorized the formula for creating a planar view of the 4 major moons of Jupiter at a given time by programming it all in PET Basic!
71.
by eggy 1y ago
I had my Commodore PET for 10 years from 1977 to 1987 until I went away and my cousin borrowed it, and then believing I was not coming back to the US from Spain, sold it! I loved the cassette drive and all-in-one chassis. Ah, typing in prog
72.
by eggy 1y ago
I've always liked generative art and I am getting up to speed on Ada 2022, so this is a fitting article. Currently using SPARK2014/Ada 2022 for a high-integrity, safety-critical automation control software project.
73.
by eggy 1y ago
When I started to really get into robotics, mechanics, and automation back in the late 80s and early 90s, the fork in the road of Rodney Brooke's subsumption architecture, but still digital, approach versus Mark Tilden's BEAM anal
74.
by eggy 1y ago
Yes, but a qualified compiler is but one of many pieces in having an ecosystem/tooling for creating, testing, and having high-integrity applications reviewed and certified. A couple of the industries we are elbowing in on, are already
75.
by eggy 1y ago
I am excited Rust is heading in this direction. We had to go with SPARK2014/Ada (2022) when we made this decision over a year ago. Rust and its tooling was and is not ready for the safety critical control system we are developing. High
76.
by eggy 1y ago
I considered two things when choosing SPARK2014 over Rust: field-proven legacy apps and a language spec tied to the tooling AND the compiler. A qualified compiler doesn't speak to the tooling built around it and how those need to be ti
77.
by eggy 1y ago
That's for automotive. We're shooting for a bunch of various relevant standards. There is no formal language spec. Who did that compiler? AdaCore's been around for a long time, so I am quick to use theirs if I were to chose R
78.
by eggy 1y ago
For my safety-critical automation software for a machine that will operate around people and overhead, I’m choosing Ada/SPARK2014. Its decades-long track record in high-integrity domains like aerospace, defense, and medical systems en
79.
by eggy 1y ago
Did you account for the paper band that wraps the 100 one-dollar bills? Not nitpicking, but you said you counted everything you could see. It should be between 0.002-0.004 in. thick, so each band per bundle is about 0.004 to 0.008 thick. Mi
80.
Ask HN: Safe Fundraising for Hardware Startup
2 points by eggy 1y ago|0 comments
81.
by eggy 1y ago
Great article! The excitement kind of ebbed early on with seeing the video and realizing it had a plate/weight on one face. "A few years later, the duo answered their own question, showing that this uniform monostable tetrahedron
82.
by eggy 1y ago
Great example, and telling of all the uses, mushrooms, and their ilk are being praised and touted as beneficial
83.
by eggy 1y ago
Article is three years old, and the fungi are not talking to us! I imagine the communication being a bit slow like the scene in the kids animated movie, Zootopia, where sloths work at the DMV..."P....L....E....A....S....E-------"
84.
by eggy 1y ago
I spent 6 months in Saudi in 2022 and 2 months in 2023, and I went to the UAE and did business with both countries. They've been on this wave like the world has. The UAE mandated AI education in their schools, are acquiring and trainin
85.
by eggy 1y ago
The less than 400k population is a good sample size, however, their main revenue comes from tourism, aluminum smelting, and fisheries, and they have a relatively large source of geothermal and hydropower with a very homogenous population (&
86.
by eggy 1y ago
Glad you found it. I've done much worse, believe me! If you have any questions check out the Google Groups (no Groups comments!) for Shen. I am eager to see the 5th edition, and I will probably buy the print version.
87.
by eggy 1y ago
Other than the online version (4th edition), I don't know of any other place to get it. Yes, the paperback was expensive, but I bought it anyway. It proved to be very informative and more substantive than I had thought. I believe the 5
88.
by eggy 1y ago
You're right: Shen's mathematical underpinnings (sequent calculus, dependent type theory) can intimidate programmers without a formal logic background. I bought the "The Book of Shen" (TBOS) revision 1 and revision 3. Re
89.
by eggy 1y ago
It's resolved. I helped support it for a brief time for the SP version, which is now integrated into the latest version. You're right though, that this put many people off.
90.
by eggy 1y ago
You should check out Shen[1]. It is a portable functional programming language. Optional type checking and it solves my affair with Lisp and Haskell. It is a Lisp. [1] https://shenlanguage.org/

More ›