2026-08-20 11:42:03
from my link log —
Formal methods: just good engineering practice?
https://brooker.co.za/blog/2024/04/17/formal.html
saved 2024-04-18 https://
from my link log —
Formal methods: just good engineering practice?
https://brooker.co.za/blog/2024/04/17/formal.html
saved 2024-04-18 https://
African defense tech company Terra Industries, founded in 2024, raised a $52M seed round from 8VC and others, and says it's on track to book $100M in contracts (Dominic-Madori Davis/TechCrunch)
https://techcrunch.com/2026/08/17/terr
wow, got one of these on archive.ph linked from https://www.mgaudet.ca/blog/2024/12/30/memories-of-noah-gibbs
has anybody figured out how that's possible?
I'm reading the Scottish Government's latest #Biodiversity Action Plan. A great deal of it is pure fantasy unless we also urgently tackle the #ClimateEmergency (which we are not doing) but the ambition is good.
Spanne der Bruttospeicherleistung von #Batteriespeichern pro Inbetriebnahmejahr von Unternehmen in Deutschland mit Stand vom 31.07.2026.
440 Datensätze ohne #Batteriespeichertechnologie herausgefiltert.
Der Datenbestand enthält unplausible Datensätze.
…
Happy 50th #anniversary to you, #Z80! 🥳
https://www.to…
"EU's race for lithium and rare earths sidelined calls to reduce consumption, finds study"
#EU #EuopeanUnion #Lithium
Consistent irresponsibility: in May 2024, OpenAI disbanded its Superalignment team and subsequently its AGI Readiness team as well. Now it is the turn of the Preparedness team. Other senior staff from the security and ethics departments have also left the company.
#OpenAI #ITSecurity
Spanne der Bruttospeicherleistung von #Batteriespeichern pro Inbetriebnahmejahr von Privatpersonen in Deutschland mit Stand vom 31.07.2026.
440 Datensätze ohne #Batteriespeichertechnologie herausgefiltert.
Der Datenbestand enthält unplausible Datensätze.
from my link log —
Garbage collectors are scary.
https://www.enyo.de/fw/notes/garbage-collectors-are-scary.html
saved 2024-05-12 https:…
"which emojis are used the least often?" - Great question, and we rarely find data on this! But luckily, we studied this at least for two corpora with German users (and admittedly only for face emojis). So: Many object or symbol emojis (from the "tail end" of the emoji list) are very, very rarely used. Overall, faces and hearts are the most frequent. Among the face emojis, we compiled the full list of usages from a huge Twitter corpus (semi-public communication, 2014-2022) and a much small WhatsApp chat corpus (private or group communication). You can find the frequencies in this table linked below (and sort by frequency by clicking on the column). The least frequent face emoji in the large corpus was the "frowning face with open mouth" 😦, which most people have never seen before. Personally, I think it's pretty ambiguous and not very useful, as there are better emojis for anything it might express. #emojis #linguistics #WorldEmojiDay
https://tscheffler.github.io/2024-Face-Emoji-Norming/ratings.html
"Trail cameras capture adorable sighting of first wild pine marten babies born in a century"
#UK #UnitedKingdom #Animals
Luckily, I only rarely get calls on my mobile phone—a not-smart-at-all Nokia 3210 (2024). But every time I wonder: is the voice quality of smartphone so much better? I see people happily talking on their smartphones in the metro or the bus, where it's extremely noisy. But I hardly understand a word on the Nokia, even in the best circumstances.
Luckily, I only rarely get calls on my mobile phone—a not-smart-at-all Nokia 3210 (2024). But every time I wonder: is the voice quality of smartphone so much better? I see people happily talking on their smartphones in the metro or the bus, where it's extremely noisy. But I hardly understand a word on the Nokia, even in the best circumstances.
Zugebaute #Batteriespeicherkapazität pro Monat in #Deutschland mit Stand vom 31.07.2026.
440 Datensätze ohne #Batteriespeichertechnologie herausgefil…
Ravens CB Nate Wiggins carted off practice field with apparent leg injury https://www.nytimes.com/athletic/7506187/2026/08/11/ravens-nate-wiggins-injury-training-camp/
from my link log —
Rink: an open source unit-aware calculator.
https://rinkcalc.app/
saved 2024-04-30 https://dotat.at/:/6J32N.html…
Mam wśród otwartych projektów fotograficznych jeden, który jest poświęcony mojemu obecnemu miejscu zamieszkania. A odkąd mam w planach wyprowadzkę, trochę więcej spaceruję po dzielnicy i demokratycznie fotografuję wszystko, co mi wpadnie w oko.
Któregoś kwietniowego popołudnia moją uwagę przykuły pozostałości po ewangelickim cmentarzu przy ul. Kamykowej na wschodniej Białołęce.
Często wydawało mi się, że na tym zapomnianym przez stołecznych włodarzy zadupiu miasta nie było wcześniej nikogo ani niczego, a deweloperka wyrosła z niczego na pustych łąkach.
Tymczasem przez stulecia na tych terenach mieszkali niemieccy osadnicy z Holandii, tzw. olędrzy (olendrzy). Uciekali oni ze swoich domów przed wojną i prześladowaniami religijnymi i zakładali osady na trudno dostępnych terenach; z czasem asymilowali się z miejscowymi pomimo różnic językowych, narodowościowych i religijnych. Ślady ich bytności da się odnaleźć do dzisiaj - cmentarze lub ich pozostałości są rozsiane po całym kraju.
II wojna światowa zakończyła okres olenderskiego osadnictwa, zaś cmentarz przy Kamykowej popadł w ruinę. W 2012 roku zachowane płyty nagrobne przeniesiono do lapidarium niedaleko innego cmentarza ewangelickiego u zbiegu ulic Ruskowy Bród i Mańkowskiej.
W połowie 2024 roku, pomimo braku zezwolenia urzędu dzielnicy, jeden z deweloperów rozpoczął na Kamykowej prace przygotowawcze pod budowę nowego osiedla. Po protestach mieszkańców i interwencji konserwatora zabytków prace zostały przerwane, a cmentarz doczekał się (po 12 latach 😓) wpisania do rejestru zabytków.
No i tak o. Czasami nie trzeba iść daleko, żeby przekonać się, jak długa jest historia migracji i wielokulturowości w tym naszym grajdole. Niestety – również niewiele trzeba, by ślady tej historii zatrzeć.
11,000% Return:
Trump’s $1 Billion Offer Could Yield $110 Billion Windfall for Big Oil
A 2024 analysis explored the possible payout if fossil fuel companies
—who have already shown a willingness to put a price tag on the value of planet Earth
—agree to the presumptive Republican nominee’s election year “quid pro quo” deal.
75-year-old John Gannon is a lifelong Republican who voted for President Trump says he now regrets that decision after his fiancée was arrested by ICE in Houston.
Video Source
https://reddit.com/comments/1vhb0ns
John Gannon, a lifelong Republican who voted for Donald Trump in 2024, says he…
Bin über ein Windpark-Thema bei der Bayernpartei gelandet und wollte wissen, wie weit die von der AfD weg ist. Also beide Programme gelesen.
Grundsatzprogramm 2011/17: „deutlich verstärkte Nutzung von regenerativen Energiequellen", ausdrücklich Ausbau von Windkraft. Dazu Atomausstieg.
Wahlprogramm 2024: „Im windarmen Bayern ist Windkraft leider nicht zielführend." Nein zu „überdimensionierten Windparks".
1/2
Sinds juni 2024 zijn we #VanGasLos met een bodemwarmtepomp. Werkt allemaal volgens verwachting, behalve dan dat de convectoren-radiatoren op de bovenverdieping het net niet warm genoeg krijgen en we ook wat betere koeling zouden willen. Daarvan hadden we toen besloten dat even aan te zien. En nu, 1 1/2 zomer en 2 winters later hebben we besloten dat het beter moet en heb ik het installatiebedri…
Renner's 2027 NFL Draft scouting series: Ranking the top 10 safeties, including the next Kyle Hamilton?
https://www.cbssports.com/nfl/draft/news/2027-nfl-draft-safety-rankings/…
Cowboys Make Decision on Key Starting Blocker at Camp https://heavy.com/sports/nfl/dallas-cowboys/tyler-guyton-nate-thomas-brian-schottenheimer/
Don’t look now, but suddenly the U.S. Senate is in play
At the start of this election cycle,
it looked like winning control of the Senate was all but out of Democratic reach.
There are 35 contests on the ballot in November.
Of those, nearly two dozen are effectively over before they’ve even started,
given the advantage one party holds over the other.
Of the remainder, most are being held in states Trump won in 2024,
which makes them, broadly speaki…
#Steady #Klimacrew
Die Abos der Microsoft-Copiloten sind in Wirklichkeit Eintritt!
Schon relativ früh habe ich eines der Copilot-Derivate ausprobiert. Das war 2024 – glaube ich – und noch lange vor der Copilot-Inflation. Was ich aber nie wusste ist, dass es sich um
Die offizielle 1,5-Millionen-Marke ist geknackt. 😁
Anzahl der registrierten #Balkonkraftwerke in #Deutschland mit Stand vom 31.08.2026.
Der aktuelle Höchststand liegt bei 1500720 registrierten Anlagen.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das…
Sources: Reddit, Politico, and others mull cutting Google's access to their content for AI as traffic drops; Reddit signed a $60M/year deal with Google in 2024 (Alexandra Bruell/Wall Street Journal)
https://www.wsj.com/business/media/googl…
Organizational Technology Ladders: Remote Work and Generative AI Adoption
Gregor Schubert
https://arxiv.org/abs/2608.11626 https://arxiv.org/pdf/2608.11626 https://arxiv.org/html/2608.11626
arXiv:2608.11626v1 Announce Type: new
Abstract: This study proposes that firms move along an "organizational technology ladder": adopting one technology transforms hiring and work processes and builds skills and organizational capital that change the cost of adopting subsequent technologies. I study how firms' adoption of remote work technology during the COVID-19 period shaped later uptake of generative AI. Using U.S. job-posting data and an instrumental-variables strategy based on predicted differences in labor-market pressure to offer remote work, I estimate that a 10 percentage point increase in remote hiring in 2021-2022 increases the share of job postings mentioning generative AI in 2023-2024 by 0.4 percentage points across firms and 0.7 percentage points across occupations within firms. I provide evidence on mechanisms consistent with a technology-ladder channel: remote work adoption shifts hiring toward technical and managerial capabilities that predict faster conversion of generative AI exposure into adoption. Firms with return-to-office mandates---interpreted as revealing low remote productivity---exhibit a substantially larger response of generative AI adoption to remote work, consistent with an organizational frictions channel.
toXiv_bot_toot
Sign-up For
Democracy Action Network
Indivisible Los Angeles
Interest Form · Volunteer organized
https://www.mobilize.us/indivisible/event/770562/
On the first day of their trial, two members of Scattered Spider plead guilty in the UK to charges stemming from a 2024 cyberattack on Transport for London (Brian Krebs/Krebs on Security)
https://krebsonsecurity.com/2026/06/scattered-spider-hacker…
Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 31.07.2026.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
👉 Zusatzlesestoff:
from my link log —
Scanners work fine over iSCSI.
https://sprocketfox.io/xssfox/2024/05/08/jbos/
saved 2024-05-09 https://dotat.a…
Häufigkeitsverteilung der Bruttoleistung von #Balkonkraftwerken in #Deutschland mit Stand vom 31.07.2026.
Unplausible Inbetriebnahmedaten vor 2018 durch Registrierungsdatum ersetzt. Sonderregelungen nach
from my link log —
ChatGPT is bullshit.
https://link.springer.com/article/10.1007/s10676-024-09775-5
saved 2024-06-29 https://
We're not weird, you're weird: Republicans use Democrats' 2024 attack against them for midterms (Raquel Coronell Uribe/NBC News)
https://www.nbcnews.com/politics/2026-election/republicans-use-democrats-2024-weird-attack-line-midterms-rcna594462
http://www.memeorandum.com/260830/p33#a260830p33
from my link log —
The rainbow hats puzzle.
https://taoa.io/posts/The-Rainbow-Hats-Puzzle
saved 2024-05-17 https://dotat.at/:/5NA2…
it's gone! Dirt Mountain has been flattened.
here's a couple before and after shots.
The close up shots of the pile are between this spring (May) and today.
The wide shot is from the beginning, Labour Day 2024.
And today.
#poolpond #backyardProject #diy #portalberni