daly

17 ms·

121.
by daly 3y ago
Thanks for the "all the work" complement. Despite all, it is more fun than work. Computer algebra algorithms are basically functions. Axiom is unique in that it organizes the functions based on a group theory scaffold. Thus you ca
122.
by daly 3y ago
Having experience with prior open source work I'm not likely to release the current effort until I'm much closer to completion. The whole idea of CAS and Proof has already generated a hostile reception from both areas in my emai
123.
by daly 3y ago
Tim Daly here... There were quite a few challenges before Axiom could be open sourced. NAG released the Axiom sources to me around that time. I gave an invited talk in Paris. There were many issues to solve. The primary one was that you nee
124.
by daly 3y ago
Tim Daly here... Axiom is alive, well, and under active development. The current effort is merging the LEAN [0] proof technology with the Axiom algebra. This involves some deep restructuring. The target result is proven algorithms, somethi
125.
by daly 3y ago
I have walked with coffee cups all my life. Coffee is almost my only drink. The only time I've spilled coffee was if someone bumped me or I bumped something. I've been doing it for over 60 years. One must not waste the elixir of l
126.
Could Google Bard Disrupt Universities?
5 points by daly 3y ago|8 comments
127.
by daly 3y ago
I have about 2000 hours of flight simulator time starting from when it first came out. I really miss Meigs field. I signed up for private pilot lessons. The first day with the instructor I did a walk around inspection, started the plane, ta
128.
by daly 3y ago
Nuke plants gradually deteriorate due to the neutron flux which causes atomic displacements in atoms. This is a particular problem in the containment vessel. Forty years of intense bombardment weakens the structure.
129.
by daly 3y ago
I taught COBOL while at grad school at UCONN. Methinks I'm getting old.
130.
by daly 3y ago
Cybertruck Superfan here... This whole essay is nonsense. The high demand implies a higher price (economics 101). Tesla is right to keep the price high until volume production kicks in. As for range. 340 miles is sufficient for most tasks i
131.
by daly 3y ago
It would be amusing to have a conversation between ELIZA and GPT.
132.
Build your own AI assistant from your library books
2 points by daly 3y ago|3 comments
133.
by daly 3y ago
It is certainly true that the parent can do both jobs. However the spawn is a much smaller model that can be in a smaller machine.
134.
Spawning AGI Systems
2 points by daly 3y ago|2 comments
135.
by daly 3y ago
My dad, Joseph J. Daly, was a civilian employee of the Coast Guard at the statioin near Wildwood Crest, N.J. Dad built, tested, and deployed a lot of the Loran transmitters. He delivered one to Iwo Jima during the second flag raising. Dad a
136.
Solar System Internet Architecture and Governance
1 points by daly 3y ago|1 comments
137.
Research Benchmark: Can NNs break cryptography schemes?
1 points by daly 3y ago|1 comments
138.
by daly 3y ago
The Crowd: A Study Of The Popular Mind by Gustave Le Bon https://www.files.ethz.ch/isn/125518/1414_LeBon.pdf
139.
Is Type Theory Turing Complete?
2 points by daly 3y ago|1 comments
140.
Lying: Moral Choice in Public and Private Life
1 points by daly 3y ago|0 comments
141.
by daly 3y ago
AAA study finds ADAS could save more than 8000 lives per year https://youtu.be/UVfDrivSm58?t=754
142.
by daly 3y ago
Autopilot avoided a crash: https://youtu.be/e_OCFBl1r7U?t=4540
143.
by daly 3y ago
Passenger compartment nearly intact after crash: https://youtu.be/e_OCFBl1r7U?t=3352
144.
by daly 3y ago
Kid ran in front of a Tesla: https://youtu.be/TzdXYn-nA74?t=219
145.
by daly 3y ago
Self-driving Uber death https://www.washingtonpost.com/nation/2023/07/31/uber-self-d...
146.
by daly 3y ago
To be clear I didn't "threaten" anything. I intended no threats. Calm down. Are you confusing ADAS with Full Self Driving? They are nowhere the same. An ADAS system, like my cruise control, won't stop for a school bus, f
147.
by daly 3y ago
System admin privilege #cp shutdown works on the real machine (unless the prefix is changed). I set the first virtual level system prefix to be !cp, second level to @cp, third level to $cp (look at the top of your number keys to see the seq
148.
by daly 3y ago
Your claim is that Tesla's failures are due to incompetence and malfeasance. To judge incompetence you need to be able to show what competent behavior is. Please be specific and clearly show what will, and HOW to, achieve competent beh
149.
by daly 3y ago
Incompetence and Malfeasance... You clearly believe you know of more effective safety engineering methods. Please enlighten us. I've only used cruise control on my non-electric car. The first thing I noticed is that I no longer needed
150.
by daly 3y ago
IBM 370 mainframe, 80+ programmers, running VM/370 which creates virtual machines, one for each programmer. I'm one of two systems programmers with "superuser" privs. In the virtual machine you normally ran CMS but you c

More ›