0hm☘️
1.7K posts
In light of recent reports regarding recordings inside customers’ homes by one of our competitors, many people have asked whether @urbancompany_UC engages in anything similar, or intends to do so in the future. The answer is clear and unequivocal: we do not. We are in the business of trust, and we take customer trust and privacy extremely seriously. We do not engage in any such activities, have never done so in the past, and have no plans to do so in the future. Our customers’ privacy is paramount to us, and we remain fully committed to upholding the highest standards of confidentiality, safety, and trust.
DONE! 5hrs later... DDOONNEE.
Personal update: I've joined Anthropic. I think the next few years at the frontier of LLMs will be especially formative. I am very excited to join the team here and get back to R&D. I remain deeply passionate about education and plan to resume my work on it in time.
Turso wants to match and surpass SQLite's reliability. When I say "surpass", usually ppl just look funny at me. But this is one such example: One of our OSS contributors have just found 10+ bugs in SQLite using validation he built for Turso. @pavan4820 used @quint_lang to build a formal model of the system and then executed its traces to find corner cases where SQLite deviated from the spec. It is a great demonstration of how modern reliability tools, formal methods in particular, can lead to reliable systems and find *many* issues even on the most stable software on Earth. Read more: turso.tech/blog/how-we-us…
Decorators are coming to JAVAscript
