Blog

  • # ABD Federal Ticaret Komisyonu, Uber’i Müşterilerden İzinsiz Abonelik Ücreti Almakla Suçluyor

    ## ABD Federal Ticaret Komisyonu, Uber’i Müşterilerden İzinsiz Abonelik Ücreti Almakla Suçluyor

    ABD Federal Ticaret Komisyonu (FTC), Uber’e karşı bir dava açtı. Dava, ulaşım ve teslimat devi Uber’in müşterilerinden izinsiz olarak Uber One abonelik hizmeti için ücret aldığı iddiasını içeriyor. Ayrıca, Uber’in abonelik hizmetinde vaat ettiği tasarrufları sunamadığı ve “istediğiniz zaman iptal edin” vaatlerine rağmen kullanıcıların aboneliklerini iptal etmelerini aşırı derecede zorlaştırdığı da iddialar arasında.

    Uber ise herhangi bir yanlış yapmadığını savunuyor ve FTC’yi soruşturma sürecini aceleye getirmekle ve iddialarını “incelenmemiş suçlamalara” dayandırmakla suçluyor.

    Bu dava, FTC’nin daha önceki yöneticisi Lina Khan döneminde, abonelik hizmetleri sunan şirketleri iptal işlemlerini kolaylaştırmaya zorlamasının ardından geldi. Ekim 2024’te kurum, abonelik iptalini üye olmak kadar kolay hale getirmeyi amaçlayan “tek tıklamayla iptal” kuralını kesinleştirdi. Sektör gruplarından gelen bazı itirazlara rağmen, kuralın 14 Mayıs’ta yürürlüğe girmesi bekleniyor.

    FTC Başkanı Andrew Ferguson yaptığı açıklamada, “Amerikalılar, iptali imkansız görünen istenmeyen aboneliklere kaydolmaktan bıktı,” dedi. “Trump-Vance FTC, Amerikan halkı adına mücadele ediyor.”

    FTC’nin şikayeti, geçen yıl başlayan bir soruşturmanın ardından geldi ve Uber müşterilerine ayda 25 dolarlık tasarruf vaat edildiğini ancak bu tasarrufun tutmadığını iddia ediyor.

    FTC’den yapılan açıklamada, “Bu doğru olsa bile, Uber bu tasarrufları hesaplarken abonelik maliyetini (ayda 9,99 dolara kadar) hesaba katmıyor,” denildi. “Şirket ayrıca abonelikle ilgili önemli bilgileri gizliyor (örneğin, tüketicilerin kolayca gözden kaçırabileceği küçük, gri metinler kullanarak).”

    Şikayet, Uber’i fatura tarihlerinden önce ücretsiz deneme sürümüne kaydolan tüketicilerden otomatik olarak ücret almakla suçluyor. Ayrıca, Uber’in müşterilerin aboneliklerini iptal etmelerini “son derece zorlaştırdığı”, kullanıcıların “iptal etmek için 23 kadar ekranda gezinmek ve 32 kadar işlem yapmak zorunda kalabileceği” iddia ediliyor. Bu işlemler, neden iptal etmek istediklerini açıklama, Uber’in üyeliklerini duraklatmaları yönündeki ısrarlarıyla başa çıkma ve başarısız olursa kalmaları için teklifler sunma şeklinde gerçekleşiyor.

    FTC’nin açıklamasında, “Bazı kullanıcılara iptal etmek için müşteri desteğiyle iletişime geçmeleri gerektiği söyleniyor ancak onlara ulaşmanın bir yolu verilmiyor; diğerleri ise iptal talebinde bulunduktan ve müşteri desteğinden haber bekledikten sonra Uber’in kendilerinden başka bir fatura dönemi için ücret aldığını iddia ediyor,” denildi.

    Uber, daha önce, kayıt tarihlerinden itibaren 48 saat içinde iptal etmek isteyen müşterilerin iptal için müşteri desteğiyle iletişime geçmesi gerektiğini açıkladı. Şirket, bu durumun artık böyle olmadığını belirtiyor. TechCrunch, Uber’in bu müşterilerin uygulama içinden iptal etmelerine izin vermek için politikasını ne zaman güncellediğini öğrenmek için iletişime geçti.

    Davayı açanlar, mahkemeden Uber’in sözde yanıltıcı uygulamalarına devam etmesini yasaklamasını ve şirketi maddi tazminat ödemeye zorlamasını talep ediyor.

    Uber sözcüsü yaptığı açıklamada, “FTC’nin bu eyleme devam etmeyi seçmesinden dolayı hayal kırıklığına uğradık, ancak mahkemelerin zaten bildiğimiz şeyle aynı fikirde olacağından eminiz: Uber One’ın kayıt ve iptal süreçleri açık, basit ve yasanın lafzına ve ruhuna uygun,” dedi. “Uber, tüketicileri rızaları olmadan kaydetmiyor veya ücretlendirmiyor ve iptaller artık uygulama içinde herhangi bir zamanda yapılabiliyor ve çoğu insan için 20 saniye veya daha kısa sürüyor.”

    Davanın soruşturma döneminde Uber’i temsil eden eski FTC başkanı Tim Muris, FTC’yi tam bir soruşturma yapmamakla ve şikayetini “hem gerçeklerin hem de hukukun yanlış anlaşılmasına” dayandırmakla suçladı.

    Uber’in mevcut dış avukatı Christine Wilson, “Bu icra işleminden önce gelen aceleye getirilmiş soruşturma sürecinin alışılmadık doğası, son dakikada yeni ve incelenmemiş iddiaların eklenmesiyle daha da arttı. FTC’nin uzun süredir kurumu en iyi şekilde tanımlayan titizlik ve adaletten uzaklaştığını görmek hayal kırıklığı yaratıyor,” dedi.

    Uber One’ın üye sayısı 2024’te 34 ülkede 30 milyona ulaştı ve şirket, yıldan yıla yaklaşık %60 oranında büyüdüğünü söylüyor. Bir yıl önce, Uber CEO’su Dara Khosrowshahi, Uber One’ın üyelik ücretlerinin 2024’te “1 milyar doları aşacağını” tahmin etmişti.

  • # Uber Faces FTC Lawsuit Over Alleged Unauthorized Subscription Charges and Cancellation Hurdles

    ## Uber Faces FTC Lawsuit Over Alleged Unauthorized Subscription Charges and Cancellation Hurdles

    The Federal Trade Commission (FTC) has filed a lawsuit against Uber, accusing the ride-hailing giant of deceptive practices related to its Uber One subscription service. The lawsuit, filed Monday, alleges that Uber charged customers for Uber One subscriptions without their explicit consent. Furthermore, the FTC claims Uber failed to deliver the promised savings associated with the subscription and intentionally made it difficult for users to cancel, despite advertising a “cancel anytime” policy.

    Uber has vehemently denied these allegations, accusing the FTC of rushing the investigation and basing its claims on unsubstantiated information. “We are disappointed that the FTC chose to move forward with this action, but are confident that the courts will agree with what we already know: Uber One’s sign-up and cancellation processes are clear, simple, and follow the letter and spirit of the law,” an Uber spokesperson stated. They further asserted that cancellations can be completed “anytime in-app and take most people 20 seconds or less.”

    This lawsuit arrives as the FTC, under previous leadership, has been increasingly focused on subscription service cancellation processes. The agency finalized its “click to cancel” rule in October 2024, mandating that companies make canceling a subscription as straightforward as signing up. The rule, slated to take effect on May 14th, aims to combat the often frustrating and convoluted processes consumers face when trying to unsubscribe from services.

    FTC Chairman Andrew Ferguson stated, “Americans are tired of getting signed up for unwanted subscriptions that seem impossible to cancel. The Trump-Vance FTC is fighting back on behalf of the American people.”

    The FTC’s complaint alleges that Uber misled customers by promising savings of $25 per month through the Uber One subscription. However, the FTC contends that Uber did not factor in the subscription cost (up to $9.99/month) when calculating these savings. The complaint also highlights the use of “small, greyed out text which consumers can easily miss,” to obscure crucial information about the subscription.

    The lawsuit further accuses Uber of automatically charging consumers who signed up for a free trial before their billing date. The cancellation process itself is described as “extremely difficult,” potentially requiring users to navigate “as many as 23 screens and take as many as 32 actions to cancel.” These steps reportedly include repeatedly explaining the reason for cancellation and resisting various attempts by Uber to pause or retain the membership.

    The FTC statement further claims that some users were directed to contact customer support for cancellation but were provided with no means to do so. Others reported being charged for an additional billing cycle after requesting cancellation and awaiting a response from customer support. Uber has acknowledged that, previously, users wishing to cancel within 48 hours of signing up had to contact customer support. The company claims this policy has been updated to allow in-app cancellation.

    The FTC is seeking a court order to prevent Uber from continuing its alleged deceptive practices and to compel the company to provide monetary relief to affected consumers.

    Former FTC chair Tim Muris, who represented Uber during the investigation, criticized the agency’s process, alleging a lack of thorough investigation and misunderstandings of facts and law. Uber’s current outside counsel, Christine Wilson, echoed these concerns, highlighting the “unconventional nature of the rushed investigative process” and the addition of “new and unvetted allegations at the last minute.”

    In 2024, Uber One boasted a membership base of 30 million across 34 countries, with a reported year-over-year growth rate of approximately 60%. A year prior, Uber CEO Dara Khosrowshahi estimated that Uber One’s membership fees would exceed $1 billion in 2024. The outcome of this lawsuit could significantly impact Uber’s subscription model and the regulatory landscape for subscription services across various industries.

  • # Zamanda Yolculuk: 1963 BBC MCR21 OB Van’ına Adanmış Bir Web Sitesi Açıldı

    ## Zamanda Yolculuk: 1963 BBC MCR21 OB Van’ına Adanmış Bir Web Sitesi Açıldı

    Teknoloji ve televizyon tarihine ilgi duyanlar için kaçırılmaması gereken bir proje hayata geçirildi: 1963 yılına ait BBC MCR21 dış yayın aracına adanmış bir web sitesi yayın hayatına başladı. “mcr21.org.uk” adresinde yer alan site, bu ikonik aracın hikayesini, restorasyon sürecini ve kültürel önemini gözler önüne seriyor.

    “brudgers” kullanıcı adıyla paylaşılan bu proje, 1963’te hizmete giren ve dönemin televizyon yayıncılığına damga vuran MCR21’i mercek altına alıyor. Site, aracın teknik özelliklerinden, kullanıldığı önemli yayınlara, restorasyon ekibinin karşılaştığı zorluklardan, gelecek planlarına kadar pek çok bilgiye ev sahipliği yapıyor.

    Peki, bu web sitesi neden bu kadar önemli? MCR21, sadece bir araç olmanın ötesinde, bir zaman kapsülü niteliği taşıyor. O yıllardaki teknolojik gelişmeleri, yayıncılık anlayışını ve sosyal hayatı yansıtan bir ayna görevi görüyor. Bu nedenle, web sitesi sadece televizyon tutkunlarına değil, tarih araştırmacılarına, teknoloji meraklılarına ve hatta nostaljiye düşkün olan herkese hitap ediyor.

    Siteye girdiğinizde sizi, MCR21’in fotoğrafları, teknik çizimleri, restorasyon aşamalarını gösteren videolar ve uzman görüşleri karşılıyor. Ayrıca, ziyaretçilerin katkıda bulunabileceği bir bölüm de bulunuyor. Eğer MCR21 ile ilgili anılarınız, bilgileriniz veya fotoğraflarınız varsa, site üzerinden paylaşarak bu projeye katkıda bulunabilirsiniz.

    Bu web sitesi, sadece bir bilgi kaynağı olmakla kalmıyor, aynı zamanda bir topluluk oluşturmayı hedefliyor. MCR21’e ilgi duyan insanların bir araya gelerek bilgi alışverişinde bulunabileceği, projeye destek olabileceği ve bu tarihi aracın gelecek nesillere aktarılmasına katkıda bulunabileceği bir platform yaratmayı amaçlıyor.

    Eğer siz de televizyon tarihine, teknolojiye ve nostaljiye ilgi duyuyorsanız, “mcr21.org.uk” adresini ziyaret ederek zamanda keyifli bir yolculuğa çıkabilirsiniz. Unutmayın, bu sadece bir web sitesi değil, aynı zamanda bir mirasın korunması ve gelecek nesillere aktarılması için atılan önemli bir adım.

  • # Preserving a Piece of Broadcasting History: Exploring the MCR21 OB Van Website

    ## Preserving a Piece of Broadcasting History: Exploring the MCR21 OB Van Website

    The year is 1963. The Beatles are about to conquer the world, and television broadcasting is on the cusp of a revolution. Amidst this exciting era, the BBC’s MCR21 Outside Broadcast (OB) van hit the roads, bringing live coverage of events across the UK to viewers’ homes. Now, thanks to a dedicated group of enthusiasts, you can delve into the history and restoration of this iconic piece of broadcasting history at the website, mcr21.org.uk.

    Found by “brudgers” and highlighted on various platforms, the website offers a fascinating glimpse into the inner workings of this vintage OB van. But what exactly is an OB van? In simple terms, it’s a mobile production studio equipped with all the necessary technology to broadcast live events from remote locations. Think sports games, concerts, royal events – anything that needed to be brought to the screen in real-time.

    The MCR21 was a crucial part of the BBC’s fleet, and the website meticulously documents its journey from its initial commissioning to its eventual retirement. Visitors can expect to find detailed specifications of the equipment used, photographs showcasing the van’s interior and exterior, and potentially even stories and anecdotes from those who worked with it.

    While the provided information is limited, the mere existence of this website points to a dedicated community preserving a tangible piece of broadcasting heritage. Sites like mcr21.org.uk play a vital role in documenting the evolution of technology and the history of broadcasting. They serve as a valuable resource for historians, engineers, and anyone interested in the evolution of media.

    The preservation of such vehicles isn’t just about nostalgia; it’s about understanding the ingenuity and innovation that shaped the media landscape we know today. By exploring the MCR21 OB Van website, you can step back in time and appreciate the challenges and triumphs of early live broadcasting, offering a unique perspective on the technological advancements that have transformed our world. Head over to mcr21.org.uk and explore this fascinating slice of broadcasting history for yourself.

  • # Verus: Düşük Seviyeli Sistem Kodu için Doğrulanabilir Rust

    ## Verus: Düşük Seviyeli Sistem Kodu için Doğrulanabilir Rust

    Günümüzün karmaşık ve güvenlik açıklarıyla dolu yazılım dünyasında, güvenilir ve hatasız kod yazmak her zamankinden daha önemli. Bu özellikle düşük seviyeli sistem kodu gibi kritik alanlarda hayati bir gereklilik haline geliyor. İşte tam bu noktada Verus devreye giriyor.

    [Secure Foundations](https://github.com/secure-foundations) tarafından geliştirilen Verus, Rust programlama dilini temel alarak düşük seviyeli sistem kodu için doğrulanabilir kod yazmayı hedefleyen bir araçtır. 19 Mayıs 2024’te [Hacker News](https://news.ycombinator.com/) üzerinde [mmcloughlin](https://news.ycombinator.com/user?id=mmcloughlin) tarafından paylaşılan ve yoğun ilgi gören bu proje, Rust’ın zaten güçlü olan güvenlik özelliklerini bir adım öteye taşıyor.

    **Verus Ne Sunuyor?**

    Verus, Rust’ın sunduğu hafıza güvenliği, veri yarışı önleme gibi avantajları, formal doğrulama teknikleriyle birleştirerek daha da sağlam bir altyapı sunuyor. Peki bu ne anlama geliyor?

    * **Formal Doğrulama:** Verus, kodunuzun beklenen davranışları tam olarak sergilediğini matematiksel olarak kanıtlamanıza olanak tanır. Bu, geleneksel test yöntemlerinin kaçırabileceği ince hataların bile tespit edilmesini sağlar.
    * **Rust Entegrasyonu:** Verus, Rust’ın tanıdık sözdizimi ve ekosistemiyle uyumlu bir şekilde çalışır. Rust bilen geliştiriciler, Verus’u öğrenmekte zorlanmayacaklardır.
    * **Düşük Seviyeli Sistem Kodu İçin Tasarlandı:** Verus, işletim sistemleri, gömülü sistemler ve diğer kritik altyapı yazılımları gibi düşük seviyeli sistem kodu geliştirmek için özel olarak tasarlanmıştır.
    * **Güvenilirliği Artırır:** Verus, kodunuzun hatasız ve güvenilir olduğundan emin olmanıza yardımcı olarak, güvenlik açıklarının ve sistem arızalarının önüne geçer.

    **Neden Verus’u Kullanmalısınız?**

    Eğer güvenlik ve doğruluk sizin için öncelikliyse, Verus kesinlikle göz önünde bulundurmanız gereken bir araç. İşte bazı nedenler:

    * **Daha Güvenli Yazılım:** Verus, yazılımınızdaki olası güvenlik açıklarını en aza indirerek sisteminizin daha güvenli ve dirençli olmasını sağlar.
    * **Maliyet Tasarrufu:** Hataların erken aşamalarda tespit edilmesi, sonradan ortaya çıkabilecek maliyetli sorunların önüne geçer.
    * **Artan Güvenilirlik:** Verus ile geliştirilen yazılımlar, daha güvenilir ve öngörülebilir bir şekilde çalışır.
    * **Rekabet Avantajı:** Güvenliği ön planda tutan ve doğrulama tekniklerini kullanan şirketler, rekabet ortamında bir adım öne geçebilirler.

    **Sonuç olarak:**

    Verus, Rust’ın gücünü formal doğrulama teknikleriyle birleştirerek düşük seviyeli sistem kodu için devrim niteliğinde bir yaklaşım sunuyor. Güvenliği ve doğruluğu ön planda tutan geliştiriciler ve şirketler için Verus, geleceğin yazılım geliştirme araçlarından biri olmaya aday görünüyor. Projeye [GitHub](https://github.com/secure-foundations/verus) üzerinden ulaşabilir ve daha fazla bilgi edinebilirsiniz.

  • # Verus: Fortifying Low-Level Systems Code with Verified Rust

    ## Verus: Fortifying Low-Level Systems Code with Verified Rust

    The ever-present threat of bugs and vulnerabilities in low-level systems code demands robust solutions. This is where Verus, a project highlighted on Hacker News with significant interest (scoring 51 with 5 descendants), aims to make a significant impact. Developed under the umbrella of the Secure Foundations project and accessible on GitHub at [https://github.com/secure-foundations/verus](https://github.com/secure-foundations/verus), Verus offers a promising approach: verified Rust.

    Rust, known for its memory safety and concurrency features, is already a powerful language for building reliable systems. However, even with Rust’s safeguards, subtle errors can creep in, especially when dealing with complex interactions or performance-critical operations. Verus takes Rust a step further by enabling developers to formally verify their code.

    What does “verified Rust” mean in practice? It means developers can use Verus to write code alongside formal specifications that describe the intended behavior of that code. These specifications, typically written in a formal logic, are then checked against the implementation by a *verifier*. If the verifier can prove that the code satisfies its specification under all possible inputs and conditions, then we gain a high degree of confidence that the code is correct and free of certain classes of errors, such as memory corruption, race conditions, and logic errors.

    The benefits of such formal verification are substantial, particularly in the context of low-level systems code where errors can have catastrophic consequences. Imagine operating systems, embedded systems, or security-critical applications; a single bug can lead to system crashes, data breaches, or even physical damage. By leveraging Verus, developers can significantly reduce the risk of these failures.

    While the details of Verus’s implementation would require diving into the GitHub repository, the project promises a powerful tool for building truly trustworthy systems. The fact that it’s built on Rust is particularly compelling, as it allows developers to leverage existing Rust expertise and infrastructure. Furthermore, the focus on low-level systems code positions Verus as a crucial technology for securing the foundational layers of our digital infrastructure.

    The fact that mmcloughlin (as credited on Hacker News) shared this project speaks volumes about its potential impact. Verus isn’t just another programming language; it’s a rigorous approach to ensuring code correctness, and its emergence signals a growing awareness of the need for verifiable software in critical systems. As adoption grows and the technology matures, Verus has the potential to become a cornerstone of secure software development.