Search
968 results for “minrk”
-
We've got #miniKanren and #microKanren ...but what about macroKanren? WumboKanren‽
The minimalist everything-is-an-x aesthetic is cool, but it really gets in the way of letting the relational logic paradigm bloom. I'm curious what patterns arise when you allow syntax, sugar, and convenient extended semantics.
Trades off simplicity, but lifts patterns up from the mechanics. Reify how we think about things. I bet relational programming would grow some cool ones.
-
While I probably only hack on #miniKanren in 2-3 day sessions every 12 months or so — really just exploring — every time I do I can't help but be amazed by the amount of tools that are obviously incredibly powerful for programmers, but that we honestly don't know how to use yet. I don't know if I have ever personally come across an idea that convinced me beyond a doubt that its full of truly novel concepts waiting to be elaborated, tools that we simply don't know how to effecively progam with yet but certainly have tons to offer. Just look at Will Byrd, Nada Amin, and Matt White, every year they seem to have an agenda of problems to solve for which theres no consensus on methods for effective use. and they for the more part seem so busy grappling with the larger set of languages that fall out of the bottom of miniKanren that the question of how to get that power into the hands of average programmers effectively remains hugely under researched. How does a programmer not see that and become at least mildly interested? Especially when you learn that the most fundamental ideas of the language that provide you with a great deal of that power require only about ~30 lines of scheme? sad that only tiny corners of this planet offer support to such research.
-
Minäkin olin kerran #sijoittaja. Otin rahat pois rahastoista, hmm, ehkä 2019.
Tuli mieleen ku luin taas Hesarista sijoittamisesta kertovaa juttua. Siitä on tehty niin normatiivista, ja siksi mullakin niit oli.
"Divestoin, koska kapitalismi ml markkinatalous, ja kasvutalous, on aiheuttanut valtavan ekologisen katastrofin, enkä halua näillä muutamillakaan euroilla osallistua tähän moraalittomaan painajaiseen enää."
☺️
#sijoittaminen #talous #raha #markkinat #media #ilmastokriisi #vastuullisuus
-
@ramin_hal9001 yeah I bet its going to be cool, I imagine procedural content generation is a major reason for prioritizing logic programming, which with someone like SPJ thinking through, it could be really game changer.
Ive noticed that #miniKanren is able to express hierarchies of relations in a way that feels like a functional take on oop classes, it would interesting if Verse has a fresh take on using LP in that space as well.
Ultimately I think logic programming is probably the mind blowing and under explored style of programming, definitely a train I will try to hop on early
-
Minäkin kenties suutahtaisin, en ehkä ihan suuttuisi, jos saisin lahjaksi huopakassin ja #näkkileipä ä.
Suuttuisitko Sinä?
-
Minäkään en vastaa tuntemattomiin numeroihin.
Katson Fonectalla / Kuka soitilla perästä, että mikä numero. Jos joku kaupustelija, laitan mustalle listalle.
Jos on joku, jolla on oikeasti asiaa, hän soittaa varmasti myöhemmin uudestaan tai laittaa tekstarin, että yritin tavoitella. Ja jos ei osoittaudu haulla kaupustelijaksi, vastaan.
Simple as that.
-
Minäkään en vastaa tuntemattomiin numeroihin.
Katson Fonectalla / Kuka soitilla perästä, että mikä numero. Jos joku kaupustelija, laitan mustalle listalle.
Jos on joku, jolla on oikeasti asiaa, hän soittaa varmasti myöhemmin uudestaan tai laittaa tekstarin, että yritin tavoitella. Ja jos ei osoittaudu haulla kaupustelijaksi, vastaan.
Simple as that.
-
Minäkään en vastaa tuntemattomiin numeroihin.
Katson Fonectalla / Kuka soitilla perästä, että mikä numero. Jos joku kaupustelija, laitan mustalle listalle.
Jos on joku, jolla on oikeasti asiaa, hän soittaa varmasti myöhemmin uudestaan tai laittaa tekstarin, että yritin tavoitella. Ja jos ei osoittaudu haulla kaupustelijaksi, vastaan.
Simple as that.
-
Minäkään en vastaa tuntemattomiin numeroihin.
Katson Fonectalla / Kuka soitilla perästä, että mikä numero. Jos joku kaupustelija, laitan mustalle listalle.
Jos on joku, jolla on oikeasti asiaa, hän soittaa varmasti myöhemmin uudestaan tai laittaa tekstarin, että yritin tavoitella. Ja jos ei osoittaudu haulla kaupustelijaksi, vastaan.
Simple as that.
-
Minäkään en vastaa tuntemattomiin numeroihin.
Katson Fonectalla / Kuka soitilla perästä, että mikä numero. Jos joku kaupustelija, laitan mustalle listalle.
Jos on joku, jolla on oikeasti asiaa, hän soittaa varmasti myöhemmin uudestaan tai laittaa tekstarin, että yritin tavoitella. Ja jos ei osoittaudu haulla kaupustelijaksi, vastaan.
Simple as that.
-
Put in some effort this weekend to release #miniKanren v.1.2.0 for CHICKEN @scheme
The docs are a lot better now, we have tests, and it works on both CHICKEN 4 and 5!
-
In fact, all the talks in the “Declarative and Minimalistic Computing” track look exciting to me:
https://fosdem.org/2021/schedule/track/declarative_and_minimalistic_computing/I’m particularly impatient to learn about @spritelyproject, to be once again amazed by #miniKanren, and to see when we can finally have sexp diffs!
-
MINAKO HONDA & SATOMI FUKUNAGA 1987
an angel and a idol
#Japan #Japanesemusic #JPop #ShowaEra #ShowaIdols #1980s #HondaMinako #FukunagaSatomi #OnyankoClub #本田美奈子 #福永恵規 -
Naughty lack of skirt (and underwear!) on http://onlyfans.com/kquinzell today!
-
Wie schön, dieses Handbuch für Studierende und Praktiker*innen aus dem Gesundheits- und Therapiewissenschaften in die zweite Auflage gehen zu sehen. Inklusive eines Minikapitels zur Ethnografie im Gesundheitswesen von mir. #care #careethnography #ethnografie
-
Wie schön, dieses Handbuch für Studierende und Praktiker*innen aus dem Gesundheits- und Therapiewissenschaften in die zweite Auflage gehen zu sehen. Inklusive eines Minikapitels zur Ethnografie im Gesundheitswesen von mir. #care #careethnography #ethnografie
-
Wie schön, dieses Handbuch für Studierende und Praktiker*innen aus dem Gesundheits- und Therapiewissenschaften in die zweite Auflage gehen zu sehen. Inklusive eines Minikapitels zur Ethnografie im Gesundheitswesen von mir. #care #careethnography #ethnografie
-
Wie schön, dieses Handbuch für Studierende und Praktiker*innen aus dem Gesundheits- und Therapiewissenschaften in die zweite Auflage gehen zu sehen. Inklusive eines Minikapitels zur Ethnografie im Gesundheitswesen von mir. #care #careethnography #ethnografie
-
Wie schön, dieses Handbuch für Studierende und Praktiker*innen aus dem Gesundheits- und Therapiewissenschaften in die zweite Auflage gehen zu sehen. Inklusive eines Minikapitels zur Ethnografie im Gesundheitswesen von mir. #care #careethnography #ethnografie
-
Mike Borgonzi will enter the Jeremiyah Love question during the NFL Draft
The Jeremiyah Love discourse continues to dominate the conversation around the Tennessee Titans and their upcoming No. 4…
#NFL #TennesseeTitans #Tennessee #Titans #2026NFLDraft #CalebDowns #CamWard #Football #IndianaConventionCenter #JeremiyahLove #LasVegasRaiders #MikeBorgonzi #MinaKimes #NotreDameFightingIrish #SaquonBarkley #SonnyStyles
https://www.rawchili.com/nfl/860859/ -
Heute bin ich sehr glücklich mit meiner neuen #Minikettensäge durch den #Garten gerannt und habe wiederborstige #Äste abgesägt. Die #Hecken etwas ausgedünnt.
Mit den Hecken bin ich für diesen Herbst fertig.
Ich habe mit meiner neuen Minikettensäge ein paar #Wurzeln des #Efeus an der das #Grundstuck begrenzenden #Stadtmauer durchgesägt, ich habe ne neue #Totholzhecke angelegt.
Ein bisschen Heckenschnitt habe ich gebündelt und es auf den Bürgersteig gelegt, auf dass es morgen abgeholt werde.
Und ich habe den #Schornsteinfeger erreicht und einen Termin gemacht.
Ich finde, ich habe heute viel geschafft *klopftsichselbstaufdieSchulter* -
Artists First Signs ESPN’s Mina Kimes
#Agencies #ArtistsFirst #MinaKimeshttps://deadline.com/2025/09/mina-kimes-signs-artists-first-1236527906/
-
https://www.youtube.com/watch?v=2u8WJgksdSw
#Rightwing overgrown toddlers kvetching because #MinaKimes doesn't mince words
-
Sports reporter/commentators Mina Kimes, Pablo Torre & Dan LeBatard chat, on "Pablo Torre Finds Out", about their move to BlueSky from Twitter & what it means.
"Re-Potting" - PABLO TORRE FINDS OUT
https://www.pablo.show/p/re-potting -
The clip in the beginning with Tim Walz & his daughter Hope is some of the best stuff in this campaign.
But then ESPN's Mina Kimes talks about Tim's brand of masculinity & why it isn't just important... it's a MODEL for what America stands for.
Big facts. Watch this.
Tim Walz is MAGA's WORST Nightmare, ESPN Analyst Explains Why - TYT
https://youtube.com/watch?v=MCWvI0y63PQ&si=Xyy84PatmjBa_0Tq#HarrisWalz2024 #TimWalz #KamalaHarris #HarrisForPresident #KamalaForPresident #minakimes #tyt
-
One of the funnier moments on ESPN's Highly Questionable. #IYKYK. May it rest in peace. #minakimes #danlebatard #papi #hqespn
-
Say hi 169 Minakami2 https://www.alojapan.com/820911/say-hi-169-minakami2/
รายการเซย์ไฮออกอากาศทางช่อง3(33) เวลา 23.38-00.23 น. ฝากกดไลค์ กดติดตามเพื่อเป็นกำลังใจให้ด้วยนะคะ #SayHiClub #CH3(33) #SayHi
#Kitakyushu #Kitakyushudestinations #Kitakyushutour #Kitakyushutravel #Kitakyushutrip #Kitakyushuvacation #SayHi #กัญญารัตน์ #ติ๊ก #เซย์ไฮ #北九州
-
Na Vianoce som dostal model legendárneho lietadla Antonov An-225 "Mrija" (Sen). Jednalo sa o najväčšie dopravné lietadlo sveta, bohužiaľ len do momentu, kedy rusácke svine vykročili na územie Ukrajiny, a počas prvých hodín invázie tento krásny stroj nenávratne zničili. Že bol veľký som vedel, ale sám som bol prekvapený ako moc. Skoro sa mi nevliezol na poličku a Concorde, ktorý nám v rovnakej mierke (1:400) vedľa neho vyzerá ako malý business jet :)
-
Na Vianoce som dostal model legendárneho lietadla Antonov An-225 "Mrija" (Sen). Jednalo sa o najväčšie dopravné lietadlo sveta, bohužiaľ len do momentu, kedy rusácke svine vykročili na územie Ukrajiny, a počas prvých hodín invázie tento krásny stroj nenávratne zničili. Že bol veľký som vedel, ale sám som bol prekvapený ako moc. Skoro sa mi nevliezol na poličku a Concorde, ktorý nám v rovnakej mierke (1:400) vedľa neho vyzerá ako malý business jet :)
-
Na Vianoce som dostal model legendárneho lietadla Antonov An-225 "Mrija" (Sen). Jednalo sa o najväčšie dopravné lietadlo sveta, bohužiaľ len do momentu, kedy rusácke svine vykročili na územie Ukrajiny, a počas prvých hodín invázie tento krásny stroj nenávratne zničili. Že bol veľký som vedel, ale sám som bol prekvapený ako moc. Skoro sa mi nevliezol na poličku a Concorde, ktorý nám v rovnakej mierke (1:400) vedľa neho vyzerá ako malý business jet :)