stanford-oval/wikipedia huggingface dataset:
Hinokitiol
Diğer etkinlikler > Koronavirüs araştırması

Hinokitiol'ün potansiyel anti-viral etkileri, bir çinko iyonoforu olarak etki göstermesinden kaynaklanmaktadır. Hinokitiol, çinko iyonlarının hücrelere akmasını sağlar ki bu da RNA virüslerinin replikasyon mekanizmasını inhibe edip daha sonra virüsün replikasyonunu inhibe eder. Bazı dikkate değer RNA virüsleri arasında insan grip virüsü SARS yer alır. Çinko iyonları, hücreler içindeki viral replikasyonu önemli ölçüde inhibe edebilmiş ve etkinin çinko akışına bağlı olduğunu kanıtlamıştır. Bu çalışma Hinokitiol'e çok benzer şekilde işlev gören çinko iyonofor pirition ile yapılmıştır.
Hücre kültürlerinde, hinokitiol insan rinovirüsünü, coxsackievirus ve mengovirüs çoğalmasını engellemektedir. Hinokitiol viral poliproteinlerin işlenmesine müdahale eder, böylece picornavirüs replikasyonunu engeller. Hinokitiol, viral poliprotein işlemesini bozarak ve hinokitiolün antiviral aktivitesinin çinko iyonlarının mevcudiyetine bağlı olarak picornavirüslerin replikasyonunu engeller.
Diğer etkinlikler > Demir iyonoforu

Hinokitiol'ün kemirgenlerde hemoglobin üretimini eski haline getirdiği gösterilmiştir. Hinokitiol, demiri hücrelere yönlendirmek için demir iyonoforu görevi görür ve hücre içi demir seviyelerini arttırır. İnsanlarda demirin yaklaşık %70'i kırmızı kan hücrelerinde ve özellikle hemoglobin proteininde bulunmaktadır. Demir hemen hemen tüm canlı organizmalar için hayatidir ve oksijen taşıma sistemi deoksiribonükleik asit (DNA) sentezi ve elektron taşınması ve demir eksikliği gibi çeşitli anatomik fonksiyonların kritik bir unsurudur ki eksikliği hem fiziksel hem de zihinsel performans için önemli ölçüde hasar verici olabilir.
Çinko sinerjisi

Hinokitiol bir çinko iyonoforudur ve bu yeteneğin viral replikasyonu inhibe ettiğine inanılmaktadır. Temel olarak, bir çinko iyonoforu olarak Hinokitiol, moleküllerin bir plazma zarından veya hücre içi zardan hücrelere taşınmasına yardımcı olur ve belirtilen molekülün hücre içi konsantrasyonunu arttırır (ör. Çinko). Böylece, çinkonun antiviral özelliklerinden yararlanarak, Hinokitiol ile kombinasyon halinde çinko emilimi hızlandırılabilir.
Çinko sinerjisi > Kanser araştırması

Hücre kültürlerinde ve hayvan çalışmalarında, hinokitiol'ün metatezi engellediği ve kanser hücreleri üzerinde anti-proliferatif etkilere sahip olduğu gösterilmiştir
Çinko sinerjisi > Kanser araştırması > Çinko Eksikliği

Çinko eksikliği bazı kanser hücrelerinde gösterilmiştir ve optimum hücre içi çinko seviyelerinin geri döndürülmesi tümör büyümesinin baskılanmasına neden olabilir. Hinokitiol belgelenmiş bir Çinko İyonoforudur, ancak şu anda Hinokitiol ve Çinko için etkili konsantrasyon yöntemleri oluşturmak için daha fazla araştırmaya ihtiyaç duyulmaktadır.
"Diyet çinkosunun melanom büyümesi ve deneysel metatezi üzerindeki etkileri..."
"Diyette çinko eksikliği, belirgin bir inflamatuar imza oluşturarak yemek borusu kanseri gelişimini tetikler..."
"Serum çinko seviyeleri ve akciğer kanseri arasındaki ilişki: gözlemsel çalışmaların bir meta-analizi..."
"Çinko eksikliği, ilgili mikroRNA'lar ve yemek borusu kanseri arasındaki ilişki üzerine araştırmalar..."
Hinokitiol içeren ürünler

