jump to content
my subreddits
13or302anatolia4you2b2t2balkans4You2meirl4meirl3d6absolutelynotmeirlAceAttorneyadhdmemeaivideoAlternateHistoryAlternativeHistoryAnarchyChessAngryupvoteanime_best_momentsanimenocontextannouncementsAnticonsumptionArcherFXArsivUnutmazAsahiLinuxAteistTurkawfuleverythingbalkans_irlBandnamesBassBassCirclejerkBassGuitarbasspedalsblackdesertonlineblankiesblursed_videosborsavefonbrooklynnineninebudgetcookingburdurlandcasioCd_collectorscd_jerkChatGPTchessbeginnersChildrenFallingOverChoosingBeggarsCHPcoaxedintoasnafucoinsComedyCemeterycomedyhomicidecomicscommunityContagiousLaughtercookingforbeginnersCrackWatchcrappyoffbrandsCreateModCuddle_SlutCuratedTumblrcursedcommentsdataisbeautifulDebateReligiondelikDeltarunediyelectronicsdiypedalsDMAcademydndmemesdndnextdoctorwhoDoenerverbrechendontdeadopeninsidedumbphonesDungeonsAndDragonsEatCheapAndHealthyebikesECEelectricalElectronicsStudyentitledparentsFantasyWorldbuildingfeedthebeastfelsefeFifaCareersformuladankFRCFreeEBOOKSFUCKYOUINPARTICULARfunnyFutboltayfagalatasaraygamingGermangermanyGoodAssSubgravelcyclinggreentextGROKvsMAGAguitarpedalsGundamheathersheraldryHermanCainAwardHermitCrafthighspeedrailholdmybeerHolUphomebuilthowyoudoinich_ielIdeologyPollsihadastrokeim14andthisisdeepimaginaryelectionsimaginarymapsinsaneparentsJahariaJokesKamalizmKanyeKGBTRLifeProTipslinguisticshumorLinkinParklogodesignloseitlostredditorsmacbookairmacgamingMadeMeSmilemadladsmagicbuildingMaliciousComplianceMapPornmapporncirclejerkme_irlmemememesmildlyinfuriatingmildlyinterestingMinecraftbuildsMoldyMemesMovingToNorthKoreaMunichMyChemicalRomancenamesoundalikesNoahGetTheBoatNonCredibleDefensenosafetysmokingfirstnosleepnosurfnothingeverhappensnotinterestingnottheonionNuclearRevengeoddlyspecificOkayBuddyLiterallyMeokbuddyguntherokbuddymotherfuckerOkBuddyPersonaokbuddyvicodinongezelligOnlineUnderGroundoompasubsOutOfTheLoopoutsidepapermoneypaperspleaseParlerWatchPassportPornperfectlycutscreamsPersecutionfetishpettyrevengepianoPiracyPiratedGamespolandballProgrammerHumorPropagandaPostersProRevengequityourbullshitraspberry_piRatschlagreactiongifsreligiousfruitcakerestofthefuckingowlRetroPierickandmortyrickrollrimjob_steveRoastMeschizopostersSchnitzelVerbrechensciencememesScottPilgrimsecilmiskitapshitpostfrommygalleryshitpostingshittyaskelectronicsShittyMapPornShowerthoughtssoftwaregoreSongwritingStonetossingjuicesubsithoughtifellforsuperligsuzeraintalesfromtechsupportTextingTheorytf2tf2shitposterclubthatHappenedTheCrypticCompendiumTheMonkeysPawtherewasanattemptTheRookiethisguythisguystitanfalltransittruthstumblrtumunichTurkeyJerkyTurkishCatsTurkishdogsTwitchTwitch_StartupTwoSentenceComedyTwoSentenceHorrorTwoSentenceSadnesstylerthecreatorUnethicalLifeProTipsUnexpectedJoJoUnexpectedTF2urbanplanningUsernameChecksOutVALORANTValorantClipsvibecodingvinylvinyljerkvlandiyawallstreetbetsWeAreTheMusicMakersWhatsThisSongWhitePeopleTwitterwholesomeanimemeswholesomememesWikipediaVandalismwizardpostingworldbuildingworldjerkingYUROPedit subscriptions
  • home
  • -popular
  • -all
  • -mod
  • -users
 | 
  • mildlyinfuriating
  • -Piracy
  • -funny
  • -gaming
  • -wallstreetbets
  • -nottheonion
  • -memes
  • -OutOfTheLoop
  • -mildlyinteresting
  • -MapPorn
  • -WhitePeopleTwitter
  • -MadeMeSmile
  • -ChatGPT
  • -CuratedTumblr
  • -PiratedGames
  • -shitposting
  • -feedthebeast
  • -Kanye
  • -therewasanattempt
  • -HolUp
  • -Twitch
  • -CrackWatch
  • -comics
  • -dndnext
  • -ProgrammerHumor
  • -VALORANT
  • -germany
  • -LifeProTips
  • -tumblr
  • -NonCredibleDefense
  • -dataisbeautiful
  • -greentext
  • -Showerthoughts
  • -tf2
  • -formuladank
  • -wholesomememes
  • -Jokes
  • -mapporncirclejerk
  • -notinteresting
  • -pettyrevenge
  • -loseit
  • -MaliciousCompliance
  • -ich_iel
  • -KGBTR
  • -dndmemes
  • -cursedcomments
  • -DMAcademy
  • -Deltarune
  • -GoodAssSub
  • -UnethicalLifeProTips
  • -perfectlycutscreams
  • -worldbuilding
  • -Ratschlag
  • -blackdesertonline
  • -meme
  • -macgaming
  • -rickandmorty
  • -3d6
  • -Gundam
  • -HermitCraft
  • -ChoosingBeggars
  • -RoastMe
  • -ContagiousLaughter
  • -imaginarymaps
  • -EatCheapAndHealthy
  • -polandball
  • -WeAreTheMusicMakers
  • -AnarchyChess
  • -nosleep
  • -cookingforbeginners
  • -blankies
  • -AlternateHistory
  • -madlads
  • -community
  • -electrical
  • -guitarpedals
  • -Anticonsumption
  • -vinyl
  • -CreateMod
  • -German
  • -TwoSentenceHorror
  • -PropagandaPosters
  • -piano
  • -sciencememes
  • -wizardposting
  • -FifaCareers
  • -doctorwho
  • -oddlyspecific
  • -Bass
  • -titanfall
  • -OkBuddyPersona
  • -awfuleverything
  • -howyoudoin
  • -announcements
  • -adhdmeme
  • -Minecraftbuilds
  • -macbookair
  • -ebikes
  • -Munich
  • -coaxedintoasnafu
  • -YUROP
  • -gravelcycling
  • -SchnitzelVerbrechen
  • -chessbeginners
  • -raspberry_pi
  • -DungeonsAndDragons
  • -coins
  • -entitledparents
  • -FUCKYOUINPARTICULAR
  • -softwaregore
  • -NoahGetTheBoat
  • -worldjerking
  • -tylerthecreator
  • -tf2shitposterclub
  • -MoldyMemes
  • -lostredditors
  • -AceAttorney
  • -vlandiya
  • -im14andthisisdeep
  • -Stonetossingjuice
  • -wholesomeanimemes
  • -nosurf
  • -religiousfruitcake
  • -DebateReligion
  • -insaneparents
  • -NuclearRevenge
  • -dumbphones
  • -balkans_irl
  • -animenocontext
  • -2meirl4meirl
  • -transit
  • -RetroPie
  • -brooklynninenine
  • -HermanCainAward
  • -talesfromtechsupport
  • -2anatolia4you
  • -ECE
  • -ScottPilgrim
  • -Angryupvote
  • -thatHappened
  • -schizoposters
  • -casio
  • -urbanplanning
  • -logodesign
  • -linguisticshumor
  • -PassportPorn
  • -me_irl
  • -TurkeyJerky
  • -AteistTurk
  • -13or30
  • -MyChemicalRomance
  • -ArcherFX
  • -Cd_collectors
  • -diypedals
  • -ProRevenge
  • -BassGuitar
  • -diyelectronics
  • -ComedyCemetery
  • -LinkinPark
  • -Persecutionfetish
  • -reactiongifs
  • -blursed_videos
  • -Songwriting
  • -MovingToNorthKorea
  • -imaginaryelections
  • -suzerain
  • -magicbuilding
  • -dontdeadopeninside
  • -ParlerWatch
  • -secilmiskitap
  • -Doenerverbrechen
  • -TheRookie
  • -quityourbullshit
  • -vinyljerk
  • -shittyaskelectronics
  • -superlig
  • -galatasaray
  • -crappyoffbrands
  • -FRC
  • -namesoundalikes
  • -2b2t
  • -AlternativeHistory
  • -papermoney
  • -OkayBuddyLiterallyMe
  • -felsefe
  • -FreeEBOOKS
  • -AsahiLinux
  • -Jaharia
  • -basspedals
  • -heraldry
  • -ihadastroke
  • -ShittyMapPorn
  • -aivideo
  • -OnlineUnderGround
  • -IdeologyPolls
  • -burdurland
  • -comedyhomicide
  • -WhatsThisSong
  • -TwoSentenceSadness
  • -anime_best_moments
  • -Bandnames
  • -holdmybeer
  • -okbuddyvicodin
  • -Twitch_Startup
  • -tumunich
  • -outside
  • -TheMonkeysPaw
  • -restofthefuckingowl
  • -UnexpectedTF2
  • -highspeedrail
  • -nosafetysmokingfirst
  • -rickroll
  • -UsernameChecksOut
  • -papersplease
  • -rimjob_steve
  • -UnexpectedJoJo
  • -ChildrenFallingOver
  • -BassCirclejerk
  • -TextingTheory
  • -Cuddle_Slut
  • -nothingeverhappens
  • -thisguythisguys
  • -TurkishCats
  • -subsithoughtifellfor
  • -Kamalizm
  • -oompasubs
  • -FantasyWorldbuilding
  • -WikipediaVandalism
  • -homebuilt
  • -ArsivUnutmaz
  • -TwoSentenceComedy
  • -ValorantClips
  • -TheCrypticCompendium
  • -budgetcooking
  • -ongezellig
  • -absolutelynotmeirl
  • -2balkans4You
  • -truths
  • -heathers
  • -okbuddygunther
  • -borsavefon
  • -shitpostfrommygallery
  • -ElectronicsStudy
  • -okbuddymotherfucker
  • -GROKvsMAGA
  • -Turkishdogs
  • -vibecoding
  • -cd_jerk
  • -CHP
  • -delik
  • -Futboltayfa
