Forwarded from сладко стянул
CohomologyOfImpossibleFigures.pdf
510.5 KB
Что такое когомологии? Можно сказать, это препятствия к
глобальной разрешимости
локально разрешимых
задач.
Что такое "невозможная фигура"? Это картинка, которые локально выглядит как рисунок реального объекта, но глобально таковой не является.
Подробности — в трёхстраничной заметке Р. Пенроуза (1992). Узнал о ней из https://mathoverflow.net/a/271353
глобальной разрешимости
локально разрешимых
задач.
Что такое "невозможная фигура"? Это картинка, которые локально выглядит как рисунок реального объекта, но глобально таковой не является.
Подробности — в трёхстраничной заметке Р. Пенроуза (1992). Узнал о ней из https://mathoverflow.net/a/271353
Forwarded from Национальный цифровой архив
They destroyed computer drivers, they shredded files and burned all the books in libraries 🍽
На прошлой неделе стартовал сериал-антиутопия Silo. В нем рассказывается о сообществе из 10 тыс. человек, которые живут в 140-этажном бункере, укрываясь от последствий катастрофического события на Земле.
По сюжету архивы, в том числе на цифровых носителях, считаются уничтоженными силами мятежников 140 лет назад. Поэтому архивы и артефакты прошлого получили статус реликвий и стали нелегальными и запрещенными для хранения и использования, а вопросы по поводу этой нелогичности оказалось нельзя произносить вслух.
Тем не менее, один из случайно найденных жестких дисков, содержимое которого удалось восстановить, становится основой для того, чтобы подвергнуть сомнениям уклад жизни всего сообщества и необходимость выживания в бункере.
Фокус на ценности архивов в сериале — своевременное напоминание о необходимости сохранять жизненно важную информацию, которая имеет решающее значение для выживания людей и развития общества.
Рекомендуем к просмотру!
На прошлой неделе стартовал сериал-антиутопия Silo. В нем рассказывается о сообществе из 10 тыс. человек, которые живут в 140-этажном бункере, укрываясь от последствий катастрофического события на Земле.
По сюжету архивы, в том числе на цифровых носителях, считаются уничтоженными силами мятежников 140 лет назад. Поэтому архивы и артефакты прошлого получили статус реликвий и стали нелегальными и запрещенными для хранения и использования, а вопросы по поводу этой нелогичности оказалось нельзя произносить вслух.
Тем не менее, один из случайно найденных жестких дисков, содержимое которого удалось восстановить, становится основой для того, чтобы подвергнуть сомнениям уклад жизни всего сообщества и необходимость выживания в бункере.
Фокус на ценности архивов в сериале — своевременное напоминание о необходимости сохранять жизненно важную информацию, которая имеет решающее значение для выживания людей и развития общества.
Рекомендуем к просмотру!
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Open Source
ChatPDF
ИИ который позволяет вам общаться с любым PDF-документом.
Задавайте вопросы, извлекайте информацию и обобщайте документы с помощью ИИ. Под капотом ChatGPT.
https://github.com/Anil-matcha/ChatPDF
Demo: https://heybot.thesamur.ai/
ИИ который позволяет вам общаться с любым PDF-документом.
Задавайте вопросы, извлекайте информацию и обобщайте документы с помощью ИИ. Под капотом ChatGPT.
https://github.com/Anil-matcha/ChatPDF
Demo: https://heybot.thesamur.ai/
Forwarded from Джейпег Малевича (Igor)
Технологии, которые мы заслужили: на свет появился Dream Interpreter AI, который может объяснить сны.
Всё просто — вводим свой сон и получаем расшифровку.
Всё просто — вводим свой сон и получаем расшифровку.
Forwarded from Stepaneko
Провел вечер пятницы за написанием интерпретатора forth-вдохновленного языка.
github.com/ftvkyo/firth
Радует что быстро что-то склепал, не пытаясь переусложнить все с самого начала.
На скриншоте иллюстрация сравнений (
Очень мне нравится идея с добавлением модификатора к слову.
Еще много полировать — сейчас нет closures, все переменные глобальные.
Но весело.
github.com/ftvkyo/firth
Радует что быстро что-то склепал, не пытаясь переусложнить все с самого начала.
На скриншоте иллюстрация сравнений (
=), условий (?) и циклов (@).Очень мне нравится идея с добавлением модификатора к слову.
Еще много полировать — сейчас нет closures, все переменные глобальные.
Но весело.
Forwarded from Eldar
YouTube
Podcast: In Machines We Trust - How pricing algorithms learn to collude
Algorithms now determine how much things cost. It’s called dynamic pricing and it adjusts according to current market conditions in order to increase profits. The rise of ecommerce has propelled pricing algorithms into an everyday occurrence—whether you’re…
Forwarded from Senior Python Developer
pdfplumber
pdfplumber - это библиотека Python для извлечения информации из PDF-документов. Она предоставляет простой в использовании интерфейс для извлечения текста, таблиц и изображений из PDF-файлов. Также вы можете извлекать таблицы из PDF в виде объектов
В этом примере мы используем функцию
Внутри оператора
Выполнив этот код, вы сможете извлечь и распечатать текстовое содержимое каждой страницы PDF-файла.
Стоит отметить, что pdfplumber является мощным инструментом, но точность извлеченного текста сильно зависит от качества и форматирования самого PDF.
pdfplumber - это библиотека Python для извлечения информации из PDF-документов. Она предоставляет простой в использовании интерфейс для извлечения текста, таблиц и изображений из PDF-файлов. Также вы можете извлекать таблицы из PDF в виде объектов
pandas DataFrame, извлекать изображения из PDF и извлекать метаданные о PDF-документе.В этом примере мы используем функцию
pdfplumber.open() для открытия PDF-файла example.pdf.Внутри оператора
with мы перебираем все страницы PDF-файла с помощью цикла for. Для каждой страницы мы вызываем метод extract_text() для извлечения текстового содержимого. Извлеченный текст сохраняется в переменной text.Выполнив этот код, вы сможете извлечь и распечатать текстовое содержимое каждой страницы PDF-файла.
Стоит отметить, что pdfplumber является мощным инструментом, но точность извлеченного текста сильно зависит от качества и форматирования самого PDF.
Forwarded from Futuris (Anton)
Тут кто-то на реддите нашёл способ как дать ChatGPT полный доступ над своей системой через выполнение небезопасной функции eval в JavaScript, предварительно запилив свой кастомный плагин. Через чат пользователь смог узнать описание и содержимое файлов у себя на жёстком диске, открыть браузер и выполнить поисковый запрос и даже управлять мышкой 🤯
Привет SkyNet 😅
Привет SkyNet 😅
Forwarded from Generative Anton
Очень хорошая статья про то, как из Python’a сделать подобие приличного языка, хоть и бОльшая часть примеров актуальна только для 3.10. Резонирует с первым впечатлением от Python-кода в AWS: все типизировано и многие паттерны из статьи есть и там.
Например, так это просто логическая ошибка в программе (параметры
А вот как можно было бы получить ошибку компиляции:
Например, так это просто логическая ошибка в программе (параметры
driver_id и car_id перепутаны местами в вызове get_ride_info()):class Database:
def get_car_id(self, brand: str) -> int:
def get_driver_id(self, name: str) -> int:
def get_ride_info(self, car_id: int, driver_id: int) -> RideInfo:
db = Database()
car_id = db.get_car_id("Mazda")
driver_id = db.get_driver_id("Stig")
info = db.get_ride_info(driver_id, car_id)А вот как можно было бы получить ошибку компиляции:
from typing import NewType
# Define a new type called "CarId", which is internally an `int`
CarId = NewType("CarId", int)
# Ditto for "DriverId"
DriverId = NewType("DriverId", int)
class Database:
def get_car_id(self, brand: str) -> CarId:
def get_driver_id(self, name: str) -> DriverId:
def get_ride_info(self, car_id: CarId, driver_id: DriverId) -> RideInfo:
db = Database()
car_id = db.get_car_id("Mazda")
driver_id = db.get_driver_id("Stig")
# Type error here -> DriverId used instead of CarId and vice-versa
info = db.get_ride_info(<error>driver_id</error>, <error>car_id</error>)Kobzol’s blog
Writing Python like it’s Rust
You can check out a YouTube recording of a talk based on this blog post.
Forwarded from ".,."
https://github.com/AllTheLife/Bard.el
For anyone interested in using bard from Emacs in simple manner, i wish author was aware of this group and posted himself, but I found it shareworthy.
For anyone interested in using bard from Emacs in simple manner, i wish author was aware of this group and posted himself, but I found it shareworthy.
GitHub
GitHub - AllTheLife/Bard.el: Enjoying using Google Bard in Emacs
Enjoying using Google Bard in Emacs. Contribute to AllTheLife/Bard.el development by creating an account on GitHub.