Google သည် JPEG XL ကို Chrome သို့ ပြန်လည်ယူဆောင်လာသည်။

ဤဗီဒီယိုတွင် ဖော်ပြထားသောအရာများ

• Chrome ကြေညာချက်ကို ၂၀၂၆ ခုနှစ် အောက်တိုဘာလ ၆ ရက်နေ့တွင် ထုတ်ပြန်ခဲ့ပြီး Chrome 155 ဟု အမည်ပေးထားသည်။ ၎င်းသည် ဝက်ဘ်ဆိုက် visitors တိုင်းသည် ပံ့ပိုးပေးထားသော ဗားရှင်းကို အသုံးပြုနေသည်ဟု သတ်မှတ်ခြင်းမရှိပါ။
• Google သည် developer များ၏ စဉ်ဆက်မပြတ် တုံ့ပြန်ချက်နှင့် Interop လုပ်ငန်းစဉ်ကို ချီးကျူးဂုဏ်ပြုပါသည်။ jxl-rs decoder သည် Rust နှင့် အကောင်းဆုံး vector လုပ်ဆောင်မှုများကို အသုံးပြုပြီး သေးငယ်သော စစ်ဆေးပြီး ဘေးကင်းမှုမရှိသော နေရာများနှင့် ဘရောက်ဆာ sandbox များ ကျန်ရှိနေသေးသည်။
• Google ၏ ကြော်ငြာထားသော 30–50% compression တိုးတက်မှုသည် JPEG ကို အခြေခံအဖြစ် အသုံးပြုသည်။ အမှန်တကယ် သက်သာမှုသည် ပုံများ၊ encoder ဆက်တင်များနှင့် ရုပ်ပုံအရည်အသွေးပေါ် မူတည်ပါသည်။
• Gianni Rosato ၏ စက်တင်ဘာလ encoder နှိုင်းယှဉ်ချက်သည် ၎င်းစမ်းသပ်ထားသော lossy-fidelity အပိုင်းအခြားတစ်လျှောက် AVIF ကို ပိုနှစ်သက်သည်။ သူသည် ပြိုင်ဘက် AVIF ကိရိယာများကို ဖန်တီးသည်။ သူ၏ ရလဒ်နှင့် Google ၏ JPEG-baseline ပြောဆိုချက်သည် ကွဲပြားခြားနားသော နှိုင်းယှဉ်မှုများကို တိုင်းတာသည်။
• ပုံစံများကို ကိုယ်စားပြုပုံများတွင် နှိုင်းယှဉ်ပြီး သဟဇာတဖြစ်သော fallbacks များကို ထားရှိပါ။ JPEG XL သည် ရှိပြီးသား JPEG ဖိုင်များကို ပြောင်းပြန်လှန်နိုင်သော၊ lossleee transcoding ကိုလည်း ပံ့ပိုးပေးသည်။
• OpenAI သည် စာမူ ၇၂၂ ခုကို မိသားစု ၃၇၂ ခုအဖြစ် အုပ်စုဖွဲ့၍ ကွဲပြားခြားနားသော စစ်ဆေးမှုများနှင့် Lean ပုံစံများစွာဖြင့် ထုတ်ပြန်ခဲ့သည်။ မော်ဒယ်ကို မထုတ်ပြန်ရသေးဘဲ Pro-နှင့်ညီမျှသော compute ကိန်းဂဏန်းများသည် လက်လီစျေးနှုန်း သို့မဟုတ် ကုန်ဆုံးချိန် အာမခံချက်မဟုတ်ပါ။
• ESP32-C3 ဖန်တီးသူက စီထားသော ဒိုမိန်း hashes များကို flash တွင် သိမ်းဆည်းခြင်းဖြင့် ခန့်မှန်းခြေ 50 KB RAM အသုံးပြုမှုရှိကြောင်း အစီရင်ခံသည်။ DNS-အဆင့် ပိတ်ဆို့ခြင်းတွင် တူညီသောဒိုမိန်းနှင့် အခြား resolver ကန့်သတ်ချက်များရှိသည်။ Hash collisions များသည် overblock ဖြစ်စေနိုင်သည်။ Hardware ရလဒ်များကို ဤအပိုင်းအတွက် သီးခြားစီ တိုင်းတာခြင်းမရှိပါ။

ဘာသာပြန်ထားသော စာသားမှတ်တမ်း