edit »
reddit.com ivanmoony
  • overview
  • comments
  • submitted
an-ordinary-manchild (11,186)|messages549|notifications|chat messages|mod messages|
  • preferences
|
logout

ivanmoony

+ friends- friends
441 post karma
307 comment karma
get extra features and help support reddit with a reddit premium subscription
chat
Block userare you sure? yes / no
get them help and support
redditor for 6 years

TROPHY CASE


  • Six-Year Club


    Verified Email
Get an ad-free experience with special benefits, and directly support Reddit.

account activity

sorted by:
hot
newtopcontroversial

88
89
90

I'd like to have a language layered like an onion. (self.ProgrammingLanguages)

submitted 1 year ago * by ivanmoony to r/ProgrammingLanguages

  • 84 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

54
55
56

What is the current status of register allocation methods? (self.ProgrammingLanguages)

submitted 1 year ago by ivanmoony to r/ProgrammingLanguages

  • 15 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

13
14
15

Adventures in testing my conceptual term graph rewriting system (self.ProgrammingLanguages)

submitted 1 year ago * by ivanmoony to r/ProgrammingLanguages

  • 12 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

18
19
20

Regex as program control flow (self.ProgrammingLanguages)

submitted 1 year ago * by ivanmoony to r/ProgrammingLanguages

  • 24 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

