Typically, when project both meets a party's need(s); party is willing to use it in production, as-is; and legal contract/framwork to handle all the incidentals of using the open source project.
851 karma · joined November 1, 2021
--------
[0] : Conformal Mapping by Computationally Efficient Methods : https://cdn.aaai.org/ojs/7676/7676-13-11206-1-2-20201228.pdf
[1] : dictionary of conformal mapping : https://web.archive.org/web/20130407075256/http://math.fulle...
"considered harmful" [gotos/globals/etc] : http://en.wikipedia.org/wiki/Considered_harmful
"A case against the GO TO statement" : https://www.cs.utexas.edu/~EWD/transcriptions/EWD02xx/EWD215...
-------------
Hypertools[0] used to display a 'standard program' mapped to '4d' esolang piet might be interesting. A window of 'text breakout of piet segment' relevant to 'standard programming line' would be sorta like mapping set of assembler to corresponding source code line.
piet whylines : https://www.cs.cmu.edu/~NatProg/whyline.html
[0] : hypertools : https://news.ycombinator.com/item?id=31816024
One can use intensional calculus concepts to model non-lambda languages[3]. A live 'CoC'[6] / rocq[7] layer to hightlight/note 'correctness' issues (auotmated suggestion of proof of correctness/unresolved ANTLER freevars take on ast editors 'valid' language statement(s)/language block(s))
ast editor with gui nodes (panograph[1]) / code block with "user shape" construction using 3DILG[2]?
3d bar codes could be taken as a 'multi-statement' token.
Piet[4][5] programming language might be more useful than 3d barcode as langauge token though (condensed spreadsheet).
-----------------------------------------------------
[0] : https://www.media.mit.edu/projects/2d-an-exploration-of-draw...
[1] : https://github.com/jeprinz/pantograph/blob/main/README.md
[2] : https://1zb.github.io/3DILG/
[3] : [video] Beyond Lambda-Calculus: Intensional Computation calculus : https://news.ycombinator.com/item?id=49067361
[4] : piet examples : https://www.dangermouse.net/esoteric/piet/samples.html
[5] : esolang Piet : https://esolangs.org/wiki/Piet
[6] : calculus of constructions : https://en.wikipedia.org/wiki/Calculus_of_constructions
[7] : rocq : https://en.wikipedia.org/wiki/Rocq
(vs. more traditioinal abstraction/logic level planes & normal to plane concepts: apl - hide it all in the language; spreadsheet - hide nothing/any information at any abstraction level is displayable[2][3][4][5]6])
--------------------------------------------------------------------------------
[1] Unicode bidirectinal algorithm : https://www.unicode.org/reports/tr9/
[2] spreadsheet : http://en.wikipedia.org/wiki/Spreadsheet
[3] sc-im - an ncuses spreadsheet program for the terminal: https://news.ycombinator.com/item?id=24318367
[4] Excel as a Turing-complete functional programming environment : https://eusprig.org/wp-content/uploads/2309.00115.pdf
[5] lambda the ultimate excell worksheet function : https://www.microsoft.com/en-us/research/blog/lambda-the-ult...
[6] escher circuits : https://esoteric.codes/blog/escher-circuits-using-vision-to-...
Use case argument for an add-on programmable logic array / micro controller board as security interface / non-standard to standard protocol translation.
----------------------------------------------------------------------------------
C type casting addresses the issue so much easier, either (&*(NP) = seg fault ? B) or (B = &*(NP) ? seg fault).
------
[0] : https://en.wikipedia.org/wiki/Schr%C3%B6dinger%27s_cat
One can have curl as a bash loadable routine without the need to recompile bash. Headless or not, much more sane[4] than ctypes.sh[1] as curl binary epilog/prolog handle the non-http protocol items within the context of curl module/program. More relevant logic level related to topic beyond http protocol only curl : socat[2] and gnu netcat[3].
Ah, HN doesn't provide a way to conjure up * data tapes (comments not withstanding). Ebnf being battle tested for years & grepping the ANTLER[7] by the horns:
awk interpeting http stream via http protocol[5] via ebnf of http protocol likely to better handle the different protocal layers more gracefully than bash script. Would need to make sure awk is in bit mode and not character/byte mode to avoid line discipline issues / 'stty sane'[4]. Note:
Perl/python provide better layers of abstraction than shell coding for the different levels of protocols used in/with http protocol/ ebnf,Kleene* coding.[6] In shell, having a different command programm for every ebnf set/protocol level vs. awk, different ebnf for each Kleene* protocol level)
---------------------------------------------------------------------------------------------
[0] : Your trerminal is not a terminal: An Introduction to Streams : https://www.lucasfcosta.com/blog/streams-introduction
[1] : ctypes.sh : https://github.com/taviso/ctypes.sh
[2] : socat : https://github.com/3ndG4me/socat/releases
[3] : gnu netcat: https://netcat.sourceforge.net/
[4] : stty sane : https://real-world-systems.com/docs/stty.1.html
https://jaredgorski.org/notes/unix-tty/
[0] : "But yak shaving is fun" : https://news.ycombinator.com/item?id=48555838
-------------------------------------
Perhaps also basis for a table coaster 3d hologram[1]
Adding to card thickness / modularity:
pop-up hologram display.[2][3]
projected keyboard/display[4] & gain ability to respond to text messages!
[0] : https://www.instructables.com/Smart-Glasses-V2/
[1] : https://www.youtube.com/watch?v=xHbQRcIWxC8
[2] : https://www.youtube.com/watch?v=vRo8m_a6F54
3 old micro ibm hard drives combined into rgb color space / diy laser image projector[1] might be able provide a bigger picture without exceeding DIY credit card size. kinda depends on laser size.
Ummm... a smartphone internal projector module more compact than diy stack of ibm microdrives / laser.[2]
Not worrying about size: esp32 laser dac : https://www.youtube.com/watch?v=9YASnlB_t_U
----------------
[0] : diy laser video projector : https://asktheman.xyz/
[1] : https://www.youtube.com/watch?v=fEPicBSYeNQ
: https://www.youtube.com/watch?v=bl1e54QGJk4
So, no AI seagul training to do machine banking/swipe money transfers.
Catchy, higher order point/fundamental theory of calculus application of "Move over cassette tapes, adhesive tape has memory, too"[4]
-------------------------------------------------
[1] : "Making a 3d printed circuit board that works" : https://www.instructables.com/Make-a-3D-Printed-Circuit-Boar...
[2] : pick-n-place machine : https://en.wikipedia.org/wiki/Pick-and-place_machine
[3] : No solder! : https://www.electromaker.io/blog/article/affordable-pcb-prot...
[4] : "Move over cassette tapes, adhesive tape has memory, too" " https://news.ycombinator.com/item?id=48161242
Was turned into something commerical (?2002[2])[1]. Perhaps modern version would be the old AMD cyrix chips?
-------------------------
[0] : http://boole.stanford.edu/cebit/
[1] : https://megagames.com/news/matchbox-pc-smallest-world
[2] : https://ptacts.uspto.gov/ptacts/public-informations/petition...
[3] : https://www.paloaltoonline.com/morgue/monthly/1999_May_26.MI...
Add a lambda fuction. Add list of condiments[0] such as let-us.
Forage/prove one can have a turing complete meal with bun? Easier than risking indigestion through bun/sheaf correspondence.[1][2][3][4]
------------------------------------
[0] : https://en.wikipedia.org/wiki/List_of_condiments
[1] : Applied Sheaf Theory for Multi-agent Arificial Intelligence (Reinforcement Learnig) Systems: A prospectus : https://people.cs.uchicago.edu/~ericschmid/schmid-applied-sh...
[2] : Discreate Morse theory for computing cellular sheaf cohomology : https://www2.math.upenn.edu/~ghrist/preprints/computationals...
[3] : https://medium.com/@german_mag.ai/sheaf-theory-and-applicati...
[4] : https://direct.mit.edu/books/oa-monograph/5460/Sheaf-Theory-...
Perhaps the 'city block' heaters requiring similar sized AC condensors to provide control over Maxwell's daemon was the inspiration for the unix daemon process.
Optical computing makes fuzzy computations so much easier -> outgassing[2]
------------------------------------------------------
[0] : https://spectrum.ieee.org/the-birth-of-ram
[1] : https://bunkerofdoom.com/lit/CRT-scopes/CRT_memory/index.htm...
[2] : https://spectrum.ieee.org/adhesive-outgassing-nasa-standards