Webtagr - Technologienummer

Beliebte Tags：

Kosmos Virtualisierung DNS-Sicherheit formale Verifikation Erreichbarkeitsanalyse KI Compilerfehler Makrokonflikt Web-Erweiterung Entwicklungsframework Alle Tags

Go's io.Reader-Effizienz: Ein Kampf mit Indirektion und Typ-Assertions

2025-05-19

Viele Go-Funktionen verwenden io.Reader als Eingabe, wodurch Streaming ermöglicht und das Laden aller Daten in den Speicher vermieden wird. Wenn man die Bytes jedoch bereits hat, ist deren direkte Verwendung effizienter. Dieser Artikel beschreibt die Erfahrung des Autors beim Dekodieren von Bildern mit libavif und libheif. Aus Gründen der Einfachheit wurden die einfachen Speicherinterfaces verwendet, aber die Go-Funktion image.Decode prüft, ob eine Peek-Funktion in io.Reader vorhanden ist, und packt sie mit bufio.Reader ein, wenn dies nicht der Fall ist, wodurch die direkte Verwendung von bytes.Reader verhindert wird. Der Autor verwendet Typ-Assertions und unsafe.Pointer, um bufio.Reader und bytes.Reader zu umgehen und eine Null-Kopie zu erreichen. Der Artikel hebt jedoch Probleme bei der Typüberprüfung und dem Interface-Design von Go hervor, einschließlich der daraus resultierenden "Shadow APIs".

(flak.tedunangst.com)

Entwicklung

Watchdog-Timer: Ein notwendiges Übel (oder essentieller Bestandteil)?

2025-01-31

Dieser Artikel untersucht die kritische Rolle von Watchdog-Timern in eingebetteten Systemen. Anhand des Ausfalls der Clementine-Raumsonde aufgrund eines fehlerhaft implementierten Watchdogs und der Notwendigkeit, einen Dunstabzugshaubenlüfter neu zu starten, betont der Autor die Bedeutung zuverlässiger Watchdog-Timer zur Verhinderung von Softwarefehlern. Der Artikel beschreibt verschiedene Designs von Watchdog-Timern, einschließlich interner und externer Optionen, und bietet Strategien zum Bau hochzuverlässiger Watchdog-Timer. Dazu gehören die Verwendung von Windowed-Watchdogs, externer, CPU-unabhängiger Watchdogs und die Überwachung des Zustands aller Tasks in einem Multitasking-System. Der Autor plädiert für die Einbeziehung von Watchdog-Timern selbst in scheinbar einfachen Systemen und befürwortet Techniken wie periodische Zurücksetzungen von Datenstrukturen zur Steigerung der Zuverlässigkeit.

(www.ganssle.com)

Entwicklung Watchdog-Timer

Netflix' Deep Downscaler: Eine kritische Betrachtung

2025-03-01

Netflix veröffentlichte kürzlich einen Blogbeitrag über seinen "Deep Downscaler" und behauptete, diese Technologie verwende neuronale Netze zur Verbesserung der Videoqualität. Ein Blogger kritisierte das System jedoch scharf. Der Blogger weist auf gravierende Mängel im von Netflix bereitgestellten Beispielbild hin, darunter Ringing-Artefakte, bizarre Farbverschiebungen und scheinbar künstliche "Details". Darüber hinaus minimiert der Trainingsprozess den mittleren quadratischen Fehler, ignoriert aber die Auswirkungen verlustbehafteter Kompression, was zu suboptimalen Ergebnissen führt. Der Blogger argumentiert, dass Netflix' Deep Downscaler zu sehr auf Metriken vertraut und die wichtige visuelle Beurteilung durch Menschen vernachlässigt und dass einfachere, effizientere Lösungen existieren.

(redvice.org)

Technologie Videokompression

DARPA bricht Rekorde mit drahtloser Energieübertragung über große Distanzen

2025-06-16

