Taken from Happy Mondays "Greatest Hits", available on all platforms: https://happymondays.lnk.to/GreatestHitsSubscribe to the channel: https://londonrecords...YouTube
(Link) Author: Per Martin-Löf (University of Stockholm) Reference: Per Martin-Löf, Intuitionistic Type Theory, Notes by Giovanni Sambin of...updatedscholar.blogspot.com
Hi everyone. Just wanted to share a small update about an upcoming January event I'm taking part in! An open-air exhibition of works in the Jinny Street Gallery! If you are in Tokyo, feel free to stroll by!
jinnystreetgallery.com/exhibit…
We invite six artists to share their connection with Tokyo on our first anniversary. Tokyo Flâneur Vol. 2 is another take on our inaugural exhibition focusing on walking, wandering, exploring, and sharing stories about Tokyo.Jinny Street Gallery
Masking is the new #queer flagging.
I've never seen the idea articulated as well as @kaindeoanna / kain.deo.anna (Instagram/Threads) did.
#WearARespirator #N95 #COVIDIsNotOver #MaskBloc
It's stunning that the technical leader of the World Health Organization's COVID-19 response, Dr. Maria Van Kerkhove, publically reaffirmed that COVID-19 is still a global health threat and still a pandemic, yet hardly any media outlet has covered this except for this one.
themessenger.com/health/covid-…
The COVID-19 pandemic is still ongoing, according to one of the World Health Organization’s leading infectious disease expertsMansur Shaheen (The Messenger)
there's a new client-side router that just released 1.0
when it was in alpha, i asked about #accessibility and was told "it's on the list for 1.0". can you guess whether they kept their word?
Jason J.G. White likes this.
reshared this
Access Kit reshared this.
Katalog mit freien eBooks (Public Domain, Creative Commons): kostenlos und ohne Anmeldung stöbern und herunterladen!ebooks.qumran.org
Starting 2024 off with some spice! Here’s a new blog post in which I try to tie together WordPress, web components, Astro, Wordle, React Three Fiber, HTMX, CRDTs and a 90s MMORPG.
jakelazaroff.com/words/the-web…
A one-dimensional spectrum can't sufficiently capture the tradeoffs involved in web development.jakelazaroff.com
Sometimes you want to create an offline copy of a site that you can take and view even without internet access. Using wget you can make such copy easily: wget –mirror –convert-links …Guy Rutenberg
So who is going to do the Wikipedia deep-dive to outline how much of modern computing Wirth had a hand in? I’m taking bets that most of us would have jobs that looked very differently: narrativ.es/@janl/111693937277…
Pascal was and still is one of my favorite languages and I’m pretty sure I wouldn’t be doing what I’m doing these days without Pascal.
What a loss for the world.
the classic Mac dev env was pascal, the modern mac dev env wouldn’t be what it is without Euler via smalltalk.
None of us would be doing what we are doing without is vision and work. ❤
Recently I have ported the Monk Tower game written in #rust to native Android, I've collected some issues found on the way - so you don't have to reinvent the wheel :)
maciejglowka.com/blog/building…
@Bubu hi, thanks for the info about that. I was actually considering it (and still am), but the publishing process was not completely clear for me and have posponed it.
But, actually maybe now IS a good moment for that, as the game development is not so dynamic anymore...
My recent recording of the #Sellafield alarms by-phone becomes quite bizarre when dubbed into Korean and then back into English. Original video: youtu.be/Q-mnJowMlAI
Strange audio posted here.
This recording has been uploaded for preservation only.Call date: 27 Dec 2023.Old video with slightly different alarms and announcer can be found here: https...YouTube
Learning about UX? Or working with UX professionals? Find out what they're talking about in this community-built UX dictionary.UX dictionary
DennisL reshared this.
This paper is really important, presenting empirical evidence of the imbrication bet. AI & the surveillance biz model. This is notable particularly given that most production surveillance tech is proprietary, its existence and use hidden from the public.
arxiv.org/abs/2309.15084?ref=4…
#AndroidAppRain at apt.izzysoft.de/fdroid today with 8 updated and 1 added apps:
* Free TV: watching TV channels from around the world
1 updated #Magisk module at apt.izzysoft.de/magisk
Enjoy your #free #Android #apps with #FDroid and the #IzzySoftRepo
This is a repository of apps to be used with F-Droid. Applications in this repository are official binaries built by the original application developers, taken from their resp. repositories (mostly Github, GitLab, Codeberg).IzzyOnDroid App Repo
The app is designed for watching TV channels from around the world.IzzyOnDroid App Repo
Výstavní projekt open-source světa, jehož kód byl otevřen v roce 2007, oslavil 30 let od první verze. Na původní vydání vzpomínal krátce zakladatel…David Ježek (Internet Info, s.r.o.)
AudioEye Has Dropped Its Suit Against Me
adrianroselli.com/2024/01/audi…
AudioEye has dropped its lawsuit against me as part of a settlement agreement. The specific legal details are at the end of this post.Adrian Roselli
reshared this
Time it takes for a hacker to brute force your password.
Good to know: Tuta Mail checks your password upon signup and makes sure it's strong enough.
Secure your emails now: app.tuta.com/signup
Of course, we also support 2FA on all devices.
Stay secure! 😍
Tuta Mail is the secure email service, built in Germany. Use encrypted emails on all devices with our open source email client, mobile apps & desktop clients.Tuta Mail
Všetky diely: https://video.sme.sk/t/7372/rozhovory-zkh Instagram Zuzany Kovačič Hanzelovej: https://www.instagram.com/zuzanahanzelova/ Newsletter Zuzany Kov...YouTube
Scribus 1.6.0 has landed! It is one of the first open-source tool updates of 2024!
news.itsfoss.com/scribus-1-6-r…
Scribus 1.6.0 update is a good way to start the new year!Sourav Rudra (It's FOSS News)
I tend to get asked a lot in my current role "Where the hell do I go for mobile accessibility...Mark Steadman (DEV Community)
#EveryDoor verfügbar auf @fdroidorg : f-droid.org/de/packages/info.z…
"This editor does not make you think. Just go to a mall, and start Every Door. You'll see mapped #shops around you: tap on the checkmark for any that are still there, and add shops that are not on the map. That's the entire process: you can keep your entire town up-to-date thanks to this simple editor."
Mobile OpenStreetMap editor for POI & micromappingf-droid.org
We ended 2023 with a talk at #37C3. @raphaelrobert and Konrad presented the new standard for end-to-end encryption, Messaging Layer Security (MLS). The room was packed and some people couldn't attend in person – luckily the talk is now online and can be watched again.
🍿 media.ccc.de/v/37c3-12064-rfc_…
Thank you @ccc and all helping hands for the great event!
#securemessaging #encryption #e2ee #messaginglayersecurity
They call it RFC 9420, we say MLS: A new IETF standard for end-to-end encryption was published in July and brings large improvements in p...media.ccc.de
Build Prav iOS app based on an existing iOS XMPP app like Monal or Snikketopencollective.com
(New blog) The State of the Keyservers in 2024
“In the two and a half years since the sks-keyservers.net shutdown in June 2021, the concept of #OpenPGP #keyservers has been called into question. However, keyservers still provide a vital service to the OpenPGP ecosystem.
…
OpenPGP is one of only two widely-used cryptography standards to include a full Public Key Infrastructure”
blog.pgpkeys.eu/state-keyserve…
An occasional blog about OpenPGP keyservers and related issuesblog.pgpkeys.eu
Od nového roku bez plastového řidičáku a techničáku!
Štvou vás plastové kartičky? Mě tedy jo. A tak mám velkou radost, že po mnoha letech konečně začal platit novela zákona, kterou jsem kdysi ve sněmovně prosadil. Přestože následně prošla ještě změnami, hlavní myšlenka je pořád stejná - od 1. ledna letošního roku už řidiči nemusí vozit techničák, ani řidičák. (1/3)
Archos
in reply to Dardan • • •