tmsr - Search: ada

bvt: i extended the examples to also show vpatches selected for presses (http://paste.deedbot.org/?id=8Hrq): would this make "leafs" not needed in your view?

bvt: ty. if you gzip the work directory and publish it somewhere i'll look into it as well. i also took a stab at indented flow output (http://bvt-trace.net/2020/02/vsh-parts-25-and-3-one-binary-ada-solver-and-ada-vfilter-implementation/#comment-150)

diana_coman: bvt: why does your vpatch cancel a line from the manifest? To my mind this doesn't quite make sense - if you want to revert to a previous point, that means simply branching the tree from a previous node so using *that* manifest, doesn't it?

feedbot: http://bvt-trace.net/2020/02/vsh-parts-25-and-3-one-binary-ada-solver-and-ada-vfilter-implementation/ << bvt's backtrace -- v.sh parts 2.5 and 3: one-binary Ada solver and Ada vfilter implementation

feedbot: http://bvt-trace.net/2020/02/vsh-part-2-ada-utilities/ << bvt's backtrace -- v.sh part 2: Ada utilities

ossabot: Logged on 2020-01-24 13:14:56 mod6: The howto document now requires that you have Ada on your environment before you build, and the builder will also need to build starter_v_2 first, before any other steps are to be completed.

mod6: The howto document now requires that you have Ada on your environment before you build, and the builder will also need to build starter_v_2 first, before any other steps are to be completed.

ossabot: Logged on 2020-01-22 18:06:39 bvt: dorion: the new v impl is written in a posix shell + awk + ada; the core algos in ada are perhaps too simplistic, but they work nicely so far; the eta is end of next week

bvt: dorion: the new v impl is written in a posix shell + awk + ada; the core algos in ada are perhaps too simplistic, but they work nicely so far; the eta is end of next week

diana_coman: fwiw I'd rather go with only c/cpp/ada in genesis and then if someone else wants fortran/whatevers, let them patch it on top.

mircea_popescu: ave1, it seems to me we probably want both c and c++ for systems reasons, portions of the kernel / toolset still are in c iirc ; and probably ada since we were doing work on it. fortran possibly not

asciilifeform: but again this is only interesting if one's building a '100% trb-compat' in e.g. ada.

ossabot: Logged on 2019-09-07 14:27:33 asciilifeform: mircea_popescu: i spent ~decade e.g. knowing about ada but avoiding cuz 'dun like'. it was stupid.

asciilifeform: mircea_popescu: i spent ~decade e.g. knowing about ada but avoiding cuz 'dun like'. it was stupid.

asciilifeform: re forth -- it's cemented in ANSI X3.215 (1994--current) (1st in 1980!), ISO/IEC 15145 (1997--current) . rather like ada, dead tree standard. and quite unlike e.g. python, php. ( and unlike cl , is actually possible to program in the lang as specified in the standard. )

snsabot: Logged on 2019-09-05 00:02:23 verisimilitude: I'm starting work on networking libraries in Ada; I've started with UDP; I'd appreciate receiving some thoughts on this package specification:

snsabot: Logged on 2019-09-03 20:36:55 asciilifeform: in principle could then have a mircea_popescu-style php reader, and e.g ada bot .

asciilifeform: ( the items which seem like exception -- e.g. gnat, where -- at least the ada part -- is almost readable -- to date were products of small group of actually organized effort , rather than 'esr's bazar' or whatnot )

asciilifeform: http://logs.nosuchlabs.com/log/trilema/2019-08-30#1932202 << ada imho is uniquely unsuited to 'munge 9000 strings' type of proggy. so not sure whether would ever want pg glue in it. any attempt to use, will be tremendously ugly

snsabot: Logged on 2019-08-30 04:12:47 spyked: http://logs.nosuchlabs.com/log/trilema/2019-08-29#1931955 <-- recall, /me already wrote a toy prototype as his introduction to ada. other than the fact that it looks noobish and requires work to integrate with the c-isms, writing logger on top of it would also require something along the lines of a. mod_adalisp and b. handling other wwwistic s

snsabot: Logged on 2019-08-29 21:09:24 asciilifeform: diana_coman: you'd need to bake pg glue for ada, there aint any

spyked: http://logs.nosuchlabs.com/log/trilema/2019-08-29#1931955 <-- recall, /me already wrote a toy prototype as his introduction to ada. other than the fact that it looks noobish and requires work to integrate with the c-isms, writing logger on top of it would also require something along the lines of a. mod_adalisp and b. handling other wwwistic s

asciilifeform fwiw suspects that most ada proggies dun even use preemptible threads -- they spawn N threads and they run until the warhead detonates..

diana_coman: given this, I seriously wonder if it can be much worse to make it in ada on top of all the gnat-mess including unbounded strings and gnat.sockets and everything else; at least the full gnat so far *is* more transferable

asciilifeform: when i 1st sat down to write it, thought 'ada', then realized that simply to make the necessary glue would take a year, and that's if did nuffin else.

asciilifeform: ^ was actually the 1st nontrivial proggy asciilifeform wrote in ada, just prior to picking up ffa

snsabot: Logged on 2018-10-25 22:14:23 asciilifeform: meanwhile, in gnat bugs : apparently ( and this is documented or mentioned nowhere ) : it is impossible to have a Ada.Finalization.Limited_Controlled type ANYWHERE inside a static library, unless it is generic all the way down (i.e. if the lib package is generic, any sub-packages must also be instantiated as generics )

asciilifeform: lobbes: but even there, i sat an' read e.g. 'programming of hell', got goin' with ada

snsabot: Logged on 2019-08-09 18:06:40 mircea_popescu: http://logs.nosuchlabs.com/log/trilema/2019-08-09#1926916 << more importantly seems poor fit ; ada's strengths not so valuable for logger either.

snsabot: Logged on 2019-08-09 15:19:37 asciilifeform: this is not to say that 'impossible to logotron in ada', but that result will be 1) gargantuan 2) ~unreadable 3) likely buggy despite herculean effort

