Niklas Saers

We made LibreSSL into an XCFramework for iOS, iOS Simulator, macOS and macOS Catalyst, on both x86_64 and arm64. I wrote a bit about that: saers.com/dbclient/blog/…

What's new in Theo 6.0: - Swift 6 with strict concurrency checking - Full Swift Package Manager support (no more CocoaPods!) - TLS/SSL encryption support - Modern async patterns with NIO - Works on iOS 17+ and macOS 14+ #Swift #Neo4j #GraphDatabase

Theo 6.0 is here! The Swift driver for @neo4j is fully updated for Swift 6 with strict concurrency, Swift Package Manager, and TLS support. Connect your iOS/macOS/Linux apps to Neo4j graph databases natively. github.com/Neo4j-Swift/Ne… cc @mesirii @neo4j

@steipete @DennisonBertram That would certainly keep your lap warm during the flight ;-)

@DennisonBertram yah but would I use it as my driver? fuck no. Remote models are still king. For airplanes without WiFi tho, I can work now xD

Amazing how fast even gpt-oss:120b runs on a MacBook Pro. 40 tokens/s !

Me when I'm using AI to generate code that I understand: "Nope, wrong, try again, research this, ultrathink, do this exactly, use this syntax, only change this one part of the code" [breaking it down into smaller parts, refactoring hard in between, etc] Me when I'm using AI to generate code that I don't understand: "Wow!!! It knows EVERYTHING!!! It is able to one-shot anything I say!!" [ask it to fix things if broken, completely trust the output] 🤣

Good post from @balajis on the "verification gap". You could see it as there being two modes in creation. Borrowing GAN terminology: 1) generation and 2) discrimination. e.g. painting - you make a brush stroke (1) and then you look for a while to see if you improved the painting (2). these two stages are interspersed in pretty much all creative work. Second point. Discrimination can be computationally very hard. - images are by far the easiest. e.g. image generator teams can create giant grids of results to decide if one image is better than the other. thank you to the giant GPU in your brain built for processing images very fast. - text is much harder. it is skimmable, but you have to read, it is semantic, discrete and precise so you also have to reason (esp in e.g. code). - audio is maybe even harder still imo, because it force a time axis so it's not even skimmable. you're forced to spend serial compute and can't parallelize it at all. You could say that in coding LLMs have collapsed (1) to ~instant, but have done very little to address (2). A person still has to stare at the results and discriminate if they are good. This is my major criticism of LLM coding in that they casually spit out *way* too much code per query at arbitrary complexity, pretending there is no stage 2. Getting that much code is bad and scary. Instead, the LLM has to actively work with you to break down problems into little incremental steps, each more easily verifiable. It has to anticipate the computational work of (2) and reduce it as much as possible. It has to really care. This leads me to probably the biggest misunderstanding non-coders have about coding. They think that coding is about writing the code (1). It's not. It's about staring at the code (2). Loading it all into your working memory. Pacing back and forth. Thinking through all the edge cases. If you catch me at a random point while I'm "programming", I'm probably just staring at the screen and, if interrupted, really mad because it is so computationally strenuous. If we only get much faster 1, but we don't also reduce 2 (which is most of the time!), then clearly the overall speed of coding won't improve (see Amdahl's law).

The more I use GenAI coding tools, the more I am convinced keeping to "traditional" software engineering practices is what works most productive here. As in 10x more productive. E.g. - Small changes - Test that the change works before moving on - (unit) tests wherever you can

@Dimillian Try switching the digital clock for an analog one, takes half the space 👍

This is how compact my menu bar is now!

@krzyzanowskim @No_Wham M2 2022 iPad Pro not included

@No_Wham unfortunately. M2 and never only

I've been a huge iPad user for a long time, for note-taking and entertainment. A pencil is a must-have, and I love it. I have an M1, which is still too powerful for whatever I do it. The new Pencil Pro is not compatible with my iPad Pro 😥 and I'm not going to upgrade just for that. There is literally nothing worth upgrading so far

@SathyaHQ 👋

If you have <2,000 followers! Drop your handle⤵️ Let’s get you some followers!

@steipete “a thin veneer of safety over a deep pit of peril” - great quote ;-)

Someone not in our bubble trying server-side Swift. flak.tedunangst.com/post/an-aborte…

@0xgaut Enjoy brewing your mead :-)

20 bottles of honey for $33 why need 20 bottles you ask? i don’t know

I present to you: $200 of groceries in Ireland

@housecor I hear you, been using the same treadmill since 2015. It’s the best way of working :-)

I’ve used a treadmill under my standing desk for the last 8 years. I love it, and I believe it’s a competitive advantage. Here’s why: 1. 10k steps a day is generally recommended for good health. I easily hit that goal by walking 2 mph for part of the day while I’m working. 2. Walking reduces my stress and improves my mood. 3. If I sit too long I get restless and groggy. When I walk, I feel more alert. 4. Studies show it aids memory retention and creativity. 5. I’m in my 40s and weigh the same as I did in school. I think the treadmill played a role. 6. “I’m too busy to exercise” isn’t an excuse anymore. I walk and work.

@julianfdezme @PHuenermund @CBScph And yet it is, in your words, optimal for your daily life in the city. Danish is, in a very large part, a language of things not said. The rest is slurred and garbled ;-) #goNorwegian

@PHuenermund Yes, I was asked in more than one Ph.D. interview for my language level. The comment was that It would be optimal for my daily life in the city and adapt. To clarify, I disapprove the policy; I was happy that I was not required to learn Danish by @CBScph.

@adamlyttleapps You new? Anyway, there’s the looking forward to the new and (possibly) revoltuionary, and then the how is our daily work going to change, and how can we take advantage of that. That last part is usually the most actual exciting :-) But the first one may be it this year

I’m new to iOS development Is the hype for WWDC always this big? Or is this year different?

@EmmaBostian Congratulations :-)

Some personal news: we’re married! 💒🥰👰‍♀️

Jeg leser om personer i middelklassen som investerer formuer for å bli førtidspensjonister og slippe å jobbe. Så leser jeg om uføre som gjerne ville jobbet hvis de var friske og fikk jobb. Har jeg forstått det riktig at det bare er sistnevnte gruppe som oppfattes som late?

It's my #Twitterversary! I have been on Twitter for 15 years, since 14 Jul 2008 (via @twi_age).

@SergiiKirianov @arukomp Yes, and it’ll outlive the MBP (hopefully)

@arukomp $2k - that's quite a LOT

Monitor recommendations, everyone?! Machine: MacBook Pro M1/M2 Need a primary monitor, some good resolution and size. Your recommendations 👇👇👇👇

@codewithibrahim I was 7. Coding is how I learned english ;-)

How old were you when you wrote your first line of code? Me: 18years old 😀