Why Don’t People Use Formal Methods? (2019)

I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods ? The question was closed as opinion-based, and most of the answers were things like “its too expensive!!!” or “website isn’t airplane!!!” These are sorta kinda true but don’t explain very much. I wrote … Devamını oku

Türkiye’de satışa sunulması olası küresel Redmi Note 17 modellerinin özellikleri ortaya çıktı

14 Temmuz tarihinde Çin’de görücüye çıkarılan Redmi Note 17 serisi, yakında aralarında Türkiye’nin de bulunduğu çok sayıda başka pazara götürülecek. Ytechb tarafından yapılan yeni paylaşıma göre Çin dışındaki pazarlara özel olarak Note 17 4G, Note 17 5G, Note 17 Pro 5G ve Note 17 Pro Max 5G modelleri çıkarılacak. 6,99 inç 120 Hz FHD+ AMOLED … Devamını oku

Google Earth servisine Nano Banana 2 entegre edildi

Google, “Google Earth” servisine Nano Banana 2 isimli güçlü görsel yapay zeka modelini entegre ettiğini duyurdu . Bu entegrasyon sayesinde kullanıcılar artık servis içerisinde açtıkları konumların 3D ya da normal görüntülerini ve önemli yapıları Nano Banana 2’ye söyleyerek değiştirebiliyor ya da dönüştürebiliyor. Bu sistem sayesinde örneğin bir tarihi yapının etrafına onu anlatan faydalı bilgiler doğrudan … Devamını oku

Samsung sporculara yönelik yeni bir kablosuz kulaklık geliştiriyor

Samsung, SamMobile’ın bulgularına göre sporculara yönelik kancalı yapıda yeni bir kablosuz kulaklık geliştiriyor. Kancalı tasarım sayesinde spor sırasında kulaktan düşmeyecek model, şirket içinde “Buds Canal 5” olarak geçiyor. Samsung’dan açık yapılı bir kablosuz kulaklık modeli de geliyor. “Galaxy Buds Able” ya da “Galaxy Buds On” adını taşıyacak ürün, açık tasarımı sayesinde müzik dinlerken çevredeki seslerin … Devamını oku

Sözleşme imzalandı: “Araç muayene sürecini 20 yıl boyunca TURKA üstlenecek.”

Ulaştırma ve Altyapı Bakanı Abdulkadir Uraloğlu, araç muayene hizmetlerinde 2027-2047 dönemini kapsayan ikinci imtiyaz dönemine ilişkin sözleşmelerin bugün Ankara’da ihaleyi kazanan MOI OGG ortaklığı tarafından kurulan “TURKA” özelinde imzalandığını bildirdi . Araç muayene hizmetlerinde 20 yıllık yeni dönemin temellerinin atılacağını belirten Bakan Uraloğlu, yeni dönemde istasyon sayısının artırılmasından teknolojik altyapının güçlendirilmesine, vatandaş odaklı birçok yeniliğin … Devamını oku

Why Is Everyone Trying to Build a Solid-State Battery?

Why Is Everyone Trying to Build a Solid-State Battery? Brian Potter Jul 30, 2026 84 1 1 Share A battery technology that’s getting a lot of attention is solid-state batteries, lithium-ion batteries that replace the liquid electrolyte with a solid material. Chinese battery manufacturer CATL alone had more than 1,000 people devoted to solid-state battery … Devamını oku

Yeni elektrikli Mercedes-Benz GLA da Türkiye’ye özel versiyona sahip olacak

Detaylarına burada yer verdiğimiz yeni Mercedes-Benz GLA, Yiğitcan Yıldız tarafından aktarıldığı kadarıyla elektrikli model özelinde Türkiye’ye özel versiyona sahip olacak. Daha düşük ÖTV oranında kalınması için hazırlanacak düşük güçlü özel modelin (GLA 200 Electric) satışına son çeyrekte başlanması hedefleniyor. Mercedes-Benz daha önce de Türkiye’ye özel versiyonlar hazırlamıştı. İLGİNİZİ ÇEKEBİLİR Volkswagen ve n+, güvenlik özellikleriyle öne … Devamını oku