Hinokitiol; kozmetik, diş macunları, oral spreyler, güneş kremleri ve saç uzatıcılar dahil olmak üzere çeşitli tüketim malzemelerinde yaygın olarak kullanılmaktadır. Tüketici hinokitiol ürünlerinin satışında lider markalardan biri Hinoki Clinical'dir. Hinoki Clinical (kur. 1956) 1955'te ilk 'hinokitiol' un endüstriyel ekstraksiyonu 'başladıktan kısa bir süre sonra kurulmuştur. Hinoki, şu anda bir bileşen olarak hinokitiol içeren 18' üzerinde farklı ürün gamına sahiptir. Bir başka marka olan 'Relief Life', hinokitiol içeren 'Dental Series' diş macununu bir milyondan fazla satmıştır Hinokitiol bazlı ürünlerin diğer önemli üreticileri arasında Otsuka Pharmaceuticals, Kobayashi Pharmaceuticals, Taisho Pharmaceuticals, SS Pharmaceuticals sayılabilir. Asya'nın yanı sıra, Swanson Vitamins® gibi şirketler, ABD ve Avustralya
gibi pazarlarda anti-oksidan serum ve diğer girişim tüketici ürünlerinde hinokitiol kullanımına başlamaktadır. 2006 yılında hinokitiol, Kanada'daki Evsel Maddeler Listesinde, kalıcı olmayan, biyolojik olarak birikme yapmayan ve sudaki organizmalar için toksik olmayan madde olarak sınıflandırılmıştır. EWG, hinokitiol bileşenine "Alerjiler ve İmmünotoksisite", "Kanser" ve "Gelişimsel ve Üreme Toksisitesi" gibi alanlarda 'düşük tehlike' olduğunu belirten bir sayfa ayırmıştır.
Hinokitiol'e 1-2 puan verir. Hinokitiol'ün skorundan farklı olarak, hala birkaç ağız gargarasında satılan bir bileşen olan Propylparaben, muazzam toksisite ve tehlikeli endişeler gösteriyor. Propylparaben, Avrupa Endokrin Bozulması Komisyonu tarafından başka bir insan endokrin bozucu olarak kabul edildi ve bu da onu EWG web sitesinde 4-6 yaptı.
Hinokitiol içeren ürünler > Dr. ZinX

2 Nisan 2020 tarihinde Avustralyalı bir çinko oksit üreticisi olan Advance Nanotek, hayati bir bileşen olarak hinokitiol içeren çeşitli ağız bakım ürünlerini içeren bir anti-viral bileşim için AstiVita Limited ile ortak bir patent başvurusunda bulunmuştu. Şimdi bu yeni buluşu içeren markanın adı Dr ZinX ve 2020 yılında Zinc + Hinokitiol kombinasyonunu piyasaya sürmesi muhtemel görünmektedir. 18 Mayıs 2020 tarihinde Dr ZinX, COVID-19'a karşı 5 dakika içinde sonuç veren Feline Koronavirüse karşı temiz bir konsantrasyon '3.25 log' azalması (%99.9 azalma) döndürerek “tıbbi alanda virüidal aktivitenin değerlendirilmesi için kantitatif süspansiyon testi” için test sonuçlarını yayınlamıştır. Çinko vücutta gerekli bir besin takviyesi ve eser elementtir. Küresel olarak, nüfusun %17,3'ünün yetersiz Çinko alımına sahip olduğu tahmin edilmektedir.
Geçmiş > Keşif

