yarapavan

Repo: https://github.com/google-research/rrsi

repo: https://github.com/viarotel-org/escrcpy

Github repo: https://github.com/prathoshap/sushrota-sanskrit-asr

Archive copy: https://archive.ph/SY91j

archive copy: https://archive.ph/qMI4O

If you are wondering "why do formal methods at all?" or "how is AWS using P to gain confidence in correctness of their services?", the following re:Invent 2023 talk answers this question, provides an overview of P, and its impact inside AWS: (Re:Invent 2023 Talk) Gain confidence in system correctness & resilience with Formal Methods (Finding Critical Bugs Early!!) - https://www.youtube.com/watch?v=FdXZXnkMDxs

Github: https://github.com/p-org/P

"What are your actual priorities? … This question can help you determine the place you want to live, the kind of house or apartment you want to live in, your family’s essential needs (food, electricity, healthcare), and the cost of the activities that add pleasure and meaning to your life – traveling, hobbies, etc. It also allows you to consider what your priorities are from an impact perspective – involvement in your community, being there for your friends, reducing your waste – at the same time as you’re thinking about your material needs. Rather than cordoning off your value-oriented priorities into a less urgent category, to be pursued when you’ve reached financial satisfaction, you are making them of equal importance.”

This recalibration challenges the false dichotomy that keeps us stuck:

“The scarcity mindset keeps you thinking you have to choose between a good life and a life that benefits the collective good. And, it is partly the vacuous, limitless promise of consumerism that keeps you thinking you have to choose between your values and your financial needs.”

Aechive copy: https://archive.is/7O00b

Text: https://archive.is/yw8Kh

OG post: https://spaccapeli.com/i-remastered-facebooks-little-red-boo...

website: https://awseye.com/

Direct x.com link: https://x.com/davidmarcus/status/1862654506774810641

1. unclutter has a bundle offer including cleanshot x, bartender, keyboard maestro, text sniper. Worth looking at.

https://unclutterapp.com/bundle/?coupon=DD-BLACKFRIDAY-2024&...

2. Here's a good collection by typingmind founder - https://github.com/trungdq88/Awesome-Black-Friday-Cyber-Mond...

3. Another infosec focused collection - https://github.com/0x90n/InfoSec-Black-Friday

Related resources:

X thread: https://x.com/itsarnavb/status/1856382430715724019

CoreWeave now claims to be the largest private operator of Nvidia GPUs in North America, with more than 45,000 chips. It has raised more than $10bn in debt in the past 12 months from lenders including Blackstone, Carlyle and Illinois-based hedge fund Magnetar Capital.

The debts are secured against CoreWeave’s stock of Nvidia GPUs and the capital is used to buy thousands more.

Archive copy: http://archive.today/OUyar

Sharing what resonated with me:

1. Family first! Don’t sacrifice your family’s happiness on the altar of success

4. The cost of praise is small. The value to others is inestimable.

11. “There are no losers on a winning team, and no winners on a losing team.”

12. Lead by example

Notes:

1. Revoke link for your profile: https://www.linkedin.com/mypreferences/d/settings/data-for-a...

2. To opt your data out of being used to train other ml models, you’ll have to also fill out the LinkedIn Data Processing Objection Form at https://www.linkedin.com/help/linkedin/ask/TS-DPRO

1/3 are good investments

1/3 turn into something but you wish you hadn't made the investment

1/3 are zeros

> Our meditation apps might become redundant if we spend half an hour a day actually making something.

Archive copy: http://archive.today/6WyiZ