ChrisRMay 3
Possible good news for #FilmPhotography #BelieveInFilm #LF folk? Maybe #IlfordPanF is coming to LF at last? https://www.talkphotography.co.uk/threads/ilford-pan-f-coming-to-large-format.774304/#post-9723347
pgEdge PostgresApr 2

The Agentic AI Foundation (AAIF) of the Linux Foundation is presenting this year's MCP Dev Summit North America 2026 in #NewYork, #NY this April 2-3.

📆 That's right around the corner - have you registered yet? 👉 https://events.linuxfoundation.org/mcp-dev-summit-north-america/register/

Will we see you there? We'll have a booth - stop by and say hi. We love talking about PostgreSQL.

See you soon 🏙️

#newyorkcity #nyc #technews #techevent #ai #llm #postgres #postgresql #lf #linuxfoundation #mcp #aaif"

Register | LF Events

Register Now! The registration deadline is 12:59 PM Eastern Time on the respective date. Quick Note: We never sell attendee lists or contact information, nor do we authorize others to do so.

LF Events
pgEdge PostgresMar 25

Deploying #PostgreSQL in #Kubernetes with our tools simplifies operations, boosts flexibility, and minimizes risk in single or multi-cloud strategies. 🚀

Our active-active setup means every node can accept writes, making databases more resilient and easier to scale without extra complexity.

Fully open source under the PostgreSQL license with no vendor lock-in, giving you the freedom to innovate without restrictions.

#opensource #k8s #kubecon #cloudnativecon #postgres #programming #cncf #lf

Show threadBradley M. KühnMar 22

Little did I know #LinuxFoundation & its wealthy cronies were the reason my gratis upgrade didn't clear. #LF's got an event starting tomorrow in Amsterdam. My seat mate told me.

It's funny — as I head to #UndoneCS to talk about how LF funds research that distracts us from real #FOSS &#copyleft — I sit in the cheap seats while the capitalist sleep in flat bed seats up front.

It's quite the metaphor.

Hacker NewsMar 17

Lf-lean: The frontier of verified software engineering

https://theorem.dev/blog/lf-lean/

#HackerNews #Lf-lean #verified #software #engineering #frontier #softwaredevelopment #techinnovation

`lf-lean`: The frontier of verified software engineering

We present lf-lean, a verified translation of all 1,276 statements of the Logical Foundations textbook from Rocq to Lean, produced by frontier AI with ~2 person-days of human effort versus an estimated ~2.75 person-years manually (a 350x speed-up). We achieve this through task-level specification generators: because many software transformations are semantics-preserving, correctness can be defined once for an entire task class and checked automatically across all instances and codebases. This scales human oversight from 𝒪(𝓃) to 𝒪(1) regardless of program complexity. Placed on METR’s time horizon graph, our result suggests verified software engineering is advancing faster than expected.

Theorem
HabrFeb 24

Ты где? Обзор самых популярных технологий позиционирования RFID, BLE и UWB. Часть 2

В прошлой статье мы с вами обсудили основные задачи, которые ставят перед системами позиционирования, узнали про два главных подхода к построению таких систем и четыре метода определения местоположения. В этой части перейдем к практике и рассмотрим три самых популярных стандарта для систем позиционирования: RFID, BLE и UWB. Приступим.

https://habr.com/ru/companies/beget/articles/996346/

#BLE #RFID #RTLS #позиционирование #UWB #IoT #UHF #LF #координаты #RSSI

Ты где? Обзор самых популярных технологий позиционирования RFID, BLE и UWB. Часть 2

В прошлой статье мы с вами обсудили основные задачи, которые ставят перед системами позиционирования, узнали про два главных подхода к построению таких систем и четыре метода определения...

Хабр
HabrFeb 23

Ты где? Обзор самых популярных технологий позиционирования RFID, BLE и UWB. Часть 1

Позиционирование - это один из интереснейших кейсов применения радиосвязи. Да что там кейс - это целый мир. Там своя логика, свои законы (без противоречий с физикой) и свои принципы построения. Но, главное. Там свои задачи. В этой статье я сделаю обзор трех самых популярных технологий для indoor/outdoor позиционирования и расскажу о самом подходе к вычислению положения объекта. Сразу договоримся - мы рассматриваем только локальные методы, такие, где все железо и софт целиком разворачивается нашими руками. Потому из этого обзора исключены GPS, ГЛОНАСС, трекинг по сотовым сетям и прочие вещи, требующие сторонней инфраструктуры. Ну что ж, раз-два-три-четыре-пять, мы идем искать…

https://habr.com/ru/companies/beget/articles/996342/

#BLE #RFID #RTLS #позиционирование #UWB #IoT #UHF #LF #координаты #RSSI

Ты где? Обзор самых популярных технологий позиционирования RFID, BLE и UWB. Часть 1

Позиционирование - это один из интереснейших кейсов применения радиосвязи. Да что там кейс - это целый мир. Там своя логика, свои законы (без противоречий с физикой) и свои принципы построения. Но,...

Хабр
clunybrown Feb 8

The terminal file manager #lf has a new rulerfile (statusbar) format in go at the bottom that can be customized.

I've updated the wiki so you could have a vim-like statusline^^

https://github.com/gokcehan/lf/wiki/Ruler

miciomaoJan 19
chi me la scopa zona Grosseto solo giovani cazzoni, postata ora #lf
MDJan 8

#eduphysics #edubw #Physik #eduphysik #Magnetfeld #Fadenstrahlrohr #e/m-Bestimmung #fuberlin #FediLZ

Geniale und toll umgesetzte digitale, Versuchsanordnung mit Auswertung zur
e/m-Bestimmung von der FU Berlin heute bei meinem #LF #Physik in #edubw eingesetzt!

Kann ich nur empfehlen, da Animation für verschiedene Messewerte und Tabellendokument für Auswertung sehr schön in Homepage eingebunden sind. Außerdem werden Abhängigkeiten wie Radius der Elektronenbahn i.A. von magn.Flussdichte direkt eingebunden und können von SuS untersucht werden.

https://tetfolio.fu-berlin.de/tet/1294768

tet.folio