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

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

Ты где? Обзор самых популярных технологий позиционирования 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

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

Хабр

Ты где? Обзор самых популярных технологий позиционирования 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

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

Хабр

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

chi me la scopa zona Grosseto solo giovani cazzoni, postata ora #lf

#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

Yazi Is the Best Terminal-Based File Manager You Are Looking For - Make Tech Easier

Yazi is the best terminal-based file manager that brings powerful features and smooth previews right to your terminal.

Make Tech Easier
The @linuxfoundation claims privacy rules like EU's #GDPR “fuel a climate of risk aversion…[that] slows open data progress”.
#Microsoft, #Zuckerberg, #Samsung, & China's #Hauwei are ⅓ of #LinuxFoundation's top-tier platinum members.
… who does #LF serve? … the people & their privacy & their right to #SoftwareFreedom … or Big Tech? 🤔
A USA 501(c)(6) org serves “common business interest” of its USA members — not #FOSS users & developers.
https://fedi.copyleft.org/@linuxfounda[email protected]/114993371413443119
We must name the LF-ant in the room.
🄯 Copyleft.org Mastodon Instance

Also, ein kleines Feedback zu #Hyprland .

Bisher liebe ich es. Wenn man plant Hyprland zu nutzen - und sich das ganze zum ersten mal einrichtet - darf man davon ausgehen mehr als eine Woche damit zu verbringen sich alles einzurichten.

Du willst Screenshots machen? Dann installiere erstmal ein Programm. Aber wenn man das getan hat, weiß man, was der PC im Hintergrund eigentlich macht. Man konfiguriert alles von Anfang an. Also landen die Screenshots nicht irgendwo, sondern sie landen dort, wo du sie haben möchtest. Ja, das kann man bei allen Desktop Environments einstellen, doch irgendwo ist man einfach zu faul dazu, wenn "es doch bereits einfach funktioniert". Hier wirst du gefragt. Es macht einfach Spaß, sein "eigenes System" zu nutzen und darüber zu schimpfen.

Das größte Ding, was mich bei Hyprland bisher nervt ist, dass es keinen "vernünftigen" Datei Explorer gibt. Ja, #Dolphin ist klasse, aber es wurde einfach für eine #KDE Umgebung geschaffen. Wenn man bei einer Datei auf "Öffnen mit" geht, wird erstmal nichts angezeigt und dann stöbert man wieder 20 Foren durch, wie man das einrichtet, bis es dann doch nicht funktioniert. Ich bin jetzt bei #pcmanfm gelandet und einfach glücklich darüber, dass dieser #xdg verwendet, also systemweite Standarts nutzt. Mit Terminal Datei Explorer kann ich mich einfach nicht anfreunden. Ich habe #lf ausprobiert... aber das ist einfach nicht intuitiv genug.

Auch einen Bildbetrachter muss man selber installieren. Suche dir einen aus und baue ihn in dein System ein. Das gefällt mir an Hyprland.

Wiederherum sind einige Programme wie #GIMP nicht für Hyprland gemacht und erfordert wieder mehr Konfigurationen. Wenn man einen Filter nutzen möchte, öffnet sich ein neues, kleines Fenster. Unter Hyprland wird dieses Fenster als eigenständiges Fenster im Tiling Window Manager einsortiert, also werden die Fenster verschoben, verändern sich in der Größe ect. Ich habe das einstellen können, sodass das Hauptfenster von Hyprland genutzt wird, und die Filter-Fenster als 'floating windows' geöffnet werden, aber natürlich gibt es keine einfache Tutorials dazu, sondern man muss selber wieder Research betreiben.

Mal sehen wie die nächsten Tage so werden, mir machts Spaß 🙂