mircea_popescu: http://logs.nosuchlabs.com/log/trilema/2019-08-09#1926916 << more importantly seems poor fit ; ada's strengths not so valuable for logger either.

snsabot: Logged on 2019-08-09 04:45:56 spyked: also, I guess there's also the fact that despite all its problems, there's a pile of CL code (e.g. hunchentoot, cl-irc) that works... very similarly to how wordpress does the job, despite its size and other warts. maybe Ada could also find similar pieces of code for Ada, but tbh I haven't looked... yet?

asciilifeform: could try to use ada's 'streams' model. but then must decide, how to represent ~all~ of the possible tcp hiccups.

asciilifeform: nao, a general-purpose strings-and-streams-munging script lang ~might~ be worth implementing in ada.

asciilifeform: i suspect the glue for pg alone (i.e. if pg disgorges eggog, to produce proper ada-compat. exception, rather than crash), not to mention utf8ism, would weigh like ten ffa's

bvt: true, but i don't find '80% of cl argument' too convincing; if want comfort, sure, use cl/python; want hard memory limits and gcc performance, can use ada, it won't be fundamentally dirtier (due to tcp and db stuff), just more boilerplate code

asciilifeform: but i strongly suspect that 'ada logtron' will consist mostly of non-humanreadable hex constants , and the pg glue will be eating null-termed c strings , and generally the result will not be a thing you 'would fly in it? i wouldn't walk under it!'(tm)(r)(h. hughes)

snsabot: Logged on 2019-08-09 12:37:27 asciilifeform: i strongly suspect that 'logtron in ada' would inescapably contain the proverbial 'buggy 80% reimplementation of common lisp'(tm)

asciilifeform: this is not to say that 'impossible to logotron in ada', but that result will be 1) gargantuan 2) ~unreadable 3) likely buggy despite herculean effort

bvt: tbh i would not mind attempting an irc bot in ada, but it seems more like leasure activity so far.

snsabot: Logged on 2019-08-08 17:02:10 asciilifeform: diana_coman: principal weakness of ada in re this problem set (at least the ada 'specified' by asciilifeform) is stringism handling

asciilifeform: i strongly suspect that 'logtron in ada' would inescapably contain the proverbial 'buggy 80% reimplementation of common lisp'(tm)

asciilifeform: http://logs.nosuchlabs.com/log/trilema/2019-08-09#1926692 << principal weakness (and strength! interestingly) of ada is the total lack of support for questionable legacy kludges .

spyked: also, I guess there's also the fact that despite all its problems, there's a pile of CL code (e.g. hunchentoot, cl-irc) that works... very similarly to how wordpress does the job, despite its size and other warts. maybe Ada could also find similar pieces of code for Ada, but tbh I haven't looked... yet?

asciilifeform: diana_coman: principal weakness of ada in re this problem set (at least the ada 'specified' by asciilifeform) is stringism handling

diana_coman: ultimately sure; currently I don't know; I even sketched quickly an Ada thing - main trouble though is lack of proper db interface (and otherwise relying on GNAT.Sockets and therefore the whole strand of streams etc)

mp_en_viaje: asciilifeform, that might be an argument for ada. but not for lisp. lisp comes with interpreter costs etc.

asciilifeform: mp_en_viaje: at one time in '17 asciilifeform tried hand at writing basic ada www server. ended up burning it all. because ended up looking quite like 'hunchentoot', and quite evidently 'water took the shape of the bottle', i.e. inescapably

diana_coman: http://btcbase.org/log/2019-07-17#1923053 - funnily enough not even *just* the playing; kid pleaded and asked so in the end got him through ~20 lines of Ada doing a little "guess the number" text-game and he's more hooked to mess around with it than with heroes because obv "can look inside" ☝︎

