#lurk — Public Fediverse posts

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

Celebrate 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 #Fearless

Celebrate the “Climb” !

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

https://knowledgezone.co.in/resources/bookmarks

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

https://knowledgezone.co.in/resources/bookmarks

🔴 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

🔴 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

Hey, ich bin wieder da. Ich schau aber erstmal nur #introduction #lurk

@hannu_ikonen

#IF you wanna #Lurk; #Lurk...

#IF you wanna #Cuddle; I'll #SaveACuddle for #Later...

🧙:fediverse:​🤖🐺🤖:fediverse:​🧙 | 🍪​🦹☕🦄☕🦹🍪

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

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

I sometimes #lurk on #twitter, I didn't today. That #dog is just creepy.

"#FAUST programming on #FPGA for high-performance real-time #DSP"

https://www.youtube.com/watch?v=hZf5rSWLdaM&t=27s

#lurk #paw

#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

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

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

@hajasw Folks recommend posting a list of hashtags that interest you along w/ #introduction. I'm working on developing my bio bit-by-bit, adding hashtags. I know you prefer to #lurk, but posting something abt why you like a subject along w/ an appropriate hashtag will help.

But also, I just don't think being followed is quite as important here. There so much interaction on Local alone. You can search for hashtags and follow the hashtags too. Hashtags are very important here.

#TwitterMigration

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.

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.

A general question for the #lurk #mastodon community. Are there any suggestions for how to support the server/community? e.g. via donations, helping with handling sign-ups, etc.. ? @320x200 @rra ?

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

Когнитивный диссонанс — дискомфорт, вызываемый противоречием между имеющимся устоявшимся представлением и свежей поступающей информацией, фактами. Авторство теории когнитивного диссонанса принадлежит психологу Леону Фестингеру.

Представьте себе, что к вам приходит хорошо знакомый человек, которого вы считаете довольно умным и сообразительным, и объясняет, что газ у него к дому не подведён, плиты электрические, а он хочет поставить газовую. Под этим соусом он с серьёзным видом просит помочь найти переходник с 380 В на газ. Это неловкое чувство, когда серьёзно задумываешься, кто из вас двоих идиот, и есть когнитивный диссонанс.

Группы риска:

- адепты матана, воссоздающие в уме n-мерные пространства;
- философы, ищущие смысл бытия;
- физики, разрабатывающие теории построения пространства-времени;
- особая группа риска — любой человек с IQ выше 150, пытающийся осознать бесконечность.

#science #cognitive_bias #psychology #lurk