1714 entries in 0.822s
assbot: Logged on 24-09-2015 01:06:52; asciilifeform: unrelatedly,
ada is melting my brain.
mats: well, just a thought here, functional programming looks like a better path forward than
ada, if only because its easier to automate
ascii_field: it is certainly both possible and useful in narrow cases. see the
ada threads
mats: i know several folks hired out of univ to write
ada for e.g. lockheed
gabriel_laddel: nah, more along the lines of "I'm a programmer" "orly, do you grok lisp? What the primary advantages that haskell's type system provides?
Ada's test suite: comments?"
mircea_popescu: haha not in
ada, just, they'll have to publish it and we'll go "omfg you can't be this stupid, redo it" like 50 times.
assbot: Logged on 20-08-2015 23:11:28; mircea_popescu:
http://log.bitcoin-assets.com/?date=20-08-2015#1245604 << actually a dr-dos version would be pretty cool. in fact i would guess an attempt to write private bitcoinfs and make dr-dos check blocks and an attempt to
ada-bitcoin would necessarily end with a very similar if not outright identical product.
punkman: 30 pages in, "
Ada for Software Engineers", the code examples look gnarly
punkman: "Like any contract, the
Ada Referebce Manual is written in very precise language, and the term ‘language lawyer’ is often used for people who are experts at interpreting the document."
ascii_field: '
Ada 95: The Lovelace Tutorial.' David A. Wheeler << probably the most n00bish
ascii_field: 'Data structures with
Ada.', Michael B. Feldman.
punkman: I'm also tempted to go with
Ada 2005 so I can have all teh unicodez
punkman: gernika, my beard being short, I'm looking for something closer to "
Ada for dummies"
gernika: punkman - I have the
Ada 95 reference manual. Seems thorough. Also you can print out a copy of the GNAT User's Guide at Kinkos - which I've also done. Haven't actually made any progress in reading it but... Seems good by looking at TOC.
punkman: I grabbed a random
Ada book last week, it was awful. need to look again
punkman: a standalone
Ada wallet would be an interesting project
decimation: asciilifeform: I see the wisdom in writing bitcoin in
ada strictly to attract the kinds of programmers we actually want
mircea_popescu: you'd have to pick something for your
ada port. and there's not atm any way to pick.
ben_vulpes: eh, alf may actually get to the
ada impl before a block v1 sticks again.
mircea_popescu: but this situation is why im so cold on your
ada idea. sure, you go put all the god damned effort into writing a fully correct, fully specified implementation oif an... broken idea.
ascii_modem: this incident makes it very tempting to just unzip, piss on satoshid, and go
ada sanityfork (tm)
ascii_field: (see the old thread re: a hypothetical
ada/spark bitcoind)
decimation: asciilifeform: I would be willing to make the trade to some kind of fascist
ada if I could be assured that the tools would detect nearly all detectablle bugs
decimation: although boeing is a famous '
ada' shop. but they probably outsource that shit too
ascii_field observes that
ada uses gcc backend, but this is already known to most
mircea_popescu: because much like
ada, brainfuck is an actually specified language
☟︎ ascii_field: ben_vulpes: as a result, it is actually much easier to - usably - plant
ada on 'bare metal' (sans os) than nearly anything else
decimation: actually I kinda wonder why
ada hasn't gotten more traction, given that it is far more 'portable' than C is
decimation: asciilifeform: it strikes me that a handy product would be a little
ada microcontroller with an implementation of rsa
decimation: actually some folks have tried to build
ada kernel
decimation: I'm sure you can get
ada working on osx but it's not as simple as 'port install gnat'
BingoBoingo: If I want to revert to Nigbuntu or a linux, Sure I can get an
Ada.
BingoBoingo: asciilifeform: OpenBSD does not have a working
ada in its ports that I could discover
BingoBoingo: I had to replace the wifi card in this machine at a cost of $25, but that was not a dealbreaker. It's the other weird that prevents wholesale recommendation. It to asciilifeform's disappoint lacks an
Ada danielpbarron: oh btw i got my
ADA reference manual; things quite nice. it's from a public library and it looks as though nobody ever checked it out
mircea_popescu: and as they become obsolete in the future, ppl not wanting to upgrade their bitcoin archives will provide hdds with one of those
ada or lisp-esque eternal lives.
assbot: Logged on 05-03-2015 22:06:11; mike_c: yeah, some like
ada :D
decimation: asciilifeform: the wisdom I've picked up from my own experiments and reading about yours is that it seems the
ada compiler you choose is critical
assbot: Amazon.com:
Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 ... / Programming and Software Engineering) (9783540693352): S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pasca ... (
http://bit.ly/1BdeOgX )
assbot: Logged on 04-03-2015 20:11:02; asciilifeform: PeterL: but you'll find that much of what programmers actually object to in
ada is precisely the good parts