မူရင်း အင်္ဂလိပ်စကားပြောမှ ဘာသာပြန်ထားသည်။ ရရှိနိုင်သော အသံနှင့် စာတန်းထိုးများကို YouTube မှ ထိန်းချုပ်ထားသည်။

Chrome က JPEG XL ကို ဘာကြောင့် ပြန်ယူလာတာလဲ။

0:00 သင်က Google က JPEG XL ကို မြှုပ်နှံလိုက်ပြီလို့ ထင်ကောင်းထင်လိမ့်မယ်။ Chrome က စမ်းသပ်ပံ့ပိုးမှုကို ဖယ်ရှားလိုက်ပြီးနောက်မှာ ပြန်ယူလာခဲ့တာပါ။ Rust ကလည်း ကူညီပေးခဲ့တယ်။ ဒီဗီဒီယိုမှာ Google က ဘာကြောင့် ပြောင်းလဲသွားတာလဲ။ သင့် image pipeline ကို ပြောင်းလဲသင့်သလား။ ဒီနေ့ အောက်တိုဘာလ ၇ ရက် ဗုဒ္ဓဟူးနေ့၊ ဒါက The Daily Diff ပါ။ အသေးစိတ် တစ်ခုကို မှတ်သားထားပါ။ သင့်မှာရှိပြီးသား JPEGs တွေက ဒီပြန်လာမှုမှာ ပါဝင်နိုင်မယ့် နည်းလမ်းရှိတယ်။

0:20 အင်္ဂါနေ့မှာ Google က Chrome 155 ကနေစပြီး JPEG XL decoding ကို ကြေညာခဲ့ပါတယ်။ ဒီနေ့တော့ အဲဒီကြေညာချက်က Hacker News မှာ တက်လာခဲ့တယ်။ OpenAI ရဲ့ သင်္ချာသက်သေပြချက်တွေနဲ့ ဒေါ်လာနှစ်ဆယ်တန် ဘုတ်ပြားလေးတစ်ခုက ကြော်ငြာဒိုမိန်းတွေကို ပိတ်ဆို့တဲ့အကြောင်းအရာတွေနဲ့အတူပေါ့။ Chrome ရဲ့ ယခင်စမ်းသပ်မှုက ၂၀၂၃ မှာ ပြီးဆုံးခဲ့တယ်။

ပယ်ချခံရတဲ့ format ကို ဘာကြောင့် နောက်ထပ်အခွင့်အရေး ရခဲ့တာလဲ။

0:35 Google ရဲ့ ရှင်းပြချက်မှာ ecosystem စိတ်ဝင်စားမှု မလုံလောက်ခြင်းလည်း ပါဝင်ခဲ့တယ်။ ဒါက အကြီးဆုံး browser က ecosystem က သင့်ပစ္စည်းကို တကယ်သုံးနိုင်မလားဆိုတာကို ထိန်းချုပ်နေတဲ့အခါမှာတော့ ဆိုးရွားတာပေါ့။ post အသစ်က ဆော့ဖ်ဝဲရေးသားသူတွေရဲ့ စဉ်ဆက်မပြတ် တုံ့ပြန်ချက်ကို ဂုဏ်ပြုဖော်ပြထားတယ်။ Interop လုပ်ငန်းစဉ် အပါအဝင်ပေါ့။ တောင်းဆိုနေတဲ့သူတွေက ဆက်တောင်းဆိုနေခဲ့ကြပြီး Google က အခုဆိုရင် browser test တွေကို ထောက်ပြနေပြီ။ ဒီ format ကို တသမတ်တည်း လုပ်ဆောင်နိုင်ဖို့ ရည်ရွယ်တာပါ။ ကြေညာချက်က Helmut Januschka အပါအဝင် ပံ့ပိုးကူညီသူတွေကို ဂုဏ်ပြုဖော်ပြထားတယ်။

0:57 တခါတလေ အထိရောက်ဆုံး လမ်းပြမြေပုံက ပြဿနာကို မပိတ်ဖို့ ငြင်းဆန်ခြင်းပဲ။

decoder အတွင်းမှာ ဘာတွေ ပြောင်းလဲသွားတာလဲ။