Hinokitiol, 1936 yılında Tayvan selvi esansiyel yağ bileşeninden Dr.Tetsuo Nozoe tarafından keşfedildi. Doğada var olmadığı söylenen heptagonal moleküler yapıya sahip bu bileşiğin keşfi, evrensel çapta kimya tarihinde büyük bir başarı olarak kabul edilmiştir.
Geçmiş > Keşif > Nozoe Tetsuo

Nozoe Tetsuo 16 Mayıs 1902 tarihinde Japonya'nın Sendai kentinde doğmuştur. 21 yaşında Tohoku İmparatorluk Üniversitesi'nde kimya bölümünde kimya derslerine kaydolmuştur. Mart 1926'da mezun olduktan sonra, Nozoe araştırma görevlisi olarak kaldı, ancak kısa bir süre sonra Haziran 1926'nın sonunda Sendai'yi Formosa'ya geçmek için (şu anda Tayvan olarak bilinmektedir) bıraktı.
Nozoe'nun başlıca araştırma alanları, özellikle Formosa'da bulunanlar olmak üzere doğal ürünler üzerinde çalışmaktadır. Nozoe'un Formosa'daki belgelenmiş çalışmaları, dağlık bölgelerde büyüyen yerli bir kozalak olan Taiwanhinoki'nin kimyasal bileşenleri ile ilgiliydi. Nozoe, bu türün bileşenlerinden yeni bir bileşik olan hinokitioli tespit etti ve ilk kez 1936'da Japonya Kimya Derneği Bülteni'nin özel sayısında yayınladı.
Kasım 1950'de Londra Kimya Derneği tarafından "Tropolon ve Müttefik Bileşikler" adlı bir sempozyum düzenlendiğinde, Nozoe'nun hinokitiol üzerindeki çalışmasından tropolon kimyasına öncü bir katkı olarak bahsedildi ve böylece Nozoe'un araştırmalarının Batı'da tanınmasına yardımcı oldu. Nozoe, sempozyum başkanı JW Cook sayesinde hinokitiol ve doğadaki türevleri üzerine çalışmalarını 1951'de yayınlayabildi. 1950'lerde ve 60'larda Japonya'da doğal ürünler üzerine araştırmalarla başlayan ve tamamen Japonya'da geliştirilen Nozoe'un çalışması, organik kimyada yeni bir alan, yani benzenoid olmayan aromatik bileşiklerin kimyasını literatüre tanıttı. Çalışmaları Japonya'da iyi karşılandı ve Nozoe, 1958'de 56 yaşında araştırmacılara ve sanatçılara katkıda bulunmanın en büyük onuru olan Kültür Nişanına layık görüldü.
Geçmiş > Umut Vaadeden Bir Gelecek

2000'li yıllardan başlayarak, araştırmacılar hinokitiol'ün özellikle  klamidya enfeksiyonları bakterisini engellemek için bir ilaç olarak değerli olabileceğini kabul ettiler.
Kimyager Martin Burke ve Urbana-Champaign'daki Illinois Üniversitesi'ndeki meslektaşları ve diğer kurumlardaki meslektaşları, hinokitiol için önemli bir tıbbi kullanım keşfettiler. Burke'ün amacı hayvanlarda düzensiz demir taşıyıcılığının üstesinden gelmekti. Birkaç proteinin yetersizliği hücrelerde demir eksikliğine (anemi) veya tam tersi Hemokromatozise. yol açabilmektedir. Gen tükenmiş maya kültürlerini taşıyıcı olarak kullanan araştırmacılar, demir taşınması belirtileri ve dolayısıyla hücre büyümesi için küçük biyomoleküllerin bir kütüphanesini taradılar. Hinokitiol, hücre işlevselliğini geri kazandıran olarak ön plana çıkmıştı. Ekip tarafından daha fazla çalışma yapılması, hinokitiol'ün hücre demirini geri yükleme veya azaltma mekanizmasını oluşturdu. Daha sonra çalışmalarını memelilere yönelttiler ve “demir proteinleri” eksikliği için tasarlanan kemirgenlerin hinokitiol ile beslendiklerinde bağırsaktaki demir alımını yeniden kazandıklarını ortaya çıkardılar. Zebrabalığı üzerine yapılan benzer bir çalışmada, molekül Hemoglobin üretimini restore etti. Burke ve ark. hinokitiol “Demir Adam molekülü” lakaplı çalışması üzerine bir yorum. Bu ironiktir çünkü keşfeden Nozoe'nin ilk adı “demir adam” olarak İngilizceye çevrilebilir.
Hinokitiol bazlı oral ürünlere artan talep göz önüne alındığında, Hinokitiol'ün oral uygulamaları üzerine de önemli araştırmalar yapılmıştır. Japonya'da 8 farklı kuruma bağlı böyle bir çalışma: "Hinokitiol'ün Hem Antibiyotiğe Dirençli, hem de - Oral Kavite ve Üst Hava Yollarında Öngörülen Antibakteriyel Bakterilerin geniş bir patojenik bakteri spektrumu ve insan epitel hücrelerine karşı sitotoksisitesi düşük" antibakteriyel aktivite sergilediği sonucuna varılmıştır.
Geçmiş > Umut Vaadeden Bir Gelecek > İlgili çalışmalar

