500+ entries in 0.056s
jfw: Um. And
ada, sql, patch, lisp, python... ~everything not C-like ?
mp_en_viaje: -- works in
ada and there alojne, and so the fuck on.
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?
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
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
trinque: ave1: I have zero use for anything other than c, c++,
ada.
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: i really don't see the problem with taking anything besides c/cpp/
ada out
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
ave1: Also, which languages to keep? c/c++/fortran/
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.
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 .
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
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
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 )
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
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?
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
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)
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
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?
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?
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.
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
ave1: btw I've *not* used the
ada core version as a starting point for about a year now
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?
mp_en_viaje: it's clear, one's in c the other in
ada, yes.
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.
mp_en_viaje: you could just fix that thing, from description it's also broken for
ada ?
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
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'
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.
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.