Das Persistent Optical Wireless Energy Relay (POWER)-Programm der DARPA hat einen Durchbruch erzielt und neue Rekorde in der drahtlosen Energieübertragung aufgestellt. Die POWER Receiver Array Demo (PRAD) hat erfolgreich über 800 Watt Leistung über eine Entfernung von 8,6 Kilometern (5,3 Meilen) für 30 Sekunden übertragen. Diese Leistung nutzt eine neue Empfängertechnologie, die Laserenergie mit einer Effizienz von über 20 % in nutzbare Elektrizität umwandelt. Skalierbar für den Einsatz auf Plattformen wie unbemannten Luftfahrzeugen (UAVs), verspricht diese Technologie, die militärische Energieversorgung zu revolutionieren und die Abhängigkeit von traditionellen, anfälligen Methoden zu beseitigen.

(www.darpa.mil)

Technologie drahtlose Energieübertragung Laserenergieübertragung

Chomsky kritisiert den AI-Hype: LLMs verstehen Sprache nicht

2025-05-25

Noam Chomsky kritisiert in einem aktuellen Interview den Hype um künstliche Intelligenz (KI), insbesondere große Sprachmodelle (LLMs). Er argumentiert, dass LLMs zwar Fortschritte bei der Nachahmung menschlichen Verhaltens zeigen, aber im Grunde genommen Ingenieurprojekte und keine wissenschaftlichen Bestrebungen sind, die das Wesen der Sprache nicht erfassen. Chomsky weist darauf hin, dass LLMs nicht zwischen möglichen und unmöglichen Sprachen unterscheiden können, was sie daran hindert, Spracherwerb und Kognition wirklich zu verstehen. Er betont die Bedeutung der wissenschaftlichen Methode und warnt vor möglichen ethischen Risiken und gesellschaftlichen Gefahren durch KI und fordert Vorsicht bei der Entwicklung.

(chomsky.info)

KI

Petersdom: Immersives digitales Erlebnis

2025-01-18

Petersdom: Immersives digitales Erlebnis

Der Petersdom hat ein neues digitales Erlebnis vorgestellt, das es Menschen weltweit ermöglicht, die Pracht dieses architektonischen Meisterwerks bequem von zu Hause aus zu erkunden. Das Erlebnis beinhaltet einen virtuellen 3D-Rundgang und eine Geschichte, die die Geschichte des Petersdoms beschreibt, alles in mehreren Sprachen verfügbar. Benutzer können in die Größe des Petersdoms eintauchen und seine Kunst und Architektur unabhängig von ihrem Standort erleben.

(virtual.basilicasanpietro.va)

Sonstiges digitales Erlebnis Petersdom

Jujutsu: Ein in Rust geschriebenes Versionskontrollsystem, das den Git-Workflow neu gestaltet

2025-02-04

Jujutsu: Ein in Rust geschriebenes Versionskontrollsystem, das den Git-Workflow neu gestaltet

Jujutsu, ein neues Versionskontrollsystem, das in Rust geschrieben wurde, bietet eine vereinfachte und leistungsstarke Alternative zu Git. Dieser Artikel untersucht das Kernkonzept von Jujutsu: veränderliche Änderungen, und zeigt, wie diese Funktion Arbeitsabläufe vereinfacht. Er erklärt, wie Operationen einfach rückgängig gemacht, Konflikte nahtlos gelöst und große Änderungen effizient verwaltet werden können. Jujutsu lässt sich nahtlos in Git integrieren und fungiert als leistungsstarkes Frontend bei gleichzeitiger Beibehaltung der Kompatibilität. Der Artikel beschreibt effiziente Arbeitsmuster, wie die Verwendung von `jj new` und `jj edit` zur Änderungsverwaltung und die Verwendung von Revset-Ausdrücken zur flexiblen Bearbeitung des Versionsverlaufs. Jujutsu bietet eine elegantere und effizientere Versionskontrolle.

(kubamartin.com)

Entwicklung

Fachbegriffe, die Sie wahrscheinlich falsch aussprechen

2025-03-21

