1600+ entries in 0.475s
mod6: <+mircea_popescu> mod6 possibly not aptgetting a binary but instead building source may fix it for you ? << yeah, this is always a bad idea. only reason i did it, was to get an
ada env stood up quickly. i had a super weird problem on the first environment that I tried on. the gnat version didn't match the gcc version and was getting like non-determinstic errors.
mod6: <+asciilifeform> mod6: not the problem. my thing builds on both adacore's and trad gnu gnat. << yeah not sure what the problem is. it's a binary installation of gnat via apt-get, so that, i'm sure is part of the issue. however, it works better than the first
ada configuration that I had, which, didn't work at all.
mod6: ah,
Ada was Lord Byron's daughter
phf: i think a good exercise is to rewrite one of the existing c machine subtrates from cmucl or sbcl in
ada. but left for another lifetime
phf: bulk of
ada code i've seen so far is very much workingmen code, cobol like stuff from the belly of industrial facilities
phf: well, problem is that there doesn't seem to be much in terms of tasteful
ada code available to public. with common lisp you can go to mid-90s and before and you start getting some very reasonable works, worthy imitation.
phf: fwiw it invalidate your thesis that
ada is hipster proof
phf: another amusing point for how little it does AND assisted by both
ada and spark they still manage to introduce 3 "mistakes"
mod6: so recently, i've done some multi-d array programming in
ada..
mod6: im ~starting~ to get the hang of this
ada stuff.
mircea_popescu: sina write it in
ada, that'll really put a bee in his bonnet.
sina: asciilifeform: btw I was going to ask you about your feelings on this
https://github.com/cforler/Ada-Crypto-Library ...obviously hasn't been impl for constant time/space but regardless. may be possible to ctgrind it using that valgrind patch I linked in the logs
shinohai: btw mod6 .... I failed with the
Ada/Gentoo thing the other night. Back to reading I suppose.
shinohai: !~later tell mod6 New makefiles test went smooth ... If you aren't head-banging over
Ada I have question regarding Vim setup when you have time.
trinque: entirely worthwhile, for when one of us is next going through the
Ada march.
mod6: (18:32) <+asciilifeform> sure does, see
ada spec
phf: (500 lines of
ada later...)
sina: I looked again through asciilifeform bignum lib in
Ada ben_vulpes: but proposed is not to exhume dos but run an
ada os thinger?
mod6: speaking of
ada stuff. i did get horsecocks to compile just fine with the changes that were discussed previously with diana_coman
☟︎ ben_vulpes: asciilifeform: well, a) being lighthearted but b) the
ada stuff?
sina: it'd be a lot more than 600 lines of
ada that's for sure :P
sina: will it be
ada this time?
diana_coman: asciilifeform, furthermore: adding -gnat12 got rid of the default discriminant barfs (as promised by
ada docs) but I still have the complaints on prefix of "image" attribute
diana_coman: I mean: I could call from C code the methods provided in
Ada code
diana_coman: asciilifeform, thanks for the ping! re
ada/c - my small tests some while ago went surprisingly well actually, maybe the code was way too simple to get into trouble
trinque:
ada sits down happily on DOS eh?
herbijudlestoids: so I guess then it's not just a question of
Ada, but also you want a good arch
herbijudlestoids: so is anyone going to link me this
ada numeric lib by "alf" or not!
mircea_popescu: herbijudlestoids we pretty much settled on
ada as the proper environment for critical code, more or less.
mircea_popescu: herbijudlestoids i take it you missed alf's
ada numeric lib too ?
herbijudlestoids: good question... been spending a lot of time recently studying SPARK/
Ada mod6: I read through ffa, and it 'makes sense' to me as far as what you're doing in most cases -- as I understand the intent of the expressions. but i stand in awe, especially after trying my own hand at
Ada, at what you've produced.
mod6: i really started getting into
ada like... maybe a month or to ago, even though I kinda started nosing through the
Ada 95 Ref book a while before.
mod6: <+asciilifeform> i get this. but using heap is even more of 'adventure' in
ada. << ahh, i see.
mod6: asciilifeform: aha. i can tell you from my own recent adventures into learning
ada that it is strict, and strong.
ben_vulpes: sounds happiest with
ada, which is p. funny
mod6: apparently
ada also allows inline-asm. who knew?
deedbot: asciilifeform rated ave1 1 <<
ada lurker
mod6: workin on
ada stuff?
phf`: i'm rewriting everything that asciilifeform is releasing in
Ada in Rust, because it's secure AND modern!
☟︎ phf: mod6: this is anathem, but you could split the learning of
ada and the build from sources into separate unrelated projects by downloading a prebuilt binary from adacore. that's what i did first,
http://libre.adacore.com/download/ unpack whatever version ./doinstall puts all the binaries (including its own version of gcc) into a subdir structure you specify
mod6: anyway, seems a common theme with me and
ada. starting to wonder if my compiler version is fubar or someweird shit.
mod6: im starting to get into
ada things... but i have a lot of problems with `gnatmake`, not sure exactly why.
ben_vulpes: seems as though there is some "fun" to be had with
ada