"Zn2 + in vitro koronavirüs ve arterivirüs RNA polimeraz aktivitesini engeller ve çinko iyonoforlar bu virüslerin hücre kültüründe çoğalmasını engeller..."
"Çinko İyonoforlar Pritiyon ve Hinokitiol'ün Pikornavirüs Enfeksiyonlarına Karşı Antiviral Aktivitesi..."
"SARS ilişkili koronavirüsün boğaz yıkamada ve tükürükte erken tanıda saptanması..."
"2019-nCoV ACE2 reseptörünün oral mukozanın epitel hücreleri üzerinde yüksek ifadesi..."
"Antiviral İlaçlar..."
“Antiviral Ajan ve Aynı Şekilde Kullanan Boğaz Şekeri, Gargara ve Gargara...”
“Antibakteriyel ve antifungal Aktivite Yöntemi, Bulaşıcı Hastalıkların Terapötik Yöntemi ve Kozmetiklerin Korunması Yöntemi...”
“Hinokitiol'ün farelerde ligatüre bağlı deneysel periodontitte periodontal kemik kaybına karşı koruyucu etkisi...”
"Zn (O4) Koordinasyon Moduna Sahip Yeni Bir Antidiyabetik Zn (II) –Hinokitiol (β-Thujaplicin) Kompleksi..."
"[Zn (hkt) 2] (Zinc & Hinokitiol), insülin direncini iyileştirerek periferik organlar üzerindeki ana etkiyi uyguladı..."
EWG skor ölçeği
DRAKON

| --- | --- |
Paradigması: Görsel
İlk çıkışı: 1986
Tasarımcı: Vladimir Parondzhanov
İşletim sistemi: Çapraz platform
DRAKON, ergonomik tasarım ilkelerine uygun olarak Buran uzay projesi kapsamında geliştirilen algoritmik bir görsel programlama ve modelleme dilidir. Dil, okunması ve anlaşılması kolay herhangi bir karmaşıklığın akış şemalarını temsil etmek için tek tip bir yol sağlar.
Eylül 2011'de piyasaya sürülen DRAKON Editör, herkese açık olan bir uygulamadır. Belge oluşturmak veya diğer dillerde kaynak koduna dönüştürülebilen görsel programlar oluşturmak için kullanılabilir.
DRAKON adı, Rusça "Дружелюбный Русский Алгоритмический [язык], Который Обеспечивает Наглядность" ifadesinin kısaltmasıdır. Bu ifade "Kısaca Rusça algoritmik [dil] 'i gösteren (veya netlik sağlayan)" anlamına gelmektedir. "Наглядность" kelimesi, hayal edilmesi ve anlaşılması kolay bir kavram ya da fikri ifade eder ve "açıklık" olarak tercüme edilebilir.
DRAKON dili hem modelleme / "biçimlendirme" dili (bağımsız "saf DRAKON" programı olarak kabul edilir) hem de programlama dili (karma dilin bir parçası olarak) olarak kullanılabilir.
Bir biçimlendirme dilinin daha katı, "akademik" bir çeşidinin DRAKON tarafından sağlanan gibi programlamaya entegrasyonu, farklı programlama dillerindeki kullanıcıların birbirlerinin genel projeye katkılarını anlamalarına ve hatta gerekirse yorum yapmalarına olanak sağlayan sözdizimsel şeker ekler.
Tarihi