Dieser Artikel beleuchtet häufige Fehlpronunziationen von Fachbegriffen, die einem autodidaktischen Solo-Entwickler begegnet sind. Er listet Beispiele wie Asus (AY-soos, nicht AY-sis), Debian (DEHB-eee-in, nicht DEE-bee-inn) und viele mehr auf und betont das Fehlen einer inneren Logik in diesen Aussprachen. Der Autor schlägt vor, Googles Aussprache-Widget als hilfreiche Ressource zu verwenden und liefert eine umfassende Liste korrekt ausgesprochener Begriffe, darunter Atlassian, Daemon, Gaussian, GIF, Gnome, GNU, JSON, Kernighan, LaTeX, Linus, Poisson, Pypi, Qt, Redis, Regex, Repo, Sudo, SUSE, SQL, SQLite, Ubuntu und Vite. Dies ist eine wertvolle Ressource für Entwickler und Technologie-Enthusiasten.

(wonger.dev)

Entwicklung Fachbegriffe Aussprache

KI-gestützte Mietvertragsanalyse: Verhandeln Sie Ihren Mietvertrag wie ein Profi

2025-03-17

Diese KI-gestützte Plattform ermöglicht es Ihnen, Ihren Mietvertrag zu meistern. Sie analysiert Ihren Mietvertrag und deckt potenzielle Probleme, ungünstige Bedingungen und Verhandlungsmöglichkeiten auf. Verstehen Sie Ihre Rechte als Mieter klar, erhalten Sie professionelle Verhandlungsberatung und entschlüsseln Sie mühelos komplexe juristische Fachsprache. Die Plattform bietet auch jurisdiktionspezifische Einblicke, um sicherzustellen, dass Ihre Mietvertragsanalyse auf die lokalen Gesetze und Vorschriften zugeschnitten ist. Mieten Sie intelligenter, nicht schwerer.

(occupry.com)

Sonstiges Mietvertragsverhandlung Mieterrechte

TED-Gründer Chris Anderson gibt die Kontrolle über die Non-Profit-Organisation ab

2025-02-04

TED-Gründer Chris Anderson gibt die Kontrolle über die Non-Profit-Organisation ab

Nach 25 Jahren an der Spitze gibt TED-Gründer Chris Anderson die Kontrolle über die Non-Profit-Organisation ab. Er sucht jemanden oder eine Organisation mit einer überzeugenden Vision und den Ressourcen, um TED auf die nächste Stufe zu heben. Obwohl TED finanziell gesund ist und über erhebliche Barreserven verfügt, glaubt Anderson, dass die Aufgabe der Kontrolle neue Kreativität und Energie freisetzen wird. Potenzielle Nachfolger sind Universitäten, philanthropische Organisationen, Medienunternehmen, Technologieunternehmen oder sogar eine dezentrale autonome Organisation. Dieser mutige Schritt verspricht bedeutende Veränderungen für TED und löst zahlreiche Spekulationen über die Zukunft aus.

(www.wired.com)

Startup Non-Profit-Organisation

Funktionen sind Vektoren: Erweiterung der linearen Algebra auf unendlich viele Dimensionen

2025-07-06

Dieser Artikel erforscht das Konzept von Funktionen als unendlich-dimensionale Vektoren und zeigt, wie die Werkzeuge der linearen Algebra auf eine Vielzahl von Problemen angewendet werden können, von der Bild- und Geometrieverarbeitung bis hin zur Kurvenanpassung, Lichttransport und maschinellem Lernen. Ausgehend von endlich-dimensionalen Vektorräumen schreitet er zu unendlich vielen Dimensionen fort und beweist, dass Funktionen einen Vektorraum bilden. Der Artikel vertieft sich dann in lineare Operatoren, Differentiation, den Laplace-Operator und die Anwendung des Spektralsatzes in Funktionsräumen und gipfelt in Anwendungsbeispielen wie Fourier-Reihen, Bildkompression und sphärische Harmonische.

