Show more
Shamar boosted
:fedora: filippodb :cc: :gnu:

#natale

0
Shamar boosted
Quad 🌸
1+
Shamar

Ported .

Now the final monster: actual .

1
Shamar

Truth you don't want to know 

is .

1
Shamar boosted
🎓 Dr. Freemo :jpf: 🇳🇱

For todays I'm going to do something a bit different. We have a lot of new users, one of the biggest surges we have seen in a while. As such a lot of new users are looking for high quality, long-standing, accounts to follow. Similarly many of the new users need some help getting attention and making new friends.

As such I am going to do this in a few parts. One for old users I have mentioned in previous posts, as well as some of the new users who have been making quality posts and been active for at least a week now. Hopefully this will be more helpful.

Also a section for some bots might be useful.

I will use a persons profile description here as I dont want to misrepresent anyone.

:awesome_slide_r: New Mentions :awesome_slide_l:

@design_RG - Books, Bicycles & Cats, Life is Good. Books, . Bikes, sport ones. Cats, any colour or size. with Virgo rising. House of Ravenclaw.

@Karthikdeva - Always a Student, Nano-Technologist, Bookworm?, and basically I don't know anything, so I might be asking some agonizing questions.

@_lunawinters - Just a human , living on a rock called Earth, floating in a giant space.

@VidyaKrishnan - Independent journalist, S. Asia

@Shamar

@yantrajaal - Engineer by education, teacher by profession, programmer by passion and imagineer by intention

@susi123 - வாசிப்பையும்
நேசிப்பையும்
மறந்தவள்,,,..

@Full_marx - I am a मस्त डॉन on Mastadon. I wish to build something that can be of good use to as many people as possible. Social Sciences: Propaganda Science, Social Engineering, Behavioural Science, Advertising STEM: Human-Computer Interaction Design, Web Dev, Cyber Security Noob. Multimedia: Motion Graphics, Video Production, Electronic Music Production, Abstract Film, Writing Politics: Left, Right and Center. Whichever ideology leaves the people with the most amount of Dignity, sign me up for that one.

@raining_night - I love women, food, thriller/sci-fi/slasher movies and series, astro physics, superbikes, nature and animals ❤️ not in any specific order Trying out Veganism.

@shibaprasad - Master's student. Football Fan.

@ppmanik - Believe in free speech and data privacy. Interested in physics and science in general and future of Semiconductors and related devices in particular.

:kaboom: Old mentions :kaboom:

@jump_spider - <> programming autodidact and polyglot <> meditation enthusiast

@chris - Developer focusing on , and the . Also a speaker, teacher, blogger, and pilot doing my best to make the world a better place.

@SecondJon - I'm interested in being just not civil, but excellent in interacting with others of different viewpoints in an online world where we can so viciously defend our echo chambers and be so dismissive of other perspectives. I rarely log onto the bird site of FB anymore because the interactions are unproductive about anything meaningful. I'm a , , , , Unaffiliated , Software , , Reader of paper , Card and BoardGamer, drinker, solving problems for co-workers and partners primarily with and integrating with the /SFDC platform.

@sandfox - and developer

@cwebber - User freedom activist, ActivityPub co-editor, parenthesis enthusiast, occasional artist.

@whirli -

@pschwede -

@Rovine - Born in Hong Kong, lived in Australia, working holiday in UK.

@Absinthe - The green faerie

@mngrif

@ae -

@metapsyche - I am a cloud of vapor. Fragmenting into ever smaller pieces to explore ever widening spaces. Web Developer by day, Pattern Hunter at night. Thinker and Tinkerer on weekends. :)

@imvectech - RESEARCH ° COOPERATE ° MONITOR ° ADAPT. Developing and teaching to implement DITO techniques for human survival between knowledge and fate.

@canonicalbrud - ; husband and father; ; tinkerer; Stephen fan, i.e. proponent of (re-)introducing and into and thus heal the modern rifts between , , and the natural /s.