1:01 အကြီးဆုံး အကောင်အထည်ဖော်မှု ပြောင်းလဲမှုကတော့ Rust နဲ့ ရေးထားတဲ့ jay ex ell R S လို့ခေါ်တဲ့ decoder ပါပဲ။ Rust နဲ့ ရေးထားတဲ့ decoder ပါပဲ။ Image decoder တွေက သူစိမ်းတွေ ပေးပို့တဲ့ ရှုပ်ထွေးတဲ့ ဖိုင်တွေကို လက်ခံရရှိပြီး ဒါက အင်တာနက်ကို မတော်တဆ ယုံကြည်မိနိုင်တဲ့ အံ့သြဖွယ်နေရာတစ်ခု ဖြစ်စေပါတယ်။ Rust က memory error အမျိုးအစားတွေကို browser ထိခိုက်မှုတွေ မဖြစ်ခင်မှာ ကာကွယ်ပေးနိုင်ပါတယ်။ Google က sandbox ကို ထိန်းသိမ်းထားဆဲဖြစ်ပြီး implementation မှာလည်း သေးငယ်ပြီး သေချာစစ်ဆေးထားတဲ့ unsafe areas တွေ ပါဝင်နေဆဲပါ။ သေးငယ်ပြီး သေချာစစ်ဆေးထားတဲ့ unsafe areas တွေ ပါဝင်နေဆဲပါ။ လုံခြုံရေးမှာ အလွှာများစွာရှိတာက လက်တွေ့ဘဝက အက်ကြောင်းတွေကို အမြဲရှာဖွေနေလို့ပဲ။

1:27 Google က ဒီ decoder ရဲ့ သမိုင်းတစ်လျှောက်မှာ fuzzing နဲ့ AI code review တွေက memory safety bug တွေ မတွေ့ခဲ့ရဘူးလို့ ပြောပါတယ်။ ဒါက အဲဒီအဖွဲ့က ထုတ်ပြန်တဲ့ အသုံးဝင်တဲ့ အစီရင်ခံစာတစ်ခုပါ။ အနာဂတ် တိုက်ခိုက်သူတွေက blog post ကို စည်းနှောင်ထားတဲ့ စာချုပ်တစ်ခုအဖြစ် လက်ခံမှာ မဟုတ်ပါဘူး။ ပထမမေးခွန်း ဖြေပြီးပါပြီ။ ဆော့ဖ်ဝဲရေးသားသူ ဖိအားနဲ့ အကောင်းဆုံးဖြစ်အောင်လုပ်ထားတဲ့ Rust decoder က တံခါးကို ပြန်ဖွင့်ပေးခဲ့ပါတယ်။ Google က အင်ဂျင်နီယာဘက်ကနေ ဆုံးဖြတ်ချက်တစ်ခုကို ပြောင်းပြန်လှန်ခဲ့တာပါ။ ဒါက အင်တာနက်မှာတောင် ခွင့်ပြုထားပါတယ်။ ကဲ၊ slide deck benchmark တွေကို ကြည့်ရအောင်။

ဖိုင်သေးသေးလေးတွေက AVIF ကို အနိုင်ယူနိုင်သလား။

1:48 Google က JPEG ထက် ၃၀ မှ ၅၀ ရာခိုင်နှုန်း ပိုမိုကောင်းမွန်တဲ့ compression ကို ကြော်ငြာပါတယ်။ ဒေါင်းလုဒ် ပိုသေးတာက သင့် users တွေနဲ့ bandwidth bill အတွက် အထောက်အကူဖြစ်နိုင်ပါတယ်။ ဒါပေမယ့် အဲဒီအကွာအဝေးက သင် encode လုပ်တဲ့အရာနဲ့ အရည်အသွေးကို ဘယ်လိုနှိုင်းယှဉ်သလဲဆိုတဲ့အပေါ် မူတည်ပါတယ်။ Compression အင်ဂျင်နီယာ Gianni Rosato က ထုတ်ဝေခဲ့ပါတယ်။ စက်တင်ဘာနှိုင်းယှဉ်ချက်မှာ ခေတ်မီတဲ့ avif encoder တွေက သူ့ရဲ့ စမ်းသပ်ထားတဲ့ fidelity range တစ်လျှောက်လုံးမှာ JPEG XL ကို အနိုင်ယူခဲ့ပါတယ်။ သူက ပြိုင်ဘက် avif tools တွေမှာ အလုပ်လုပ်တာမို့ ဂရပ်တွေဘေးမှာ အဲဒီ incentive ကို မှတ်ထားပါ။ ဒီနှိုင်းယှဉ်ချက်တွေက မတူညီတဲ့ အခြေခံတွေကို အသုံးပြုထားတယ်။