DRAKON'un gelişimi 1986 yılında başladı ve Federal Uzay Ajansı (Akademisyen Pilyugin Merkezi, Moskova) ve Rusya Bilimler Akademisi'nin (Keldysh Uygulamalı Matematik Enstitüsü) katılımıyla Vladimir Parondzhanov tarafından yönetildi. Dil, ISO 5807-85 standardı ve Rus standardı “Гост 19.701-90” da tarif edilen akış şemalarının resmîleştirilmesi, ergonomizasyonu ve klasik olmayan yapılandırılması ve gerçek zamanlı programların geliştirilmesi için oluşturulmuştur.
Çalışma 1996 yılında (Buran projesi resmi olarak kapatıldıktan 3 yıl sonra), "Grafit-Floks" adlı otomatik bir CASE programlama sistemi geliştirildiğinde tamamlandı.
Bu CASE 1996'dan beri birçok büyük uzay programında kullanılmaktadır: uluslararası bir proje Deniz Lansmanı, Rus yörünge yerleştirme üst aşaması Fregat (Rusça: Фрегат, fırkateyn), yükseltilmiş ağır fırlatma aracı (taşıyıcı roket) Proton-M, vb. Ancak DRAKON'un bu projelerde oynadığı kesin rol belirlenememektedir. DRAKON ile bina sistemlerinin gerçek dünyadaki gerçek deneyimi, çok az sayıda kod snippet'i halka açık olduğundan çok azdır.
Diyagramlar oluşturmak için DRAKON kuralları, kolay anlaşılması için bilişsel olarak optimize edilmiştir ve bu da DRAKON'u istihbarat artırımı için bir araç haline getirir
Gerçek zamanlı saat

Dallas marka bir gerçek zamanlı saat
Gerçek zamanlı saat (GZS), güncel zamanı gösteren bilgisayar saati. Genellikle tümleşik devreler biçiminde tasarlanan bu saatler; kişisel bilgisayarlar, sunucular ve gömülü sistemler başta olmak üzere hemen tüm elektronik aygıtta bulunmaktadır.
Avantajları

Gerçek zamanlı saat kullanımı zamanı tutmak için bir koşul olmamasına karşın bazı avantajlara sahiptir:
Düşük güç tüketimi
Süre kısıtlamasına sahip işlemlere öncelik tanınmasına yardımcı olması
Diğer yöntemlerden daha kesin sonuç vermesi
Bir GPS alıcısı, GZS'yle geçerli bir sinyal aldığı son zamanı karşılaştırarak açılış süresini kısaltabilmektedir. Aradaki farkın birkaç saatten az olduğu durumlar için önceki eşlem hala kullanılabilir durumdadır.
Güç kaynağı

Gerçek zamanlı saatler genellikle ayrı bir güç kaynağından beslenirler. Böylece, sistem kapalı olsa bile saat çalışabilir. Önceleri lityum pilden yapılan bu güç kaynakları daha sonra süperkapasitör kullanılarak tasarlanmaya başlamıştır. Bunlar şarj edilebilir ve lehimlenebilirler. Bellek destekli RAM'i de besleyebilmektedirler.
Zaman ölçümü

