Do you love and/or hate HoTT or dependent type theory? Come do a Ph.D. with me to develop applications of HoTT to verified functional programming and/or think outside the box about how we can make dependent type theory work better.
I recently received a grant to study the Univalent Verification of Parameterized Structures, and I need Ph.D. students to spend that money on. Application deadline December 15 to start Fall 2025. Lots more info here: carloangiuli.com/pages/phd-recโฆ
An online LaTeX editor thatโs easy to use. No installation, real-time collaboration, version control, hundreds of LaTeX templates, and more.www.overleaf.com
Composed by Yann Tiersen.All the Amelie music bought Yann Tiersen in limelight and now he is compared with other musicians like Chopin, Erik Satie, Phillip ...YouTube
I'm old enough to remember the outrage and hand-wringing from western politicians and media when the Taliban destroyed ancient cultural and religious sites in Afghanistan.
Now? You could hear a pin drop.
newarab.com/news/israel-dynamiโฆ
reshared this
LA Times owner seems to be in league with Trump, vetoing a Harris endorsement and then letting the campaign use standard-issue lies to smear the paper for something it didn't do.
The editorial page editor quit in protest and she deserves our respect.
She has more courage than the vast majority of our political press corps, which still normalizes Trump and will be culpable if he -- and then Vance -- become America's fascist rulers.
cjr.org/business_of_news/los-aโฆ
Mariel Garza, the editorials editor of the Los Angeles Times, resigned on Wednesday after the newspaperโs owner blocked the editorial boardโs plans to endorse Vice President Kamala Harris for president.Columbia Journalism Review
For those who want a peek behind the scenes โ our #accessibility teamโs yearly retrospective notes are all public: github.com/wagtail/wagtail/disโฆ
Highlights of whatโs coming up next:
- Accessibility x #django workshop proposals @oscafest and @djangoconafrica 2025
- More testing with our users with disabilities
- More automated tests
- Continue the data-driven accessibility decisions
๐ Subscribe to this thread for regular updates on what our accessibility team is up to, unsubscribe if this isnโt for you (in "Notifications" to the side ๐). 2024-10-18 โ retrospective 2024-10-04 โ...GitHub
๐Deptali ho kukรกnรญm a poniลพovali Haลกkem. Co zaลพil ฤeskรฝ velvyslanec v Rusku
denikn.cz/1549047/deptali-ho-kโฆ
#politika
Do letoลกnรญho ฤervna velvyslanec vย Rusku Vรญtฤzslav Pivoลka mฤl za รบkol โdobรฝt ambasรกdu vย Moskvฤ zpฤtโ. Vrรกtit ji do ฤeskรฝch rukou. Protoลพe, jak ลรญkรก, ji ovlรกdaly ruskรฉ uklรญzeฤky, kukaฤky aย ลกtฤnice.Petra Prochรกzkovรก (Denรญk N)
Štฤpán Škorpil reshared this.
We moved the Firefox Translations engineering channels from private Slack to a public Matrix channel, and it feels like a breath of fresh air. The project was a bit more closed in its infancy, but now that we are on a good track, everything is defaulting to much more open. This makes me happy.
matrix.to/#/#firefoxtranslatioโฆ
You're invited to talk on Matrix. If you don't already have a client this link will help you pick one, and join the conversation. If you already have one, this link will help you join the conversationmatrix.to
reshared this
Wonderful article from @bas on getting started with #accessibility. basbroek.nl/making-accessibiliโฆ
I love how he emphasizes that while accessibility is a vast space, we can start small and learn from the assistive technologies already built into our devices!
In โBuilding an Accessibility Culture, One Step at a Timeโ, a presentation I recently gave at Swift Connection and SwiftLeeds, I spoke about โmaking accessibility accessibleโ. What does it mean, and how can we accomplish this?Basโ Blog
Apple released the first iOS 18.2 beta for developers today, and while it's only available on devices that support Apple Intelligence, there are...Juli Clover (MacRumors.com)
"Boeing reports $6 billion quarterly loss ahead of vote by union workers who have crippled production"
Gotta love the implicit bias.
Let's fix it:
"Boeing reports $6 billion quarterly loss after crippling their production by not reaching a bargain with union workers"
voanews.com/a/boeing-reports-6โฆ
Boeing can't produce any new 737s, however, until it ends the strike by 33,000 machinists that has shut down assembly plants in the Seattle areaAssociated Press (Voice of America (VOA News))
The company doctors call "EvilCore" fits the description in every way.
Health insurance companies pay it to help them stiff policy holders. It's a scam on the American people.
Great reporting by @propublica
propublica.org/article/evicoreโฆ
When companies like Aetna or UnitedHealthcare want to rein in costs, they turn to EviCore, whose business model depends on turning down payments for care recommended by doctors for their patients.ProPublica
Developers on Wednesday are getting their first taste of Apple Intelligenceโs ChatGPT integration courtesy of the newly released iOS 18.2, iPadOS 18.2,Brian Heater (TechCrunch)
Take this survey powered by surveymonkey.com. Create your own surveys for free.uber.surveymonkey.com
A big shout out to everyone at #A11yCamp yesterday. Sean spent a very informative day there leaning and networking on all the latest in #A11y / #Accessibility!
Photos are Sean with Riley Busch from the department of education, and a view of the Clarendon Auditorium filling up before the event started
As noted on the banner in the first photo, A11y Camp is Australia's premier conference on digital accessibility and inclusion.
I love KDE connect but for some reason it doesn't work for me a lot of times.
I made sure I'm using it correctly: same network, updated to stable, turn off content blockers. Yet most of the time, my Win10 laptop & mostly vanilla Android phone can't see each other.
EDIT: I figured I have the MS Store version inatalled. Fixed the issue hopefully forever
PC-98 USER: If Sex is so good why didn't they make a Sex 2
SIMONE DE BEAUVOIR:
There Is Just One Way To Do Open Source Security: Together: thenewstack.io/there-is-just-oโฆ via @TheNewStack & @sjvn
When we work together, said HackerOne CEO Mรฅrten Mickos, we can secure #opensource software. #security
HackerOne CEO Mรฅrten Mickos highlights how open source can address security issues.Steven J. Vaughan-Nichols (The New Stack)
The #opentowork hashtag may attract the wrong crowd as criminals target LinkedIn users to steal personal information, or scam them.Jรฉrรดme Segura (Malwarebytes)
HackerOne CEO Mรฅrten Mickos spoke at a conference and mentioned our (curl's) bug bounty.
thenewstack.io/there-is-just-oโฆ
HackerOne CEO Mรฅrten Mickos highlights how open source can address security issues.Steven J. Vaughan-Nichols (The New Stack)
Having troubling sleeping? Check out these two YouTubes:
If You Always Wake Up Between 3 - 5AM
youtube.com/watch?v=UCLipMnyCBโฆ
How to Fall Back Asleep in the Middle of the Night (Fast)
youtube.com/watch?v=wEwGEhj3dZโฆ
Do you often wake up between 3 and 5 am? If so, youโll probably feel tired the next day and then the same happens the next days. Getting a good night's sleep...YouTube
An expert weighs in on the do's and don'ts of home extension cords.Corin Cesaric (CNET)
Khronos reshared this.
The Centers for Disease Control and Prevention has opened an investigation into McDonald's Quarter Pounders after at least 49 people reported illness.Corin Cesaric (CNET)
Asusโ ROG Phone 9 will be one of the first phones to feature Qualcommโs new flagship chipsetJamie Richards (TechRadar)
Chick-fil-A is serving up a new way for families to connect and have fun together with the launch of its Chick-fil-A Play app.Luke Bouma (Cord Cutters News)
Archos
in reply to Wolf70 ๐บ๐บ๐๐๐ • • •Wolf70 ๐บ๐บ๐๐๐
in reply to Archos • • •Archos
in reply to Wolf70 ๐บ๐บ๐๐๐ • • •