log☇︎
50300+ entries in 0.051s
asciilifeform: ^ it -- worx, and as described above, with the diff that it requires pointerism to be enabled.
a111: Logged on 2017-06-06 19:40 asciilifeform: mod6, phf , et al : http://nosuchlabs.com/pub/ada/horsecocks.tar.gz << i dun recall posting this before, so here it will live, for nao : unofficial release of mmaptron
asciilifeform: http://btcbase.org/log/2017-06-06#1666647 << the original item, for thread-compleeetness ☝︎
asciilifeform: i'ma have to do some serious detective work, when i get a free hand .
asciilifeform: how gcc broke it, remains to be sniffed out
asciilifeform: iirc this aint new even, was in ada-83.
asciilifeform: it gotta actually enforce the 'copying this thing is an eggog', trigger the death procedure when it goes out of scope, etc
asciilifeform: cuz theres no way to do it without support from the compiler.
mircea_popescu: now the question is, if you only need this specifically once, why do you need ada to do it for you
asciilifeform: ( there's a range of things you aint allowed to do with a controlled type, chiefly to copy it )
asciilifeform: mircea_popescu: it's very similar to cpp 'destructor' aha. with the diff that ada forces various limitations re the item, to prevent various cpp-esque lulz
mircea_popescu: do you see much difference between "controlled limited type" and "promises this is an object with destructor method properly called" ?
asciilifeform: mmap is 1 of the few nice things in linux , lets you e.g. map a 1tb segment and store as file, and will actually 'sparse' store etc.
asciilifeform: obviates a good number of scenarios where otherwise you'd want to use a db system.
asciilifeform: lets you have e.g. the trb indexer thing, as ordinary array, etc
asciilifeform: both give you a direct path from a data structure to/from disk.
asciilifeform: this is done with a standard ada feature called 'controlled limited type'. which i found that, for no documented reason, dunwork in gnat's static lib. ☟︎
asciilifeform: observe that 'M' knows when the end of its life comes, and gets synced to disk (if applicable , i.e. was mapped r/w) and properly cleaned up, without any such abortion as a 'free' statement a la c
asciilifeform: https://archive.is/FR2P7 << didactic example of the biznis-end of that thing.
asciilifeform: http://btcbase.org/log/2019-01-22#1889454 << not only can, but absolutely must, in order to work. issue was re ~scope~, it gotta know its scope. ☝︎
feedbot: http://bimbo.club/2019/01/philosophical-transactions-for-the-months-of-october-november-and-december-1714-part-v/ << Bimbo.Club -- Philosophical Transactions. For the months of October, November, and December, 1714. - Part V.
asciilifeform: iirc they actually tried the food one in nyc at some pt
mircea_popescu: asciilifeform http://trilema.com/2010/pe-ei-pe-mama-lor/ << ever read thgat one, incidentally ? 10 bux tax on fastfood to balance out the externalized costs they dump on health budgets (and to signal to women they'd better drop the act and start cooking daily) ; and 500% excise on windows for stupidity.
a111: Logged on 2019-01-22 17:17 asciilifeform: ok , having read this, i gotta laff, this is yet-another 'oh noez doesn't use usg.pki like inca commanded' 'bug'
mircea_popescu: http://btcbase.org/log/2019-01-22#1889222 << same here. wtf idiocy is this, thin wrapper around "o noes, people who don't like pantsuitism made websites to mock us, NO GOOD". ☝︎
a111: Logged on 2019-01-22 15:17 asciilifeform: the only case i discovered so far that demands it, is mmap ( the map ~must~ know when it is about to go out of scope )
a111: Logged on 2018-01-03 16:05 asciilifeform: but in very unrelated lulz, https://archive.is/bON1p >> 'It’s a bit absurd that a modern gaming machine running at 4,000x the speed of an apple 2, with a CPU that has 500,000x as many transistors (with a GPU that has 2,000,000x as many transistors) can maybe manage the same latency as an apple 2 in very carefully coded applications if we have a monitor with nearly 3x the refresh rate.'
asciilifeform: esp. when iron is big enuff that folx fall into the sin of perceiving cpu cycles & bytes of ram as 'infinite' and phree
asciilifeform: i dun disagree with (what i think is) mircea_popescu's upstack point, tho, bigger machine gives you bigger wrench to drop on yer foot re complexity.
asciilifeform: mircea_popescu: 16bit ( barring various 'banking' trickeries ) addresses 2^16 == 64k.
mircea_popescu: and the problem of "wut use then" is still open, in which context i perceive eg the bolix wank.
mircea_popescu: 4gb mem is 32 bit machine. on this horizon, asm and c ~similarily useless.
mircea_popescu: 2mb mem is 16 bit machine. you ~can~ work in asm theree too, but ideally you want some support. the prevailing meta-assembler was called c
mircea_popescu: 64k mem is 8 bit machine. you work in asm there.
asciilifeform: not so many folx actually felt need for c or other compiler/macroasm on 16-64k micros tho.
asciilifeform: mircea_popescu: didja have 1 on yer jupiter or what was that ro z80 thing
asciilifeform: ( the toy micro, in fact, saw very little c in the '80s )
asciilifeform: dawn of c pre-dates the toy micro.
mircea_popescu: machine bitness has everything to do with it -- 16 bit machine only accesses memory you can fit in head.
asciilifeform: http://btcbase.org/log/2019-01-22#1889399 << machine bitness had ~0 to do with it; was ~useful until folx decided to write 'half mil' line proggies in it. ☝︎
BingoBoingo: Since the weekend the English Press Pantsuits have been demonizing, hedging their demonizing, and redirecting their shit over some white boy from Ohio who dared to smile
BingoBoingo: Every now an then there's inflection points. Someone during the posturing knocks over some other dork's drink, etc
mircea_popescu: well, watching the outside world is a little like watching middle class tweens "fighting" on the playground. lotta shoving, lotta posturing and "threatening" behaviour. lotta talk, jack shit to get excited over.
a111: Logged on 2019-01-22 19:23 mircea_popescu weeps for whosoever is gonna try to summarize today's log sometime. by now the simple mechanics of log linking have created an actual programming language, by the time one's done unpacking the context and unwrapping the meaning, the sun will likely be down.
BingoBoingo: http://btcbase.org/log/2019-01-22#1889353 << Trying to find "news" today I see nothing outside the log that isn't eclipsed by the log in importance ☝︎
a111: Logged on 2019-01-22 15:11 diana_coman: it was more of a confusion/mess rather than real problem as such
mircea_popescu: http://btcbase.org/log/2019-01-22#1889170 << yeah, that resolution was actually in the "unexpected good news" category. ☝︎
a111: Logged on 2019-01-05 14:16 mircea_popescu: diana_coman is working for s.mg ; we've recently had this exact talk and revised our plans. originally the idea was to have moved over to cuntoo, and do support work for community-driven effort at a new client. the latter completely collapsed over the shocking weakness of such community ; the former's at best delayed.
a111: Logged on 2019-01-22 15:02 asciilifeform: oh hm i thought diana_coman were baking client nowadays
mircea_popescu: http://btcbase.org/log/2019-01-22#1889150 << there's no way to have a rsa-aware client without the corresponding server, yes ? it's a whole migration, just, i was hoping she'd only have to do the server side, was the point of http://btcbase.org/log/2019-01-05#1884608 comment. ☝︎☝︎
a111: Logged on 2019-01-22 14:58 asciilifeform: verily. by ritchie's own words, c is moar of a macroassembler than prog lang in the customary sense of the term
mircea_popescu: http://btcbase.org/log/2019-01-22#1889147 << this is actually surprisingly apt. ☝︎
mircea_popescu: spyked is there a way for one to list what rss he's subscribed with feedbot ? ☟︎
mircea_popescu: a toci = to wear down (generally through use), cutit tocit = dull knife
asciilifeform: mircea_popescu: i currently suspect that all langs on planet3, living and extinct, have term for 'anal child'. it's a reasonably common bio-failuremode, like schizo etc.
asciilifeform: ftr it's a ru cognate (1 of the rare genuine ones, vs. 'truda' etc ) . точило == grinding wheel.
mircea_popescu: well more power to you
asciilifeform: mircea_popescu: i read buncha trilema, lolwat.
mircea_popescu: come to think of it not a bad approach...
mircea_popescu: "alf knows how to say these 5 things he can't stand in all languages that exist or existed".
mircea_popescu: dude, your romanian's by now scary, what, you keep these words in a special museum of hate or something ?
asciilifeform: what were the latter called on mircea_popescu's home planet, iirc , tocilarii ?
asciilifeform: even in 1st grade, it was obv who were the kids who liked to think, and who 'memorize encyclopaedia' to lick arses of elders, the little shits, the kanzures.
asciilifeform: the ancients built locks where one needed just-so screw thread to open. and we're sorta still doing this.
asciilifeform: or recall the scytale thing ( 'original rsa' )
mircea_popescu: asciilifeform remarkable how the corkscrew is a recurring object in any discussion of this gap.
mircea_popescu: a whole raft of "dad didn't much care for arthur blair snif sniff" is readily explained by the model "dad got smart with age, kiddo was born intelligent."
asciilifeform: anyffin at all risks to stop being interesting to thinking folx, when it turns into a contest of who memorized moar trivia from encyclopaedia.
mircea_popescu: mn smart. You join up with Johnny Caspar, you bump Bernie Bernbaum. Up is down. Black is white. Well, I think you're half smart. I think you were straight with your frail, I think you were queer with Johnny Caspar... and I think you'd sooner join a ladies' league than gun a guy down. Then I hear from these two geniuses they never even saw this rub-out take place. "
mircea_popescu: in the end, "the smart don't like the intelligent" is the exact male equiv of ye female http://trilema.com/2016/the-pedoepiphany/ ; or in the immortal words of http://trilema.com/2014/millers-crossing/ " You are so goddamn smart. Except you ain't. I get you, smart guy. I know what you are. Straight as a corkscrew. Mr. Inside-Outski, like some goddamn Bolshevik picking up his orders from Yegg Central. You think you're so godda
asciilifeform: aka 'exam taking'
mircea_popescu: kinda what sours the thinking man of chess : "dude, your metagame utterly ruins the fiction the game purports to render -- specifically because the word "gambit" exists in your language it CAN NOT be the case this is a story of war and civilisation"
mircea_popescu: a type not a trope of fiction.
asciilifeform: fwiw when asciilifeform , not even in teen yrs yet, lost interest in olympiads, this was why. ☟︎
mircea_popescu: in short, mathematical (and to a large degree scientific, viz physics etc) education in the warsaw pact place-and-time degenerated into a trope of fiction. which is why "science fiction" was so loved in those parts of the world as opposed to anywhere else.
mircea_popescu: anyway, but "learn fermat -- apply when last digit of exponent" list of ~fiction tropes~ is nothing more than that : teaching kids how to "know the tells" of the (again -- remarkably fucking inept) "he liked science" illiterate storyteller.
mircea_popescu weeps for whosoever is gonna try to summarize today's log sometime. by now the simple mechanics of log linking have created an actual programming language, by the time one's done unpacking the context and unwrapping the meaning, the sun will likely be down. ☟︎
a111: Logged on 2018-10-18 18:59 mircea_popescu: 90% of the time i try to read something, the attempt fails ; and almost always it is because the author is insulting my smarts, not my intelligence. they're all such intelligent men, from sf writers to hayek to what have you. the problem is that they're not smart.
mircea_popescu: but back to our topic : there STILL IS a marked difference between http://btcbase.org/log/2018-10-18#1863581 intelligent an' smart. ☝︎
asciilifeform: imho the 'cheat' was that they ~only~ fed'em to 'undesirables'. should've fed to ~errybody~
asciilifeform: btw that b00k was prolly the best , imho, known collection of olympiad problems
mircea_popescu: failing so remarkably spectacularly the only remarkable part is nobody remarked upon it until 2019 rolled around in teh republic.
mircea_popescu: asciilifeform part of the lulz of ye olde physics olympiad in mp\s native lands and times was "identify the problem type". lotta ~fundamentally illiterate~ (hey, they liked "science", can't possibly think fiction, doh!!!) profs tryina come up with ~convincing~ "and then she said...".
a111: Logged on 2014-11-21 01:48 asciilifeform: 'This is a special collection of problems that were given to select applicants during oral entrance exams to the math department of Moscow State University. These problems were designed to prevent Jewish people and other undesirables from getting a passing grade. Among problems that were used by the department to blackball unwanted candidate students, these problems are distinguished by having a simple solution
asciilifeform: ( these are trivial if you know fermat )
mircea_popescu: which is precisely the scar tissue of usg-ification of sovok.
asciilifeform: typical example is all the crud where it asks you for the last digit of a heavy exponent
asciilifeform: mircea_popescu: there's quite a few ( or at least in asciilifeform's time, were ) 'olympiad' problems which are simply chinese-style 'do you know the classics' masquerading as olympiad problems
mircea_popescu: which is why cambridge tripos went exactly nowhere on a large wooden spoon : "mathematical athleticism" is not mathematical anymore than the counting horse is.
asciilifeform: only then can say 'temperature 0'.
mircea_popescu: and the fascination of all the old "olympiad problems" in the books, fly-between-trains, what have you, is specifically this : "get people to come up with very COOL!!!! solutions"
asciilifeform: well yes , it aint euler who puts the 0 in the temperature
mircea_popescu: the task itself is both banal and uninteresting, the solution lives forever in the annals of humanity in the proper sense of that term no "because it's short" but specifically because "it\s so evidently zero kelvin".
mircea_popescu: i can ~also~ very relaxedly put a temperature of 0 on "to find out the sum of integers up to a limit, write them twice, once going left, once going right, sum the units and divide by two".
mircea_popescu: asciilifeform yes, but notice how "arithmetic" does not have a very great substance. the reason people like eg euler is very much in the vein of that http://trilema.com/2017/is-it-still-rape-if-i-write-science-on-my-penis-first/#selection-83.0-119.187 old "science == society game" model of science :
mircea_popescu: this is going rather at the other end of things.
mircea_popescu: none of this is to in any way dispute (or even refer to) the very practical, low-fruit-grasping, "lotta code out there is so fucking stupid, just washing hands halves it".
asciilifeform: arithmetic is indeed closest anybody'll ever see to 'perfect code'
mircea_popescu: i can relaxedly put a temperature of 0 on the coupling between the string "number is divisible by two if last digit is divisible by two" and the respective index in the problem stair.
asciilifeform: mircea_popescu: the length of the 'coad' is a function of your working base.