| 00:43 |
feedbot |
http://fixpoint.welshcomputing.com/2021/jwrd-logs-for-Jun-2021/ << Fixpoint -- #jwrd Logs for Jun 2021 |
| |
~ 4 hours 21 minutes ~ |
| 05:04 |
feedbot |
http://verisimilitudes.net/2021-05-31 << A Syndication of Verisimilitudes -- Implementations of Grade |
| |
↖ |
| |
~ 10 hours ~ |
| 15:04 |
asciilifeform |
$ticker btc usd |
| 15:04 |
btcinfobot |
Current BTC price in USD: $36564.53 |
| 15:05 |
asciilifeform |
!w poll |
| 15:05 |
watchglass |
Polling 17 nodes... |
| 15:05 |
watchglass |
84.16.46.130:8333 : Could not connect! |
| 15:05 |
watchglass |
205.134.172.4:8333 : (172-4.core.ai.net) Alive: (0.024s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=685811 |
| 15:05 |
watchglass |
185.163.46.29:8333 : Could not connect! |
| 15:05 |
watchglass |
205.134.172.6:8333 : (172-6.core.ai.net) Alive: (0.082s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Return Addr=0.0.0.0:8333 Blocks=685345 |
| 15:05 |
watchglass |
54.39.156.171:8333 : (ns562940.ip-54-39-156.net) Alive: (0.112s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=685811 |
| 15:05 |
watchglass |
108.31.170.100:8333 : (pool-108-31-170-100.washdc.fios.verizon.net) Alive: (0.109s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=685811 (Operator: asciilifeform) |
| 15:05 |
watchglass |
205.134.172.26:8333 : Alive: (0.142s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Return Addr=0.0.0.0:8333 Blocks=685554 |
| 15:05 |
watchglass |
192.151.158.26:8333 : Alive: (0.144s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=685811 |
| 15:05 |
watchglass |
205.134.172.28:8333 : Alive: (0.084s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Return Addr=0.0.0.0:8333 Blocks=685811 (Operator: whaack) |
| 15:05 |
watchglass |
143.202.160.10:8333 : Alive: (0.283s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=685811 |
| 15:05 |
watchglass |
208.94.240.42:8333 : Alive: (0.214s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=685811 |
| 15:06 |
watchglass |
54.38.94.63:8333 : Violated BTC Protocol: Bad header length! |
| 15:06 |
watchglass |
103.36.92.112:8333 : Violated BTC Protocol: Bad header length! |
| 15:06 |
watchglass |
24.28.108.235:8333 : Busy? (No answer in 100 sec.) (Operator: trinque) |
| |
~ 1 hours 48 minutes ~ |
| 16:54 |
asciilifeform |
http://logs.nosuchlabs.com/log/asciilifeform/2021-06-01#1038042 << verisimilitude may find it interesting that asciilifeform has never yet used ada's extended lib ( e.g. Ada.Containers ) ; |
| 16:54 |
snsabot |
Logged on 2021-06-01 01:01:26 feedbot: http://verisimilitudes.net/2021-05-31 << A Syndication of Verisimilitudes -- Implementations of Grade |
| 16:55 |
asciilifeform |
when investigated these libs, found that nearly all of them require enabling objectionable features in the compiler, e.g. secondary stack |
| 16:55 |
asciilifeform |
... in the process defeating, imho, much of the win from using ada |
| 16:56 |
* |
asciilifeform ended up rewriting several items supposedly available as built-ins, for, largely, this reason -- mmap, sockets, in particular |
| |
~ 1 hours 16 minutes ~ |
| 18:13 |
verisimilitude |
I considered it a training exercise. When using the code in the final program, I may nedd to modify it to, for example, work on any sequence, not merely arrays. |
| 18:14 |
verisimilitude |
It's bizarre Ada 2012 was apparently the first to provide a predefined sorting subprogram. |
| 18:14 |
asciilifeform |
verisimilitude: most of the 'high level' stuff apparently came in w/ 2012. |
| 18:15 |
verisimilitude |
I don't see the issue with the secondary stack, but also don't know too many details; be it a good idea, merely handicapped by modern ways? |
| 18:15 |
asciilifeform |
verisimilitude: i won't even say it's entirely inedible. simply not suited for ffa. |
| 18:15 |
asciilifeform |
verisimilitude: it makes binary auditing quite difficult. |
| 18:15 |
asciilifeform |
(keeping track of 1 stack is hard enuff) |
| 18:16 |
verisimilitude |
I intend to play with one other container feature, soon enough. |
| 18:16 |
asciilifeform |
adds gnarly runtime support code, too. |
| 18:17 |
asciilifeform |
for verisimilitude's applications, might not matter. |
| 18:17 |
verisimilitude |
Yes. |
| 18:17 |
verisimilitude |
Ada is a language that has taught me many things. |
| 18:18 |
asciilifeform |
outta curiosity, what things ? |
| 18:20 |
verisimilitude |
When writing this, as an example, I almost didn't use Ada.Strings.Bounded, because I thought it would be wasteful, but realized how stupid that was. |
| 18:21 |
asciilifeform |
verisimilitude: i went to great lengths to avoid using it. because, again, forces 2nd stack. |
| 18:21 |
verisimilitude |
Explaining everything learned would take me too long. |
| 18:21 |
verisimilitude |
I didn't know that. |
| 18:21 |
asciilifeform |
verisimilitude: how about 1 thing |
| 18:22 |
verisimilitude |
I learned about proper segmentation and whatnot, was the meaning. |
| 18:23 |
verisimilitude |
I care less about my programs in GNAT, and more about them in principle, so whatever GNAT does bothers me not. |
| 18:24 |
asciilifeform |
verisimilitude: if 100% dun care whether proggy runs -- may as well go into pure maths |
| 18:24 |
verisimilitude |
I want reliable programs in Ada, and the secondary stack doesn't seem like it will bother that much. |
| 18:25 |
asciilifeform |
verisimilitude: all depends on your understanding of what means 'reliable'. |
| 18:25 |
verisimilitude |
Controlling allocations is one aspect. |
| 18:26 |
verisimilitude |
The reliability of ``If it initializes properly, it runs.'' seems about the best one can get under GNU/Linux. |
| 18:27 |
asciilifeform |
depends what means 'runs'. |
| 18:28 |
verisimilitude |
I'm ignoring the OOM killer here. |
| 18:28 |
asciilifeform |
for safety-critical applications (will ignore for the time being the fact that for these, code gotta be portable to naked irons, and not dependent on linuxen) gotta be able to show that the compiled bin behaves ~exactly~ as specified by the src |
| 18:28 |
asciilifeform |
(among other reqs) |
| 18:28 |
verisimilitude |
Anyway, my point is I don't treat GNAT like the only option, even though it effectively is. |
| 18:29 |
asciilifeform |
verisimilitude: there's a paper standard, which allows one to pretend this. (is still a pretense, however) |
| 18:29 |
verisimilitude |
They use SPARK for that, and even SPARK isn't total. |
| 18:29 |
asciilifeform |
spark has serious problems (bloat; disallows recursion; others) |
| |
↖ |
| 18:30 |
verisimilitude |
There's a program to determine the maximum memory usage of a SPARK program, as an example. |
| 18:30 |
asciilifeform |
also says absolutely nothing re the binary. |
| 18:30 |
asciilifeform |
for that, need manual audit, in all cases. |
| 18:30 |
asciilifeform |
(concern of binary audit is not only malicious, but simply buggy behavious on part of the compiler.) |
| 18:30 |
asciilifeform |
*behaviours |
| 18:31 |
verisimilitude |
Well, I just happen to have custom machine code tooling, don't I? |
| 18:31 |
asciilifeform |
verisimilitude: considering a gnat backend port to your arch? |
| 18:32 |
verisimilitude |
No. |
| 18:33 |
asciilifeform |
so how relates to thread ? |
| 18:34 |
verisimilitude |
I suppose I just like mentioning it sometimes. |
| 18:34 |
asciilifeform |
lolk |
| |
~ 58 minutes ~ |
| 19:32 |
verisimilitude |
I've learned why I'd issues with the case of the empty array, and may change that article a tad soon. |
| 19:33 |
verisimilitude |
Put simply, an empty array could have an index which violates the constraints, but works because it's empty. |
| 19:34 |
verisimilitude |
My preferred fix would reach into the base type to nicely avoid this. |
| |
~ 1 hours 27 minutes ~ |
| 21:02 |
verisimilitude |
I still use far too much force with my chording keyboard; say, asciilifeform, is it normal to have a sore arm after prolonged MicroWriter usage? |
| 21:02 |
asciilifeform |
verisimilitude: i don't recall attempting for >15min at a time. so cannot usefully comment. |
| 21:02 |
asciilifeform |
verisimilitude: in general, if sore -- you overdid sumthing. |
| 21:06 |
verisimilitude |
Yes. I type quite a bit. |
| 21:09 |
verisimilitude |
I try to spread it out, but still face long sessions. |
| 21:10 |
verisimilitude |
Still, I could be abusing my body in worse ways. |
| 21:12 |
verisimilitude |
Perhaps sitting it on something flat on my lap, rather than directly, will help. |