2:12 JPEG အဟောင်းကို အနိုင်ယူခြင်းက avif အတွက် အလုပ်တစ်ခုကို အနိုင်ရဖို့ နေရာချန်ထားခဲ့တယ်။ Google ကိုယ်တိုင်က ပုံစံနှစ်မျိုးလုံးကို စမ်းသပ်ကြည့်ဖို့ အကြံပြုထားတာကတော့ ထူးခြားတဲ့ လက်တွေ့ကျတဲ့ အကြံဉာဏ်ပါ။ launch ကြေညာချက်တစ်ခုအတွက်ပေါ့။ JPEG XL ရဲ့ တခြား ဆွဲဆောင်မှုတွေကတော့ high dynamic range ပါဝင်ပါတယ်။ lossless images တွေနဲ့ အသေးစိတ် progressive decoding တွေ ပါဝင်ပါတယ်။ အသိုင်းအဝိုင်းက format ကို လေ့လာဖို့ interactive demos တွေကို ထုတ်ပြန်ပါတယ်။ ကျန်တာတွေ ရောက်လာတဲ့အချိန်မှာ သင့်ပရိသတ်က အသုံးဝင်တဲ့ ပုံကို မြင်နိုင်ပါတယ်။ ဖြန့်ကျက်ဖို့အတွက်တော့ အရန်ပုံတစ်ပုံကို ထားရှိပြီး သင့်ဖောက်သည်တွေ အမှန်တကယ်အသုံးပြုနေတဲ့ ဘရောက်ဆာတွေမှာ ပံ့ပိုးမှုကို စစ်ဆေးပါ။

2:37 သင့်ဖောက်သည်တွေ အမှန်တကယ်အသုံးပြုနေတဲ့ ဘရောက်ဆာတွေမှာ ပံ့ပိုးမှုကို စစ်ဆေးပါ။ ကြေညာချက်မှာ Chrome 155 ကို ဖော်ပြထားပါတယ်။ ဒါက သင့်ကို target version တစ်ခု ပေးပါတယ်။ သင့် analytics က သင့်ပရိသတ် ဘယ်အချိန်ရောက်လာတယ်ဆိုတာ ပြောပြပါလိမ့်မယ်။ ဒုတိယမေးခွန်း ဖြေပြီးပါပြီ။ pipeline ကို မပြောင်းလဲမီ သင့်တကယ့်ပုံရိပ်များကို စမ်းသပ်ပြီး လိုက်ဖက်ညီမှုလမ်းကြောင်းကို ထိန်းသိမ်းပါ။ bytes တွေ ချွေတာတဲ့ image format တစ်ခုက အသုံးဝင်ပါတယ်။ သင့် checkout button ကို ဖျောက်ထားတဲ့ migration တစ်ခုက minimalism ရဲ့ စျေးကြီးတဲ့ အဓိပ္ပာယ်ဖွင့်ဆိုချက်တစ်ခုပါပဲ။ ဒီအတောအတွင်းမှာ OpenAI က သင်္ချာစာမူတွေနဲ့ ပံ့ပိုးပေးထားတဲ့

OpenAI က တကယ်တော့ ဘာတွေ ထုတ်ဝေခဲ့တာလဲ။

3:00 သက်သေပြချက် အနုပညာလက်ရာတွေကို အင်္ဂါနေ့မှာ ထုတ်ဝေခဲ့ပါတယ်။ repository မှာ စာမူ ၇၂၂ ခု ပါဝင်ပါတယ်။ ဆက်စပ်မိသားစုတွေအဖြစ် အုပ်စုဖွဲ့ထားတယ်။ ခေါင်းစီးအရေအတွက်မှာ တွဲဖက်ဆွေးနွေးမှုတွေနဲ့ အခြားသက်သေပြချက်တွေ ပါဝင်တာမို့ စာရွက်တစ်စောင်စီက တကယ်တောင်းဆိုတာကို ဖတ်ပါ။ များစွာသော Lean မှာ ပုံသေသက်သေပြချက်တွေ ပါဝင်ပြီး ဒါက ကွန်ပျူတာကို သင်္ချာတွက်ချက်မှုတွေကို စစ်ဆေးခွင့်ပြုတယ်။ တချို့ကတော့ ပုံသေဖြစ်အောင်လုပ်ဖို့ စောင့်ဆိုင်းနေဆဲဖြစ်ပြီး OpenAI ကတော့ ရှင်းရှင်းလင်းလင်း သတိပေးထားပါတယ်။

