Show Idle (>14 d.) Chans


← 2022-06-02 | 2022-06-04 →
00:03 verisimilitude As figured.
~ 6 hours 28 minutes ~
06:32 punkman https://blog.adacore.com/adacore-and-ferrous-systems-joining-forces-to-support-rust
06:32 punkman "joining forces to develop Ferrocene - a safety-qualified Rust toolchain, which is aimed at supporting the needs of various regulated markets, such as automotive, avionics, space, and railway."
06:34 punkman big wtf
~ 7 hours 45 minutes ~
14:19 asciilifeform punkman: adacorpse looong ago went to the dogs.
14:19 dulapbot Logged on 2022-06-02 19:43:08 asciilifeform: verisimilitude: fwiw asciilifeform tuned outta 'new gnat' when it went gcc5+
~ 31 minutes ~
14:51 punkman https://pbs.twimg.com/media/FURHdBOWUBENMMV?format=jpg&name=4096x4096
~ 32 minutes ~
15:24 phf re adacore, there was a handful of clear moments when it became obvious that the stack is gnarly. i believe it was the c ffi and the outright broken arm task management, after that use of ada continued, but with a "i guess it's better than c" sentiment.
15:27 asciilifeform phf: what in yer pov is wrong w/ the c ffi? imho worx a++ ( e.g. )
15:28 * asciilifeform for one has no intention of ever again publishing ab initio c-isms, other than as glue for ada proggies
15:33 phf i don't remember the details, but c string interop (or generally memory region, and there's 2 or 3 different methods of doing) was broken in various subtle ways. it took me and diana some work to get ada to move bits between in a realiable way, and we've arrived at two different solutions. and i remember looking at hers and reflecting that /i/ had same approach not delivering reliable results
15:34 asciilifeform a, strings
15:35 phf considering that e.g. vtools slings a lot of text bytes between c and ada…
15:36 asciilifeform phf: iirc similar enuff to the problem of commonlisp <-> c stringism
15:36 asciilifeform but with the diff. that no one baked a reusable 'final solution'
15:37 phf commonlisp in this case doesn't suffer from having a standard that mandates 2 or 3 independent solutions
15:39 phf i think that c string interop is an example of "the ada way", which is that you'd have an interface, that is The Proper Way of Doing Things, that never the less does not somehow correspond to reality. so it'll have a parameter flag Enable_Foo_Bar=True Enable_Buz_Qux=True, and such that tries to accomodate the pesky reality. but despite the flags the solution is still not quite right, so a second interface is developed, that is less
15:39 phf ada-ish but more accomodating. both approaches are then standardized, making e.g. independent implementation of ada spec past 83 near impossible.
15:41 phf and ftr your approach to this problem is to go "i'm going to use a very small subset of ada and roll my own libs from first principles", which works decent when you're bit twiddling on dealing with a lot of bedrock problems. something like vtools, which is systems and libs heavy (file access, c interop, slinging text, etc) benefits from a decent library, but also exposes one to the fact that ada library is perhaps not quite "decent" as
15:41 phf one would've hoped
~ 20 minutes ~
16:02 phf http://logs.nosuchlabs.com/log/asciilifeform/2022-06-03#1104596 << i wouldn't be that dismissive of "c stringism", the subset of problem where you translate a native string to a null terminated foreign string is easily solvable, and both lisp and ada have that covered. the problem in general is "given a heap memory region how to access its contents from native"
16:02 dulapbot Logged on 2022-06-03 11:34:15 asciilifeform: phf: iirc similar enuff to the problem of commonlisp <-> c stringism
16:08 asciilifeform phf: fwiw asciilifeform quite dissatisfied w/ the ada lib, and in particular with string handling ( esp. the aspect where ~any nontrivial string manipulation req's the 2ndary stack to be enabled )
16:09 asciilifeform phf: re heaps, there's an engineering tension there, the ada people (for imho good reason) supported arbitrarily programmable custom allocators w/ multiple heaps; this obv. makes for trickier interop
16:11 * asciilifeform 'solved' by simply making errything live on stack; then implemented transparent mmapism for what couldn't live on stack; but after this went deeply into salt mines and not baked ~anyffin in long time
16:13 asciilifeform phf: re nulltermed strings -- obv. they are 'found in nature' and currently folx forced to live with'em, but imho they're a braindamaged concept and all 'solutions' for interfacing'em to sane systems inevitably dirty
16:18 asciilifeform http://logs.nosuchlabs.com/log/asciilifeform/2022-06-03#1104600 << there supposedly were independent reimplementations, but given that all were commercial goldentoiletware, asciilifeform cannot comment re: quality
16:18 dulapbot Logged on 2022-06-03 11:37:04 phf: ada-ish but more accomodating. both approaches are then standardized, making e.g. independent implementation of ada spec past 83 near impossible.
16:18 dulapbot Logged on 2022-01-29 14:18:15 asciilifeform: this was 'aonix', ftr.
16:20 asciilifeform 'large' langs with >1 working implementation are, asciilifeform suspects, a 'lost technology' from the golden age. (and e.g. c/cpp aint one such, given as one cannot actually program in'em as laid out in the standard -- witness the pile of gcc-specific macros in virtually any nontrivial systems proggy)
16:22 asciilifeform sumthing the size of e.g. r4rs scheme -- can have >1 compat. implementation. larger -- questionable imho
16:28 asciilifeform re: marching variably-sized (and of size not known apriori) items into/outta ada proggy, possible relatively cleanly via custom streams, illustrated by asciilifeform e.g. here
16:29 asciilifeform ^ similar to commonlisp approach
16:30 asciilifeform ... interestingly, does not require the heap, as ada permits instantiation on stack of variably-sized arrays, 'discriminated records', etc.
16:35 asciilifeform imho remains the case that 'slinging text' is ~the~ weak point in off-the-shelf ada. ( if only the folx who wrote the standard had thought to make the internal snobol (yes) actually exposed to user... or, hell, embeded a scheme... )
16:37 asciilifeform ... instead, they shat out a pile of questionable hacks which ~all demand the 2ndary stack thing (which bloats runtime and makes auditing of binary rather tricky proposition)
16:39 * asciilifeform 's 'official position' to this day -- if somehow suddenly appears a replacement for ada which actually meets asciilifeform's reqs -- would use !
16:39 asciilifeform not imho likely, tho. ada is an artifact of a long-gone era .
~ 27 minutes ~
17:07 phf would like an oberon or (turbo pascal vintage '94) pascal sized take on ada, there's a sane core of typed constrained arrays and such in there, but i suspect that core is barelly larger than oberon. for the sake of the argument will concede maybe common lisp sized take with various core extensions like streams and tasks.
17:19 phf http://logs.nosuchlabs.com/log/asciilifeform/2022-06-03#1104608 << that's really only a small part of problem. you have a region of memory, knowing where it starts and where it ends is only part of problem. you also want to represent it with a native type, make it fit into language's grammar, which is also related to the memory region's contents. if your native string is utf-32, but region is utf-8, you're now forced to do conversion,
17:19 phf etc.
17:19 dulapbot Logged on 2022-06-03 12:11:25 asciilifeform: phf: re nulltermed strings -- obv. they are 'found in nature' and currently folx forced to live with'em, but imho they're a braindamaged concept and all 'solutions' for interfacing'em to sane systems inevitably dirty
17:20 asciilifeform phf: asciilifeform suspects that 'size of ada' is on acct of the thing 'trying to be os' -- e.g. the 'tasks' thing. could hypothetically jettison the 'heavy', but then would have to live with ~moar~ rather than less unix glue for nontrivial proggies
17:21 asciilifeform phf: utfism is a plague errywhere, rather than only in ada planet, tho
17:22 asciilifeform re: 'fit external item into native type', the obv. solution -- when the thing actually maps to a possible native type, or can be 'interface'-d, obv. -- is the 1 in 'cryostat'.
17:28 asciilifeform re hypothetical 'lightening' of ada -- nontrivial : e.g. if you want to keep streams, then gotta retain the object system, which afaik is large % of the 'bulk'
17:28 asciilifeform along with 'tasks'
17:29 * asciilifeform found himself unequal to the job of figuring out what could be meaningfully cut while still able to write a proggy like e.g. nqb in the thing
17:34 * asciilifeform willing to at least consider the notion that ada 'is the right size', from sufficient real world experience of actual field use. and imho the pheature where one can disable unused components and actually lighten the binary is a++, and imho unique
17:40 phf hard for me to argue "too big" considering that i'm a common lisp programmer :>
17:41 * asciilifeform ftr also was never able to shake the notion that 'too big'. re cl also
17:41 asciilifeform but when sat down and 'what can cut?' errytime turn up 'nuffin substantial'
17:41 asciilifeform so forced to consider hypothesis that in fact 'is right size'
17:49 verisimilitude I agree. Learning and using Ada isn't noticeably more difficult than with Common Lisp; in both cases, ignoring things is the solution. It's not as if, say, UNWIND-PROTECT stops working in some edge cases, unlike the edge cases of other languages.
~ 17 minutes ~
18:06 verisimilitude http://logs.nosuchlabs.com/log/asciilifeform/2022-06-03#1104599 I've never had this impression of Ada; it reads more like the UNIX and C language way of doing things.
18:06 dulapbot Logged on 2022-06-03 11:37:04 phf: i think that c string interop is an example of "the ada way", which is that you'd have an interface, that is The Proper Way of Doing Things, that never the less does not somehow correspond to reality. so it'll have a parameter flag Enable_Foo_Bar=True Enable_Buz_Qux=True, and such that tries to accomodate the pesky reality. but despite the flags the solution is still not quite right, so a second interface is develop
~ 3 hours 20 minutes ~
21:26 punkman https://federalnewsnetwork.com/air-force/2022/05/this-tiny-vendor-got-a-big-air-force-contract-and-defied-the-odds/
21:30 punkman was reading chat of a random p2p thing, "ah yeah Ditto, they have a billion dollar contract with US mil"
21:39 verisimilitude What are the odds they've read the Pest specification?
21:39 asciilifeform verisimilitude: 0
21:40 verisimilitude Probably, yes.
21:40 asciilifeform it aint as if p2p nets were somehow new
21:40 asciilifeform dafuq was arpa to begin with, lol
21:40 verisimilitude Sure, but most assholes don't know anything nowadays.
21:41 asciilifeform 'And so it’s a Small Business Innovation program that is designed to connect commercial companies like ditto and bring them into the government' << asciilifeform had done time in the 'sbir' racket, and knows the (obv) fact that it has 0 do do w/ anyffin other than political connections
21:41 verisimilitude Why mine salt in private enterprise when mining salt in government and military seems so much more lucrative, asciilifeform?
21:42 asciilifeform was aboutta answer, lol
21:42 verisimilitude Oh, nevermind.
21:42 asciilifeform verisimilitude: 'favoured son' can sell arbitrarily old wine in arbitrarily minimal 'new bottle' for $maxint
21:42 asciilifeform plebe -- can generally 'eat shit & die'
21:42 verisimilitude The word ``nepotism'' is related to the latin word for grandson.
21:43 asciilifeform indeed
21:43 verisimilitude I don't know, would being officially Ukrainian help?
21:43 asciilifeform nope
21:43 asciilifeform 'We have edge software, that would be licensed, but there is also a cloud component for the analysis part as well' << lol, wtf 'cloud' doing in a supposedly p2p proggy??
21:44 verisimilitude Oh, so the military doesn't play that game, then.
21:44 asciilifeform verisimilitude: nah, the only 'ethnic' that actually helps to be is homo harvardicus
21:44 asciilifeform all others 'nigger'
21:46 asciilifeform verisimilitude: their salt mines are nuffin to write home about -- ~same wage as errywhere else ( the yachters keep ~all of the $maxint , like errywhere else ) + megatonne of idjit bureaucratic shit to eat ( e.g. if you get 'crowned' as 'secret', fughet about working remotely or traveling , etc )
~ 22 minutes ~
22:09 thimbronion tru ^
~ 31 minutes ~
22:40 mats who needs p2p when you have aws
22:42 shinohai mats: you forgot the (tm) (r) (ethereum)
22:48 verisimilitude It's really disheartening to see stores unable to run without an Internet connection.
← 2022-06-02 | 2022-06-04 →