sargstuff

7 ms·

1.
Flip-Disk Art(theartistbreakfast.com)
2 points by sargstuff 10d ago|0 comments
2.
ShiftLens: Mech. Actuated Optical Surfaces for Switchable Appearances on 3D Objs(hcie.csail.mit.edu)
1 points by sargstuff 10d ago|0 comments
3.
Sketching with Math and Quasi Physics (2022)(kyndinfo.notion.site)
1 points by sargstuff 1mo ago|0 comments
4.
by sargstuff 1mo ago
Could use vonori / conformal map[0][1] in order to support the decomposition of a complex problem into individual parts/piet blocks. aka go from base 2 gotos to base N gotos. -------- [0] : Conformal Mapping by Computationally Ef
5.
A Simpler Lambda Calculus (2019)(dl.acm.org)
1 points by sargstuff 2mo ago|0 comments
6.
by sargstuff 2mo ago
Can provide useful "highlights" for dealing with different language versions / language compatibility/inter-operability issues. aka 1980's language vs. 2020 take.
7.
by sargstuff 2mo ago
Treesitter[0] style/approach to deal with anonymous handle(s)/tag(s) of fix point calculus. (anonymous fix point application/manipulation via auto suggestion mouse overs) ------------- [0] : https://tree-sitter.git
8.
by sargstuff 2mo ago
Umm..... 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
9.
by sargstuff 2mo ago
Like atlas code?[0] [0] : https://github.com/gearscrafter/atlas_code
10.
by sargstuff 2mo ago
λ-2D: An Exploration of Drawing as Programming Language, Featuring Ideas from Lambda Calculus [0] One can use intensional calculus concepts to model non-lambda languages[3]. A live 'CoC'[6] / rocq[7] layer to hightlight/
11.
Pantograph(github.com)
13 points by sargstuff 2mo ago|3 comments
12.
Structure Editors(github.com)
8 points by sargstuff 2mo ago|3 comments
13.
Models and theories of lambda calculus (2009)(inria.hal.science)
5 points by sargstuff 2mo ago|0 comments
14.
by sargstuff 2mo ago
A use case for unicode bidirectional algorithm[1] at language implimentation level. (vs. more traditioinal abstraction/logic level planes & normal to plane concepts: apl - hide it all in the language; spreadsheet - hide nothing&#x2
15.
Beyond Lambda-Calculus: Intensional Computation (2017) [video](youtube.com)
2 points by sargstuff 2mo ago|0 comments
16.
by sargstuff 3mo ago
Nice retro-demo/motivation for "what's the point of protocols/abstraction layers"[0]. Use case argument for an add-on programmable logic array / micro controller board as security interface / non-standard
17.
by sargstuff 3mo ago
Wonder if Knuth was trying to determine how much tech one could generate out of a block device and still have a consistant normal form. (vs. yak shaving) --- looks like an infinate amount, just as long as (NP != P) & (shrodinger's
18.
by sargstuff 3mo ago
Guess streams was a mixed analog / digital world thing[0]. Is 'curl' the higher order wave crest of LC_NETWORK (aka 'sane' http protocol reference to type bundled 0,1,2 file descriptors) One can have curl as a bash
19.
by sargstuff 3mo ago
Guess the 'how do I post to lobsters?' secret is out[0]. aka snarf the mail distribution list. send out to mail distribution list. If worthy enough article, sent email gets posted/archived on site. [0] : "But yak shaving
20.
by sargstuff 3mo ago
Hacker news needs a 'non-standard programming language subject tag'. Perhaps ":-J" as first line in comment?
21.
by sargstuff 3mo ago
Kiisu[0], credit card sized footprint computer with modular add-ons. ------------------------------------- [0] : https://github.com/kiisu-io/
22.
by sargstuff 3mo ago
Perhaps doing the g-code text as barcoding / q-code sequences might permit more code to be included in book?
23.
by sargstuff 4mo ago
Nice light computational module for huds device. Random search engine project pick:[0] Perhaps also basis for a table coaster 3d hologram[1] Adding to card thickness / modularity: pop-up hologram display.[2][3] projected keyb
24.
by sargstuff 4mo ago
?? add relevant wifi/port to connect to a projector/projection glasses / laser projector[0] 3 old micro ibm hard drives combined into rgb color space / diy laser image projector[1] might be able provide a bigger picture
25.
by sargstuff 4mo ago
Ah, quick read / then dissapointment on re-read -- not banking on flexing to get an idea to fly -> https://techxplore.com/news/2026-03-birdlike-robots-greater-... So, no AI seagul training to do machine banking
26.
by sargstuff 4mo ago
cad/stl/cnc related files for 'automated assembly' via 3d printing pcb[1] / pick-n-place machine[2][3] would be nice. Catchy, higher order point/fundamental theory of calculus application of "Move over cas
27.
by sargstuff 4mo ago
diy 486 schematics (around year 2000)[0]. no longer available. Discription/overview[3]. :( But, current linux doesn't support 486 cpus. Was turned into something commerical (?2002[2])[1]. Perhaps modern version would be the old A
28.
by sargstuff 4mo ago
Food for thought: 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] -----------
29.
by sargstuff 4mo ago
Think that was a early computation thing -> CRT memory[0][1] 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.
30.
by sargstuff 4mo ago
"Can it run DOOM?" : https://canitrundoom.org/

More ›