1714 entries in 0.77s
phf: but first we port symbolics
ada to scheme-81, so we can compile trb with symbolics
ada mod6: <+asciilifeform> as in, re-use the blocks sanely. << ok so we'd have to therefore keep a 'free list' - a list of objects/items that have been deleted and are "recycled" and may be used again or I suppose we could then call '
Ada.Unchecked_Deallocation' on an item in the free list to shink the list thereby reclaiming the memory.
mircea_popescu: you're not about to tell me the block limit is actually part of
ada,
mircea_popescu: explain this to me. how do i write
ada-bitcoin with variable-sized blocks ?
mircea_popescu: mod6> bunch of us have been learning scheme and
Ada << hey, time spent retooling the shop is still work
mod6: mp has some neato non-
ada ideas surrounding sponges
mod6: bunch of us have been learning scheme and
Ada shinohai: "JGNAT is a version compiled from the
Ada programming language to Java bytecode." <<< srsly?
assbot: Logged on 27-03-2016 10:24:02; asciilifeform: incidentally, gnat is actually written in
ada. and is quite readable... (in as much as such a thing can be called readable)
assbot: Logged on 27-03-2016 08:32:09; ben_vulpes: asciilifeform: can you speak to why
ada's usgenesis shouldn't set off klaxons?
ben_vulpes: asciilifeform: can you speak to why
ada's usgenesis shouldn't set off klaxons?
☟︎ mod6: well, i guess i can appreciate that. i was simply going to write a V in
Ada as a way to learn
Ada.
mod6: boy oh boy. looks like all you can hope for with
Ada and issuing system commands is to redirect the output to a file, and the read the file.
mod6:
Ada 95 Reference Manual. Language and Standard Libraries: International Standard << this one
mod6: kill or maim,
Ada is the correct choice.
mod6: but I think I might take a stab at writting it in
ada so I can learn that with a proper example instead.
BingoBoingo: danielpbarron: surprising yes, but
ADA, resonable accomodation, etc
mod6: got my treeware SICP and
ADA ref manual today.
mircea_popescu: so then no, mp isn't learning any
ada. if mp wanted to learn
ada, he would have.
ascii_field: eventually either the lizards will move, or mircea_popescu will grow tired of me, or my health simply gives out, and mircea_popescu will have to learn
ada and relearn numbertheory himself...
mod6: im gonna tackle
ada this week when my book gets here.
jurov: i wonder what alf will do when he receives inevitable cease and desist letter wrt gossipd/
ada/anythingelse patents
mod6: asciilifeform: did you say you were using gnat to link
ada object flies?
mircea_popescu: (actually, amusingly enough, swift docs date from just about the era
ada was fashionable. there was such a time - just like that time in the 90s when everyone was eager to implement linux-y things and you didn't really have to sell it at all, whole cities just switched for no reason)
☟︎ danielpbarron: yeah the sane gentoo part i can figure out no problem. just never coded in
ADA before
jurov: because on C mechine, succumbing to various kinds of magic colored pointer unions is practical necessity.. so
ada type safety should help
jurov: but in the course of this, i got an idea, is there a small lisp/scheme implemented in
ada?
assbot: Logged on 24-02-2015 04:28:49; asciilifeform: just got '
ada 95: the language, reference manual, and standard libraries' ansi/iso/iec-8652:1995 in the post
mod6: asciilifeform: did you ever mention a de-facto
ADA book?
BingoBoingo: mircea_popescu: This is why /me leans towards well designed altcoin as solution. Something capable being
ada-ified, but perhaps implementable in rougher form.
kakobrekla: compiler? it generates the code to be compiled. apparently can generate
ada too.
punkman: ah apparently some Apollo mission thing, built on
Ada punkman: thestringpuller: I guess answer to my own question, "WoT provides practical solution". If derp wants to learn, learn from trusted teacher in WoT. << /me is waiting for
Ada master in need of apprentice
phf: the only redeeming quality in this case, that there aren't better standards available, except for maybe
Ada (i've not looked). you end up with trade offs, or hard constraints that make the result non-portable. a positive aspect of cl standard is that you get reasonably similar behavior on very wide range of hardware, but i agree that things could always be better
ascii_field: gcc doesn't give a flying fuck whether c, cpp, fortran,
ada, objc
mod6: i need to get up to speed on
ADA punkman: you mean the
Ada-Crypto-Library?
punkman: I think I might try to make some kind of hand-cranked
Ada tx signer
punkman: "Not to be "that guy", but as cool as it is to ponder doing this in some bright, shiny language like Rust or ML,
Ada exists for a reason. There's even an open source compiler (Gnat) that can already generate code that can link with C/C++/etc code bases. Work would need to go into streamlining the run time overhead for this use case, but how much compared to maintaining some C compiler
punkman: been reading more
Ada at odd intervals, keeps getting weirder
punkman: there's an
ada crypto library that does EC
assbot: Safe and Secure Software - An invitation to
Ada 2005 | Technical Papers | Knowledge Center | AdaCore ... (
http://bit.ly/1NTGJWm )
adlai would vote for
ada but wouldn't have any insider knowledge to make that a rational bet
trinque: if it were the
ADA version or even one written with as few deps as possible, I'd grant you're right
mircea_popescu: so why don't you do something ? here's alf bending over the task of routing circuits in the blockchain implemented in
ada ascii_field: thestringpuller: the committee took its sweet time lifting features from
ada, functional langs (even lambdas…) etc. but does your compiler have them now ?