I have found something similar. I am easily distractible and if I don't have a written task backlog in front of me at all times, I find that when Claude is spinning I'll stop being productive. This is disconcerting for a number of reasons. Overall, I think training young people & new hires on agentic workflows -- and how to use agentic "human augmentation" productivity systems is critical. If it doesn't happen, that same couple of classes that lost academic progress during covid are going to suffer a double-whammy of being unprepared for workplace expectations.

Fwiw, I haven't spoken with any management-level colleague in the past 9 months who hasn't noted that asking about AI-comfort & usage is a key interview topic. For any role type, business or technical.

Could you elaborate on your last point please? What level of AI comfort are hiring managers looking for? And what tends to be a red flag?

The last job I got (couple months ago), the main technical interview was a bring-your-own-tools pair programming style interview, AI included, where they gave me a repo and a README detailing some desired features to add and bugs to fix. I didn't write a single line of code myself; I talked through my thought process and asked questions about what to consider from a technical and product perspective, while steering Claude through breaking the tasks into independent plans, reviewing the plans, coaching it to add specific tests, reviewing and iterating the tests, and steering it while it wrote the code. I got an offer the next morning.

Apparently at least one of the other candidates just tried to get Claude to 1-shot the whole thing, which went off the rails, and left him unable to make progress.

Based on my sample size of 1, the expectation right now is absolutely that you can leverage these tools to speed up your workflow, but if you try to offload the entire thing to a single hands-off prompt it leaves them justifiably wondering why they should hire you to do something they can do themselves.

I'm not even sure it's Christianity that makes people less sad (I would argue that it isn't). It's the civic community that churches often create that breed purpose & happiness. Churches aren't the only types of communities that do this, but they're by far the most common.

I would suggest that grocery quality is higher in the suburbs than in the city, but restaurant quality typically isn't.

That's probably true but a lot of people don't really eat out at restaurants regularly.

Your labor costs are far lower than coastal US... and that was 10 years ago. Ten years ago in San Jose I got 5.5kW installed for $17k. Because it was that long ago, this is something like 23 panels.

There are so many Vietnamese restaurants in San Jose it's really more similar to the Hanoi recommendation: you just have to experiment until you find the ones that resonate with your personal tastes. I recommend searching reddit for "best pho in San Jose" -- you'll find a number of threads, many of which feature similar sets of restaurants.

You need to consider usage patterns as you evaluate the cost/quality value curve, though. $35 for a Jansport for a school kid who will brutalize their pack regardless is probably a much better value than a $130 Osprey that is objectively superior but which a teenager would still brutalize to death in 1-2 years of daily school use.

Fwiw, my elementary kid is on year 3 with her Lands End pack (which is way crappier than the Lands End / Eddie Bauer / LL Bean school packs from the 80s-00s), and my two older kids use Osprey Nebula packs in high school -- both also on year three. The Osprey packs are terrific, but would be overkill for a younger kid, and we purchased them mostly because our kids bike to school and needed something that would comfortable carry 20+ lbs of crap.

And my partner and I are on the other side of that, we have like 12 packs of every price point and size accumulated over the years, I have a couple 20 years old, and I can’t think of a single broken feature. Im gentle on all my stuff so I don’t need ultra rugged high quality and expensive gear, and I suspect most people don’t (granted kids can be diff).

I still have two Dana Designs packs I purchased in the mid-90s. They're going strong and supremely comfortable (one daypack, one backpacking pack).

I'm also a semi-pro (technically I'm a pro but it's just a side gig) photographer who uses DxO. I really like DxO for color & exposure, as well as denoise, but I've gotten supremely frustrated at it's lack of more sophisticated editing functionality. I'm increasingly considering an Adobe subscription just to have something with more effective AI masking -- DxO stinks for this -- not to mention small things like generative fill to simplify stuff like powerline removal.

I get that, but it's difficult to reconcile this with media's second principle of protecting/anonymizing sources. I don't think it's reasonable for them to have it both ways, especially when exposing an anonymous subject could result in physical danger.

Much better intro article about tree calculus here, vs the actual site: https://olydis.medium.com/a-visual-introduction-to-tree-calc...

Another resource I found in HN discussions: https://latypoff.com/tree-calculus-visualized/

This is indeed much better. I couldn't really follow the original, but this one made it click. Pretty cool!

I feel like neither of these just give actual formal definitions, which would be much clearer.

Surely there is a middle ground between a book length treatment and whatever the linked page was that fails to give a definition or motivation.

This introduction to this paper explains the motivation:

https://dl.acm.org/doi/pdf/10.1145/3704253.3706138

Tree Calculus is an alternative to lambda calculus that is capable of doing meta-theory without having to construct or bolt on something else entirely.

If lambda calculus provides a theoretical foundation for a language like Lisp. Tree calculus provides a theoretical foundation for a Lisp with a macro system that is fundamentally part of the core calculus.

You don’t have to write parsers and other stuff to do meta programming. It’s fundamentally built in and the paper I posted above explores how to construct type systems as a library, not as something that is outside of the runtime environment.

Here’s what’s really cool about it too: Just like lambda calculus, you can evaluate tree calculus with pencil and paper.

It’s very slick.

My friend this ain't memes or celebrity news, it's theoretical computer science. You'll get out of it roughly what you're ready to put into it. If you're short on time, the grammar is like 5 characters and the proof of the halting problem isn't much bigger. If you don't already know why that is interesting though you really might have to read a bit to find out

That's my complaint, this page is essentially a meme.

And yes, i know enough about computer science to know that making an axinomic system with a short grammar that has a proof that the halting problem is undecidable, isn't particularly note worthy by itself. I highly doubt the reason people are interested in this is just code golfing a proof of the undecidability of the halting problem

I believe this to be correct, where code and data are arguments consisting of binary trees constructed from pairs or can be 'nil:

    (define apply
      (lambda (code data)                       
        (match (code . data)
          [('nil       . z)       (z . 'nil)]   ; rule 0a - construct stem
          [((y . 'nil) . z)       (y . z)]      ; rule 0b - construct fork
          [('nil . y) . z)        y]            ; rule 1 - K combinator
          [(((x . 'nil) . y) . z) (apply (apply x z) (apply y z))] ; rule 2 - S Combinator
          [(((w . x) . y) . 'nil) w]                               ; rule 3a - pattern match case of data is leaf
          [(((w . x) . y) . (u . 'nil)) (apply x u)]               ; rule 3b - pattern match case of data is stem
          [(((w . x) . y) . (u . v)) (apply (apply y u) v)]        ; rule 3c - pattern match case of data is fork
         )))

https://olydis.medium.com/a-visual-introduction-to-tree-calc...