Hacker Newsnew | past | comments | ask | show | jobs | submit | sargstuff's commentslogin

Bit technical, generate an audio verson of unique hash tag id. compare audio hash tags to find duplicates.

"turnkey" setup : musicbrainz picard[0]

incorporate into own project : acoustid[1], dejavu[2]

------------

[0] : https://picard.musicbrainz.org/

[1] : https://acoustid.org/

[2] : https://github.com/worldveil/dejavu


Slower/more expensive, but perhaps an IRL human theme park 'lunar lander'[0] roadster ride might generate better training set data/project funds.(saftey cables not optional)

It'd be the ONLY way 99.99999% of world would have a shot at driving a roadster.

[0] : https://en.wikipedia.org/wiki/Lunar_Lander_(video_game_genre...


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.


"legal contract/framwork to handle all the incidentals of using the open source project" This is the point missing.


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 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...


Can provide useful "highlights" for dealing with different language versions / language compatibility/inter-operability issues. aka 1980's language vs. 2020 take.


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.github.io/tree-sitter/


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 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



λ-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/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


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/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-...


Consider applying for YC's Winter 2027 batch! Applications are open till November 2.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: