u/CompetitiveBreath761

Read a paper this weekend that I keep coming back to. It's framed as a compliance checking tool, but the idea underneath is more interesting than that sounds. Instead of asking an AI whether something looks compliant with a law, which is basically one model vibe-checking another model's answer, you get an AI to read the actual statute and turn it into formal logic, then hand that to an SMT solver (a tool built for checking whether a set of logical conditions can be true) and let it check real cases against the rule directly. A probabilistic guess turns into a mathematical proof.

I made up a toy version to picture it properly, the real statutes in the paper were too dense for me :p. Say the rule is: staff can take up to 10 leave days without approval. Turned into logic:

leave_days <= 10 OR approved == true

else: not compliant

Someone then asks the AI "can I take 45 days off without asking my manager." The AI reads that and pulls out what the solver needs:

leave_days = 45

approved = false

Feed those in and it fails because it's provably false against the rule. It can even work out the smallest change that would make it compliant, which would be useful in itself for training and auditing use cases. Still working through the rest of it...the part that sticks out is how much you can actually trust that first step, the LLM turning the law into logic, since that part is still a model doing its best guess rather than anything provably correct, worth sharing anyway.

arxiv.org/abs/2601.06181

For anyone who has taken Sertraline, did you get fatigue and brain fog early on and does this go away?

After years of feeling like work can slowly drain your energy, I’ve been thinking about building a few simple systems outside of work to keep myself grounded, healthy, and sane.

Weekly

- Spend 1 hour being creative/building something I enjoy. Must be creative based, i.e. building a small app, writing a song etc. anything that taps into the creative energy force.

- Exercise 4 times a week and keep the workouts varied.

- Get outside for one challenging cardio session every week or second week (depending on time and tiredness)

Daily

- Meditate for 10 minutes.

- Stand while working instead of sitting.

- Eat a good breakfast and healthy lunch, especially on training days.

- Listen to my body and prioritise recovery before burnout catches up. Naps for 30 mins twice a week would be nice :)

Quarterly

- Plan a weekend away or mini break (4 days away) every few months to properly disconnect and recharge. maybe during school holidays since that's what we were brought up doing.

Still refining this, but the idea is to create something that gives me energy outside of the corporate routine rather than letting work consume everything.

What do you do to avoid the corporate dread and keep yourself feeling motivated and balanced?

Curious to know if people have tried anti depressants? Do they work/worth it? Or just a societal solution to the harsh reality

Curious to know if people have tried anti depressants? Do they work/worth it? Or just a societal solution to the harsh reality

Seems like Reddit is the only non AI bot overrun place these days.