yarapavan

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

https://archive.is/JcOAo

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

website: https://awseye.com/

http://archive.today/zr9zF

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

https://archive.ph/2024.11.26-114301/https://blog.stackademi...

https://archive.is/20241120124922/https://www.nytimes.com/20...

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

http://archive.today/4Z0wl

http://archive.today/sgUZN

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

http://archive.today/2024.09.23-131845/https://www.ft.com/co...

1/3 are good investments

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

1/3 are zeros

http://archive.today/9XpGU

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

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

The golden rule is to read as few contemporary books as possible.

Given our finite lives, and the centuries-deep canon of literature, what logic is there in reading something current? More than 120mn unique titles have been published since the dawn of the printing press. What are the odds that one written in 2024 deserves our limited time?

Archive: https://archive.is/wS0Jq

Github: https://github.com/automatisch/automatisch

Docs: https://automatisch.io/docs

Integrations: https://automatisch.io/docs/guide/available-apps

https://archive.is/iHmZN

TL;DR: s3-batch-object-store is a Go module that allows for batch uploading of objects to a single S3 file and retrieving each object separately using the AWS S3 API, fetching only the bytes for that specific object.

The method basically consists of appending multiple objects to a single file, keep the information of where each object is placed in the file, and then upload one single file to s3 with many objects in it, reducing drastically the number of PUT operations needed to store a large number of objets.

The developer company educed storage costs by 70% with our new approach. You can head to their s3-batch-object-store GitHub repository (https://github.com/embrace-io/s3-batch-object-store) to check out the module and try it out.