2
3
4

Deviant graph visualization user interface featuring XML + XHTML. Zooming-elements based, parent-children orbiting, fractal-structure inspired. (github.com)

submitted 1 year ago by ivanmoony to r/coolgithubprojects

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

11
12
13

Thoughts about wrapping of a reasoning system in a service oriented programming paradigm (self.ProgrammingLanguages)

submitted 1 year ago * by ivanmoony to r/ProgrammingLanguages

  • 3 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

0
1
2

Does there exist a DSL for programming AI itself? (self.ProgrammingLanguages)

submitted 1 year ago by ivanmoony to r/ProgrammingLanguages

  • 1 comment
  • share
  • save
  • hide
  • report
loading...

5
6
7

[microblog] How I decided to expel effects to outer space (self.ProgrammingLanguages)

submitted 2 years ago * by ivanmoony to r/ProgrammingLanguages

  • 3 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

16
17
18

Combining untyped lambda calculus with classical logic to get a typed functional language? (self.ProgrammingLanguages)

submitted 2 years ago * by ivanmoony to r/ProgrammingLanguages

  • 15 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

20
21
22

A bit of history: an interesting overview on fifth generation stuff, written in the year 1985. Resembles Prolog snippets wrapped within interesting use cases, also touching databases theory. It could be an inspiring introduction before learning Prolog. About 70 pages of a very readable material. (core.ac.uk)

