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
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.
Lf-lean: The frontier of verified software engineering
https://theorem.dev/blog/lf-lean/
#HackerNews #Lf-lean #verified #software #engineering #frontier #softwaredevelopment #techinnovation
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.
Π’Ρ Π³Π΄Π΅? ΠΠ±Π·ΠΎΡ ΡΠ°ΠΌΡΡ ΠΏΠΎΠΏΡΠ»ΡΡΠ½ΡΡ ΡΠ΅Ρ Π½ΠΎΠ»ΠΎΠ³ΠΈΠΉ ΠΏΠΎΠ·ΠΈΡΠΈΠΎΠ½ΠΈΡΠΎΠ²Π°Π½ΠΈΡ 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. Π§Π°ΡΡΡ 1
ΠΠΎΠ·ΠΈΡΠΈΠΎΠ½ΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ - ΡΡΠΎ ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΈΠ½ΡΠ΅ΡΠ΅ΡΠ½Π΅ΠΉΡΠΈΡ ΠΊΠ΅ΠΉΡΠΎΠ² ΠΏΡΠΈΠΌΠ΅Π½Π΅Π½ΠΈΡ ΡΠ°Π΄ΠΈΠΎΡΠ²ΡΠ·ΠΈ. ΠΠ° ΡΡΠΎ ΡΠ°ΠΌ ΠΊΠ΅ΠΉΡ - ΡΡΠΎ ΡΠ΅Π»ΡΠΉ ΠΌΠΈΡ. Π’Π°ΠΌ ΡΠ²ΠΎΡ Π»ΠΎΠ³ΠΈΠΊΠ°, ΡΠ²ΠΎΠΈ Π·Π°ΠΊΠΎΠ½Ρ (Π±Π΅Π· ΠΏΡΠΎΡΠΈΠ²ΠΎΡΠ΅ΡΠΈΠΉ Ρ ΡΠΈΠ·ΠΈΠΊΠΎΠΉ) ΠΈ ΡΠ²ΠΎΠΈ ΠΏΡΠΈΠ½ΡΠΈΠΏΡ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ. ΠΠΎ, Π³Π»Π°Π²Π½ΠΎΠ΅. Π’Π°ΠΌ ΡΠ²ΠΎΠΈ Π·Π°Π΄Π°ΡΠΈ. Π ΡΡΠΎΠΉ ΡΡΠ°ΡΡΠ΅ Ρ ΡΠ΄Π΅Π»Π°Ρ ΠΎΠ±Π·ΠΎΡ ΡΡΠ΅Ρ ΡΠ°ΠΌΡΡ ΠΏΠΎΠΏΡΠ»ΡΡΠ½ΡΡ ΡΠ΅Ρ Π½ΠΎΠ»ΠΎΠ³ΠΈΠΉ Π΄Π»Ρ indoor/outdoor ΠΏΠΎΠ·ΠΈΡΠΈΠΎΠ½ΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΈ ΡΠ°ΡΡΠΊΠ°ΠΆΡ ΠΎ ΡΠ°ΠΌΠΎΠΌ ΠΏΠΎΠ΄Ρ ΠΎΠ΄Π΅ ΠΊ Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΡ ΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΎΠ±ΡΠ΅ΠΊΡΠ°. Π‘ΡΠ°Π·Ρ Π΄ΠΎΠ³ΠΎΠ²ΠΎΡΠΈΠΌΡΡ - ΠΌΡ ΡΠ°ΡΡΠΌΠ°ΡΡΠΈΠ²Π°Π΅ΠΌ ΡΠΎΠ»ΡΠΊΠΎ Π»ΠΎΠΊΠ°Π»ΡΠ½ΡΠ΅ ΠΌΠ΅ΡΠΎΠ΄Ρ, ΡΠ°ΠΊΠΈΠ΅, Π³Π΄Π΅ Π²ΡΠ΅ ΠΆΠ΅Π»Π΅Π·ΠΎ ΠΈ ΡΠΎΡΡ ΡΠ΅Π»ΠΈΠΊΠΎΠΌ ΡΠ°Π·Π²ΠΎΡΠ°ΡΠΈΠ²Π°Π΅ΡΡΡ Π½Π°ΡΠΈΠΌΠΈ ΡΡΠΊΠ°ΠΌΠΈ. ΠΠΎΡΠΎΠΌΡ ΠΈΠ· ΡΡΠΎΠ³ΠΎ ΠΎΠ±Π·ΠΎΡΠ° ΠΈΡΠΊΠ»ΡΡΠ΅Π½Ρ GPS, ΠΠΠΠΠΠ‘Π‘, ΡΡΠ΅ΠΊΠΈΠ½Π³ ΠΏΠΎ ΡΠΎΡΠΎΠ²ΡΠΌ ΡΠ΅ΡΡΠΌ ΠΈ ΠΏΡΠΎΡΠΈΠ΅ Π²Π΅ΡΠΈ, ΡΡΠ΅Π±ΡΡΡΠΈΠ΅ ΡΡΠΎΡΠΎΠ½Π½Π΅ΠΉ ΠΈΠ½ΡΡΠ°ΡΡΡΡΠΊΡΡΡΡ. ΠΡ ΡΡΠΎ ΠΆ, ΡΠ°Π·-Π΄Π²Π°-ΡΡΠΈ-ΡΠ΅ΡΡΡΠ΅-ΠΏΡΡΡ, ΠΌΡ ΠΈΠ΄Π΅ΠΌ ΠΈΡΠΊΠ°ΡΡβ¦
https://habr.com/ru/companies/beget/articles/996342/
#BLE #RFID #RTLS #ΠΏΠΎΠ·ΠΈΡΠΈΠΎΠ½ΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ #UWB #IoT #UHF #LF #ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°ΡΡ #RSSI
ΠΠΎΠ·ΠΈΡΠΈΠΎΠ½ΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ - ΡΡΠΎ ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΈΠ½ΡΠ΅ΡΠ΅ΡΠ½Π΅ΠΉΡΠΈΡ ΠΊΠ΅ΠΉΡΠΎΠ² ΠΏΡΠΈΠΌΠ΅Π½Π΅Π½ΠΈΡ ΡΠ°Π΄ΠΈΠΎΡΠ²ΡΠ·ΠΈ. ΠΠ° ΡΡΠΎ ΡΠ°ΠΌ ΠΊΠ΅ΠΉΡ - ΡΡΠΎ ΡΠ΅Π»ΡΠΉ ΠΌΠΈΡ. Π’Π°ΠΌ ΡΠ²ΠΎΡ Π»ΠΎΠ³ΠΈΠΊΠ°, ΡΠ²ΠΎΠΈ Π·Π°ΠΊΠΎΠ½Ρ (Π±Π΅Π· ΠΏΡΠΎΡΠΈΠ²ΠΎΡΠ΅ΡΠΈΠΉ Ρ ΡΠΈΠ·ΠΈΠΊΠΎΠΉ) ΠΈ ΡΠ²ΠΎΠΈ ΠΏΡΠΈΠ½ΡΠΈΠΏΡ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ. ΠΠΎ,...
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^^
#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.
Interessanter Artikel ΓΌber #yazi
https://www.maketecheasier.com/yazi-is-the-best-terminal-based-file-manager-you-are-looking-for/
π β―οΈTeresitaπ§π
pgEdge Postgres
Bradley M. KΓΌhn
Hacker News
Habr
clunybrown 
miciomao
MD
dei Muddr