My summer project for my comp sci MSc was an open source natural deduction helper tool for the Mac, called Baker Street. I let it lapse simply because I didn't have time to look after it, but now it's available for download once more: https://apps.apple.com/gb/app/baker-street/id1528304157

I've been working with Claude to bring some new features, like printing a proof - unsuccessfully! https://github.com/OolonColoophid/bakerStreet/issues/9

My codebase contains a lot of Objective-C but I'm slowly replacing it with Swift. I rarely write Objective-C (largely because it's so easy to introduce bugs with release/retain shenanigans) unless I really have to. Interoperability between the languages does work but is fragile, with Xcode often getting into a chicken-and-egg state where a compilation error in Swift prevents the Objective-C from compiling, and vice versa, stuffing the interface with errors that can make it hard to discover where the problem is.

(edit: typo)

…are you maintaining a pre-ARC code base or something? Retain and release shouldn’t be that big of an issue otherwise.

> Q: The reports about the Q* model breakthrough that you all recently made, what’s going on there?

> A: Altman: No particular comment on that unfortunate leak.

Interesting that he calls it an unfortunate leak.

Isn't this tacit verification that Q* is real?

Maybe it's Q as in Quantum not Q-Learning...

No, because basic common sense says that to have quantum breakthrough with AI they'll need massive quantum compute which... well doesn't exist yet.

Their research is AI built on conventional neural networks (the way they've been since literally the 1960s), not quantum physics.

Not tacit, he just verified it.

Sounds like a slimy way to manipulating current situation and distancing people from some real problem.

I like the idea but I’d prefer the flirting off by default. Also, I asked for a simple lunch appointment tomorrow and it suggested the lunch but added a reservation for later in the afternoon.

Haha alright, I can turn off flirting by default for the next update. And how late in the afternoon did it suggest for a lunch?

:-) Thanks. And for the lunch I believe it was the correct time but then it added a later event to book it (i.e. after the lunch), maybe at 5pm.

I see what you mean - five will fit with more room left over. But much like a hand that has a capacity to hold 7 or so marbles, if you grasp only five at a time, your overall productivity will (almost certainly) slow.

An overview of the model and its history: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4207727/

The Wikipedia entry for WM is also very good: https://en.wikipedia.org/wiki/Working_memory

It's a bit tricky to tell what you're doing exactly - perhaps drop me an email if you have any queries (using this account; my original parent post was on a throwaway account because I had login problems).

Not sure what you mean by this, Amelius. Could you put this on our forum as a feature request?

New(ish) coder here. Yes, Scapple is still under active development and we have some exciting things lined up for iOS (no time frame as yet).

Location: UK

Remote: Preferred

Willing to relocate: Possibly

Technologies: (solid knowledge of) Python, R, (stronger knowledge of) SPSS, SQL, PhP, HTML, CSS. Excellent Bash/Unix skills.

Résumé: Psycholinguistics PhD graduate (computational modelling of parsing; embodied cognition; creativity) from Russell Group UK Uni; strong investigative scientist/researcher in quant and qual; excellent communicator (particularly writing; am award-winning SF novelist); experience of building full-stack solutions, and of successively leading a 20-strong academic psychology team. Looking to develop my tech experience with interesting projects, particularly involving ML/data science.

Email: ihocking AT gmail.com

FWIW, I’ve been using various MacBook Pros over the years and never had issues like these (also using lots of MS software). It could well be that the author had a lemon—-still no good thing, of course.