(thenumb.at)

Entwicklung Funktionsräume Spektralsatz

Musikverlage und KI-Gigant Anthropic einigen sich auf Urheberrechtsabkommen

2025-01-03

Musikverlage und KI-Gigant Anthropic einigen sich auf Urheberrechtsabkommen

Große Musikverlage haben Anthropic, ein von Amazon unterstütztes KI-Unternehmen, wegen Urheberrechtsverletzung verklagt, da urheberrechtlich geschützte Songtexte zum Training seines KI-Chatbots Claude verwendet wurden. Eine Einigung wurde erzielt, die Anthropic dazu verpflichtet, seine Urheberrechtsschutzmaßnahmen zu verstärken und zu verhindern, dass Claude urheberrechtlich geschützte Texte generiert. Diese wegweisende Vereinbarung ist ein bedeutender Schritt in der laufenden Debatte über die Nutzung urheberrechtlich geschützten Materials durch KI und schafft einen Präzedenzfall für zukünftige Rechtsstreitigkeiten in diesem sich schnell entwickelnden Bereich.

(www.hollywoodreporter.com)

Technologie Musik-Urheberrecht

OpenAI kehrt um: Non-Profit-Abteilung behält die Kontrolle

2025-05-05

OpenAI kehrt um: Non-Profit-Abteilung behält die Kontrolle

Nachdem OpenAI zunächst Pläne angekündigt hatte, sich in ein gewinnorientiertes Unternehmen umzuwandeln, hat es sich entschieden, dass seine Non-Profit-Abteilung die Kontrolle über seinen gewinnorientierten Zweig behalten wird. Die Non-Profit-Organisation wird der Mehrheitsaktionär einer Public Benefit Corporation (PBC) werden und den Betrieb von OpenAI überwachen und kontrollieren. Diese Entscheidung folgt auf Gespräche mit den Generalstaatsanwaltschaften von Kalifornien und Delaware und erheblichen Gegenwind, darunter eine Klage von Elon Musk, der argumentierte, dass der Wechsel die ursprüngliche Non-Profit-Mission von OpenAI aufgeben würde. Obwohl OpenAI behauptete, die Umwandlung sei für die Finanzierung notwendig, blieben Bedenken hinsichtlich der Auswirkungen auf seine gemeinnützigen Ziele bestehen. CEO Sam Altman erklärte, dass das Unternehmen möglicherweise irgendwann Billionen von Dollar benötigen wird, um seine Mission zu erfüllen.

(techcrunch.com)

KI

NASCARs Next Gen: Wie 3D-Druck das Rennauto-Design revolutioniert

2025-02-12

NASCARs Next Gen: Wie 3D-Druck das Rennauto-Design revolutioniert

Die Next-Gen-Plattform der NASCAR nutzt den 3D-Druck, genauer gesagt die additive Fertigung von Stratasys, um kundenspezifische Teile für Rennwagen herzustellen. Dies ermöglicht mehr Designfreiheit und schnellere Iterationen im Vergleich zu traditionellen subtraktiven Methoden wie CNC-Bearbeitung. Stratasys liefert Teile wie Kanäle, Abdeckungen und Halterungen und reduziert so Kosten und Vorlaufzeiten erheblich. Die Partnerschaft mit Joe Gibbs Racing unterstreicht die Vorteile des 3D-Drucks für schnelles Prototyping und Problemlösung, veranschaulicht durch die schnelle Herstellung einer kundenspezifischen Vorrichtung für ein problematisches Rohr. Die schnellere, kostengünstigere und weniger arbeitsintensive Natur des 3D-Drucks verschafft NASCAR-Teams einen erheblichen Wettbewerbsvorteil.

(www.popsci.com)

Technologie Additive Fertigung

Wiederentdeckung des Apple Newton Juwels: Open Dylan

2025-01-19

