Sabitlenmiş Tweet
Niklas Wunderlich
5.2K posts

Niklas Wunderlich
@n_wunderlich_
Spotlight UI Software Engineer at Apple, WWDC Scholar 2017-21, @jalotis 🏳️🌈, @_niklas_w, @[email protected]
San Francisco, CA Katılım Şubat 2014
602 Takip Edilen1.2K Takipçiler
Niklas Wunderlich retweetledi
Niklas Wunderlich retweetledi
Niklas Wunderlich retweetledi

Thorsten Altenkirch delivers an excellent explanation of Gödel's Incompleteness Theorem on @Computerphile, including demonstrations with #LeanLang definitions!
youtube.com/watch?v=IuX8QM…

YouTube
English
Niklas Wunderlich retweetledi

📣 We're excited to share the new lean-lang.org!
Relaunching our website was a key deliverable in our Year 2 roadmap to provide "improved navigation and access to valuable content, resources, and tools." We hope you like it!
#LeanLang #LeanProver

English
Niklas Wunderlich retweetledi

If you localize your app, I recommend checking out our talk!
I speak about getting started with localization, but then quickly advance into our two big features this year:
Generated comments, and Swift symbols for manually added strings.
developer.apple.com/videos/play/ww…
English
Niklas Wunderlich retweetledi

This year, I designed a collection of intelligent actions for Shortcuts & Spotlight on Mac, including a powerful new action that allows you to tap directly into Apple Intelligence models!
I’m grateful to have had the opportunity to collaborate with the incredibly talented group of people who made this a reality!
English

Make sure to watch the session on how to get started with integrating App Intents with Spotlight in macOS Tahoe: developer.apple.com/videos/play/ww…
English
Niklas Wunderlich retweetledi

I made a design talk on how to extend your app's reach and utility across the system with vibrant, interactive snippets.
Check out my WWDC talk here:
developer.apple.com/videos/play/ww…
English
Niklas Wunderlich retweetledi

Congratulations to this year's #SwiftStudentChallenge winners and all the students from around the world who participated. A special thank you to the mentors & educators who guided and supported this amazing next generation of innovators. apple.co/ssc25w
English
Niklas Wunderlich retweetledi
Niklas Wunderlich retweetledi
Niklas Wunderlich retweetledi

From three fantastic days with #SwiftStudentChallenge Distinguished winners, to Apple Intelligence, new announcements, meeting hundreds of wonderful developers, and getting to hear directly from so many incredible minds, my 20th #WWDC did not disappoint! #Apple #AppleDeveloper




English

Niklas Wunderlich retweetledi

Announcing #WWDC24 online June 10-14! You can apply for the opportunity to join us in person at Apple Park on Mon, June 10. And we’re super excited to be announcing the winners of the #SwiftStudentChallenge this coming Thursday 3.28. developer.apple.com/wwdc24/
English
Niklas Wunderlich retweetledi

We're so excited to announce the Swift Student Challenge 2024, with a new Distinguished Winners category. We can’t wait to see even more students using their creativity and talents to change the world! #Apple #AppleDeveloper #Swift developer.apple.com/swift-student-…
English
Niklas Wunderlich retweetledi

Apple redesigns its Shortcuts app in iOS 17 to be easier to use #wwdc23 tcrn.ch/3MUHlD5 by @sarahintampa
English
Niklas Wunderlich retweetledi
Niklas Wunderlich retweetledi

I made a WWDC talk on how to design shortcuts for 🔍 Spotlight on iOS. Check it out: developer.apple.com/wwdc23/10193
English





