Amazon 5105 ' ' -
YouTube Premium Peacock Premium ' -
Find out how far it is between any two cities.Programming used to be a mathematical act. But that has not been so for some decades, not since release cycles shrank from once every two years down to inhumanely short intervals. It now appears that mathematics, and indeed creativity, has no place in modern high-frequency CI/CD CRUD-grinding.
But even in this Slop Age, life-critical work still demands reasoning and guarantees, under law. Software now plays a central role in this type of work. And software frailties have reached epidemic levels, from operating system kernels, device drivers, and up. Hence, has become an urgent necessity.
By verified, I mean not post hoc but ab initio verification, at every stage of the process: requirements analysis, specifications as propositions, computer assisted proofs, design synthesis, deterministic code transformation.
Many software practitioners maintain that they neither know nor care about mathematics, and that they cannot afford mathematical frolics when there are profits to be reaped.
That economic argument is, at best, weak, in the modern, tightly integrated society, where the full cost of software failures is incalculable. Even amongst ordinary, but essential, business applications that cannot harm life and limb, a propagating cascade failure now has the potential to collapse the global economy, in an instant.
Be that as it may, such economic objections have no force at all against the legally mandated safety requirements of life-critical applications.
Galaxy TriFold 2027 : Samsung ' -
Tolkiens linguistic inventions are startlingly creative. In ordinary story telling, invented languages rarely appear, and if they do, they are just superficial props. But each of Tolkiens languages is completedare I say, Turing completeequipped with its own origin story, evolutionary history, regional dialects, cultural functions, fully formed script, pronunciation, vocabulary, grammar, idioms.
s originality, ingenuity, thoroughness, industry, and process could serve as inspirations in designing new languages. We still stand to gain much, even if we practitioners do no more than to look upon Tolkiens life work as mere aspirations.
Alliance Against China's Dominance: US and Partners Forge 6G Security Pact
The US has launched a global initiative with 24 allies, including Germany, to shape 6G standards and limit China's influence in mobile communications.
Nvidia Gathers Tech Giants for New AI Alliance
With a broad industry alliance, Nvidia aims to make AI agents more secure while positioning itself against government restrictions on open models.
iOS 26.6, macOS 26.6 and more: Apple releases new operating systems
Apple releases further variants of its 26 operating systems. There are bug fixes and security-relevant innovations. It also prepares for Siri AI.
, -
iOS 26.6, macOS 26.6 und mehr: Apple stellt neue Betriebssysteme bereit
Apple liefert weitere Varianten seiner 26er Betriebssysteme aus. Es gibt Bugfixes und sicherheitsrelevante Neuerungen. Zudem wird auf Siri AI vorbereitet.
SolarWinds heeft in ServU een reeks beveiligingslekken gedicht. De meeste draaien om twee hardnekkige problemen: insecure direct object reference (IDOR) en broken access control. In de praktijk komt dat neer op situaties waarin beheerders met hoge m...
Lees verder op:
SolarWinds heeft verschillende kwetsbaarheden in ServU opgelost. Het ging vooral om IDORproblemen (Insecure Direct Object Reference) en gebroken toegangscontrole. In het slechtste geval konden aanvallers met al hoge rechten denk aan domain of gro...
Lees verder op:
"LLMs are Killing IT Careers ... but not the way everyone thinks"
12 wrzenia w Starej Elektrowni w Woominie odbdzie si OdNowa Lab - pierwszy hackathon w powiecie woomiskim. Moesz zgosi si samodzielnie lub w zespole do 5 osb. Nie musisz by dowiadczonym programist - liczy si pomys i ch dziaania. Zapisy do 28 sierpnia:
W razie pyta zapraszam na priv.
Allianz gegen Chinas Dominanz: USA und Partner schmieden 6G-Sicherheitspakt
Die USA haben mit 24 Verbndeten wie Deutschland eine globale Initiative gestartet, um Standards fr 6G zu prgen und Chinas Einfluss im Mobilfunk zu begrenzen.
DragonSword: Awakening 5
5- DragonSword: Awakening....
Nvidia versammelt Tech-Schwergewichte fr neue KI-Allianz
Mit einer breiten Branchenallianz will Nvidia KI-Agenten sicherer machen und positioniert sich zugleich gegen staatliche Beschrnkungen offener Modelle.
What are all the ports on your computer used for Learn all about these connectors in this video, so you will finally understand all the options your computer has!
New Jack's Rant: The Missing Five Minutes
I love what scambaiters like Kitboga, Jim Browning and Pierogi do.
But every time I watch one of their videos, I ask the same question:
What happened in the missing five minutes
How does a remote support session suddenly become full control over the scammer's PC
This isn't criticismit's about understanding the technical story behind the outcome.
Listen here :
, IT:
, ! IT : 5 , , : , , - , , . , , ))) , , , . , : 15 , .
Joule is running, compliance is not: What SAP customers must do now
Some AI obligations have been postponed with the Digital Omnibus but by no means all. We clarify what users of SAP's Joule need to address immediately.
Today, a short and simple blog post about how to build a Raspberry Pi cluster with Mountlet:
Security update: MOVEit file transfer solution is vulnerable
Multiple security vulnerabilities endanger MOVEit servers. There are security problems with authentication, among other things.
Largest Chinese memory manufacturer makes a splash on the stock market
CXMT is set to become almost the most valuable Chinese company right from its IPO. It is worth around 425 billion Euros.
Hardware could become even more expensive: Qualcomm plans price increases
Qualcomm plans significant price increases for its chips. These could further increase the cost of a variety of devices, especially smartphones and wearables.
Gartner: AI is humanity's biggest infrastructure project
Gartner raises its IT spending forecast again: AI infrastructure and data centers drive the market to $6.37 trillion.
SourTrade: Malvertising Malware Compiled in Browser
IT researchers have discovered malware distributed via malvertising. It is assembled in the browser.
Joule luft, die Compliance nicht: Was SAP-Kunden jetzt tun mssen
Mit dem Digital Omnibus wurden einige KI-Pflichten verschoben aber lngst nicht alle. Wir klren, was Nutzer von SAPs Joule sofort anpacken mssen.
Sicherheitsupdate: Dateitransferlsung MOVEit ist verwundbar
Mehrere Sicherheitslcken gefhrden MOVEit-Server. Es gibt unter anderem Sicherheitsprobleme bei der Authentifizierung.
Grter chinesischer Speicherhersteller kommt mit einem Knall an die Brse
CXMT wird direkt zum Brsengang fast die wertvollste chinesische Firma. Umgerechnet rund 425 Milliarden Euro ist sie wert.
software-architektur.tv: Kollaborative Modellierung, EventStorming im Praxistest
In dieser Episode diskutiert Eberhard Wolff mit Tom Asel und Daniel Sack darber, wie EventStorming als Baustein der kollaborativen Modellierung funktioniert.
Hardware knnte noch teurer werden: Qualcomm plant Preiserhhungen
Qualcomm plant deutliche Preiserhhungen fr seine Chips. Die knnten eine Vielzahl von Gerten weiter verteuern, darunter vor allem Smartphones und Wearables.
Gartner: KI ist das grte Infrastrukturprojekt der Menschheit
Gartner hebt seine IT-Ausgabenprognose erneut an: KI-Infrastruktur und Rechenzentren treiben den Markt auf 6,37 Billionen US-Dollar.
SourTrade: Malvertising-Malware im Browser kompiliert
IT-Forscher haben eine mittels Malvertising verteilte Malware entdeckt. Die wird erst im Browser zusammengebaut.
Environmentalists warn of dangers from data centers in space
Millions of new satellites for AI computing power from space could permanently damage Earth's atmosphere and completely alter the night sky.
iX-Workshop: NIS 2 Anforderungen und Vorgaben
Erhalten Sie praxisnahe Einblicke in die effektive Umsetzung von NIS2 und dem deutschen NIS2UmsuCG.
PGSimCity, A working model of the engine - -
Supply chain security: GitHub Dependabot delays package updates by three days
For security reasons, the GitHub tool now waits three days before creating pull requests when dependency version updates appear.
Umweltschtzer warnen vor Gefahren durch Rechenzentren im Weltall
Millionen neuer Satelliten fr KI-Rechenleistung aus dem All knnten laut Experten die Erdatmosphre nachhaltig schdigen und den Nachthimmel vllig verndern.