Open Dylan ist eine objekt-funktionale Programmiersprache, abstammend von Apples Dylan-Sprache, die ursprünglich für den Newton PDA entwickelt wurde. Sie kombiniert die Stärken von Scheme und CLOS, ohne die Lisp-Syntax, und ist für die effiziente Generierung von Maschinencode konzipiert. Dieser Artikel präsentiert die umfassende Dokumentation von Open Dylan, einschließlich Tutorials, Referenzhandbücher und umfangreiche Bibliotheksdokumentationen, sowie einen Online-Playground für schnelles Experimentieren. Egal, ob Sie eine neue Sprache lernen oder effiziente Programmierparadigmen erkunden, Open Dylan ist einen Blick wert.

(opendylan.org)

Entwicklung

Asahi Linux 6.14 Update: 8000 Zeilen Code Upstream, Mikrofonunterstützung in Arbeit

2025-03-21

Asahi Linux 6.14 Update: 8000 Zeilen Code Upstream, Mikrofonunterstützung in Arbeit

Das Asahi Linux-Team hat ein wichtiges Update zum Fortschritt der Version 6.14 veröffentlicht, mit dem Schwerpunkt auf das Upstreaming einer großen Anzahl von Downstream-Patches in den Linux-Kernel. Das Team hat personelle Veränderungen und Naturkatastrophen überwunden und erfolgreich drei neue Treiber (einschließlich Touch Bar und ISP-Treiber) eingereicht und den GPU-Treiber aktiv für die Einreichung vorbereitet. Darüber hinaus wurde die Mikrofonunterstützung auf den meisten Laptops implementiert, was die Überwindung von Secure Enclave-Einschränkungen und die Entwicklung eines MVDR-Beamforming-Algorithmus erforderte. Fedora Asahi Remix 42 Beta ist jetzt verfügbar, und eine erfolgreiche Demonstration von Asahi Linux beim Ausführen von Steam-Spielen wurde auf der SCaLE gezeigt. Das Team erhielt auch erhebliche finanzielle Unterstützung durch OpenCollective, wodurch die langfristige Nachhaltigkeit des Projekts sichergestellt wird.

(asahilinux.org)

Entwicklung

Meta Prompting: Revolutioniert die Prompt-Engineering für LLMs

2025-06-03

Meta Prompting: Revolutioniert die Prompt-Engineering für LLMs

Dieser Artikel untersucht Meta Prompting, eine Technik, die große Sprachmodelle (LLMs) verwendet, um Prompts zu erstellen und zu verfeinern. Es werden verschiedene Meta-Prompting-Methoden detailliert beschrieben, darunter die Methode der Zusammenarbeit zwischen Stanford und OpenAI, die einen „Leiter“-LLM verwendet, um Experten-LLMs zu koordinieren; Amazons Lernen aus kontrastierenden Prompts (LCP), das Prompts verbessert, indem es gute und schlechte Prompts vergleicht; Automatischer Prompt-Ingenieur (APE), Prompt Agent, Konversationelles Prompt-Engineering (CPE), DSPy und TEXTGRAD. Der Artikel vergleicht deren Stärken und Schwächen und hebt hervor, wie diese Methoden die Effizienz des Prompt-Engineerings deutlich verbessern. Schließlich werden Tools zur Prompt-Generierung von Plattformen wie PromptHub, Anthropic und OpenAI vorgestellt, die die Implementierung von Meta Prompting vereinfachen und das volle Potenzial von LLMs erschließen.

(www.prompthub.us)

Entwicklung Meta Prompting

ts_zip: Textkompression mit großen Sprachmodellen

2024-12-30

Fabrice Bellard hat ts_zip veröffentlicht, ein Textkompressionstool, das das große Sprachmodell RWKV 169M v4 verwendet, um deutlich höhere Kompressionsraten als herkömmliche Methoden zu erreichen. Es benötigt eine GPU und 4 GB RAM und ist langsamer als herkömmliche Kompressoren (bis zu 1 MB/s auf einer RTX 4090), zeigt aber beeindruckende Kompression bei englischen und anderen Texten, einschließlich Quellcode. Das Kompressionsverhältnis wird in Bits pro Byte (bpb) gemessen, wobei die Ergebnisse eine bessere Leistung als xz bei Datensätzen wie enwik8 und enwik9 zeigen. Die deterministische Modellbewertung gewährleistet eine konsistente Dekompression auf verschiedenen Hardware- und Softwarekonfigurationen.