Gerçek zamanlı saatlerin büyük bölümü kristal osilatör kullanmaktadır. Öte yandan, güç frekansı kullanan saatler de bulunmaktadır. Osilatör frekansı genellikle 32.768 kHz olarak alınmaktadır. Bu, kuvars saatlerde kullanılan değerle aynıdır.
Örnekler

Intersil, Maxim, Philips, Texas Instruments ve STMicroelectronics'in de aralarında bulunduğu birçok tümleşik devre üreticisi GZS tasarımı yapmaktadır. GZS'nin PC dünyasına girişi 1984 tarihinde IBM PC/AT ile gerçekleşmiştir. Daha sonra Dallas Semiconductor tarafından üretilen GZS'ler o dönemde piyasaya sürülen kişisel bilgisayarlarda kendine yer bulmuştur. Eski sistemlerde anakart üzerine oturtulan GZS daha sonra southbridge ile birlikte kullanılmaya başlamıştır.
Lityum pil
Dallas GZS'sine eşdeğer ODIN marka bir yonga
İkran Tahlil Farah'ın ortadan kaybolması

| İkran Tahlil Farah |
| --- | --- |
İkran Tahlil Farah
Doğum: 24 Ağustos 1996(1996-08-24) Kenya
Kaybolma: 26 Haziran 2021
Durumu: El-Şebab tarafından öldürüldü (Somali Hükümeti iddiası)
Milliyet: Somali
Meslek: Kamu görevlisi

İkran Tahlil Farah uluslararası insan hakları hukuku ve uluslararası ilişkiler üzerine çalışmalar yürüten ve Somali Milli İstihbarat ve Güvenlik Teşkilatı'nda çalışan bir Somali vatandaşıydı. Haziran 2021'de kaybolan İkran SMİGT'nin siber güvenlik departmanında çalışıyordu.
Arka plan

Somali diplomatik pasaportunda bulunan bilgilere göre ikran 24 Ağustos 1996 Kenya doğumludur. İlkokulu Mandera'da okuyan İkran, Nairobi'deki Agha Khan Lisesi'nden mezun olmuştur. Yine Nairobi'de bulunan Birleşik Devletler Uluslararası Üniversitesi uluslararası ilişkiler mezunudur.
İkran 2017 yılında SMİGT'de işe başlamıştır. Ekim 2017'de İnsan Hakları Uygunluk Birimi'ne terfi ettirilmiştir. Bu birimdeki görevleri arasında Mogadişu'daki İngiliz Büyükelçiliği ve Afrika Birliği Somali Misyonu ile temaslar yürütmek yer alıyordu. Ekim 2018'den Temmuz 2019'a kadar Ağustos 2019'da suikaste uğrayan dönenim Mogadişu Belediye Başkanı Abdirahman Yarisow'un kurmayları arasında yer almıştır. Daha sonra SMİGT İkran'ı Nottingham Üniversitesi'nde eğitim alması maksadı ile Birleşik Krallık'a göndermiştir. Ikran 2019 yılında Nottingham Üniversitesi'nden Uluslararası İnsan Hakları Hukuku sertifikası aldıktan sonra 2020 yılında King's College London'da lisans üstü eğitimi görmüştür. Daha sonrasında ülkesine dönen İkran SMİGT'nin siber güvenlik biriminin başına getirilmiş ve kayboluşuna kadar bu görevi yürütmüştür.
Kaçırılışı

O zaman 25 yaşında olan İkran 26 Haziran 2021 tarihinde Mogadişu'nun Abdulaziz semtinde kaçırılmıştır. Güvenlik kamerası kayıtlarına ulaşan Garowe online İkran'ın SMİGT plakalı bir arazi aracına zorla bindirildiğini iddia etmiştir anca SMİGT bölgedeki güvenlik kameralarının çalışmadığını, bu nedenle olaya ilişkin herhangi bir güvenlik kamerası kaydı olmadığını ileri sürmüştür.
Cinayet soruşturması

