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