3:21 ပုံသေမဟုတ်တဲ့ ရလဒ်တချို့မှာ ပြဿနာတွေ ရှိနိုင်တယ်လို့ပါ။ repository က သုတေသီတွေကို စစ်ဆေးပြီး စိန်ခေါ်နိုင်မယ့် အကြောင်းအရာတွေကို ပေးအပ်ထားတယ်။ မော်ဒယ်ကို မထုတ်ပြန်ရသေးပါဘူး။ OpenAI က ရလဒ်တစ်ခုစီဟာ ပျမ်းမျှအားဖြင့် ChatGPT Pro နဲ့ ညီမျှတဲ့ တွေးခေါ်မှုအတွက် သုံးနာရီခန့် အသုံးပြုခဲ့တယ်လို့ ဆိုပါတယ်။ ဒါက တွက်ချက်မှု ကြိုးပမ်းမှုကို ဖော်ပြတာပါ။ ဒါက သင့်ကို နာရီပေါ်က အချိန်ကို အာမခံချက် ပေးတာလည်း မဟုတ်ဘူး၊ သီအိုရမ်တစ်ခု ထုတ်လုပ်ဖို့အတွက် လက်လီစျေးနှုန်းလည်း မဟုတ်ဘူး။

3:40 theorem. ထုတ်ပြန်မှုသည် လွတ်လပ်သော သင်္ချာ အကြံပေးအဖွဲ့နှင့် တိုင်ပင်ဆွေးနွေးပြီးနောက် ဖြစ်ပေါ်လာပြီး ပြင်ဆင်ခြင်းနှင့် ကိုးကားခြင်း လုပ်ငန်းစဉ်များ ပါဝင်သည်။ advisory group, and includes a revision and citation process. ပညာရေးလောကက အိမ်စာပုံအသစ်တစ်ခု ရရှိသလို၊ ပြင်ဆင်ရမယ့် စာမျက်နှာကို တိတိကျကျ ညွှန်ပြနိုင်တဲ့ ပိုပြီး အသုံးဝင်တဲ့ စွမ်းရည်လည်း ရရှိပါတယ်။ Lean ထိန်းသိမ်းသူတွေက တစ်ကြိမ်လျှင် အစိတ်အပိုင်းသေးသေးလေးတွေကို compile လုပ်ဖို့ အကြံပြုထားပါတယ်။ သင်္ချာရှာဖွေတွေ့ရှိမှုတစ်ခုတောင် နောက်ဆုံးမှာတော့ ဆော့ဖ်ဝဲရဲ့ ရှေးဟောင်းရန်သူနဲ့ ကြုံတွေ့ရတယ်။ build ကို ပြီးအောင်လုပ်တာပေါ့။

နှစ်ဒေါ်လာဘုတ်ပြားလေးက ဒိုမိန်းတွေကို ဘယ်လို ပိတ်ဆို့တာလဲ။

4:03 နောက်ဆုံးအနေနဲ့၊ open source DNS ကြော်ငြာပိတ်ဆို့စနစ်တစ်ခုဟာ နှစ်ဒေါ်လာတန် သေးငယ်တဲ့ microcontroller board မှာ အလုပ်လုပ်ပါတယ်။ ဖန်တီးသူရဲ့ လျှို့ဝှက်ချက်ကတော့ စီထားတဲ့ domain hash တွေကို flash ထဲမှာ သိမ်းဆည်းထားတာပါ။ ဒါကြောင့် blocklist က ရှားပါးတဲ့ working memory ထဲမှာ ရှိနေစရာမလိုပါဘူး။ project က RAM 50 kilobytes ခန့် အသုံးပြုတယ်လို့ ဖော်ပြထားပါတယ်။ flash table ထဲမှာ တောင်းဆိုထားတဲ့ domain ကို ရှာဖွေပြီး ကိုက်ညီတာကို ပိတ်ဆို့ကာ ကျန်ရှိတဲ့ queries တွေကို upstream ကို လွှဲပြောင်းပေးပါတယ်။ သင့် router မှာ သတ်မှတ်ထားတဲ့ guest list ရှိတဲ့ သေးငယ်တဲ့ bouncer တစ်ခု ထည့်သွင်းနိုင်ပါတယ်။ DNS filtering က domain အဆင့်မှာ လုပ်ဆောင်ပါတယ်။

