Show Idle (>14 d.) Chans
← 2019-04-05 | 2019-04-07 → ↓
01:01 spyked http://btcbase.org/log/2019-04-05#1907037 <-- on the longer term, something along the lines of http://btcbase.org/log-search?q=ice40 ; on the shorter, http://btcbase.org/log-search?q=apu / http://btcbase.org/log-search?q=rk
01:01 a111 Logged on 2019-04-05 23:25 OriansJ: well, I guess a really important question to ask is at what level of lithography people here actually have trust? (1 transistor, AND Gate in TTL, 100 Gate ALU, 1000 Gate ULA, 10000 Gate Asic, .... FPGA, 1B+ gate CPU, etc)
01:05 spyked http://btcbase.org/log/2019-04-05#1907021 <-- the problem with "portability" (in the sense of supporting/maintaining the same software interface across different hardware architectures/configurations) is that it's a convenient lie most of the times. the goal isn't to implement the same DOS for all architectures, but to have some sort of DOS that provides some functionality and otherwise stays out of the pr
01:05 a111 Logged on 2019-04-05 23:02 OriansJ: bvt: Actually DOS wouldn't be the correct direction as it is actually more complex to implement portably and it's abstraction layer isn't right for a good general bootstrap.
01:05 spyked ogrammer's way most of the time
01:06 spyked that is, for whatever architecture it's implemented on, it doesn't have to be the same DOS
01:07 spyked the http://btcbase.org/log/2018-04-16#1799857 thread also perhaps relevant here
01:07 a111 Logged on 2018-04-16 15:20 mircea_popescu: the best example i can think of is the code on the old handheld calculators. THAT is a general purpose os : it makes no assumption about the downstream, merely fully, cleanly and directly exposes the hardware.
01:08 * spyked is off into the mountains
↖
~ 7 hours 19 minutes ~
08:27 diana_coman BingoBoingo: is WU the only option for those wff?
08:28 diana_coman it seems quite surprising to me there isn't more interest but tbf I haven't used local WU ever, would need to even look it up, lol.
↖
08:41 OriansJ Mocky: floating point support is part of being turing complete. We can either bitch about how bad it is (Like the old MIPS engineers) or accept the reality and figure out a why that costs us the least.
↖ ↖
08:44 Mocky bullshit, lol
08:46 Mocky and in addition you suggested floating point as software addon. turing completeness can now be achieved after the fact!
↖
08:47 OriansJ spyked: well the iCE40 is a good starting point for now and I guess we can agree on that. You are right about not having to be portable but I prefer building a stack that can be used to defend against a Nexus Intruder program class attack.
08:47 Mocky I've gotta run though, worn motorcycle tire needs wrangling
08:48 OriansJ Mocky: yes that was my point; floating point will either exist in hardware or software because of Turing completeness.
↖
08:49 OriansJ So we can either make simulating more complex instructions in software easy or we can shoot ourselves in the foot trying to avoid the unavoidable (The ability to support floating point)
08:51 Mocky "someone will certainly want X" therefore "we make X easy"; mno
08:52 OriansJ and let us be honest here; making it easy to trap on undefined instructions, jumping to a software routine that performs the functional definition of that instruction and returning to right after the trapped instruction. Will allow us to ditch instructions in hardware without fear of breaking our bootstrap.
↖
08:52 Mocky whoever wants can write their own. why start with idiocy in mind
08:53 Mocky im going for real now
08:59 OriansJ Mocky: Don't get stuck on the idea of Floating point, it is just an example of classes of instructions that are complex to implement in hardware that a proper illegal instruction trap will allow us to move between hardware and software with no one else having to care what we are doing. As we want people programming to standards not to systems.
↖
~ 2 hours 2 minutes ~
11:02 BingoBoingo diana_coman: WU is not. Normal bank wires work. WU is offered as an option because it works for people inside the wire sending to LATAM. Unsure how smooth WU UK would be.
11:02 BingoBoingo *not the only option
~ 1 hours 8 minutes ~
12:11 diana_coman tbf unsure how smooth either wire or wu would be from UK given additional currency headache; hence my hesitation to add this one to the to do list but by the looks of it, if this continues with no real bids even on quite competitive prices, I guess I'll have to.
12:12 diana_coman last time I used WU was ~10 years ago and it was from EU to USA so not much help for current use case
~ 22 minutes ~
12:34 BingoBoingo hanbot's Costa Rica to Uruguay via WU experiment ended up going through a channel other than WU, so the suspicion is Intra-LATAM WU is fucked
~ 5 hours 5 minutes ~
17:40 auctionbot Buy order # 1046: 500 WFF, WU esta bien Heard: 140mn from jurov outbidding PeterL. Ending: 2019-04-07 12:12:39.925433 UTC (26 hours 26 mins)
17:45 asciilifeform http://btcbase.org/log/2019-04-05#1907008 << asciilifeform is quite curious re what 'ideas in posix worth preserving', i can't think of even one
17:45 a111 Logged on 2019-04-05 22:53 OriansJ: BingoBoingo: I agree POSIX has a great many flaws but there are some ideas inside of it worth preserving; especially in regards to bootstrapping.
17:46 asciilifeform ( mandatory reading re thread : 'unix hater's handbook' )
17:48 asciilifeform http://btcbase.org/log/2019-04-05#1907021 << 'dos' as typically discussed here is simply shorthand for 'os that fits in coupla kB and gets the fuck out of the way and speaks only when spoken to' , roughly
↖
17:48 a111 Logged on 2019-04-05 23:02 OriansJ: bvt: Actually DOS wouldn't be the correct direction as it is actually more complex to implement portably and it's abstraction layer isn't right for a good general bootstrap.
17:49 asciilifeform http://btcbase.org/log/2019-04-05#1907023 << whytheFUCK wouldja want the nullterm-string warcrime to exist on a brand-new arch ?
↖
17:49 a111 Logged on 2019-04-05 23:03 OriansJ: well the only extremely useful feature for bootstrapping hardware architectures have is clean encoding and a sane subset of operations that make working with strings and structs easy to do in assembly.
17:49 asciilifeform burn it with fire.
17:49 asciilifeform http://btcbase.org/log/2019-04-05#1907027 << why would 'compat with x86' be ANY kind of consideration ?
17:49 a111 Logged on 2019-04-05 23:06 OriansJ: although if one wanted good backwards compatability with x86 and the rest; simply add load/store instructions that work on little endian data
17:51 asciilifeform http://btcbase.org/log/2019-04-05#1907037 << i recommend to read the logs re 'specificity' ( picture yourself baking a sabotaged fpga , for victim whose gate net you do not know in advance. what would you put in it ? )
↖
17:51 a111 Logged on 2019-04-05 23:25 OriansJ: well, I guess a really important question to ask is at what level of lithography people here actually have trust? (1 transistor, AND Gate in TTL, 100 Gate ALU, 1000 Gate ULA, 10000 Gate Asic, .... FPGA, 1B+ gate CPU, etc)
17:52 asciilifeform http://btcbase.org/log/2019-04-05#1907038 << >> http://btcbase.org/log/2019-03-26#1904867
17:52 a111 Logged on 2019-04-05 23:38 OriansJ: As for the operating system floor; there is a micro-posix subset that might be of interest as it would be enough for bootstrapping full operating systems but not complex enough to have anything non-deterministic.
17:52 a111 Logged on 2019-03-26 20:05 asciilifeform: bvt: the other thing, is the 3-ring circus aspect of elaborately dethompsonizing a box in order to... bring up 1M+line of linusolade
17:53 asciilifeform i.e. whole problem of 'bootstrap', imho, is misformulated . why to fixate on thompsonism and then bring up multi-decamegabyte kernel fulla liquishit, on which to run overflowandcrashlang (aka 'c') compiler with which to then build moar of same, etc
17:54 asciilifeform http://btcbase.org/log/2019-04-06#1907042 << all of these archs were missing essential piece for sanity -- type tagging and bounds checking. ( i.e. if running ada or lisp 'costs extra' on your iron vs. c , your arch is broken ! )
17:54 a111 Logged on 2019-04-06 00:52 OriansJ: The Branch Delay slot should never been allowed and it just adds complexity to any bootstrap. The Multiply and Divide instructions of MIPS were just a bad idea and the DEC Alpha solution was a much better combination to go. The Exception style overflow pattern in MIPS is pure complexity and waste; the 68K series was so much closer to the optimal (The split Integer register and BCD support was a bad mistake that I am glad Cold Fire
17:55 asciilifeform and yes, 'branch delay slot' is retarded. as is the whole pipeline concept. ( why ? cuz http://www.loper-os.org/?p=300 . sane iron FIRST, and ~then~ can ~maybe~ think about speed. )
17:56 asciilifeform http://btcbase.org/log/2019-04-06#1907058 << this is where i say 'wtf' . what am i missing here ? where and for what do you need the ieee erroneous-arithmetics liquishit ?!
17:56 a111 Logged on 2019-04-06 12:41 OriansJ: Mocky: floating point support is part of being turing complete. We can either bitch about how bad it is (Like the old MIPS engineers) or accept the reality and figure out a why that costs us the least.
17:58 asciilifeform http://btcbase.org/log/2019-04-06#1907066 << people who demand oddball instructions, can simply write own fpga payload and go happily on own path -- what am i missing ?
17:58 a111 Logged on 2019-04-06 12:52 OriansJ: and let us be honest here; making it easy to trap on undefined instructions, jumping to a software routine that performs the functional definition of that instruction and returning to right after the trapped instruction. Will allow us to ditch instructions in hardware without fear of breaking our bootstrap.
17:59 * asciilifeform ate frustrating log, goes to again lie down
~ 52 minutes ~
18:51 feedbot http://pizarroisp.net/2019/04/06/pizarro-march-2019-report/ << PizarroISP -- Pizarro March 2019 Report
~ 15 minutes ~
19:07 OriansJ asciilifeform: no where did I say null terminated strings; it could be length prefixed strings but support for strings needs to exist in a human readable bootstrap.
↖
19:08 asciilifeform OriansJ: imho the place for it ( just as for e.g. bignums, arrays, other basics ) is in the iron
19:09 OriansJ asciilifeform: I disagree. String support should be in software not hardware
19:09 asciilifeform OriansJ: why exactly should overrunning string, or array, etc bounds be electrically possible ?
19:09 asciilifeform it aint even as if no one ever built sane iron, and it is being proposed for 1st time
19:10 OriansJ asciilifeform: just use a generic block type for range checking
19:10 asciilifeform why ? so idjits can typecase string into bignum and back ?
19:10 asciilifeform *typecast
19:11 asciilifeform and liters into metres
↖
19:11 OriansJ asciilifeform: those conversions should be software NOT hardware
19:11 asciilifeform OriansJ: plz make the case re why ?
19:11 OriansJ bootstrap hardware should not have any features that are not absolutely required.
19:12 OriansJ We can always add complexity and provide mechanisms for supporting additional complexity but but typed memory isn't exactly easy to bootstrap in hex
19:13 asciilifeform it goes into the iron, you dun need to bootstrap it as such, beyond applying mains current
19:13 OriansJ There are very good reasons why typed memory systems appeared after high level languages did.
↖
19:13 asciilifeform transistor poverty.
19:14 OriansJ asciilifeform: Your level of bootstrap is considerably higher level than mine. I assume I have to hand toggle in the root binary and hand assemble everything.
19:15 asciilifeform OriansJ: possibly we are speaking at cross purposes. having eaten the log, i formed impression that OriansJ is interested in hypothetical sane iron, and not merely dethompsonization of x86 pc.
19:16 OriansJ asciilifeform: both actually
19:16 asciilifeform i'm not currently sure that there is in fact any overlap between these two problems
19:17 OriansJ Sane Iron is a great goal that I believe needs to be done but I also believe that a chain of trust needs to be built to allow Sane Iron to be safe from some classes of attacks.
19:17 asciilifeform re 'classes of attack', i'm particularly curious re what is OriansJ answ to http://btcbase.org/log/2019-04-06#1907086 puzzler
19:17 a111 Logged on 2019-04-06 21:51 asciilifeform: http://btcbase.org/log/2019-04-05#1907037 << i recommend to read the logs re 'specificity' ( picture yourself baking a sabotaged fpga , for victim whose gate net you do not know in advance. what would you put in it ? )
19:18 asciilifeform http://btcbase.org/log/2017-02-24#1617495 << see also historical parallel for subj.
19:18 a111 Logged on 2017-02-24 02:36 asciilifeform: veen: let's try a historical angle. according to legend, emperor qin shi huangdi (same d00d as known for taking the 'immortality pill' and promptly croaking) had a palace with 1,500 rooms. and would not tell anyone in advance which one he plans to sleep in on a given night. and which ones he would put cutthroats in, ready to kill anyone who opens door. think 'minesweeper.'
19:19 OriansJ a hardware rom and a remote trigger
19:20 asciilifeform OriansJ: let's posit. what does this give you, if you do not know what is connected to the i/o pins ? beyond ability to short +v to - and smoke
19:20 asciilifeform ( if this counts as a useful attack, why not answer instead 'coupla gram of thermite' ? )
19:21 OriansJ well lets see, we can add a short wave radio but that might be blocked with tempest hardware layers
19:21 OriansJ we can include a hardware block for network and leverage it if it is connected; while letting our customers know about it speeding up network loads
19:22 asciilifeform leverage how ? if you have literally 0 info re what netlist will be loaded and what cells it will make use of, and to what end
19:23 OriansJ asciilifeform: all FPGAs have hardware blocks specific to certain function to speed up common functionality
19:23 asciilifeform observe that it is entirely trivial to permute given netlist so that 9000 manufactured boards will each have unique one, with same function
19:23 BingoBoingo OriansJ: On possibly missing prior is that should the work take us there, in this channel the question of fabbing our own hardware (Maybe on saphire wafers) is largely one of "when?"... provided we live to see it.
19:23 asciilifeform OriansJ: not all. matter of fact, the 1 used in http://nosuchlabs.com/hardware.html has no dedicated cells, aside from i/o
19:23 OriansJ BingoBoingo: I am thinking libresilicon which we could do today
19:24 asciilifeform OriansJ: i specifically picked the part for this attribute. ( ice40 was not 'solved' yet at the time , but it has quite similar topology )
19:25 OriansJ asciilifeform: so the Fab knows those cells will be for I/O and we know some common patterns of I/O that we can eletrically detect
19:26 OriansJ Ethernet frames need to look like this and Serial buffers need to behave like this
19:26 asciilifeform this goes back to 'knowing something about intended use' , neh
19:26 asciilifeform the puzzler concerns 'general purpose' sabotaged fpga, rather than case where you know what the victim intends to connect and what protocols etc
↖
19:26 OriansJ asciilifeform: that is absolutely correct; an attacker in Silicon can only put in attack hooks for things that they know about not all possible inputs.
19:27 OriansJ However we know common patterns for networked devices, Operating systems and external storage systems
19:28 asciilifeform the irons that speak these 'common patterns' -- already sabotaged decade+ ago, no need even to concern with fpga..
19:30 OriansJ asciilifeform: well some of these patterns are universally useful and will exist even in Sane Iron systems
↖
19:30 asciilifeform OriansJ: incidentally, a pattern matcher on i/o pin will affect propagation delay
19:31 OriansJ asciilifeform: but can you really spot a 1ns delay?
19:31 asciilifeform OriansJ: if i'm baking e.g. dram refresher -- then quite easily (and very frustratingly, in actual practice did, it is why it is ~impossible to bake a decent dram controller from scratch using fpga that hasn't been 'solved' ice40-style )
19:34 OriansJ asciilifeform: DRAM initialization has a very unique pattern which can be detected very early (long before the DRAM itself is ready)
19:34 OriansJ but let us save some time
19:35 OriansJ Let us just assume the FPGA was not compromised and leverage it for the bootstrap work at this stage (I'll be going to pure LibreSilicon before I am finished but hey to each their own)
↖
19:35 asciilifeform correct. so, proposing to put 64-state statemachine on each pin and look for it? and what, slip the timings so dram loses bits ? this is in the 'smoke' category, logic analyzer will find the peculiar defect, and victim buys another fpga.
19:36 asciilifeform OriansJ: i am not proposing it as 'boostrap for pc', but as ~replacement~ for pc.
19:36 asciilifeform *bootstrap
19:36 OriansJ asciilifeform: I am good with that as well; provided we actually bootstrap it properly
19:36 asciilifeform and specifically as illustration of the physical limits of thompsonism, in the abstract
19:37 OriansJ So, perhaps the most important question what has been actually decided about Sane Iron and what still needs definition?
↖
19:38 asciilifeform 1st , i cannot resist to ask, what is/was 'libresilicon' ?
19:39 OriansJ asciilifeform: it is a project for open source lithography, it currently is at the 1 micrometer process node and limited to around 1 million transistors at this time
19:39 OriansJ https://libresilicon.com/ https://media.ccc.de/v/35c3-9410-libresilicon
19:39 asciilifeform 1um actually is entirely enough . what's it cost ?
19:40 OriansJ asciilifeform: sadly they haven't given that yet but let us just assume Industry costs (say $10K) per wafer
19:40 asciilifeform looking at the 'process steps' docs in the linked page, it seems to be a straight wikipedization of ordinary schoolbook description of ic fab process
↖
19:41 asciilifeform i.e. there is nothing there to suggest that the author has discovered a peculiarly cheap method of fabbing ic
19:41 OriansJ asciilifeform: It isn't about cost because a Custom IC can be done for under $10K today in a 45nm process
19:41 asciilifeform OriansJ: the french already offer 8k (iirc) for 400nm . this is not the problem.
19:42 asciilifeform right, the problem is specifically that it's happening somewhere other than my kitchen.
↖
19:42 OriansJ That is what the RISC-V people did with their 45nm chips
19:42 asciilifeform and i do not see anything in the linked recipe to suggest a kitchenable process.
19:42 asciilifeform it still demands hf, for instance
19:44 OriansJ asciilifeform: It is a guide for groups of people to pool together resources and setup a 1 micrometer fab to generate trusted chips. Yes it is far from optimal but it is a step in the right direction.
↖
19:44 asciilifeform what asciilifeform is looking for, re ic fab breakthrough, is specifically a process that would be to ic what the cd recorder was to cd
19:44 asciilifeform i.e. turn '4000 square metres and 400 mil. $' process into tabletop.
19:45 asciilifeform OriansJ: what if my definition of 'trusted chip' is specifically where i own the gear and no other people are involved at any stage ?
19:45 OriansJ asciilifeform: something tells me you would be more excited about Xerox's plastic transistor technology
19:45 asciilifeform y'mean the 1 that was 'any day nao!' 20y ago ?
19:46 asciilifeform i'll happily buy it. along with the promised tabletop fusion plant...
19:46 asciilifeform also from same 20y.o. magazine..
19:46 OriansJ asciilifeform: honestly, the chemicals and the patents are still a mess in that field plus the never could produce a chip that could exceed 100khz
↖
19:47 asciilifeform the only semiconductor i've so far baked with own hands is cu oxide diode.
19:47 asciilifeform beyond that, afaik state of the art is 'ha, very funny, you wanted what?!'
19:48 asciilifeform OriansJ: re patents, there's plenty of folx living in free world, who will piss on whatever patent simply for the pleasure of the piss
19:48 asciilifeform so patents in no case are the problem
19:48 OriansJ asciilifeform: well we can either wait for others to perform miracles or we can get off our asses and make them for the world to see.
↖
19:48 asciilifeform OriansJ: 'open source' folx have a professional disease, where they succumb to temptation of redefining a difficult problem into a non-equivalent but easier one
19:50 OriansJ asciilifeform: back to my previous question. What actual really useful thing has been created in regards to Sane Iron so far?
19:50 asciilifeform !#s bolix ivory
19:50 a111 20 results for "bolix ivory", http://btcbase.org/log-search?q=bolix%20ivory
19:50 asciilifeform ^ best-known example.
19:50 asciilifeform full type-tagged memory, ecc, iron gc, etc. in 370k transistor.
19:50 asciilifeform 1986.
19:52 OriansJ and programming information is where?
19:52 asciilifeform vendor supplied lisp, ada, fortran, even c, compilers , which interoperated to the point of safely calling proggy written in 1, from another
19:53 OriansJ No results on DDG
↖
19:53 asciilifeform OriansJ: http://www.bitsavers.org/pdf/symbolics/I_Machine/ , http://www.bitsavers.org/pdf/symbolics/software/ , for starters.
19:53 asciilifeform i have the orig. paper docs, they fill a bookcase, but they're actually all mirrored there.
19:54 asciilifeform this was an actual commercial item, not laboratory prototype.
19:55 asciilifeform vendor killed itself via 'enron'-level mismanagement, imploded , so not much known about today outside of specific circles of sane-iron enthusiasts.
19:55 OriansJ ok; do we have software simulators such that people can start developing software for it while we solve the hardware side of the question?
19:56 asciilifeform OriansJ: there's an emulator , though not a cycle-accurate one . asciilifeform is (slowly) gathering the seekrits needed for cycle-accurate reproduction of the orig.
19:57 OriansJ asciilifeform: we don't need cycle-accurate; we just need good enough to be able to write the pieces that will run on it directly
↖
19:57 asciilifeform largely to experiment with the orig. os , it was an item quite far ahead of what today is taught as 'state of art'. but the iron also imho is good starting point for hypothetical sane iron.
19:58 OriansJ Ok, so asciilifeform, you wish to improve upon it rather than use it?
19:58 asciilifeform OriansJ: you wouldn't want to build a new comp that replicates it entirely. for one thing, iirc could only address 256M , with no possib of expansion
19:58 asciilifeform OriansJ: correct.
19:59 asciilifeform from pov of this thread, it is a practical example that sane (i.e. typechecking & boundschecking of ALL memory accesses) iron in fact existed, and even fit in 1980s vlsi (2um)
19:59 OriansJ and have you put all the possible enhancements into a common place for reference?
19:59 asciilifeform OriansJ: in fact did. this common place , is http://btcbase.org/log/
20:00 OriansJ asciilifeform: that is not an effective mechanism of documentation reference
↖
20:00 asciilifeform i find it quite effective.
20:01 OriansJ asciilifeform: which is fine if you expect to only work alone and have the work lost in the sands of time.
↖ ↖
20:01 asciilifeform OriansJ is under the impression that asciilifeform works alone ?
20:01 asciilifeform i recommend to read the log. you will find that asciilifeform is not the only 1 who finds it effective reference.
20:04 OriansJ asciilifeform: Having spent time reading the log; I am less than impressed
↖ ↖ ↖
20:04 BingoBoingo Some futher organization of the literature would probably help with initiations, but first asciilifeform needs to catch a transcription slave
20:04 asciilifeform i cannot resist to ask OriansJ , what exactly then is he doing here ?
↖
20:04 asciilifeform there's, y'know, a whole net of elsewhere to be
20:05 OriansJ asciilifeform: I seek out potential; and I heard there was potential here.
20:07 asciilifeform potential of what , concretely ?
20:08 OriansJ Creating anything I find interesting or useful. Be it through mutual cooperation or single sided self-interest.
20:09 asciilifeform OriansJ: if you're interested in concrete approach of asciilifeform to design of iron, i invite to study http://nosuchlabs.com/hardware.html , item asciilifeform designed & sold ( two runs sold out 100% , possibly in near future we bake a 3rd, on ice40 and photoscintillator , as discussed in logs )
20:11 asciilifeform the engine http://btcbase.org/patches/fg-genesis/tree/fg.v incidentally is 100% siliconizable as it stands.
20:11 asciilifeform ( and deterministically testable for 'doing what's printed on the box' . you pump a coupla TB of known bits through it, and observe that the expected outs in fact came out )
20:12 asciilifeform ( bits known -- that is -- to you only )
20:14 asciilifeform http://btcbase.org/log/2018-10-24#1865586 << 1 variant.
20:14 a111 Logged on 2018-10-24 16:55 asciilifeform: http://nosuchlabs.com/fg/photo/yoke.jpg << actual photo of procedure.
20:15 asciilifeform ^ i.e. a unit suspected of containing hidden functionality vis-a-vis any other existing unit, can be 'slaved' to the latter , and the outputs compared.
20:16 asciilifeform imho this is an absolute ~minimal~ requirement for hypothetical sane irons of any other type.
20:17 OriansJ So classic multiprocessor lock-step computing common in space craft
20:17 asciilifeform exactly these
20:17 asciilifeform i do not claim to have invented the method.
20:18 asciilifeform cribbed directly from classical sov-engineering, like just about all other asciilifeform methods.
20:18 OriansJ asciilifeform: BESM-6 style engineering?
20:19 OriansJ interesting
20:20 OriansJ I would have expected more code-morph style engineering given that hardware style.
20:20 asciilifeform 'мажоритарная логика' (majority-logic) in the general case, i do not recall what the english folx call it ( afaik they gave up on it errywhere other than orbit in recent yrs )
20:20 asciilifeform OriansJ: what's 'code-morph' ?
20:21 OriansJ https://en.wikipedia.org/wiki/Just-in-time_compilation
↖
20:21 OriansJ https://en.wikipedia.org/wiki/Transmeta
20:21 asciilifeform how would this apply in re the linked device ?
20:21 BingoBoingo !!unrate OriansJ
20:22 deedbot Get your OTP: http://p.bvulpes.com/pastes/T4EDi/?raw=true
20:22 asciilifeform fg doesn't even contain a vonneumann cpu
20:22 asciilifeform it's a straight single-purpose logic circuit, would fit in a hundred or so 74xxx discretes if you felt like it
20:22 BingoBoingo !!v F06E043C1BCB91FB56B0AEA3D7A02B8F6074B5AB6455CFCC3D70684B0CF80687
20:22 deedbot BingoBoingo unrated OriansJ.
20:22 asciilifeform BingoBoingo: quick on the trigger finger today aintcha
↖
20:23 asciilifeform !!rate OriansJ 1 neophyte / temp. voice
20:23 deedbot Get your OTP: http://p.bvulpes.com/pastes/zzoQ1/?raw=true
20:24 asciilifeform !!v 1905A8CAFC52E459F6524DA32B2709CD0894C1D627DD24BD83CA93FDFD3718A3
20:24 deedbot asciilifeform rated OriansJ 1 << neophyte / temp. voice
20:24 BingoBoingo asciilifeform: With the conversation going on I figured it's time to let someone else carry the voicing.
20:24 asciilifeform BingoBoingo: aite. i'ma lie down again soon tho
20:24 BingoBoingo Recover well
20:25 asciilifeform ty BingoBoingo
20:26 asciilifeform OriansJ: lotsa folx over the years landed in the logs, and thought 'these people sit and philosophize and what'. but plenty of examples of working mechanism , if yer interested to study. http://www.loper-os.org/?cat=49 for instance is a just-short-of-done constant-time 0-dependency cryptoarithmetizer.
20:27 asciilifeform i.e. performs, e.g. rsa, with zero conditional-on-inputs branch instructions, anywhere.
20:28 asciilifeform ( and likewise zero input-variant memory addressing )
20:28 BingoBoingo Then there's the V
20:28 asciilifeform BingoBoingo: let the fella eat at own pace, or will choke
20:28 asciilifeform for all i know already choked
20:28 OriansJ asciilifeform: not choked, looking for more
20:29 asciilifeform OriansJ: then have, e.g., 'v' : http://cascadianhacker.com/07_v-tronics-101-a-gentle-introduction-to-the-most-serene-republic-of-bitcoins-cryptographically-backed-version-control-system
↖
20:29 asciilifeform ^ is what we use for a versionatron. exclusively.
20:29 asciilifeform ( observe, earlier linked fg, ffa , distributed strictly as vpatches )
20:30 asciilifeform other people have other projects, i was speaking strictly of own thus far.
20:31 BingoBoingo Also http://btcbase.org/patches with projects living in the dropdown menu
20:32 asciilifeform mircea_popescu & diana_coman for instance have a multiplayer game. lobbes has various useful automata (e.g. auction bot) . http://therealbitcoin.org exists. and plenty else.
20:33 asciilifeform ave1 has a bare-iron gnat port.
20:33 asciilifeform there's in fact moar than i can list from memory in coupla min.'s time and coupla log ln. of space.
20:34 OriansJ the javascript requirement is a bit odd though for the patches page
↖
20:34 asciilifeform OriansJ: it displays sans js, you simply gotta manually throw in param after the '?' mark
20:34 asciilifeform ( phf's www engine, btw. all q's to him. )
20:34 asciilifeform 100% commonlisp.
20:35 asciilifeform re older asciilifeform items , there is e.g. http://phuctor.nosuchlabs.com/stats .
20:36 OriansJ asciilifeform: I've hit http://btcbase.org/patches?patchset=v and no it doesn't display without javascript enabled
↖
20:36 asciilifeform ^ bug report to phf ^
↖
20:37 BingoBoingo It uses SVG
20:37 asciilifeform OriansJ: i gotta take off shortly. you will definitely want to speak to mp, whose chan this is. ( he is travelling but i expect will stop by some time in next coupla d )
20:38 BingoBoingo Anytime from minutes to weeks is possible.
20:39 OriansJ well; I guess we will have to see. Until then
20:40 * asciilifeform will bbl
~ 1 hours 13 minutes ~
21:54 auctionbot Buy order # 1046: 500 WFF, WU esta bien Heard: 130mn from lobbes outbidding jurov. Ending: 2019-04-07 12:12:39.925433 UTC (22 hours 12 mins)
~ 1 hours 26 minutes ~
23:20 PeterL !Xbid 1046 125mn
23:20 auctionbot Buy order # 1046: 500 WFF, WU esta bien Heard: 125mn from PeterL outbidding lobbes. Ending: 2019-04-07 12:12:39.925433 UTC (20 hours 46 mins)
← 2019-04-05 | 2019-04-07 → ↑

Random(trilema) | Download hourly DB snapshot | Get Source Code

Theme: Light | Dark | System Default