daly

26 ms·

241.
by daly 4y ago
https://en.wikipedia.org/wiki/Axiom_(computer_algebra_system... This is (most of) the source code for Axiom. The code is extracted from the latex for these pdfs.
242.
by daly 4y ago
Oh my... Does anyone remember Cobol? Pascal? How about Prolog (the 5th gen language)? Standard ML? and now Rust. Compilers are a dying technology. Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022) ( https://www
243.
by daly 4y ago
TeX and Literate Programming (and Lisp) are my fundamental, day-to-day tools. Code it, explain it, generate a Literate PDF containing the code. The programming cycle is simple. Write the code in a latex block. Run make. The makefile extract
244.
Ask HN: Proof Irrelevance and De Morgan's Laws
2 points by daly 4y ago|0 comments
245.
by daly 4y ago
Bias? My college / grad school education is not from top-tier schools. However, I've watched dozens of online courses taught by CMU/MIT/Stanford/Cornell/etc. There is a huge quality difference between my educat
246.
by daly 4y ago
It's the 400 hours I'm looking forward to.
247.
by daly 4y ago
Use meshtastic and an ESP32 wired to the detector.
248.
Missing Birds? (Western Pennsylvania)
3 points by daly 4y ago|2 comments
249.
by daly 4y ago
I tried this. I bought a hydrogen-powered fuel cell. There are some things you need to know: Hydrogen makes steel brittle. Hydrogen WILL leak through any joint you make. Hydrogen flame is invisible. You can't feel it when you are next
250.
by daly 4y ago
I'd love to get my hands on one. My first use would be to sort, catalog, and shelve my books.
251.
Elon Musk and Joe Engelberger
1 points by daly 4y ago|0 comments
252.
by daly 4y ago
I already have experimented with multiple FPGAs and a big FPGA. I'm looking into ideas like "push learning into the fingers". For example, when you learn to type you gradually move a computed action (finding the right key) in
253.
by daly 4y ago
At CMU I worked on the problem of human/robot cooperation to change a car tire. I wish I had such a robot for such an experiment.
254.
Multiple FPGAs on a Board
2 points by daly 4y ago|2 comments
255.
by daly 4y ago
That's a really sweet piece of hardware, definitely out of my price range and, unfortunately, not supported by open source. Thanks for the pointer.
256.
Ask HN: Multiple FPGAs on a Board?
2 points by daly 4y ago|2 comments
257.
by daly 4y ago
Marjorie seems unaware that members of congress have staff. The staff would know what is in the bill and would inform their congress person about items that might be of concern. The quality of the staff work determines how well informed and
258.
by daly 4y ago
I was one of two people in the Unimation research department. I worked on problems like developing those car welding robots you see everywhere. The Unimate was hydraulic. It had a normal working weight at full length of about 400 pounds. It
259.
by daly 4y ago
I use a "heap" data structure :-)
260.
by daly 4y ago
I love your comment that " meta-metaphysics is the analogue of paranoia in philosophy." I might have to carve that into my table.
261.
by daly 4y ago
Which is fine until someone changes the C++ struct definition. This 'non-local' change affects the semantics of your code. Lisp's CAR definition is unaffected by non-local changes. You can think in any language but as noted b
262.
by daly 4y ago
A large portion of my (non-lisp) time is taken up because someone changed a language. What used to compile no longer does. Take, for example, Python. A large codebase in 2.7 needs to be ported to Python3 because a customer has a Python3 lib
263.
by daly 4y ago
Humor, which seems to exist only in the mind of the listener.
264.
by daly 4y ago
SF should buy it to house the homeless. They could train/employ people to maintain the ship. Leave it permanently docked.
265.
by daly 4y ago
I've started reading Bertrand Russell. In your 20s, questioning whether the table exists is a search for wisdom. In your 70s, it is a sign of dementia. (Philosophy): Does the table exist? ... We can only admit sense data. (Quantum): Do
266.
by daly 4y ago
Perfect timing (pum)... I just bought an Xilinx Pynq Z2. Thanks.
267.
by daly 4y ago
My C code from last century fails to compile due to changes in "more secure function definitions". C++ changes "the standard" every couple years. When someone tells me they "know" C++ I have to ask which "
268.
by daly 4y ago
Slightly related... I worked at IBM on Lisp projects (pre- and post- Common Lisp), most notably on Axiom, a computer algebra system in Lisp, which is now free software. This was all pre-internet. On request I would create a "tape"
269.
by daly 4y ago
I work in a room with no windows. It turns out that my natural cycle is a 27 hour day. So my "work time" slowly shifts around the clock.
270.
by daly 4y ago
I prototype in Common Lisp (described as "clay for the mind"). This gives a clear, standards-defined, prototype. Then I hand-translate it to C, usually without bugs since every function has a well-defined specification. The key is

More ›