SpaceX Starlink artık Irak’ta da kullanılabiliyor

Elon Musk’ın özel uzay şirketi SpaceX tarafından işletilen uzaydan internet ağı Starlink, resmi paylaşıma göre artık Irak’ta da kullanılabiliyor . Geçtiğimiz ay 12 milyon aktif kullanıcıyı geride bırakan ve şu anda 160’tan fazla ülkede hizmet veren platform, kapsama alanı içerisinde olmasına rağmen Türkiye’de halen kullanılamıyor. Uzun süredir servisin 2026’da Türkiye’ye açılacağı yönünde iddialar gündeme geliyor, … Devamını oku

Rusya, Telegram CEO’su Pavel Durov hakkında tutuklama emri çıkardı

Rusya, geçtiğimiz aylarda Telegram’ın kurucusu Pavel Durov hakkında “terör faaliyetlerine yardım etmek” suçlamasıyla soruşturma başlatmıştı . Platformu yılın başında yasaklayan Rusya, hakkında tutuklama emri çıkardığı Durov’u ülkeye yönelik saldırılara altyapı sağlamakla suçluyor ve Telegram’ın Ukrayna ile Batı’nın elinde adeta bir istihbarat aracına dönüştüğünü iddia ediyor. Yasak uygulanana kadar çok sayıda Rus askerinin ve hatta Vladimir … Devamını oku

İddiaya göre Microsoft satılan her Xbox’tan para kaybediyor

Jez Corden tarafından ortaya atılan iddiaya göre Microsoft, satılan her Xbox Series X ve Series S konsolundan yaklaşık 150 dolar zarar ediyor. Konsol fiyatlarına yapılan zamlara rağmen bellek/RAM maliyetleri yerinde durmadığı için sıkıntı yaşadığı belirtilen şirket, şu anda “Project Helix” kod adlı yeni nesil Xbox üzerinde çalışıyor. 1.000 dolardan daha ucuza satılmayacağı tahmin edilen konsolun, … Devamını oku

KOReader

KOReader is a document viewer for E Ink devices. Supported fileformats include EPUB, PDF, DjVu, XPS, CBT, CBZ, FB2, PDB, TXT, HTML, RTF, CHM, DOC, MOBI and ZIP files. It’s available for Kindle, Kobo, PocketBook, Android and desktop Linux.

SpecForge – A Platform for Authoring Formal Specifications

A Whirlwind Tour This section is a quick introduction to SpecForge’s main capabilities through a hands-on example. We’ll explore how to write specifications in the Lilo language and analyze them using SpecForge’s VSCode extension. The Lilo Language: A Brief Introduction Lilo is an expression-based temporal specification language designed for hybrid systems. Here are the key … Devamını oku

Amiga Graphics Archive

Launched in 1985 the Commodore Amiga boasted graphics capabilities that were unsurpassed for it’s time. It featured an intricate collection of custom chips that enabled it to do things that, until then, had been impossible to achieve with other personal computers. This site is dedicated to graphics made with or for the Commodore Amiga home … Devamını oku

As AI content floods the internet, Pangram raises $9M to detect it

New York-based AI detection startup Pangram is on a mission to combat the AI slop infestation spreading across the internet, and it just raised $9 million on a bet that demand for tools that distinguish human-generated content from AI-generated text will only grow. Pangram’s fundraise — led by Menlo Ventures, with participation from Haystack, ScOp, … Devamını oku

Lisp moving Forth moving Lisp

This chapter is a culmination of many macro techniques we have looked at so far in this book. Using macro abstractions we have developed, we create an implementation of one of my favourite programming languages: forth. Although this implementation embodies most of the important ideas of forth, it is very different and lispy. Though there … Devamını oku