(bellard.org)

Entwicklung Textkompression

Wiki Radio: Eine zufällige Reise durch Wikimedia-Sounds

2025-06-20

Wiki Radio: Eine zufällige Reise durch Wikimedia-Sounds

Inspiriert von WikiTok, streamt Wiki Radio zufällige Audiodateien, die auf Wikimedia Commons hochgeladen wurden. Erwarten Sie eine wilde Fahrt durch politische Reden, Vogelstimmen und überraschend eingängige Melodien – eine wirklich unvorhersehbare Klanglandschaft. Für kürzere Sounds wechseln Sie in den "Revolution 9 Modus".

(www.monkeon.co.uk)

Sonstiges Zufällige Wiedergabe

Microsoft fügt Copilot zu Notepad hinzu: Eine sinnlose KI-Integration?

2025-05-23

Microsoft fügt Copilot zu Notepad hinzu: Eine sinnlose KI-Integration?

Microsoft integriert weiterhin KI in seine integrierten Windows-Apps, und das neueste Update bringt die Textgenerierungsfunktionen von Copilot zu Notepad. Benutzer müssen sich mit ihrem Microsoft-Konto anmelden und einen Speicherort auswählen, bevor sie die Copilot-Funktion „Schreiben“ verwenden, um Text zu generieren. Diese Ergänzung hat Kontroversen ausgelöst, wobei viele ihre Notwendigkeit in Frage stellen und sie für einen einfachen Texteditor als überflüssig ansehen. Im Gegensatz dazu erscheinen KI-Updates für Paint, wie ein Sticker-Generator und ein intelligentes Auswahlwerkzeug, praktischer. Microsofts Begeisterung für das Hinzufügen von KI-Funktionen zu seinen Apps ist offensichtlich, aber der Nutzen einiger Integrationen bleibt fraglich.

(www.theregister.com)

Entwicklung

Typenprädikat-Generator: Geschwindigkeit und Typsicherheit neu definiert

2025-01-24

Typenprädikat-Generator: Geschwindigkeit und Typsicherheit neu definiert

Dieser Artikel vergleicht den Typenprädikat-Generator ausführlich mit anderen Laufzeit-Typprüfern. Der Generator erzeugt Code, der über 100-mal schneller ist, keine Laufzeitabhängigkeiten hat und streng typensicheren, lesbaren und modifizierbaren TypeScript-Code erzeugt, ohne dass eine benutzerdefinierte DSL benötigt wird. Er übertrifft andere Codegeneratoren in Bezug auf Geschwindigkeit, erzeugt sogar Unit-Tests, vermeidet die Verwendung von `eval()` und bietet eine bessere Debug-Erfahrung. Kurz gesagt, der Generator bietet erhebliche Vorteile in Bezug auf Leistung, Typsicherheit und Benutzerfreundlichkeit.

(github.com)

Entwicklung Typprüfung

Modelica Association: Effizientes Modellieren komplexer Systeme

2024-12-16

Die Modelica Association fördert die Modelica-Sprache und die zugehörigen Tools. Modelica ist eine objektorientierte Sprache zum Modellieren und Simulieren komplexer cyber-physischer Systeme, besonders geeignet für die akausale Modellierung wiederverwendbarer Komponenten, die durch mathematische Gleichungen gesteuert werden. Die Association stellt Sprachspezifikationen, Tools, Bibliotheken und Community-Support bereit, damit Benutzer Systeme effizient modellieren können.

(modelica.org)

Entwicklung Systemmodellierung objektorientiert

DeepSeek: Ein kostengünstiges Open-Source-LLM, das ChatGPT herausfordert

