Could we determine if #UAPs/#UFOs are #Aliens? : Medium
Something #Invisible and '#Fuzzy' may #Lurk at the #MilkyWay's center, new research suggests : Live Sci
Rush to the #Space: #Exploration of other #Celestial bodies for natural #Resources is on : Misc
Check our latest #KnowledgeLinks
🔴 La Rétrospective #twitch de viewer·euse 2024 est arrivée ! 🥰
https://a7productions.blogspot.com/p/7-radio-100-mix.html
📌 Une belle année de partage ! #TwitchRecap
Des découvertes, des voix apaisantes, des jeux et aventures de folies.. Que de bons moments vécus ( à 95% en #lurk) mais avec vous 😅
Notre Top 5 : ⬇️
1) Pressea
2) SarahASMR
3) Mewstelle
4) Nynyhon
5) AnaOnAir
#World #Travel #Photography #Live #Video #Watching #SocialMedias #ASMR #Gaming #Sport #Mastodon #StarWarsOutlaws #JustChatting
Guten Morgen meine Lieben, heute mal ein Blick hinter die Kulissen ☺️
So sieht das aus wenn ich euch auf #Twitch einen #Lurk dalasse 👍
Hey, ich bin wieder da. Ich schau aber erstmal nur #introduction #lurk
Calcifer lurking
Stealth expert hides in plain sight
Silent prowler chops
#Haiku #OneHaikuADay #WritersCollective #writingcommunity #BackToHaiku #Calcifer #Cat #Lurk #Lurker #Prowl #Prowler #Stealth #PlainSight #CatsOfMastodon
April 16, 2024
I #lurk too much...
I moved outside the city center earlier this year. I'm now very happy and well integrated in my new Kiez. But I was cleaning up and found these photos of a few lurkers outside my old building saying goodbye. #lurk #berlin
Lurk & Aetus Selfie (By Lurk)
Lurk and Aetus were out seeing some sights and just had to stop for a selfie. :> I did a lil sketch for Lurk and he decided to pay me back with this cute art. Thank you!
https://www.patreon.com/aetus
#aetus #avian #bald_eagle #bird #lurk #osprey #selfie #trade
LURK: Lambda, The Ultimate Recursive Knowledge
"We introduce Lurk, a new #LISP-based programming language for #zkSNARK. Traditional approaches to programming over zero-knowledge proofs require compiling the desired computation into a flat circuit, imposing serious constraints on the size and complexity of computations that can be achieved in practice. #Lurk programs are instead provided as data to the universal Lurk interpreter circuit, allowing the resulting language to be Turing-complete without compromising the size of the resulting proof artifacts. Our work describes the design and theory behind Lurk, along with detailing how its implementation of content addressing can be used to sidestep many of the usual concerns of programming #ZeroKnowledge proofs"
NADA AMIN, JOHN BURNHAM, FRANÇOIS GARILLOT, ROSARIO GENNARO, CHHI’MÈD KÜNZANG, DANIEL ROGOZIN, CAMERON WONG 2023
https://research.protocol.ai/publications/lurk-lambda-the-ultimate-recursive-knowledge/amin2023.pdf
with an implementation in #rust
@draNgNon Be me, super newb at all of this.
Redditor for 12+ years and looking for something else, never liked twitter or mainstream social media (insta, facebook etc) You see, I’m a #lurker
Here’s what I ended up doing after deleting my Reddit app:
1. Signed up for Mastodon.world
2. Looked up Lemmy and Kbin, joined both via the @lemmyworld and @kbin respectively.
3. Now I’m using Mastodon to #lurk on magazines/threads from across the #fediverse
YMMV
#lurk, a #scheme-like content-addressed #lisp for "Zero Knowlege Proofs"
https://blog.lurk-lang.org/posts/prog-intro/
2023 - THE UPCOMING TERROR!⚔️
➡️April 7th, 2023⬅️
LURK - Ageis🇫🇮🔥
4th album (7 years later) from Tampere, Pirkanmaa, Finnish Sludge/Doom Metal outfit🔥
BC➡️https://lurkdoom.bandcamp.com/album/aegis-sludge-doom-metal 🔥
#Lurk #Ageis @transcendingobs@twitter.com #SludgeDoomMetal #TheUpcomingTerror23 #KMäN
one thing i love but also find deeply intimidating about mastodon (or at least the #lurk instance) is regularly being reminded of the sheer amount of things i know nothing about.
people share obscure software that they've dedicated their life to, art practices that never would have occurred to me, activism deeply specific to a cultural group or region. it's beautiful and overwhelming. there are so many things to learn in the world, and i will only ever know about such a small set of them.
✨Stream ist Live ✨
Es geht mit #CrisisCoreReunion weiter!
Wir sind aktuell in Kapitel 7, kommt vorbei. Setzt euch in den #Lurk oder quatscht mit mir.
Ihr seid alle gleichermaßen willkommen ❤️
➡️http://twitch.tv/madame_rixia
This is a talk earlier this fall about how we're compiling formal proofs in the lean theorem prover to zk-SNARKs using the Lurk language: https://www.youtube.com/watch?v=IfPi8Qh3gOw
(https://leanprover.github.io/)
(https://lurk-lang.org/)
#Lean #lurk #rust