SMİGT 2 Eylül 2021'de İkran'ın El-Şebab tarafından kaçırıldığını ve öldürüldüğünü iddia eden bir bildiri yayımlamıştır fakat El-Şebab olayla ilgileri olmadığını açıklamıştır.
4 Eylül 2021 tarihinde Başbakan Mohammed Hüseyin Roble SMİGT Genel Sekreteri Fahad Yasin'den İkran'ın ölümü ile ilgili bir rapor hazırlamasını istemiştir. Roble, Fahad Yasin'i raporu hazırlamadığı için açığa alsa da Cumhurbaşkanı Mohamed Abdullahi Mohamed kararın anayasaya aykırı olduğu gerekçesi ile Fahad Yasin'i tekrar göreve getirmiştir. Roble Cumhurbaşkanı Mohamed'i "Tahlil Farah davası soruşturmasına engel olmak" ile suçlamıştır. 7 Eylül 2021'de AB, ABD ve BM gibi bazı cemiyet ve ülkeler kapsamlı bir soruşturma yapılmasını istemiştir.
İkran'ı 2017 yılında göreve alan Eski SMİGT Genel Sekreteri Abdullahi Ali Sanbalolshe, İkran'ın Somali ordusunun Etiyopya'daki Tigray Savaşı'na müdahale etmek üzere Eritre'deki gizli konuşlanması ile ilgili bazı hassas bilgileri bildiği için hedef alınmış olabileceğini söylemiştir.
İkran'ın annesi Qali Mohamud Guhaad kızının ortadan kaybolması hususundaki bağıntıları nedeni ile askeri mahkemede Fahad Yasin, Abdullahi Kulane, Abdikani Wadna-Qabad ve Yasin Faray hakkında dava açmıştır. Qali'ye göre dava milletvekili Dahir Jesow'un da müdahil olması ile mahkeme dışı uzlaşma yöntemi ile çözülmek istenmiştir fakat İkran'ın Londra'da yaşayan babası Dr. Tahlil herhangi bir uzlaşmanın söz konusu bile olamayacağını belirtmiştir. Mohamed, ikran'ın ortadan kaybolmasının araştırılması için bir kamu komisyonu tayin etse de Qali bu komisyonu dağıtmıştır.
İkran'ın eski patronu Abdirahman Osman'ın da öldüğü intihar saldırısı ve Somali askerlerinin Tigray Savaşı'na katılmadan önce eğitim görmek üzere Eritre'ye gönderildiği gizli bir program ile ilgili hassas bilgilere sahip olduğu düşünülmektedir.
Güvenlik kamerası kaydından bir görüntü
Kaybolmadan önce Tahlil Farah
Halka

Julius Wilhelm Richard Dedekind, sayılar teorisi, soyut cebir konularına önemli katkılarda bulunan bir Alman matematikçiydi. En iyi bilinen katkısı, Dedekind kesimi kavramı aracılığıyla reel sayıların tanımıdır.
Halka, matematikte cebirin temel yapılarından biridir ve soyut cebirde tam sayıların soyutlamasıdır. Bu yapıyı işleyen dala halka kuramı denir. Halkalar diğer bir temel yapı olan grupların üzerine inşa edilir. Her halka, aynı zamanda değişmeli bir gruptur, ama bir halkadan daha fazla özelliği sağlaması istenir. Örneğin halkada grup işlemine ek olarak ikinci bir işlem daha vardır. Halkalara örnek olarak tam sayılar, modülo n sayılar, polinomlar ya da karmaşık sayılar verilebilir.
Halka her şeyden önce bir kümedir ve belli özellikleri sağlar. Bu özellikler aşağıda verilmiştir.
Tanım

