kakobrekla: bots and humans trying to get in the systemz/break in the server/deplete deposit address supply etc etc
kakobrekla: anyway speaking of bitbet, there has been a large amount of rouge behavior on it for the past ~2 weeks
asciilifeform: rather, it was that idiots at a certain point became able to hook up chessatron to game servers and ruin the game.
asciilifeform: BingoBoingo: the kasparov match, contrary to popular notion, is not what 'killed' chess
assbot: Logged on 15-02-2016 04:51:38; ben_vulpes: before i confirm your work, please tell me how you determined that these were all unused?
polarbeard: http://log.bitcoin-assets.com/?date=15-02-2016#1405980 << first they made it into my list because they're never called explicitly, then revised the function and history of each, some we're left from earlier versions, others after removing the gui, etc
BingoBoingo: <asciilifeform> yes, if it were a personal work of brin the younger, i would not be surprised re: no bets. << I'm not entirely sold on Deep Blue II electric boogaloo having been definitive for chess. Kasparov was not Undisputed in his championship at the time. His title was not recognized by FIDE.
BingoBoingo: <asciilifeform> i remember, a coupla years ago, when i first saw a live 'mazerati' << In one of the college towns I lived in there was one I'd frequently see as it bounced from parking lot to parking lot, looking more like weathered trash than other cars of similar age.
asciilifeform: adlai: iirc the sake thing originated with a certain drunken former champ
asciilifeform: emulation. programmer kicks the machine.
adlai: human go skill allegedly improves with saki consumption, i wonder whether they emulate this in the program or settle for programmer-mediated emulation
assbot: Why Google's Neural Networks Look Like They're on Acid | Motherboard ... ( http://bit.ly/1PA6nn0 )
adlai is talking about https://motherboard.vice.com/read/why-googles-neural-networks-look-like-theyre-on-acid
jurov: also have other $projects which I host e.g. wiki for
asciilifeform: coinbr does not use popescutronic authenticator ?
asciilifeform: yes i know that jurov has wwwtrons, but what is the ssl for.
jurov: not up to pushing my own CA to everyone that uses them
jurov: and then it failed cuz must read /proc/net/tcp ?!
jurov: soo i'm looking on letsencrypt, which can auth the domain by adding stuff to webroot. so, no need for it to be ran under root you'd say
assbot: Logged on 26-01-2016 17:20:06; ascii_butugychag: (there was a spiffy talk at shmoo, which mentioned how nn used in image recognition usually imprints on what - to a human - would be an entirely accidental cluster of pixels, and if you flip'em, it will recognize an obvious, e.g,. cat, as a refrigerator, etc)
adlai would not be surprised if there isn't [yet] a way to translate alphago's "learning" to human go terms
adlai: explain on what level? "the ANN weighings blabla" is not the same as "play away from thickness"
mats: i'd bet 2.5btc all of two people can explain what 'alphago' actually did when evaluating decisions during the fan hui match
mats: ph33r the machine
adlai: mats: friend who introduced me to go claims "tournament champions should already have experience not in shitting themselves under pressure"
asciilifeform: yes, if it were a personal work of brin the younger, i would not be surprised re: no bets.
asciilifeform: mats: as i understand, 'alphago' is a corporate operation, with many folks involved, all over the pay scale.
asciilifeform: mats: i can't help but wonder, if author of 'alphago' is confident that the machine can win, why not pick up some easy coin betting ?
asciilifeform: impress the chixx with how much you can put on credit card.
pete_dushenski: asciilifeform: rolls royce looks like chrysler, mercedes looks like kia, and on and on and on. this is why my 'toy' would be 'morgan 3-wheeler' but afaik they're not importable to canada atm.
adlai: mats: more "money left on the table"!
pete_dushenski: that's the other tragic angle of the lack of quality, as it happens, everything fucking ~looks~ the same.
asciilifeform: and, while plenty of people see the car, it looks like every other car. and i like this.
pete_dushenski: asciilifeform: maybe more like fridge in that others actually notice the brand, finishes, etc
pete_dushenski: and in case anyone is curious about how 'cheap' and old merc is... it's not. i paid more in maintenance and repairs in the first year of ownership than i laid out in initial capital.
asciilifeform: for me, auto is just another expense. and a tool for doing a tedious and unpleasant chore. like broom.
asciilifeform: it suggests that erdos was right, most people 'have no theorems to prove', the idiot social stotting game ~is~ the point of living, to them.
pete_dushenski: as to the organic food angle, the car market is actually quite a different beast, mostly because there is no 'quality' to be had for love or money. a new mercedes will break just as readily as a new kia, just more expensively.
pete_dushenski: p their friends for brunch on sunday morning while talking at length about what option boxes (of the 4 available) they ticked or didn't, and why or why not. this 'aspie' set has no goals beyond the moment's likes and hearts, not unlike the set that tlp mischaracterised as patek philippe owners.
pete_dushenski: ue credit card balance, proudly watch as both kids graduate as professionals, maybe optometrists or accountants. as these kids have never had to save for anything, nor even been encumbered by uncertainty, they proceed to 'show off' their entirely disposable incomes with the purchase of nice watches and leased bmws, audis, mercedes, or porsche crossovers and to 'post' 'their' 'success' on social medias and pick u
pete_dushenski: asciilifeform: aha k, so let's see here. 25 years ago a young couple leaves china, lebanon, russia, or the like and moves to us/canada. they proceed to find gainful employment buying or selling something or other and set about raising two children. the immigrant couple, after working diligently to put their children through university, ensuring that their kids never know physical hardship nor so much as an overd
asciilifeform: or, perhaps overworked subject in my writings, the computer market: there is $wintelcrud laptop, there is crapple, but there is no (longer) tadpole computer corp.
asciilifeform: i see same phenomenon in the auto market
asciilifeform: specifically how there is no place in usa where one can 'i will pay double for non-monsanto but i don't give a fuck about 'gmo' and i sure as fuck don't want to see homeopathic crud in the shop'
asciilifeform: pete_dushenski: do you remember the thread re: 'organic food' ?
pete_dushenski: mats look for the 5btc bet
asciilifeform: mats: this is not appearent from the logz?
pete_dushenski: yer is different breed…just wait for the Insta posts of a millennial couple with #porsche #madeit #lifegoals #adulting"
assbot: Logged on 15-02-2016 13:18:49; mircea_popescu: notrly. mercedes is sold by poor beta muslim boys telling each other THEY WOULD buy one
pete_dushenski: http://log.bitcoin-assets.com/?date=15-02-2016#1406042 << as with all new german cars, yes. this comment on baruth's blog recently sharply sums up this arriviste betaboi phenomenon : "If you’re distraught about the Macan demo now, wait until the 4cyl comes out with a $499 lease special and a whole new segment of buyers. I can tell you from experience (I sell Audis as well) that the ‘aspirational’ luxury bu
asciilifeform: and yes, when mircea_popescu wakes up he will remind me that it is the only real money. and he will be right, just like, to hruschev, Pu was the only real money
asciilifeform: nowhere near enough for fission, but you can still do various interesting things like thermal generator, etc.
pete_dushenski: neither can shares of tsla, goog, aapl, gs, etc.
pete_dushenski: though i eaaagerly await the results of the alphago bet now that 'most of alf's net worth' is on the line. that's sitg, folks.
pete_dushenski: that's the one
assbot: Logged on 15-02-2016 13:16:28; asciilifeform: (can anybody identify the kbd ?)
pete_dushenski: how comes the website ?
trinque: at least religions of the past had something of an enumerated list of prohibitions
trinque: shinohai: I mean specifically that they see all things as prohibited, aside exceptions you "get to"
BingoBoingo: But apparently it doesn't count as obesity anymore until a person is so fat they spread out like a pancake
BingoBoingo: Notice though how all of those ideological avatars are rotund. Every single one of them is obese.
BingoBoingo: In other news there's rumbling ECB is set to kill the 500 euro note, but no source worth linking yet
BingoBoingo: But this was also back when floor space for the kiosk was $5000/month no idea where that has gone, but likely down.
mircea_popescu: no idea if minimum wage would still be meaningful, either.
BingoBoingo: http://ohnotheydidnt.livejournal.com/100319340.html << Marshall Long style Eatbeast scammzor
BingoBoingo: <asciilifeform> folks working in ~shops~ somewhere make commission ? << I fucking made commision selling watch batteries in the mall.
mircea_popescu: and is taken on "training" to various hotels where she is expected to fuck the "senior management" and she gladly complies. because hey.
mircea_popescu: typical airhead 5foot11 blondi that doesn't college and doesn't straight callgirl moves to pretentious store to sell perfume and designer clothes on comission.
asciilifeform: wake me up when they start making ones with faces.
mircea_popescu: and just like the apple shitheads, they have to spend this % of their income on storep roducts
mircea_popescu: and they also have to be this tall and this booby and this slutty
mircea_popescu: they're not making comission, right ? fifth avenue equiv poshness job working chicks ARE.
mircea_popescu: they get less than they'd ask for to deliver the same work, if they weren't in the apple ml.
asciilifeform: afaik they get no commission.
asciilifeform: the crapple salesmen are wage labourers
asciilifeform: can mircea_popescu give example of the levels ?
mircea_popescu: you realise crapple only hires salespeople from the fanbase yes ?
mircea_popescu: just because they're not lame as fguck about it, going telloing kids what the levels "should be" doesn't mean they don't exist.
mircea_popescu: becauyse of the frustrated mlm need.
asciilifeform: if chump sends the new chump on his merry way to the crapple store, we have a scam, sure, but how is it 'mlm' ?
asciilifeform: but the traditional definition remains, does chump take money from chump.
mircea_popescu: heck, who knows, maybe ackerman's mping all over "classic" finance, started with the easier to lance boil.
mircea_popescu: not by pete telling them to buy one.
mircea_popescu: notrly. mercedes is sold by poor beta muslim boys telling each other THEY WOULD buy one
mircea_popescu: if apple isn't direct-marketed then what is ? and what's an apple fan ?
asciilifeform: then mercedes is also pyramid ?
asciilifeform: last i checked, they didn't offer 'get ipnohe for selling five'
asciilifeform: mircea_popescu: where's the consumer direct-sale chumpatron in, e.g., apple ?
mircea_popescu: they're all herbalifes.
mircea_popescu: it's so bizarre that the usg doesn't embrace herbalife. yes all the arguments against it are solid, but they cut just as much against say, apple. google.
asciilifeform: (can anybody identify the kbd ?)
assbot: Logged on 15-02-2016 09:23:41; punkman: http://fortune.com/2015/09/09/the-siege-of-herbalife/
BingoBoingo: <asciilifeform> (is there some principle whereby they would wait until i do ? why ?) << Welcome to the weird that is Bitcoin broadcasting
assbot: The Name of the Rose(142) by Umberto Eco, William - Free Best Novels ... ( http://bit.ly/20VztFX )
assbot: Logged on 12-02-2016 17:44:17; trinque: to be a simpleton... one will die either way.
adlai: http://log.bitcoin-assets.com/?date=12-02-2016#1403712 << "So I believe that even my master, when he spoke of the simple, was using a rather simple concept." http://www.obooksbooks.com/2015/4115_142.html
assbot: Successfully updated the rating for mircea_popescu from 7 to 10 with note: I have received more coin from Mircea than I have sent him (indirectly, respectively, directly - respectfully)
assbot: Successfully updated the rating for Pierre_Rochard from 2 to -1 with note: "Yesterday's ally becomes today's opposition." - Wants to be vocal, and hide in the shadows.
thestringpuller: !v assbot:thestringpuller.rate.Pierre_Rochard.-1:2cb629256734cb1067a0a8ccdb658802966d720c6bde348f040848156d25442c
ben_vulpes: before i confirm your work, please tell me how you determined that these were all unused?
asciilifeform: interestingly, immediately while i sent the double.
asciilifeform: funnily enough, the malleators got to it first.
kakobrekla: the easiest is to pull wallet from backup :)
asciilifeform: (the latter has microscopic holes lasered in it, in a circle pattern approx. the size of a printed period)
asciilifeform: it has a power led that shines through the aluminum chassis
asciilifeform: in my collection of junk there is an apple wireless keyboard thing
trinque: I saw the same error with pywallet
trinque: asciilifeform: funkenstein's patches applied to bitcoind patched with the 99996 script for me
mircea_popescu: in other news, bride's maids. http://41.media.tumblr.com/tumblr_m4u88luixN1qlne6uo1_1280.jpg
BingoBoingo: asciilifeform: Shame. That 6502 box looks like it would make a spiffy musical instrument since it has the game port for midi
BingoBoingo: <mircea_popescu> BingoBoingo "thousands of years of cultural tradition assualting the beloved practice of open defecation in rural India" << should be fixed now
BingoBoingo: <asciilifeform> what's a ~honest~ mine cost ? << during the Altcoin srs bsns days rented hash with varying relability from https://www.miningrigrentals.com/rigs/sha256
trinque: amounts to being able to get around rather quickly with a uniform set of keybindings and a simple mental model
trinque: rather, emacs windows
trinque: I use the thing, love it actually
mircea_popescu: BingoBoingo "thousands of years of cultural tradition assualting the beloved practice of open defecation in rural India"
mircea_popescu: http://40.media.tumblr.com/b4ae78d04011ef41870a94e938edd05b/tumblr_nltsroIJdF1s9sr6mo1_1280.jpg << the ACTUAL devil.
ben_vulpes: this is why tab aligned shit in code is the devil
asciilifeform: interestingly, the chip design is licensable... http://www.westerndesigncenter.com/wdc/w65c02s-core.cfm - presumably for serious dough
asciilifeform: appears to use a variant of the 6502 processor that is still made by western design inc.
asciilifeform: several assembly language library routines built into firmware and a ROM monitor allowing the ease of programming any of the included devices including graphics, sound, game controllers, communication to a PC, Printer or Modem or other solid state devices. The ROM monitor provides an easy interface menu for checking registers and modifying data in memory. All software listings, schematics and documentation are included.'
asciilifeform: 'The Mensch Computer is a solid state computer that was never designed to compete in the PC market. It's not a PDA, calculator, home controller or personal organizer, but it could be any of these things. It was designed to provide simplicity without complexity allowing users to evolve it into their own creation. Many people put a lot of thought and many years into the design to provide a head start for many projects. There are
gribble: The operation succeeded.
kakobrekla: http://log.bitcoin-assets.com//?date=10-02-2016#1402007 < watched. not bad. i return the ball with another war flick; 'lepa sela, lepo gore' http://www.imdb.com/title/tt0116860/
asciilifeform: and enough with the machine 'knowing' that you 'spent.'
asciilifeform: enough with the 'intelligence'.
asciilifeform: the whole 'wallet' concept is braindamaged and must die.
mircea_popescu: tx fee for the spam blocks.
mircea_popescu: looking at the block spam atm, "money" is ~5000 satoshi
asciilifeform: plus there is fee
asciilifeform: mircea_popescu: i contemplated 'fixing wallet' ages ago, but doing so was complicated by the fact that i REALLY, ~REALLY~ do not like spending coin.
kakobrekla: he is speaking like he will lose the btc
mircea_popescu: kakobrekla he'll have to reconstruct the wallet
asciilifeform: i have my wrath bit set, re: the high-S thing
mircea_popescu: but you get the 25+change back.
mircea_popescu: the plural invalidates the point, derps. what fucking dictatorS ? how's that shit supposed to work ?
asciilifeform: does anyone have a link handy to where in the logz mircea_popescu calculated what it would cost to run a guaranteed-block-in-x-days mine ?
asciilifeform: sooo in other newz i put down 5btc on a bitbet and whaddayaknow, 'high S value'
asciilifeform: sorry about the noise, but tradition dictates that this oughta be done 'in forum.'
assbot: Successfully updated the rating for BingoBoingo from 2 to 3 with note: preaches tirelessly to the heathens - qntra.net ; retrocomputing archaeologist and the proverbial alert reader.
asciilifeform: !rate BingoBoingo 3 preaches tirelessly to the heathens - qntra.net ; retrocomputing archaeologist and the proverbial alert reader.
assbot: You rated user BingoBoingo on 25-Jan-2014, with a rating of 2, and supplied these additional notes: retrocomputing archaeology enthusiast, intelligent commentary..
assbot: Successfully updated the rating for jurov from 1 to 4 with note: therealbitcoin.org treasurer; long-suffering maintainer of ml 'turdatron'; and miscellaneously strong intellect
asciilifeform: !rate jurov 4 therealbitcoin.org treasurer; long-suffering maintainer of ml 'turdatron'; and miscellaneously strong intellect
assbot: You rated user jurov on 22-Apr-2014, with a rating of 1, and supplied these additional notes: live human!!.
assbot: Successfully updated the rating for kanzure from 1 to -1 with note: minor-league quisling; inquire within
assbot: You rated user kanzure on 22-Jun-2014, with a rating of 1, and supplied these additional notes: meat programmer.
assbot: Successfully updated the rating for phf from 2 to 3 with note: ru lisper; http://btcbase.org/patches
assbot: You rated user phf on 01-Aug-2015, with a rating of 2, and supplied these additional notes: ru lisper; sometimes tests my code, even.
assbot: Successfully updated the rating for mod6 from 3 to 5 with note: met alive; expert gardener of therealbitcoin.org; implementer of the first fully-functional battlefield-grade vtron.
asciilifeform: !rate mod6 5 met alive; expert gardener of therealbitcoin.org; implementer of the first fully-functional battlefield-grade vtron.
assbot: You rated user mod6 on 24-Apr-2015, with a rating of 3, and supplied these additional notes: therealbitcoin.org. met in the flesh. jolly good fella..
assbot: Successfully updated the rating for kakobrekla from 4 to 5 with note: not only expert infrastructural welder, but unearthed a 15dB pc fan somehow.
asciilifeform: !rate kakobrekla 5 not only expert infrastructural welder, but unearthed a 15dB pc fan somehow.
assbot: You rated user kakobrekla on 12-Apr-2014, with a rating of 4, and supplied these additional notes: expert infrastructural welder. holds up the sky..
asciilifeform: but even so, mega-kudos to kakobrekla for the discovery.
asciilifeform: i can sorta hear the inductors tho
kakobrekla: cant turn them off.
asciilifeform: whatever the fuck in; clean sinusoid out.
asciilifeform: kakobrekla: this one can't be run fanless, it is the kind that has the inverter going at ~all times~
kakobrekla: i also had the problem of ups being the loudest, but it fanless, i think its the transformer that is noisy
asciilifeform: kakobrekla: i finally broke down and did the whole new-case, filters, etc. thing.
gribble: The operation succeeded.
asciilifeform: ;;later tell kakobrekla 'silent wings' fan are very very spiffy. and now the loudest thing in the room, giant doubleconverter ups, is deafening in comparison. gonna have to re-fan it now...
assbot: Logged on 14-02-2016 21:42:16; mod6: http://therealbitcoin.org/ml/btc-dev/2016-February/000211.html
mod6: ... there's this remote island where you can mine stuff like shiny rocks and rotten fruit.
mod6: i'll give it a few days and then will roll up a full bundle. i've got an automated test for this case now too.
mircea_popescu: in other bitcoin news, http://40.media.tumblr.com/tumblr_m3o42oWtSJ1qlne6uo1_1280.jpg
asciilifeform back in business with 2x the cpu&ram
mod6: just for the 'cheers' & everything else :]
shinohai: Just a few days ago he equated Bitcoin to web browsers - fitting since they are the IE of BTC
mircea_popescu: "i am in bitcoin, i just don't know anything about it. like those people from new york that dunno what the chrysler building is!"
mircea_popescu: this is possibly the weirdest thing i ever saw.
mircea_popescu: so in "weird of the crowd" news, eulora player just bought an auctioned package from s.mg for 140, split it up, and barely managed to recoup HALF the cost.
mod6: then in a few days i'll consider publishing the bundle again. thanks for your support/patience/help, etc.
mod6: ok, so instead what I'll do here is add an automated test to check for this, so i don't regress later. and then most likely will put out a 3rd beta patch for people to test/review.
jurov: apparently opening and closing of the tab still requires macrotransactions
mod6: ive got problems at the shit-shoveling factory that are giving me headaches :/
mod6: yeah, in this regard, my V basically does know what to look for in a given vpatch file -- the thing it wasn't doing is checking that the hashes match eachother -- which can cause a downstream infinate loop when traversing the map.
ben_vulpes: don't take me too seriously this morning mod6 i got dressed and went to the office before realizing it was still sunday
mod6: how would it know ahead of time, short of having a hash for the vpatch itself?
mod6: to test it, i had to hand-diddle one of the vpatches. easy enough to do. if someone is doing something very strange or bad or whatever on their system it could lead to an infinate loop.
ben_vulpes: ideally a v impl. knows what vpatches are to look like and barfs on anything that doesn't look like that instead of trying to catch all of the edge cases
ben_vulpes: i am reminded of the "enumerating badness" thread
ben_vulpes: i would like to see the vdiff that craps that down
ben_vulpes: referred to as obscurantism (p. 1): “[when] the speaker...
ben_vulpes: "on the reception and detection of profound bullshit": http://journal.sjdm.org/15/15923a/jdm15923a.pdf -> http://wotpaste.cascadianhacker.com/pastes/5acbe1d5-c431-4e41-8d57-213e039e5764/?raw=true
ben_vulpes: congratulations on surviving the bubble attempt mircea_popescu
shinohai: Will remember to add the archive.is links next time though BingoBoingo, thanks
shinohai: \o/ I poo'd in the loo
punkman: Vandwellers”, about people living on the verge of poverty having to live a nomadic life in horse drawn moving vans."
punkman: "The history of Vandwelling goes back to horse drawn vehicles such as Roma Vardo wagons in Europe, and covered Conestoga wagons in the United States. One of the first uses of the term Vandwellers was in the United Kingdom showman and Van Dwellers' Protection Association, a guild for travelling show performers formed in the late 1800s. Shortly afterwards in 1901, Albert Bigalow wrote “The
asciilifeform: but if you like structure editors, interlisp (destroyed by commonlisp, incidentally, and by symbolics, as described in the pitman link from mircea_popescu ) is your sunken atlantis !
asciilifeform: kakobrekla: i`ll watch it when i get my computer back together
kakobrekla: there is a workflow video buried somewhere on site.
asciilifeform: incidentally i cannot tell, from the screenshots, whether that thing has a structure editor, like interlisp, or merely clutters the display
mircea_popescu: asciilifeform> that was where she lifted the interesting part. << lol nicely put, what meaning is contemplated ? "she [metaphorical person] lifted her skirt, rather than shoes and sleeves and whatnot random insanities" "she [interlisp author] stole the good bits for once, rather than dubious ux or w/e"
asciilifeform: that was where she lifted the interesting part.
mircea_popescu: (in fact, the lulzy otp discussion last week was EXACTLY re proven absence of meaning)
kakobrekla: i am not defending the implementation, just that there might be some merit to the ideas presented there. why do you chart v patches?!
asciilifeform: But this is crud. tell me, what does drawing the ast ADD???
mircea_popescu: but allowing one rotten apple in rots the set, and allowing one lazy slavegirl ruins the lot and so on.
asciilifeform: mircea_popescu: you resolve it by sending the proprietary crud to hell
mircea_popescu: actually, let's cut the discussion to a particularly comfortable example : the internet was "going to open up human knowledge". instead it has created the WORST fucking style of prose the english language has ever known. tedious, humourless but contrived, inept and coming up short in all measures, from cracked to wikipedia the language is bleeding. there is not more knowledge but less, and even its clothes are haggard
kakobrekla: somewhere in the logs where you pasted a pic of a triple integral or somesuch
mircea_popescu: the "we are living in best possible world" argument is broken by definition.
mircea_popescu: note that they're not even fucking contradictory ffs.
kakobrekla: actually without 'code generators' your computer is useless, its just a matter of how away from the bedrock your abstraction is
mircea_popescu: asciilifeform for the sake of argument, consider this issue : <asciilifeform> but the hamilton thing is garbage. ; hamiltoninc : "Here are some properties and features that make 001 unique: Always number one when put to the test."
asciilifeform: mircea_popescu: that was largely from lowering the entry bar.
asciilifeform: but the hamilton thing is garbage.
asciilifeform: aha and so i even liked 'mathematica'
mircea_popescu: for that matter, the move from asm to c/basic HAS resulted in shittier programs throughout.
mircea_popescu: meanwhile medicine goes through the same process as we speak, and the deleterious effects are pointedly obvious.
mircea_popescu: kakobrekla while he is stuck in a very hard to defend middle, still, i gotta say this "code generators" line you're arguing has a lot in common with the "betterment" that was to come from autocading all architecture.
mircea_popescu: "hey, at least i don't live in the projects. i choose who rapes me!"
mircea_popescu: BingoBoingo> In absurdly popular subreddits, /r/vandwellers/ has 26,000+ subscribers << i suspect living in a van will be the new middle class in the us.
kakobrekla: this is like claiming 'you still need to machine code' in the seventies
asciilifeform: the spec can look like, say, 'prolog' (constraint-based programming) BUT you still have to ... program!
asciilifeform: realize, there is not nor cannot be any escape from actually specifying a problem.