#lurk — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #lurk, aggregated by home.social.
-
Check the “Observer”: Is there a low-stakes way for someone to exist in your #community without being forced to speak? Allow people to #lurk...
Identify “Good First Steps”: Is the jump from “reading” to “doing” too high?
Review your #onboarding tone: Does your welcome sequence feel like a marketing drip campaign?
Open the “Black Box”: Can a member see how #decisions are made?
#Trust and #Invest in #Community
#Fear #Less to become #FearlessCelebrate the “Climb” !
-
Check the “Observer”: Is there a low-stakes way for someone to exist in your #community without being forced to speak? Allow people to #lurk...
Identify “Good First Steps”: Is the jump from “reading” to “doing” too high?
Review your #onboarding tone: Does your welcome sequence feel like a marketing drip campaign?
Open the “Black Box”: Can a member see how #decisions are made?
#Trust and #Invest in #Community
#Fear #Less to become #FearlessCelebrate the “Climb” !
-
CW: Research + Self Promo
It was an honor to be interviewed by @neil_selwyn for the #Education #Technology #Society #podcast he runs on #Critical #EdTech.
https://www.buzzsprout.com/1301377/episodes/18914799-ed-tech-as-climate-criminal
It was about this research thread I've been pursuing for a while on Higher Ed's complicity in the excesses of the #tech sector. I have a position paper in the pipeline with an Irish Journal on EdTech, not super clear when that will be out. The provocation is: "EdTech as Climate Criminal".
Meanwhile, this was only possible thanks to the amazing work and research by loads of brilliant folx, many of who are right here on #mastodon and #lurk.
Huge thank you to @neil_selwyn @ketan @titipi @Aepasek @rra @l03s @320x200 @jasonkoebler @parismarx @decentral1se @alcstrt @djoerd @olivia @praxeology @latentspace @danmcquillan @gerrymcgovern + so many more contributors to the #permacomputing and #degrowth ideas and all my colleagues at the #climate #justice #universities #union #CJUU @index
❤️
-
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
-
Hey, ich bin wieder da. Ich schau aber erstmal nur #introduction #lurk
-
#IF you wanna #Cuddle; I'll #SaveACuddle for #Later...
🧙:fediverse:🤖🐺🤖:fediverse:🧙 | 🍪🦹☕🦄☕🦹🍪
-
CW: self-promotion & community appreciation
Pushed a long overdue update to the old site with current research content.
I get *a lot* from groups and people that post here, and my research interests echo lots of people's work that I found out about on mastodon and on #lurk
Thx all! :unwanted_love:
-
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
-
"#FAUST programming on #FPGA for high-performance real-time #DSP"
-
#lurk, a #scheme-like content-addressed #lisp for "Zero Knowlege Proofs"
https://blog.lurk-lang.org/posts/prog-intro/ -
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.
-
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 -
On #RussianTelegram, it’s molasses out there. It’s part of the pattern though. Every time we have another #Retreat, they do this. It’s been quiet for a couple of days. On the bright side, I can #rubberneck and #Lurk on #BirdChan
-
This one was a #bladesinthedark character that I played and fell in love with, Raylan Riggins. One of the only characters that I’ve made for any game where I felt like I knew their whole life story, and really had a handle on them. World’s Biggest Thanks to @johnharper and @StrasAcimovic and everyone else that contributed to make Blades in the Dark my favorite RPG ever!
#fitd #characterdesign #originalcharacter #lurk #raylan #oldmanlowgun #thief #scoundrel
-
Dear people of #lurk and beyond, you're lucky, especially if you are in Netherlands. On 1st of December, at the KABK, Élodie Boyer, Karel Martens, Sébastien Morlighem and Stefano van der Knaap (Zwaan Lenoir) will give a conference: Love, Friends and Hard Work around Non Standard books. https://editions-non-standard.com/?lang=en
-
With the influx of new users, I guess it's time for an #introduction.
I am a #Network Custodian by day and a mid-level #Baduk player by night. I am interested in #Comics #Movies and all kinds of #Music. Whenever possible I prefer using #OpenSource technology. When I can I like to go #Hiking in State and #NationalParks. I don't post much and #lurk through the timeline boosting interesting toots. I am old enough to remember the #EternalSeptember but think this #twitterexodus is a very good thing. -
My #introduction post:
- I #lurk more than I post.
- I’ve been on the bird app since you had to type ‘RT’ and copy/paste, so it’s gonna be v. hard to give up.
- I work at an #academic #library, so talk about #book stuff is interesting to me.
- I like #science and #art AND #humanities. They are all important.
- I do all sorts of #crafts: #knitting, #spindlespinning, #embroidery, #sewing (newbie), #papercrafting
- I’m an #atheist, #zoology major, #vegetarian, #introvert