R boştan farklı bir küme olsun. Bu küme üzerinde  + ve  * ikili işlemleri tanımlı olsun. Eğer;
(R,+) kümesi değişmeli bir grup,
(R,*) kümesi bir yarı grup ve
* işlemi  + işlemi üzerine sağdan ve soldan dağılmalı
ise  (R,+,*) kümesine halka denir. Bunların yanında eğer,
(R,*) kümesi bir birlik ise  (R,+,*) kümesine birimli halka; ayrıca,
(R,*) kümesi değişmeli ise  (R,+,*) kümesine değişmeli halka denir.
Bir halkanın birinci işlemi olan (genellikle toplama)  + işleminin birim öğesine sıfır denir ve  0 ile gösterilmesi gelenektir. Halkanın ikinci işlemi olan (genellikle çarpma)  * işleminin birim öğesi varsa bu birim öğeye bir denir ve geleneksel olarak  1 ile gösterilir.
Ayrıca bir halkada genellikle  0=1 olmadığı da bir belit olarak eklenir. Nitekim  0=1 olması bir çelişki yaratmaz ancak,  0=1 olduğunda R halkası tek öğeli bir küme olur. Bunu aşağıdaki gibi basitçe her sayının sıfıra eşit olduğunu göstererek kanıtlayabiliriz:
Halkanın tam tanımı için bir uzlaşma görülmüyor. Bazı matematikçiler (örneğin Ali Nesin) bir halkanın hem birimli hem bileşmeli hem de değişmeli olduğunu varsayar. Eğer birim öğesiz veya değişme özelliği olmayan bir halkadan bahsedilecekse birimsiz halka ya da değişmesiz halka denmiş olur. Bourbaki ya da Herstein gibi matematikçiler de birim öğesi olmayan halkalara yalancı halka demeyi tercih eder. Bu sayfada bahsedilen halkalar hem değişmeli hem bileşmeli hem de birim öğeli alınacaktır.
Örnekler

(\mathbb {Z} ,+,\cdot ) tam sayılar toplamaya göre değişmeli bir gruptur, birim elemanı  0'dır. Aynı zamanda tam sayılar üzerinde çarpma işlemi vardır, bu işlemin birim elemanı  1'dir, çarpma değişmelidir, birleşmelidir ve toplama üzerine dağılır. Yani tam sayılar, birimli ve değişmeli bir halkadır.
(\mathbb {k} ,+,\cdot )bir  \mathbb {k}  cismi için bir halka örneğidir. Halkalardan beklenen özelliklere ek olarak, çarpma işlemi değişmeli ise ve sıfır dışında her elemanın çarpmaya göre tersi varsa, bu özellikleri sağlayan halkalara cisim denir. Yani rasyonel sayılar, reel sayılar ve karmaşık sayılar birer halkadır.
Bir  \mathbb {k} cismi için katsayısını bu cisimden alan polinomlar  (\mathbb {k} [x],+,\cdot ), polinom toplaması ve çarpması ile birlikte birimli ve değişmeli bir halkadır.
(M_{n\times n}(R),+,\cdot ) girdileri herhangi bir  R halkasından olan  n\times nboyutundaki matrisler, matris toplaması ve çarpması ile birimli ama ( n\neq 1 için) değişmesiz bir halkadır.
Çeşitleri

Halka çeşitleri şunlardır:
Bölüm halkası
Değişmeli halka
Yalancı halka
Yarı halka
Xerox Alto

Xerox Alto
Xerox Alto, Grafiksel kullanıcı arayüzü (GUI) kullanan ilk bilgisayar. 1973 yılında Xerox Palo Alto Araştırma Merkezi'nde geliştirilmiştir. Ancak, bu bilgisayar ticari değildir. Yaklaşık 2000 adet üretilip Xerox ve çeşitli üniversitelerde kullanılmıştır. Xerox 1981'de Star adında 16000$'lık bir kişisel iş istasyonu ile bu projeyi piyasaya sürdü. Xerox Star ve Apple Lisa gibi erken örnekler özellikle çok yüksek fiyatlarından dolayı çok az sattılar.