Hacker NewsCoq theorem prover is now called Rocq
#HackerNews #Coq #Rocq #theorem #prover #programming #languages #proof #assistants
Tao of MacOpenClaw Ecosystem
OpenClaw is a self-hosted personal AI assistant you run on your own devices, with a gateway control plane that connects to the chat channels you already use (WhatsApp, Telegram, Sl(...)
CBC Nova ScotiaHundreds of N.S. long-term care workers go on strike
Licensed practical nurses, physiotherapists, continuing-care assistants and housekeeping staff are among the 2,200 workers
participating in the strike, which has disrupted services at 22 long-term care homes across the province.
https://www.cbc.ca/news/canada/nova-scotia/long-term-care-workers-strike-cupe-nursing-homes-9.7162115?cmp=rss
Licensed practical nurses, physiotherapists, continuing-care assistants and housekeeping staff are among the 2,200 workers
participating in the strike, which has disrupted services at 22 long-term care homes across the province.
https://www.cbc.ca/news/canada/nova-scotia/long-term-care-workers-strike-cupe-nursing-homes-9.7162115?cmp=rss
eicker.news ᳇ tech news#Hollywood #assistants are increasingly using #AI tools, both officially sanctioned and #shadowAI, to manage larger workloads and shrinking headcounts. While AI is being used for tasks like composing emails and generating script coverage, concerns exist about its limitations in capturing the nuances of storytelling and its potential impact on job security. https://www.hollywoodreporter.com/movies/movie-features/hollywood-assistants-ai-development-1236553905/?eicker.news #tech #media #news
OpenClaw Ecosystem
OpenClaw is a self-hosted personal AI assistant you run on your own devices, with a gateway control plane that connects to the chat channels you already use (WhatsApp, Telegram, Sl(...)
CBC Kitchener-WaterlooOntario wants to change its FOI rules to keep some records secret. Here's what you need to know
Ontario wants to exempt the premier, cabinet ministers and parliamentary assistants from being subject to the province’s freedom-of-information (FOI) rules, a move that’s sparked outrage from experts, opposition parties, and the province’s privacy commissioner.
https://www.cbc.ca/news/canada/toronto/ontario-ford-changing-foi-rules-9.7127884?cmp=rss
Ontario wants to exempt the premier, cabinet ministers and parliamentary assistants from being subject to the province’s freedom-of-information (FOI) rules, a move that’s sparked outrage from experts, opposition parties, and the province’s privacy commissioner.
https://www.cbc.ca/news/canada/toronto/ontario-ford-changing-foi-rules-9.7127884?cmp=rss
Global News‘Crippling’: Sechelt could lose 300 temporary foreign workers, mayor says
Sechelt resident Agnes Cabe said some temporary foreign workers are working in elder care as dental assistants and health care assistants.
#Canada #Sechelt #TemporaryForeignWorkers
https://globalnews.ca/news/11720091/sechelt-temporary-foreign-workers-mayor/
Sechelt resident Agnes Cabe said some temporary foreign workers are working in elder care as dental assistants and health care assistants.
#Canada #Sechelt #TemporaryForeignWorkers
https://globalnews.ca/news/11720091/sechelt-temporary-foreign-workers-mayor/
Global News BC‘Crippling’: Sechelt could lose 300 temporary foreign workers, mayor says
Sechelt resident Agnes Cabe said some temporary foreign workers are working in elder care as dental assistants and health care assistants.
#Canada #Sechelt #TemporaryForeignWorkers
https://globalnews.ca/news/11720091/sechelt-temporary-foreign-workers-mayor/
Sechelt resident Agnes Cabe said some temporary foreign workers are working in elder care as dental assistants and health care assistants.
#Canada #Sechelt #TemporaryForeignWorkers
https://globalnews.ca/news/11720091/sechelt-temporary-foreign-workers-mayor/
HabrЧто пугает лично меня в развитии искусственных помощников
Пока генераторы текста на базе языковых моделей соревнуются в скорости производства поверхностных текстов на тему отъема рабочих мест, мне тоже есть, что сказать про гонку вооружений человека искусственными помощниками (которых здесь и далее я для простоты буду называть малорелевантным, но устоявшимся термином «ИИ»). Я не боюсь, что меня вышвырнут на улицу, потому что ИИ начнет писать код и проектировать системы лучше меня. Неважно даже, почему я так спокоен: оттого ли, что мой уникальный опыт — в некоторых областях — не получить путем всасывания и переработки всей мудрости интернета, или просто потому, что я — беспечный дурак. Речь не об этом. Есть вещи, связанные с бешеным распространением ИИ в шарнармассах, которые меня по-настоящему, действительно беспокоят. Нытьё Кассандры
OpenClaw Ecosystem
OpenClaw is a self-hosted personal AI assistant you run on your own devices, with a gateway control plane that connects to the chat channels you already use (WhatsApp, Telegram, Sl(...)
