| ghostmansd[m] | https://thephd.dev/your-c-compiler-and-standard-library-will-not-help-you | 04:56 |
|---|---|---|
| ghostmansd[m] | I've just read it. The same bitching about C language as always. Again: these are C specifics, partly due to backward compatibility, partly due to performance, partly perhaps due to historical heritage. It's like complaining that WinAPI is a piece of an ugly crap (it indeed is, but for a number of reasons). | 04:58 |
| ghostmansd[m] | That said, perhaps the wording "bitching" is way too strict, since this author does explain it in quite a graceful way. | 05:00 |
| ghostmansd[m] | Actually, the whole narrative is good, I enjoyed the article, despite that the whole stuff was le secret de Polichinelle to me. | 05:02 |
| ghostmansd[m] | Thanks programmerjake! | 05:02 |
| ghostmansd[m] | BTW, this is kinda the blog I used to read about WinAPI, by Raymond Chen. The Old New Thing, IIRC. | 05:03 |
| Veera[m] | <lkcl> "i'm going to ask Veera to add..." <- Hi, any progress! | 08:05 |
| lkcl | yes please add cvc5 | 09:54 |
| lkcl | https://bugs.libre-soc.org/show_bug.cgi?id=835 | 09:54 |
| lkcl | please do not wait for other people to take action, there is too much to get done and not a lot of time | 09:54 |
| lkcl | also the two images here | 09:55 |
| lkcl | https://bugs.libre-soc.org/show_bug.cgi?id=839 | 09:55 |
| lkcl | Veera[m], also can you change SymbiFlow to point to the pull-request that programmerjake is waiting for? | 09:56 |
| lkcl | it's urgent that we not delay | 09:57 |
| lkcl | Veera[m], i've added you with write permissions to the yosys and symbiyosys repos | 10:00 |
| lkcl | ghostmansd, yeah he sounds like... how can i put it... a "reasonable and very comically amicable whiner". i put a lot of positive words on the front of the negative because normally whining is negative, but in this case he doesn't | 10:04 |
| lkcl | my reaction from knowing c for 30 years to all that is, ".... aaand??" | 10:04 |
| lkcl | what blows his assertions out the water is the execution speed. he didn't mention *at all* that it's the fastest executables in the world | 10:06 |
| lkcl | nor did he mention *at all* the existence of runtime and static checkers, free and paid, some of which are licensable for ten THOUSAND dollars | 10:07 |
| lkcl | there's a story in Neal Stephenson's "Snowcrash" about the code used for Telephone Exchanges | 10:08 |
| lkcl | newbs react in absolute horror for the first year of looking at it | 10:08 |
| lkcl | by the second year they're beginning to understand enough about the actual job that the code has to do | 10:08 |
| lkcl | finally only by the third *year* of working on the code are they actually competent enough to (a) understand why it's that complex and (b) not do any damage | 10:09 |
| Veera[m] | <lkcl> "yes please add cvc5" <- Separate Bug report than #835? | 11:52 |
| lkcl | Veera[m], if you like. up to you. | 12:26 |
| lkcl | i'm happy to add the extra budget to #835 | 12:52 |
| Veera[m] | <lkcl> "i'm happy to add the extra..." <- so, please ! | 13:17 |
| lkcl | Veera[m], done | 13:33 |
| ghostmansd[m] | > my reaction from knowing c for 30 years to all that is, ".... aaand??" | 14:16 |
| ghostmansd[m] | Yeah mostly same. Still this was not the usual bitching like "please stop using C and switch to Rust immediately" | 14:16 |
| ghostmansd[m] | So I kinda enjoyed that someone at least re-iterated something already obvious but at least chose the graceful way to do it. | 14:18 |
| Veera[m] | lkcl: ok. nice. | 14:18 |
Generated by irclog2html.py 2.17.1 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!