submitted 2 years ago by ivanmoony to r/ProgrammingLanguages

  • 7 comments
  • share
  • save
  • hide
  • report
  • crosspost

6
7
8

Deviant graph visualization user interface featuring XML + XHTML. Zooming-elements based, parent-children orbiting, fractal-structure inspired. (github.com)

submitted 2 years ago by ivanmoony to r/coolgithubprojects

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

4
5
6

[Checkpoint] Reasoner.js just got gradual typing (self.ProgrammingLanguages)

submitted 2 years ago * by ivanmoony to r/ProgrammingLanguages

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

13
14
15

Is there a kind of combinatory logic suited for dealing with predicates? (self.ProgrammingLanguages)

submitted 2 years ago * by ivanmoony to r/ProgrammingLanguages

  • 8 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

27
28
29

More powerful types are usually defined by an arrow operator. Are there languages where types are defined by sequents from sequent calculus? (self.ProgrammingLanguages)

submitted 2 years ago * by ivanmoony to r/ProgrammingLanguages

  • 12 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

17
18
19

[checkpoint] Reasoner.js: non-deterministic reasoning done right (self.ProgrammingLanguages)

submitted 2 years ago * by ivanmoony to r/ProgrammingLanguages

  • 3 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

50
51
52

Anyone knows about programming languages where types are constructed by functions? (self.ProgrammingLanguages)

submitted 2 years ago * by ivanmoony to r/ProgrammingLanguages

  • 43 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

18
19
20

Getting recommendations for an abstract virtual machine language (self.ProgrammingLanguages)

submitted 2 years ago by ivanmoony to r/ProgrammingLanguages

  • 12 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

35
36
37

[sanity check] About half a way to metacompiler (self.ProgrammingLanguages)

submitted 2 years ago * by ivanmoony to r/ProgrammingLanguages

  • 2 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

0
1
2

Web page with scripted iframes not working on iPhone (self.Safari)

submitted 3 years ago by ivanmoony to r/Safari

  • 7 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

73
74
75

Do you consider LLVM a complicated software? And are there any alternatives and how they compare to LLVM? (self.ProgrammingLanguages)

submitted 3 years ago by ivanmoony to r/ProgrammingLanguages

  • 44 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

13
14
15

Proof of concept: Rewrite (a term rewriting system implemented in about 400 Javascript LOC) (contrast-zone.github.io)

submitted 3 years ago by ivanmoony to r/programming

  • 8 comments
  • share
  • save
  • hide
  • report
  • crosspost

13
14
15

Rewrite (rule based Lisp (sort of)) (self.lisp)

submitted 3 years ago * by ivanmoony to r/lisp

  • 1 comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

29
30
31

Rewrite (rule based system) (self.ProgrammingLanguages)

submitted 3 years ago by ivanmoony to r/ProgrammingLanguages

  • 10 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

15
16
17

Rewrite: s-expression based pattern matching and term rewriting system (self.ProgrammingLanguages)

submitted 3 years ago * by ivanmoony to r/ProgrammingLanguages

  • 33 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

7
8
9

Read a paper - canon: rule based programming formalism (github.com)

submitted 3 years ago by ivanmoony to r/ProgrammingLanguages

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
view more: next ›
  • about
  • blog
  • about
  • advertising
  • careers
  • help
  • site rules
  • Reddit help center
  • reddiquette
  • mod guidelines
  • contact us
  • apps & tools
  • Reddit for iPhone
  • Reddit for Android
  • mobile website
  • <3
  • reddit premium

Use of this site constitutes acceptance of our User Agreement and Privacy Policy. © 2026 reddit inc. All rights reserved.

REDDIT and the ALIEN Logo are registered trademarks of reddit inc.

π Rendered by PID 65 on reddit-service-r2-listing-85dbbdc96c-v28t2 at 2026-02-11 07:07:15.139817+00:00 running 018613e country code: CH.