a111: Logged on 2018-10-26 02:14 asciilifeform: meanwhile, in gnat bugs : apparently ( and this is documented or mentioned nowhere ) : it is impossible to have a Ada.Finalization.Limited_Controlled type ANYWHERE inside a static library, unless it is generic all the way down (i.e. if the lib package is generic, any sub-packages must also be instantiated as generics )

bvt: well, building is actually trivial -- sed 's/aarch64 x86_64/x86_64 mipsel-sf/' build-ada-arm64.sh > build-ada-mipsel.sh ; i'll do a post about this, but this'd be all the technical meat in it

asciilifeform: ftr ada's 'gprbuild' is the 1st 'make'-like automator asciilifeform ever used that he did not want to throw against the wall erryday

asciilifeform: ( consider, e.g., the 'ada-sockets' horror of 'abstraction' replaced in the udp lib )

diana_coman: http://btcbase.org/log/2019-06-14#1918191 -> the q being ofc if the existing "abtractions" really help much or just make it even harder; a sort of C/CPP thing rather than Ada thing. ☝︎

diana_coman: (re files and access time I need to look if I can get it, hopefully, via Ada.Directories)

diana_coman: from my pov I'm fine to switch perspective and go then with this approach, so basically there are no "client/cpp demands" anything since Ada-part directly handles it on the principle "if I saw it and it's not there, then I'll ask for it"; how is any limit re space or anything of the sort to be defined and handled in this case?

a111: Logged on 2019-05-22 11:34 stjohn_piano_2: http://btcbase.org/log/2019-05-17#1914395 << from logs + mocky's "why ada", i understand some of the technical merits of ada. however, my perception of the current job market is that trying to make a living at ada leads directly to a hardware sharashka.

a111: Logged on 2019-05-17 14:35 asciilifeform: http://btcbase.org/log/2019-05-17#1914368 << consider ada. ( ffa series imho makes a decent ada tutorial, and so does diana_coman's series )

stjohn_piano_2: http://btcbase.org/log/2019-05-17#1914395 << from logs + mocky's "why ada", i understand some of the technical merits of ada. however, my perception of the current job market is that trying to make a living at ada leads directly to a hardware sharashka. ☝︎☟︎

asciilifeform: observe that it was not asciilifeform who devised e.g. ada. it came from the (nao mostly dead) world where this kinda thing was understood .

asciilifeform: somewhere i had paper spec (nominally!) for just css. it weighed moar than ada spec .

asciilifeform started by taking the included 'ada mode' and modifying. but thing seems to choke on the single-character keywords of peh

a111: Logged on 2019-02-05 21:05 diana_coman: speaking of Barnes' Ada book: it IS very useful and I certainly do go back to it quite often still for all sorts but it still has at times such ideas that I can't stand; e.g. "The reader will probably feel that the activation mechanism is somewhat elaborate. However, in practice, the details will rarely need to be considered. They are mentioned in order to show that the mechanism is well defined rather than because of their everyday import

asciilifeform: meanwhile in entirely unrelated lulz, asciilifeform came across a 1984 edition of barnes's ada at flea market , and it's ~pocket-sized . i suspect that if one were to write a 'tmsr ada' dead tree, would look ~similar roughly ☝︎

a111: Logged on 2019-04-30 14:22 asciilifeform: http://btcbase.org/log/2019-04-30#1910209 << this is a solvable problem -- given a) lang that actually supports modularization ( ada & common lisp, afaik, being the only such currently ) ; b) mandatorily compact system soft (i.e. specifically opposed to mil+ loc of liquishit c) generous public whippings for 'the dancers who are hindered by own arse'

asciilifeform: http://btcbase.org/log/2019-04-30#1910209 << this is a solvable problem -- given a) lang that actually supports modularization ( ada & common lisp, afaik, being the only such currently ) ; b) mandatorily compact system soft (i.e. specifically opposed to mil+ loc of liquishit c) generous public whippings for 'the dancers who are hindered by own arse' ☝︎☝︎☟︎

a111: Logged on 2019-04-25 21:40 asciilifeform: even positing pc iron and mircea_popescu's 'why not at least rewrite os in ada' , it isn't clear to me why you'd want to keep e.g. unix's retarded process model ( where process cannot , say, propagate an ada exception for sane eggog handling, but is stuck dying and returning numeric barf code ) if you do such thing.

asciilifeform: even positing pc iron and mircea_popescu's 'why not at least rewrite os in ada' , it isn't clear to me why you'd want to keep e.g. unix's retarded process model ( where process cannot , say, propagate an ada exception for sane eggog handling, but is stuck dying and returning numeric barf code ) if you do such thing. ☟︎

a111: Logged on 2019-04-24 14:36 mp_en_viaje: http://btcbase.org/log/2019-04-23#1909529 << the idea isn't to get tcc to compile ada. the idea is to destroy gcc -- cut the "useful compilation half" into an ada compiler ; cut the shitlands compilation half into a small weight something else. there is no republican future for gcc as a gcc in the foss / linus-stallman sense of the term.