2025-02-08

DeepSeek: Ein kostengünstiges Open-Source-LLM, das ChatGPT herausfordert

DeepSeek, ein Open-Source-Large-Language-Model (LLM), das von einem chinesischen KI-Forschungsunternehmen entwickelt wurde, stellt ChatGPT mit seiner einzigartigen Mixture-of-Experts-(MoE)-Architektur in Frage. Seine Effizienz beruht auf der Aktivierung nur der notwendigen Parameter, was zu schnelleren Geschwindigkeiten und geringeren Kosten führt. Funktionen wie Multi-Head-Attention und Multi-Token-Prediction ermöglichen eine überlegene Leistung in langen Konversationen und komplexem Denken. Trotz Bedenken hinsichtlich seiner Datenquellen ist DeepSeks Wirtschaftlichkeit und sein direkter Ausgabestil eine überzeugende Alternative zu ChatGPT.

(codedoodles.substack.com)

KI

LHC entdeckt 23 exotische Hadronen und stellt Theorien der starken Wechselwirkung in Frage

2024-12-20

LHC entdeckt 23 exotische Hadronen und stellt Theorien der starken Wechselwirkung in Frage

Der Large Hadron Collider (LHC) hat eine überraschende Entdeckung hervorgebracht: 23 exotische Hadronen, darunter Pentaquarks und Tetraquarks, deren Struktur sich den Erklärungen der aktuellen Theorien entzieht. Diese Entdeckung, vergleichbar mit einem spannenden Kriminalfall, treibt Theoretiker dazu an, neue Modelle zu entwickeln, wie Hadron-Molekül-Modelle und kompakte Tetraquark-Modelle. Zukünftige Experimente am High-Luminosity LHC, Belle II und BESIII werden mehr Daten liefern und weitere Hinweise liefern, um die Geheimnisse der starken Wechselwirkung zu lüften.

(cerncourier.com)

Technologie Hadronen starke Wechselwirkung

Mastodon-Umfrage zur Existenz von Zahlen

2025-04-13

Eine lockere Lektüre über die Philosophie der Mathematik hat eine Umfrage auf Mastodon ausgelöst: Existieren Zahlen? Die Ergebnisse zeigten eine fast gleichmäßige Verteilung zwischen der Existenz von Zahlen, der Existenz von Einhörnern und der Aussage, dass Zahlen mehr Existenz haben als Einhörner, was zu einer Debatte über die Definition von „Existenz“ führte. Der Artikel untersucht die Geschichte der Zahlen vom alten Babylon bis zum digitalen Zeitalter sowie die kulturelle Bedeutung von Einhörnern. Der Autor kommt zu dem Schluss, dass unabhängig davon, ob Zahlen oder Einhörner existieren, die Fähigkeit der Menschheit, sie zu konzeptualisieren, zu diskutieren und um sie herum zu kreieren, das ist, was wirklich zählt.

(freedommathdance.blogspot.com)

Sonstiges Philosophie der Mathematik Existenz von Zahlen Mastodon-Umfrage

Warum Array-Indizes bei Null beginnen sollten

2025-03-21

Dieser Essay argumentiert, warum Array-Indizes in der Informatik bei Null und nicht bei Eins beginnen sollten. Durch mathematische Argumentation und Beispiele aus Programmiersprachen zeigt der Autor die Überlegenheit der nullbasierten Indexierung auf: Sie ist mathematisch konsistenter, vermeidet mehrdeutige Randbedingungen und führt zu saubererem, effizienterem Code. Der Artikel behandelt auch historische Inkonsistenzen bei der Wahl von Indizes in Programmiersprachen und die daraus resultierenden Nachteile.

(www.cs.utexas.edu)

Entwicklung Indexierung Arrays

Ein Textadventure in C programmieren: Schritt-für-Schritt-Anleitung

2025-04-27