@david - Value people over code. I manage tech.lgbt. WordPress Maintenance fixupfox.com. On the Internet, everyone knows I'm a dog. Follows are open both ways for me if you're nice and cool!

@Algot - Words are my friends.

@Curator - Curator of art from the instance

@Erik - Privacy, plants & politics Student CybSec @ :utwente:

:doge: Bots :doge:

@arxiv_math

@arxiv_eess - Electrical Engineering

@arxiv_physics

@arxiv_cs

@arxiv_stats

@arxiv_bio

1+
Shamar

Interesting...

onionplay.co/search/Snowden+

0
Shamar boosted
x0rz

Autumn in France 🍂🇫🇷 t.co/eyuo1Oxwrv

0
Shamar boosted
ClaudioM

#Gattaca was not a training video, you know. 🤦🏻‍♂️ #dna #genomicprediction

The world’s first Gattaca baby tests are finally here - MIT Technology Review
technologyreview.com/s/614690/

1
Shamar boosted
Automobili

FCA si fonda con il gruppo PSA: quali auto saranno soppresse e cosa rischiano dipendenti diggita.com/v.php?id=1647312 #fca #psa #peugeot #auto

0
Shamar

For the first time in her whole life, my eldest daughter is studying a discipline I don't know.

I find this rather disturbing.

0
Shamar

FUCK!

Wrong --prefix!

Show thread
0
Shamar

crashed... 🤣

missing flex on the build machine...

Show thread
1
Shamar

Holding my breath... first try to compile GCC 9.2.0 for ...

1+
Shamar boosted
Csepp 🌢

working on a port of #NixOS 's NAR format for #Plan9 for a future purely functional package manager in the spirit of #Guix .

did you know that the #9front compilers have warnings for binary shifts that exceed the integer type's width? /bin/5c is surprisingly user friendly sometimes. (but the syntax errors could still use some work)

git.sr.ht/~raingloom/nar9

1+
Shamar boosted
SkyNebula

How can you not label a country as ”authoritarian (racist) regime” when you see this militarized police equipped like that when they come to look for immigrants…

(yes, this is ICE in the USA...)

Source : twitter.com/RidgewdTenantsU/st

0
Shamar boosted
Abstract Muscles
@Drezil I think there's a bit of miscommunication going on here. What I'm thinking about is if there is a proper, formal way of stating and proving the Curry-Howard correspondence (which I interpret as in the attached picture).

What you're giving me are specific examples/corrolaries, which while very exciting and often insightful, are not really what I'm looking for.
2019-11-07-120831_833x333_scrot…
1+
Shamar boosted
Abstract Muscles
@Drezil I do know what the Curry-Howard correspondence is, I'm just wondering if there actually exists a properly stated theorem (that actually corresponds to our intuition of CH) with a proper proof. Of course it's (relatively) easy to state and prove for any specific combination of logic and type system, but I'm wondering if there is a way to state the correspondence generalized over logics and type systems.
1
Shamar boosted
Abstract Muscles
Interesting question: What kind of thing is the Curry-Howard correspondence? It's not a theorem, because you usually don't state it formally, right?
1+
Shamar

Venture Capitalist vs Hacker (fictional, but I guess it would be pretty realistic) 

VC: Think big!

H: So, I have this protocol and this distributed operating system designed to replace primitive systems (, , , , ...) and the . But it's just the first step: the actual goal is to allow all people to program and debug their own software as they can read and write...

VC: Fine, fine, but what's the ?

H: 🤦‍♂️

0
Shamar boosted
Paolo Vecchi

You are working with #OpenSource platforms and have ideas that can benefit from EU funding?
Then you should watch this video and participate to the challenge:

peertube.opencloud.lu/videos/w

1
Show more
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.

Trending now

Resources

Developers

What is Mastodon?

qoto.org

More…