20 random bookmarks
stuff me collect
stuff me collect
In this game, we will build the basic theory of the natural numbers {0,1,2,3,4,...} from scratch. Our first goal is to prove that 2 + 2 = 4. Next we'll prove that x + y = y + x. And at the end we'll see if we can prove Fermat's Last Theorem. We'll do this by solving levels of a computer puzzle game called Lean.
Some of Stephen Wolfram’s “productivity hacks” to make his days and projects more productive. Daily life, desk environment, outside the office, presentation setup, filesystem organization, Wolfram Notebook systems, databases, personal analytics.
At an intellectual level, the key to building this infrastructure is to structure, streamline and automate everything as much as possible—while recognizing both what’s realistic with current technology, and what fits with me personally.
a tiny camera that takes pictures every 30 seconds, so I can remember what I saw.
Shipping is really hard and you have to make it your main priority
Shipping doesn’t mean deploying code, it means making your leadership team happy
You need your leadership team to trust you in order to ship
Most of the essential technical work is in anticipating problems and creating fallback plans
Scale back your implementation work as you approach launch so you’re free to jump on last-minute problems
You should constantly ask yourself “can I ship right this second?”
A - The task requirements and goals might not be clear enough. If you are trying to get yourself to “plan for a project” or “write a book” then it’s hard to identify the next actionable items. Put some time aside to figure out what physical things you can do to move the project forward. Try break down the larger tasks into the smallest pieces possible. The goal of the project might need identifying, or the requirements fleshed out from a supervisor.
B - The task might exceed your current competency. Sometimes we know what we have to do, but don’t know how to do it, and then we become avoidant rather than admitting this. In this case, it’s worth figuring out what you do know how to do and what you don’t know how to do, and be honest with that. Then slowly ask for help or read up on the things you don’t know.
C - The tasks might really not be worth it. Sometimes you are assigned tasks that don’t actually help you achieve your long-term goals, and so your brain demotivate you from doing them. Maybe the payoff is low, maybe you don’t learn anything new from them, or maybe a colleague you don’t like will gain credit for the tasks, or maybe you just wont be rewarded or appreciated for getting the tasks done.
Focus on what fascinates you, even if it’s uncharacteristic.
There is no purpose because there is no line connecting moments in time.
There is no plot.
You are not a story.
A modern ebook manager and reader with sync and backup capacities for Windows, macOS, Linux and Web - koodo-reader/koodo-reader
Explore live radio by rotating the globe.
Development Platform for building event-driven and distributed systems. Move faster with purpose-built local dev tools and DevOps automation for AWS/GCP.
LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them
По сути, выражение
s[~i]эквивалентно выражениямs[-i - 1]иs[len(s) - i - 1], однако является более красивым и компактным вариантом записи.
Gemini is a new internet technology supporting an electronic library of interconnected text documents. Gemini isn't about innovation or disruption, it's about providing some respite for those who feel the internet has been disrupted enough already. We are out to build a lightweight online space where documents are just documents, in the interests of every reader's privacy, attention and bandwidth.
How to backup photos using Apple, lightroom, nextcloud