Dieses Tutorial ist keine Einführung in die C-Programmierung, sondern eine Anleitung zum Erstellen eines Textadventure-Spiels mit C. Beginnend mit einem einfachen "Hello World"-Programm fügt der Autor schrittweise Code hinzu, der schließlich zu einem voll funktionsfähigen Spiel führt. Das Tutorial betont die inkrementelle Entwicklung, wobei jeder Schritt ein lauffähiges Programm erzeugt. Der Autor hat sich für C entschieden, da es einen niedrigen Abstraktionsgrad bietet und Einblicke in die Einschränkungen der frühen Spieleentwicklung gibt. Das Tutorial eignet sich für Personen mit einigen Programmierkenntnissen und enthält Codebeispiele und Erklärungen.

(helderman.github.io)

Spiele Textadventure-Spiel

Bremsstaub: Eine größere Gefahr als Abgase?

2025-02-15

Neue Forschungsergebnisse zeigen, dass winzige Partikel von Bremsbelägen gesundheitsschädlicher sein können als Autoabgase. Forscher fanden heraus, dass neuere Bremsbeläge mit hohem Kupfergehalt größere Schäden an Lungenzellen verursachten als ältere Bremsbeläge mit Asbest. Während Kupfer Asthma verschlimmert, zeigte die Studie auch, dass eine chemische Behandlung den Schaden mindern kann. Kalifornien und Washington haben den Kupfergehalt in Bremsbelägen begrenzt, aber die Gesamtverschmutzung durch Bremsstaub ist weitgehend unreguliert. Die Autoren fordern eine gezielte Gesetzgebung zum Schutz der öffentlichen Gesundheit und weisen darauf hin, dass das regenerative Bremsen von Elektrofahrzeugen das Problem erheblich reduzieren könnte.

(e360.yale.edu)

Technologie Bremsstaub Umweltgesundheit

Ada Lovelaces Programm: Ein Erbe der Informatik

2024-12-16

Dieser Artikel befasst sich mit Ada Lovelaces Programm für Babbages Analytical Engine, das zur Berechnung der Bernoulli-Zahlen konzipiert wurde. Er erklärt den mathematischen Hintergrund der Bernoulli-Zahlen und die Funktionsweise von Babbages Analytical Engine. Obwohl es nie ausgeführt wurde, gilt Lovelaces Programm mit seinem rigorosen Ansatz, seinen Schleifen und der Verfolgung des Variablenzustands als das erste komplexe Programm der Welt und lässt viele Aspekte der modernen Programmierung erahnen. Der Artikel analysiert die im Programm gefundenen Fehler und diskutiert Lovelaces Platz in der Geschichte der Informatik, wobei er ihre Beiträge hervorhebt, die über das bloße Rechnen hinausgehen; sie sah das enorme Potenzial des Computers voraus und übertraf damit ihre Zeitgenossen.

(twobithistory.org)

KI Babbages Analytical Engine Bernoulli-Zahlen

Die Vergangenheit wiederbeleben: Ein virtuelles Maschinenimage des Cobalt RaQ 3 Linux-Betriebssystems

2025-03-05

Die Vergangenheit wiederbeleben: Ein virtuelles Maschinenimage des Cobalt RaQ 3 Linux-Betriebssystems

Ein engagierter Benutzer hat das Cobalt RaQ 3 Linux-Betriebssystem, basierend auf Red Hat 6.1 (ca. 1999), in eine virtuelle Maschinenumgebung portiert. In seiner Blütezeit war es bei ISPs und kleinen Unternehmen beliebt und bietet nun ein nostalgisches Erlebnis. Es ist jedoch wichtig zu wissen, dass dieses System extrem unsicher ist und niemals mit dem Internet verbunden werden sollte. Das Image verwendet einen aktualisierten 2.4.15-Kernel und verfügt über ein neu gestaltetes Partitionsschema mit 100 GB Speicherplatz. Die Standardanmeldung lautet admin/admin.

(archive.org)

Entwicklung Retro-System

← Previous 1 2 … 490 491 492 493 494 495 496 497 498 … 595 596 Next →