2025-10-15 05:57:12
"McTT: A Verified Kernel for a Proof Assistant"
Presentation by Junyoung Jang, joint work with Antoine Gaulin, Jason Z. S. Hu, Brigitte Pientka.
Repo: https://github.com/Beluga-lang/McTT/tree/icfp25
"McTT: A Verified Kernel for a Proof Assistant"
Presentation by Junyoung Jang, joint work with Antoine Gaulin, Jason Z. S. Hu, Brigitte Pientka.
Repo: https://github.com/Beluga-lang/McTT/tree/icfp25
Presentation and uniqueness of Kac-Moody groups over local rings
Timoth\'ee Marquis, Bernhard M\"uhlherr
https://arxiv.org/abs/2510.11272 https://…
Hey #canberra want to see something dark and festive? A friend is giving a "Dark Festive Folklore" presentation at Smiths on Tuesday night:
https://www.smithsalternative.com/events/d
Network Traffic as a Scalable Ethnographic Lens for Understanding University Students' AI Tool Practices
Donghan Hu, Rameen Mahmood, Annabelle David, Danny Yuxing Huang
https://arxiv.org/abs/2510.09763
Prezent, which offers an AI-powered presentation builder to enterprises, raised $30M at a $400M valuation, bringing its total raised to $74M (Ivan Mehta/TechCrunch)
https://techcrunch.com/2025/10/10/prezent-raises…
💬 #PlainText #Accounting with #hledger (FOSS for All presentation) | Plain Text Accounting forum
GKLO representations of twisted Yangians in type $\mathsf{AI}$ and quantizations of symmetric quotients of the affine Grassmannian
Robin Bartlett, Tomasz Przezdziecki, Lukas Tappeiner
https://arxiv.org/abs/2510.12706
from my link log —
FastCDC: efficient content-defined chunking for data deduplication.
https://www.usenix.org/conference/atc16/technical-sessions/presentation/xia
saved 2025-10-01
Add highlighting to your quarto presentation using the RoughNotation library: #rstats
Presentation due Tuesday, paper due Saturday. And tonight my professor ripped apart my hypothesis. Tomorrow is going to be a long day.
Asymptotically rigid mapping class groups III: Presentations and isomorphisms
Anthony Genevois, Anne Lonjou, Christian Urech
https://arxiv.org/abs/2510.11336 https://
Wow, what a wonderful day at @… ! They put on a great conference and I was honored to have been part of it. I held a privacy workshop and gave a #fedvierse talk. I just posted the worksheets from the workshop and the presentation from the talk over on the …
Can an AI-Powered Presentation Platform Based On The Game "Just a Minute" Be Used To Improve Students' Public Speaking Skills?
Frederic Higham, Tommy Yuan
https://arxiv.org/abs/2510.03379
2026 Midwest AAR Conference
https://ift.tt/i9fzjg5
Seeking Book Reviewers for Women and Social Movements in the United States Erica Hayden 10/06/2025 -…
via Input 4 RELCFP https://
The work of our alums is one of the most inspiring expressions of our commitment to serving church and world. And no event showcases that quite like our annual alumni awards.
If you couldn't be with us for our recent Convocation & Reunions, or you want to relive the moment, here's video of the 2025 awards ceremony and Andover Newton's Spirit of the Hill award presentation.
First PROPL 2025 talk: Bridging disciplinary gaps in climate research.
Presented by Christian Urlea.
#icfpsplash25
Few know the lengths to which the Trump administration is paving the way -- and the part it's playing
-- in deregulating a highly regulated industry
to ensure that AI data centers have the energy they need to shape the future of America and the world
To say the nuclear people are bullish on AI is an understatement.
“I call this not just a partnership but a structural alliance.
Atoms for algorithms. Artificial intelligence is not just powered by nuclear ene…
Observation of a pseudoscalar excess at the $t\bar{t}$ threshold
Alexander Grohsjean
https://arxiv.org/abs/2510.09070 https://arxiv.org/pdf/2510.09070
Paper2Video: Automatic Video Generation from Scientific Papers
Zeyu Zhu, Kevin Qinghong Lin, Mike Zheng Shou
https://arxiv.org/abs/2510.05096 https://arxiv…
Guess who misremembered having 25 seconds per slide and instead has 15 seconds per slide on Monday?
FML! :)
Goodness, I hate formalistic presentation styles like Ignite. But don’t worry, I’m breaking the form three times in the talk – including starting with a minute of silence for Gaza (that’s four black slides and 1/5th of the 5-minute talk), a transition (ok, it’s a 15-second transition, but still), and a live demo (yep) – and using that to demonstrate the case that we do not …
In 2011 I made fun of DHH in my presentation at a PHP Meetup.
I have often regretted making fun of other people, but in this case I do not regret my decision.
hey um let's turn your shiny vehicle into an RC(E) car
https://www.sstic.org/2025/presentation/300_secondes_chrono__prise_de_contrle_dun_infodivertissement_automobile__distance/
#Jujutsu version control in live use during a demo at #OpenSSLCon25 in Prague by @… from Tampere University!
Cc @…
Look before Transcription: End-to-End SlideASR with Visually-Anchored Policy Optimization
Rui Hu, Delai Qiu, Yining Wang, Shengping Liu, Jitao Sang
https://arxiv.org/abs/2510.08618
I got hooked on a German youtube channel where I'm obviously not the target demographic. It's called Flipps and it's aimed at - I think? - Gen Z movie buffs. But it radiates love for cinema. While its presentation is hectic the videos are well-produced and long nevertheless. They contain a lot of background info and film history from a time when their audience's parents hadn't even met.
And a recent episode even recommended the famous "No VFX is just invisible …
Generalization of learning arbitrary audiovisual associations via low-level features https://www.abstractsonline.com/pp8/?_gl=1*d12…
Humans are such a moronic species. How we survived this long is beyond me.
(The points made in this little animation have been backed up by substantial research. This is just a cute presentation of it.)
https://youtu.be/Omc37TvHN74
Did you know that the Learning With AI toolkit has a speakers bureau for AI and education? Filter for expertise like "agents administration" or "data bias," then click on presenters to watch recordings that demonstrate their presentation styles.
Have a speaker to recommend who's not on the list? DM me and I'll send you a form to submit a name, specialty, and recording of any events for consideration.
Should I be worried that Kid2 is "just doing a [powerpoint] presentation for fun?"
I loved @jasonclark.bsky.social 's #FF2025 'problem statement':
'We were given access to a weirdly confident intern that can’t explain how they got their answers.
It is a seamless interface that breaks search interaction retrieval patterns.'
Apparently some universities have started using mostly-AI tought courses. And are surprised students don't apprrciate them fully:
“There are some useful things in the presentation. But it’s like, 5% is useful nuggets, and a lot is repetition. There is some gold in the bottom of this pan. But presumably we could get the gold ourselves, by asking ChatGPT.”
Node polynomials for curves on surfaces
Thomas Dedieu
https://arxiv.org/abs/2510.06839 https://arxiv.org/pdf/2510.06839
Finally saw this. @… (and me 🙇♂️) featured on @… 's talk "The Future is federated" in #fediday2025 (3-5 Oct 2025)
Link…
Putting the finishing touches on my presentation at @… next weekend. "The #Fediverse: Embracing the Hacker Ethos for a Decentralized Social Media Experience". We may even have a special guest join us, @…
Thus far OLF seems to be going well, (at least from a back of the house standpoint). Got my meshtastic display / presentation setup with a working live node to demonstrate communication and environmental sensor support. A good number of folks asking about the tech, which is always fun!
Oh yeah, and the occasional cosplayer in full attire wandering through is good entertainment too.
#Ohio
Man, I just love it when hardware freaks out right before doing a presentation to a CEO & her directs. *I love it*!
Dock had to be 'rebooted' to get it to deliver power & port connectivity. Guess I should be thankful it wasn't worse.
#firstworldproblems
The Future Talent Programme (FTP) 2026 is now open!
If you’re a student or young professional in IT, networking, or a related field, FTP26 is your chance to learn, grow, & maybe even take the stage at #TNC26 in Helsinki.
FTP26 gives you practical presentation training, personalised feedback, and a supportive community that cheers you on as you shape your Lightning Talk idea. No press…
looks like tomorrow’s the only day you can see the Onion mockumentary on Jeffrey Epstein, locally at Balboa Theater in SF or New Parkway Theater in Oakland https://theonion.com/badpedophile/
WTF. From Matt Gault for @… :
https://www.404media.co/nuclear-rian-bahran-iaea-international-symposium-on-art…
Exploring the Potential Merger of DSpace and DSpace-CRIS: Q&A-Session with panelists from @…, #Atmire, @… and of …
2026 Midwest AAR Conference
https://ift.tt/EGoxhr9
Seeking Book Reviewers for Women and Social Movements in the United States Erica Hayden 10/06/2025 -…
via Input 4 RELCFP https://
2nd contribution by @… team is presented by @…: "AI4DiTraRe: Building the BFO-Compliant Chemotion Knowledge Graph", which is a #BFO a…
We just attended another travel show. This time: #mountainbiking in #ligurien from Harald Philipp.
The visuals were pretty cool. And riding such trails UPHILL was pretty impressive, too. Definitely only doable with an ebike.
Omg procrastination has paid off *again*: A presentation I haven't prepared for a workshop today was first significantly shortened (notification: yesterday), and this morning, the whole event has been canceled. I'll never change with this kind of positive reinforcement 😅 #academicChatter
Today, I gave a presentation at the German OWASP Day @… about security issues with the EU's electronic invoices🧾💶.
The EU has introduced requirements for "standardized" machine-readable electronic invoices, initially for government procurement, increasingly they'll be required for B2B as well. In principle, not a bad thing, but security …
Brilliant week in Bristol.
Especially invigorating to present the invited talk, 'Private Education Capital: Beyond Caste-based Educational Exclusion as "Tradition"' at Centre for International Research in Education. I also gave a Roundtable Presentation, 'Epistemic Humility as Experienced Provocation' for doctoral students.
Grateful to wonderful colleagues who took such care, asked such thoughtful questions, and showed me beautiful Bristol with scrumpt…
Combining Intracortical Visual Prosthesis (ICVP) stimulation with auditory image-recognition information improves person-finding performance https://www.abstracts…
Predicting Diabetic Retinopathy Using a Two-Level Ensemble Model
Mahyar Mahmoudi, Tieming Liu
https://arxiv.org/abs/2510.01074 https://arxiv.org/pdf/2510.0…
This thread is brilliant, and a call to action.
#visionzero #annarbor https://b…
So do I resubmit my last few unaccepted CSUNATC presentation ideas just to see if one sticks? Or do I make myself a Mexican sundae?
This morning, the #MetaphorsOfReligion conference starts with the panel on “Digital and Computational Approaches to Metaphor Analysis,” including our own presentation “Religious Metaphors at Scale.” I am looking forward to the discussion!
Why did nobody tell me about this #HarryBertoia exhibit at Hosfelt Gallery in San Francisco? https://hosfeltgallery.com/exhibitions…
Seeing a presentation of the Kaitai project.
If you need to document or describe or decode binary format, Kaitai is clearly there to help.
https://kaitai.io/ @…
The slides for my presentation at the conference "Digital Neo-Latin studies: ideas and perspectives" at Aarhus University are available at #lod
Coproducts for affine super-Yangian and Weyl groupoid action
Vasiliy Volkov, Vladimir Stukopin
https://arxiv.org/abs/2510.04221 https://arxiv.org/pdf/2510.…
Perspectives on Stochastic Localization
Bobby Shi, Kevin Tian, Matthew S. Zhang
https://arxiv.org/abs/2510.04460 https://arxiv.org/pdf/2510.04460
Medium-scale anisotropies measured by Telescope Array surface detectors
Jihyun Kim (on behalf of the Telescope Array Collaboration), Dmitri Ivanov (on behalf of the Telescope Array Collaboration), Kazumasa Kawata (on behalf of the Telescope Array Collaboration), Hiroyuki Sagawa (on behalf of the Telescope Array Collaboration), Gordon Thomson (on behalf of the Telescope Array Collaboration)
Mandleduck from zbd has a presentation on the history of gaming in bitcoin.
Original bitcoin nodes had a half built poker game built in, though removed later.
SatoshiDice was an early betting game, just betting on random numbers from the hash nonce.
7 years ago Mandleduck made saru tobi, an iOS game with bitcoin rewards which was initially accepted but the decision reverted by apple. 1 cent transactions on chain was never going to scale anyway.
Collectable gaming cards on chain were a fashion for a while.
The early things failed in 2018 when transaction fees spiked, and fees became more than gaming rewards could be. Most games moved to ETH, till it to became expensive.
Lightning network is more suitable than on chain transactions but solana and dedicated chains still rule really.
Still today gamers mostly reject bitcoin as a scam and of course app stores don't allow payments outside their own system. So things remain tricky.
#bitcoin #bitfest
Synthetic Prefixes to Mitigate Bias in Real-Time Neural Query Autocomplete
Adithya Rajan, Xiaoyu Liu, Prateek Verma, Vibhu Arora
https://arxiv.org/abs/2510.01574 https://…
‘Atoms for Algorithms:’ The Trump Administration’s Top Nuclear Scientists Think AI Can Replace Humans in Power Plants https://www.404media.co/nuclear-rian-bahran-iaea-international-symposium-on-artificial-intelligence/
Testimony from an Ogyen Kunzang Choling (OKC) Survivor https://buddhism-controversy-blog.com/2017/10/29/testimony-from-an-ogyen-kunsang-choling-okc-survivor/
Do they even sell TVs that aren’t smart anymore? Church has a new Roku TV put in place for one of the presentation monitors. Thankfully I was able to setup a default input instead of the Home Screen.
@axbom@axbom.meBisher hatte ich nicht auf dem Schirm, dass die Vorträge vom #fediday2025 aufgezeichnet wurden. 🙈
Die Suche nach dem Hashtag auf der #Peertube-Instanz der @… [1] …
Next #ag2025goerlitz #ExpandingHorizons presentation: #AtLAST, the Atacama Large Aperture Submillimeter Telescope - more at https://www.atlast.uio.no
“U FE18 ︘ presentation form for vertical right white lenticular brakcet” [sic] https://en.wikipedia.org/wiki/Vertical_Forms
(If you know why this typo just came to my attention, 🖐)
Raster scanning can improve task performance in simulated prosthetic vision #BCI
2026 Midwest AAR Conference
https://ift.tt/Oy47TQu
Call for Abstracts: Culture and Society in Greek, Roman, and Byzantine Egypt - SCS San Francisco…
via Input 4 RELCFP https://
Trump scores golden gifts as U.S., S. Korea advance trade talks
The United States and South Korea advanced trade talks Wednesday,
addressing details of $350 billion that would be invested in the American economy,
after negotiations and ceremonies that included the presentation of a gold medal and crown to President Trump.
Both were gifts from the country’s president, Lee Jae Myung, who dialed up the flattery while Washington and Seoul worked to nail down financial pr…
🗾 Japan’s new PM faces sumo-sized dilemma: will Takaichi defy the sport’s ban on women?
https://www.theguardian.com/world/2025/nov/12/japan-pm-sumo-wrestling-ban-women
Help us shape what GÉANT Security Days 2026 will look like 🔒
The Call for Proposals is now open, and we’re looking for ideas that bring real-world experience, fresh thinking, and honest lessons to our community.
Big challenges, small victories, practical fixes—it all belongs here.
Whether you prefer a presentation, Lightning Talk, or hands-on session, choose the format that works for you.
Submit your proposal by 16 January 2026.
🔗
Pseudo-Anosov Flows: A Plane Approach
Thomas Barthelm\'e, Kathryn Mann
https://arxiv.org/abs/2509.15375 https://arxiv.org/pdf/2509.15375
Small Cues, Big Differences: Evaluating Interaction and Presentation for Annotation Retrieval in AR
Zahra Borhani, Ali Ebrahimpour-Boroojeny, Francisco R. Ortega
https://arxiv.org/abs/2509.11401
@… Hey Mariatta! I was reviewing your code for https://github.com/mariatta/secretcodes based on your resent presentation, and happened to notice no licen…
'Bound to browsable' - love this detailed overview of the work that goes into making specific formats (like magazines) more findable in online catalogues https://blogs.loc.gov/thesignal/2025/09/unlocking-historical-media-publications/
An overview of macro tech trends for 2026, as "AI eats the world": bubbles, the AI platform shift, Big Tech FOMO, capex, Nvidia, US power backlogs, and more (Benedict Evans)
https://www.ben-evans.com/presentations
Presenting the NFDI4Culture Knowledge Graph and the CTO ontology at the 5th Culture Community Plenary at Academy of sciences and literature in Mainz.
https://nfdi4culture.de/resources.html#c866
@…
What's the Best Way to Retrieve Slides? A Comparative Study of Multimodal, Caption-Based, and Hybrid Retrieval Techniques
Petros Stylianos Giouroukis, Dimitris Dimitriadis, Dimitrios Papadopoulos, Zhenwen Shao, Grigorios Tsoumakas
https://arxiv.org/abs/2509.15211
On \'etale maps of sous-perfectoid adic spaces
Dmytro Rudenko
https://arxiv.org/abs/2509.25294 https://arxiv.org/pdf/2509.25294
On the Orthogonal Projections
Jiarui Fei
https://arxiv.org/abs/2510.01615 https://arxiv.org/pdf/2510.01615
More slides from the #ag2025goerlitz #ExpandingHorizons #KilometersBaselineInterferometer presentation: two precursor projects connecting Cerro Paranal with neighboring peaks could prove the feasibility of the big thing.
Testimony from an Ogyen Kunzang Choling (OKC) Survivor https://buddhism-controversy-blog.com/2017/10/29/testimony-from-an-ogyen-kunsang-choling-okc-survivor/
Kicking off #a11yTOConf / #a11yTO day one with an impressive television display in the CBC atrium.
This year’s host is the puppet!
Exploring GRB Afterglows in the TeV Era: New Diagnostics of Particle Acceleration
L. Foffano, M. Tavani
https://arxiv.org/abs/2510.01739 https://arxiv.org/…
Human-in-the-loop optimisation for efficient intracortical microstimulation temporal patterns in visual cortex #blind
TALK> SSJR: A VIRTUAL BOOK TALK WITH DR. SHAYNE DAHL, UNIVERSITY OF CALGARY
https://ift.tt/q857JAX
Contention Vol. 7, Issue 1 Dear Colleague, The new issue of Contention has…
via Input 4 RELCFP
Quantum queer superalgebra and its integral form
Jianmin Chen, Zhenhua Li, Hongying Zhu
https://arxiv.org/abs/2509.24265 https://arxiv.org/pdf/2509.24265…
Trade-offs in Cross-Domain Generalization of Foundation Model Fine-Tuned for Biometric Applications
Tahar Chettaoui, Naser Damer, Fadi Boutros
https://arxiv.org/abs/2509.14921 h…
Observing neutral hydrogen in the Milky Way with a simple #RadioTelescope, a successful outreach project by tbe #DZA - an #ag2025goerlitz presentation.
Testimony from an Ogyen Kunzang Choling (OKC) Survivor https://buddhism-controversy-blog.com/2017/10/29/testimony-from-an-ogyen-kunsang-choling-okc-survivor/
Non-invasive photoacoustic contact lens for sight restoration https://spie.org/photonics-west/presentation/Non-Invasive-Photoacoustic-Contact-Lens-for-Sight-Restoration/13831-73 "In vivo on rats, photoacoustic stim…
(LinkedIn) Yesterday: Zhongmou Therapeutics to present first-in-human clinical data of ZM-02 optogenetic gene therapy at AAO 2025 https://www.linkedin.com/pulse/zhongmou-therapeutics-present-first-in-human-clinical-data-fw8ke/
Great Books/Core Texts Symposia - Call for Proposals Extended to April 11 https://networks.h-net.org/group/announcements/20064182/great-bookscore-texts-symposia-call-proposals-extended-april-11