4:28 အသုံးဝင်တဲ့ content နဲ့ တူညီတဲ့ domain ကနေ ပေးပို့တဲ့ ကြော်ငြာတွေကတော့ လျှောကျနိုင်ပါတယ်။ အခြား resolver ကို အသုံးပြုတဲ့ client တွေကတော့ ကျော်လွှားနိုင်ပါတယ်။ သင့်မျှော်လင့်ချက်တွေကို board ထက် ပိုသေးအောင်ထားပါ။ ဒါကတော့ ခက်ခဲတဲ့ အရွယ်အစား ပစ်မှတ်တစ်ခုပါ။ ပြီးတော့ သင့်မှာရှိပြီးသား JPEGs တွေအကြောင်း အသေးစိတ်ကရော။

သင့်မှာရှိပြီးသား JPEGs တွေ ပြန်လာတဲ့အထဲ ပါဝင်နိုင်မလား။

4:40 JPEG XL က lossless JPEG transcoding ကို ပံ့ပိုးပေးပါတယ်။ မူရင်း JPEG ကို ပြန်လည်တည်ဆောက်နိုင်မယ့် လမ်းကြောင်းနဲ့အတူပေါ့။ ဒါက ပုံဟောင်း archive တစ်ခုကို အရည်အသွေး ဆုံးရှုံးမှု မရှိဘဲ နောက်ထပ် မျိုးဆက်တစ်ခုရဲ့ အရည်အသွေး ဆုံးရှုံးမှု မရှိဘဲ migration option တစ်ခု ပေးပါတယ်။ သိုလှောင်မှုနှင့် ပေးပို့မှု ကုန်ကျစရိတ်များကို စမ်းသပ်ပါ။ ကျွန်တော်ပြောတာ နားထောင်မယ့်အစား ဒါကို ဖတ်ချင်တယ်ဆိုရင်တော့ The Daily Diff က မနက်တိုင်း သင့် inbox ထဲကို အခမဲ့ ရောက်ရှိပါလိမ့်မယ်။ the daily diff dot dev မှာပေါ့။ လင့်ခ်က အောက်မှာပါ။

ဘာကြောင့် decoder ကို ထည့်သွင်းပြီး migration ကို စမ်းသပ်ရမှာလဲ။

4:58 ဒီတော့ ဒီနေ့ရဲ့ ဆုံးဖြတ်ချက်ကတော့ SHIP IT ပါ။ browser ပံ့ပိုးမှုက developer တွေကို တကယ့်ရွေးချယ်ခွင့် ပေးတဲ့အတွက် decoder အပိုကို ထည့်သွင်းပါမယ်။ ကျွန်တော်တို့ရဲ့ ပုံတွေမှာ migration ကို စမ်းသပ်ပါမယ်။ Subscribe လုပ်ပါ၊ ခေါင်းလောင်းလေးကို နှိပ်ပြီး သင်သာဆိုရင် ကွဲပြားစွာ တံဆိပ်တုံး ထုမလားဆိုတာ comment မှာ ပြောပြပါ။ ဒါက ဒီနေ့အတွက် diff ပါ။ ကျွန်တော်က Axrisi က Niko ပါ။ တာဝန်ယူမှုရှိစွာ ပေါင်းစည်းပါ။

ရင်းမြစ်များ

1. Shipping JPEG XL in ChromeChrome for Developers
2. JPEG XL prototype and November 2022 removal discussionChromium Blink developers
3. Contemporaneous JPEG XL deprecation commentaryFree Software Foundation
4. The case against JPEG XL — competing-encoder benchmarkGianni Rosato
5. JPEG XL FAQ and reversible JPEG transcodingJPEG XL community
6. HTML picture element and fallback selectionMDN Web Docs
7. Progressive loading demoJPEG XL community
8. Distance versus effort visualizerJPEG XL community
9. Sharing AI progress in mathematicsOpenAI
10. Mathematical manuscripts and proof artifactsOpenAI on GitHub
11. Lean formalization library build notesOpenAI on GitHub
12. ESP32-C3 hash-in-flash DNS ad blockerM-Abozaid on GitHub