# গুগলে JPEG XL ক্ৰোমলে উভতি আহিছে

Published: 2026-10-07

গুগলে পূৰ্বৰ পৰীক্ষাটো আঁতৰাই পেলোৱাৰ পিছত ক্ৰোম ১৫৫ ৰ পৰা JPEG XL ডিকোডিংৰ ঘোষণা কৰিছে। এই ৭ অক্টোবৰৰ সংস্কৰণটোত ডেভেলপাৰৰ মতামত, নতুন ৰাষ্ট ডিকোডাৰ, প্ৰতিযোগী ক্ৰম্প্ৰেছন দাবী আৰু ডিপ্লয়মেন্ট ফলবেক পৰীক্ষা কৰা হৈছে, তাৰ পিছত OpenAI-ৰ নতুনকৈ প্ৰকাশিত গাণিতিক প্ৰমাণ আৰ্টিফেক্ট আৰু ESP32-C3 DNS ছিংকহোলৰ হেছ-ইন-ফ্লেছ ডিজাইনলৈ লক্ষ্য কৰা হৈছে।

Canonical: https://thedailydiff.dev/as/video/chrome-jpeg-xl-comeback/

## এই ভিডিঅ’টোত কি আছে

- ক্ৰোমৰ ঘোষণা ২০২৬ চনৰ ৬ অক্টোবৰত প্ৰকাশ কৰা হৈছিল আৰু ক্ৰোম ১৫৫ নামটো উল্লেখ কৰা হৈছিল। ইয়াৰ দ্বাৰা প্ৰতিজন ৱেবছাইট দৰ্শকে ইতিমধ্যে এটা সমৰ্থিত সংস্কৰণ চলাই আছে বুলি প্ৰতিষ্ঠা কৰা হোৱা নাই।
- গুগলে নিৰন্তৰ ডেভেলপাৰৰ মতামত আৰু ইন্টাৰপ্ৰক্ৰিয়াৰ শ্ৰেয় দিয়ে। jxl-rs ডিকোডাৰে ৰাষ্ট আৰু অপ্টিমাইজড ভেক্টৰ অপাৰেচন ব্যৱহাৰ কৰে, আনহাতে সৰু ভ্ৰষ্ট নিৰাপদ এলেকা আৰু ব্ৰাউজাৰ ছেণ্ডবক্স থাকি যায়।
- গুগলে বিজ্ঞাপন দিয়া ৩০-৫০% ক্ৰম্প্ৰেছন উন্নতিয়ে JPEG-ক ইয়াৰ বেচলাইন হিচাপে ব্যৱহাৰ কৰে। প্ৰকৃত সঞ্চয় ছবি, এনকোডাৰ ছেটিংছ আৰু ভিজুৱেল মানদণ্ডৰ ওপৰত নিৰ্ভৰ কৰে।
- জিয়ানি ৰোছাৰ ছেপ্টেম্বৰৰ এনকোডাৰ তুলনাই ইয়াৰ পৰীক্ষা কৰা লছি-ফাইডেলিটি ৰেঞ্জত AVIF-ক সমৰ্থন কৰে। তেওঁ প্ৰতিযোগী AVIF সঁজুলি বিকশিত কৰে; তেওঁৰ ফলাফল আৰু গুগলৰ JPEG-বেচলাইন দাবীয়ে বিভিন্ন তুলনা জুখাই।
- প্ৰতিনিধিত্বমূলক ছবিসমূহত ফৰ্মেটসমূহ তুলনা কৰক আৰু সুসংগত ফলবেক ৰাখক। JPEG XL-এ বিদ্যমান JPEG ফাইলসমূহৰ উভতি অহা, লছলেছ ট্ৰেন্সকোডিংকো সমৰ্থন কৰে।
- OpenAI-এ ৭২২ খন পাণ্ডুলিপি মুকলি কৰিছিল যাক ৩৭২ টা পৰিয়ালত গোট কৰা হৈছিল, বিভিন্ন প্ৰমাণীকৰণ আৰু বহু লীন ফৰ্মেলাইজেচনৰ সৈতে। মডেলটো অপ্ৰকাশিত হৈ আছে, আৰু প্ৰো-সমতুল্য কম্পিউটৰ সংখ্যা খুচুৰা মূল্য বা সময় অতিবাহিত হোৱাৰ নিশ্চয়তা নহয়।
- ESP32-C3 সৃষ্টিকৰ্তা গৰাকীয়ে ফ্লেছত ক্ৰমবৰ্ধিত ডমেইন হেছ সংৰক্ষণ কৰি প্ৰায় ৫০ KB ৰেম ব্যৱহাৰৰ কথা জনাইছে। DNS-স্তৰৰ ব্লকিংৰ একে ডমেইন আৰু বিকল্প ৰিজল্ভাৰৰ সীমাবদ্ধতা আছে; হেছৰ সংঘৰ্ষই অতিৰিক্ত ব্লকিং কৰিব পাৰে। এই খণ্ডৰ বাবে হাৰ্ডৱেৰৰ ফলাফল স্বতন্ত্ৰভাৱে জুখা হোৱা নাছিল।

## অধ্যায়সমূহ

- 0:00 ক্ৰোমে JPEG XL কিয় ঘূৰাই আনিছে?
- 0:33 প্ৰত্যাখ্যাত ফৰ্মেটটোৱে কিয় আৰু এটা সুযোগ পালে?
- 1:01 ডিকোডাৰৰ ভিতৰত কি সলনি হ'ল?
- 1:47 সৰু ফাইলবোৰে AVIF ক হৰুৱাইছেনে?
- 2:56 OpenAI য়ে প্ৰকৃততে কি প্ৰকাশ কৰিলে?
- 4:03 দুই ডলাৰৰ এটা ব'ৰ্ডে কেনেকৈ ডমেইন ব্লক কৰে?
- 4:38 আপোনাৰ বৰ্তমানৰ JPEG বোৰ উভতি অহাটোত যোগদান কৰিব পাৰিবনে?
- 4:58 মই কিয় ডিকোডাৰটো পঠাম আৰু মাইগ্ৰেচনটো পৰীক্ষা কৰিম?

## অনূদিত ট্ৰান্সক্ৰিপ্ট

মূল ইংৰাজী বৰ্ণনাৰ পৰা অনুবাদ কৰা হৈছে। উপলব্ধ অডিঅ’ আৰু কেপচন ইউটিউবে নিয়ন্ত্ৰণ কৰে।

### ক্ৰোমে JPEG XL কিয় ঘূৰাই আনিছে?

0:00 আপুনি হয়তো ভাবে যে গুগলে JPEG XL পুতি থৈছে। ক্ৰোমে ইয়াক ঘূৰাই আনিছে, পৰীক্ষামূলক সমৰ্থন আঁতৰোৱাৰ পিছত, আৰু ৰাষ্টে ইয়াক দুৱাৰৰ মাজেৰে যাবলৈ সহায় কৰিছিল। এই ভিডিঅ'টোত, গুগলে কিয় সিদ্ধান্ত সলনি কৰিলে? আৰু আপুনি আপোনাৰ ছবিৰ পাইপলাইন সলনি কৰিব লাগিবনে? আজি বুধবাৰ, ৭ অক্টোবৰ, আৰু এইটো হৈছে The Daily Diff। এটা বিৱৰণ মনত ৰাখক। আপোনাৰ বৰ্তমানৰ JPEG বোৰৰ এই উভতি অহাত এটা বাট আছে।

0:20 মঙলবাৰে, গুগলে ক্ৰোম ১৫৫ ৰ পৰা JPEG XL ডিকোডিংৰ ঘোষণা কৰিছিল। আজি এই ঘোষণা Hacker News ত দেখা গ'ল, OpenAI ৰ গাণিতিক প্ৰমাণ ডাম্প আৰু বিজ্ঞাপনৰ ডমেইনসমূহ ব্লক কৰা দুই ডলাৰৰ ব'ৰ্ডৰ সৈতে। ক্ৰোমৰ পূৰ্বৰ পৰীক্ষাটো ২০২০০০ চনত শেষ হৈছিল।

### প্ৰত্যাখ্যাত ফৰ্মেটটোৱে কিয় আৰু এটা সুযোগ পালে?

0:35 গুগলৰ ব্যাখ্যাত পৰ্যাপ্ত ইক'চিষ্টেম আগ্ৰহৰ অভাৱ আছিল, যিটো বিৰক্তিকৰ যেতিয়া আটাইতকৈ ডাঙৰ ব্ৰাউজাৰে নিয়ন্ত্ৰণ কৰে যে ইক'চিষ্টেমে প্ৰকৃততে আপোনাৰ বস্তু ব্যৱহাৰ কৰিব পাৰে নে নোৱাৰে। নতুন প'ষ্টে নিৰন্তৰ ডেভেলপাৰৰ মতামতৰ শ্ৰেয় দিয়ে, ইন্টাৰপ প্ৰক্ৰিয়াকে ধৰি। যিসকলে এইটো বিচাৰিছিল তেওঁলোকে সোধা অব্যাহত ৰাখিছিল, আৰু গুগলে এতিয়া ব্ৰাউজাৰ পৰীক্ষাসমূহলৈ আঙুলিয়াইছে যিবোৰ ফৰ্মেটটোক নিৰন্তৰভাৱে আচৰণ কৰাবলৈ উদ্দেশ্যপ্ৰণোদিত। এই ঘোষণাত হেলমট জেনুষ্কাকে ধৰি অৱদানকাৰীসকলক শ্ৰেয় দিয়া হৈছে।

0:57 কেতিয়াবা আটাইতকৈ কাৰ্যকৰী পথ হৈছে সমস্যাটো বন্ধ কৰিবলৈ অস্বীকাৰ কৰা।

### ডিকোডাৰৰ ভিতৰত কি সলনি হ'ল?

1:01 আটাইতকৈ ডাঙৰ ইমপ্লিমেন্টেচন পৰিৱৰ্তনটো হৈছে jay ex ell R S নামৰ এটা ডিকোডাৰ, ৰাষ্টত লিখা। ছবি ডিকোডাৰবোৰে অচিনাক্ত লোকে যোগান ধৰা জটিল ফাইল গ্ৰহণ কৰে, যিটোৱে ইহঁতক দুর্ঘটনাক্রমে ইণ্টাৰনেটক বিশ্বাস কৰাৰ এক চমৎকাৰ স্থান কৰি তোলে। ৰাষ্টে মেমৰি ত্ৰুটিসমূহ ব্ৰাউজাৰৰ দুৰ্বলতা হোৱাৰ আগতে ৰোধ কৰাত সহায় কৰে। গুগলে এতিয়াও ছেণ্ডবক্স ৰাখিছে, আৰু ইমপ্লিমেন্টেচনত এতিয়াও সৰু, সাৱধানে পৰ্যালোচনা কৰা নিৰাপদ এলেকা আছে। নিৰাপত্তাই স্তৰ পায়, কাৰণ বাস্তৱতাই সদায় জোৰবোৰ বিচাৰি থাকে।

1:27 গুগলে কৈছে যে ফাজিং আৰু AI ক'ড পৰ্যালোচনায়ে এই ডিকোডাৰৰ ইতিহাসত কোনো মেমৰি সুৰক্ষা বাগ বিচাৰি পোৱা নাই। এইটো ইয়াক পঠোৱা দলটোৰ পৰা এটা উপযোগী প্ৰতিবেদন। ভৱিষ্যতৰ আক্ৰমণকাৰীসকলে ব্লগ প'ষ্টটোক বাধ্যতামূলক চুক্তি হিচাপে গ্ৰহণ কৰাৰ সম্ভাৱনা নাই। প্ৰথম প্ৰশ্নৰ উত্তৰ পোৱা গ'ল। ডেভেলপাৰৰ চাপ আৰু এটা অপ্টিমাইজড ৰাষ্ট ডিকোডাৰে দুৱাৰখন পুনৰ খুলি দিলে। গুগলে ইয়াৰ পিছত অভিযান্ত্ৰিকতাৰে এটা সিদ্ধান্ত সলনি কৰিছিল, যিটো ইণ্টাৰনেটতো অনুমোদিত। এতিয়া স্লাইড ডেক বেঞ্চমাৰ্ক।

### সৰু ফাইলবোৰে AVIF ক হৰুৱাইছেনে?

1:48 গুগলে JPEG তকৈ ত্ৰিশৰ পৰা পঞ্চাছ শতাংশ অধিক ভাল ক্ৰম্প্ৰেছনৰ বিজ্ঞাপন দিছে। সৰু ডাউনলোডবোৰে আপোনাৰ ব্যৱহাৰকাৰী আৰু বেণ্ডউইডথ বিলক সহায় কৰিব পাৰে, কিন্তু সেই পৰিসৰটো আপুনি কি এনকোড কৰে আৰু কেনেকৈ মানদণ্ড তুলনা কৰে তাৰ ওপৰত নিৰ্ভৰ কৰে। ক্ৰম্প্ৰেছন অভিযন্তা জিয়ানি ৰোছাটোৱে প্ৰকাশ কৰিছিল ছেপ্টেম্বৰৰ এটা তুলনা য'ত আধুনিক avif এনকোডাৰবোৰে তেওঁৰ পৰীক্ষা কৰা ফাইডেলিটি ৰেঞ্জত JPEG XL ক হৰুৱাইছিল। তেওঁ প্ৰতিযোগী avif সঁজুলিৰ ওপৰত কাম কৰে, গতিকে সেই উৎসাহবোৰ গ্ৰাফৰ কাষত ৰাখক। এই তুলনাবোৰে বিভিন্ন বেচলাইন ব্যৱহাৰ কৰে।

2:12 পুৰণি JPEG ক হৰুৱাটোৱে avif ক এটা ৱৰ্কলোড জয় কৰাৰ বাবে ঠাই দিয়ে। গুগলে নিজেই দুয়োটা ফৰ্মেট চেষ্টা কৰিবলৈ পৰামৰ্শ দিয়ে, যিটো এটা লঞ্চ ঘোষণাৰ বাবে অস্বাভাৱিকভাৱে ব্যৱহাৰিক পৰামৰ্শ। JPEG XL ৰ আন আকৰ্ষণবোৰৰ ভিতৰত উচ্চ গতিশীল পৰিসৰ, লছলেছ ছবি আৰু সূক্ষ্ম দানাদাৰ প্ৰগ্ৰেছিভ ডিকোডিং। সমুদায়ে ফৰ্মেটটো অন্বেষণ কৰিবলৈ ইন্টাৰেক্টিভ ডেমো প্ৰকাশ কৰে। আপোনাৰ দৰ্শকে এটা উপযোগী ছবি চাব পাৰে আনবোৰ আহি থাকোঁতে। ডিপ্লয়মেন্টৰ বাবে, এটা ফলবেক ছবি ৰাখক, আৰু আপোনাৰ গ্ৰাহকে প্ৰকৃততে ব্যৱহাৰ কৰা ব্ৰাউজাৰবোৰত সমৰ্থন পৰীক্ষা কৰক।

2:37 গ্ৰাহকে প্ৰকৃততে চলাই থকা ব্ৰাউজাৰবোৰত সমৰ্থন পৰীক্ষা কৰক। ঘোষণাত ক্ৰোম ১৫৫ ৰ নাম উল্লেখ কৰা হৈছে। এইটোৱে আপোনাক এটা লক্ষ্য সংস্কৰণ দিয়ে, আৰু আপোনাৰ এনালাইটিক্সে আপোনাৰ দৰ্শক কেতিয়া তালৈ যায় সেয়া ক'ব। দ্বিতীয় প্ৰশ্নৰ উত্তৰ পোৱা গ'ল। পাইপলাইন সলনি কৰাৰ আগতে আপোনাৰ প্ৰকৃত ছবিবোৰ পৰীক্ষা কৰক, আৰু সামঞ্জস্যৰ পথটো সংৰক্ষণ কৰক। বাইট সঞ্চয় কৰা এটা ছবি ফৰ্মেট উপযোগী। এটা মাইগ্ৰেচন যি আপোনাৰ চেকআউট বুটাম লুকুৱাই ৰাখে সেয়া নূন্যতমবাদৰ এক ব্যয়বহুল ব্যাখ্যা। ইফালে, OpenAI য়ে মঙলবাৰে গাণিতিক পাণ্ডুলিপি আৰু সহায়ক প্ৰমাণ আৰ্টিফেক্ট প্ৰকাশ কৰিছিল।

### OpenAI য়ে প্ৰকৃততে কি প্ৰকাশ কৰিলে?

3:00 প্ৰমাণ আৰ্টিফেক্ট প্ৰকাশ কৰিছিল। ৰিপজিটৰীটোত সাতশ বাইশ খন পাণ্ডুলিপি আছে, সম্পৰ্কিত পৰিয়ালত গোট কৰা হৈছে। মুখ্য শীৰ্ষক গণনাত সহযোগী যুক্তি আৰু বিকল্প প্ৰমাণ অন্তৰ্ভুক্ত আছে, সেয়েহে প্ৰতিখন কাকতে প্ৰকৃততে কি দাবী কৰে সেয়া পঢ়ক। বহুতো লীনত আনুষ্ঠানিক প্ৰমাণ আছে, যিয়ে এটা কম্পিউটাৰক গাণিতিক সিদ্ধান্তসমূহ পৰীক্ষা কৰিবলৈ দিয়ে। আনবোৰে এতিয়াও আনুষ্ঠানিকতাৰ বাবে অপেক্ষা কৰি আছে, আৰু OpenAI য়ে স্পষ্টভাৱে সতৰ্ক কৰি দিছে যে

3:21 কিছুমান অআনুষ্ঠানিক ফলাফলত সমস্যা থাকিব পাৰে। ৰিপজিটৰীটোৱে গৱেষকসকলক পৰীক্ষা আৰু প্ৰত্যাহ্বান জনোৱাৰ বাবে সামগ্ৰী দিয়ে। মডেলটো অপ্ৰকাশিত হৈ আছে। OpenAI য়ে কৈছে যে প্ৰতিটো ফলাফলে গড়ে প্ৰায় তিনি ঘন্টাৰ সমতুল্য ChatGPT Pro চিন্তন কম্পিউট ব্যৱহাৰ কৰিছিল। এইটোৱে কম্পিউটেচনাল প্ৰচেষ্টাক বৰ্ণনা কৰে। ই আপোনাক এটা ৱাল ক্লক নিশ্চয়তা বা এটা উপপাদ্য উৎপাদনৰ বাবে খুচুৰা মূল্য নিদিয়ে।

3:40 প্ৰকাশনটো এটা স্বতন্ত্ৰ গণিত উপদেষ্টা গোটৰ সৈতে পৰামৰ্শৰ পিছত আহিছে, আৰু এটা সংশোধন আৰু উদ্ধৃতি প্ৰক্ৰিয়াও অন্তৰ্ভুক্ত কৰিছে। শিক্ষাবিদসকলে হোমৱৰ্কৰ নতুন স্তূপ পায়, লগতে অধিক উপযোগীভাৱে আঙুলিয়াই দেখুওৱাৰ ক্ষমতা একদম সেই পৃষ্ঠাত যিটো ঠিক কৰিব লাগিব। লীনৰ ৰক্ষণাবেক্ষণকাৰীসকলে একেবাৰতে সৰু অংশ সংকলন কৰিবলৈ পৰামৰ্শ দিয়ে। আনকি এটা গাণিতিক অগ্ৰগতিয়েও শেষত ছফটৱেৰৰ পুৰণি শত্ৰুক লগ পায়, বিল্ড শেষ কৰা।

### দুই ডলাৰৰ এটা ব'ৰ্ডে কেনেকৈ ডমেইন ব্লক কৰে?

4:03 অৱশেষত, এটা অপেন চৰ্চ DNS বিজ্ঞাপন ব্লকাৰ এটা সৰু দুই ডলাৰৰ মাইক্ৰ'কন্ট্ৰ'লাৰ ব'ৰ্ডত চলে। সৃষ্টিকৰ্তাৰ কৌশলটো হৈছে ফ্লেছত ক্ৰমবৰ্ধিত ডমেইন হেছ সংৰক্ষণ কৰা, যাতে ব্লকলিষ্টখন বিৰল ৱৰ্কিং মেমৰীত থাকিব নালাগে। প্ৰজেক্টটোৱে প্ৰায় ৫০ কিলোবাইট ৰেম ব্যৱহাৰৰ কথা জনাইছে। ই ফ্লেছ টেবুলত এটা অনুৰোধ কৰা ডমেইন বিচাৰি উলিয়ায়, এটা মেচ ব্লক কৰে আৰু আন কোৱেৰীবোৰ ওপৰলৈ প্ৰেৰণ কৰে। আপোনাৰ ৰাউটাৰে এটা নিৰ্দিষ্ট অতিথি তালিকাৰ সৈতে এটা সৰু বাউঞ্চাৰ পাব পাৰে। DNS ফিল্টাৰিং ডমেইন স্তৰত কাম কৰে।

4:28 উপযোগী সমলৰ সৈতে একে ডমেইনৰ পৰা প্ৰচাৰিত বিজ্ঞাপনবোৰ পিচলি যাব পাৰে, আৰু আন এটা ৰিজল্ভাৰ ব্যৱহাৰ কৰা ক্লায়েন্টসকলে ইয়াক বাইপাচ কৰিব পাৰে। আপোনাৰ আকাংক্ষাবোৰ ব'ৰ্ডতকৈ সৰু ৰাখক, যিটো এটা উচ্চাকাংক্ষী আকাৰৰ লক্ষ্য। আৰু আপোনাৰ বৰ্তমানৰ JPEG বোৰৰ বিষয়ে বিশদ?

### আপোনাৰ বৰ্তমানৰ JPEG বোৰ উভতি অহাটোত যোগদান কৰিব পাৰিবনে?

4:40 JPEG XL এ লছলেছ JPEG ট্ৰেন্সকোডিং সমৰ্থন কৰে, মূল JPEG পুনৰ্নিৰ্মাণ কৰাৰ পথৰ সৈতে। এইটোৱে এটা পুৰণি ছবি আৰ্কাইভক আন এটা প্ৰজন্মৰ মানদণ্ডৰ ক্ষতি নোহোৱাকৈ মাইগ্ৰেচনৰ বিকল্প দিয়ে। মানদণ্ডৰ ক্ষতি নোহোৱাকৈ মাইগ্ৰেচনৰ বিকল্প দিয়ে। সংৰক্ষণ আৰু বিতৰণৰ বিনিময় পৰীক্ষা কৰক। যদি আপুনি মোক শুনাৰ সলনি এইটো পঢ়িব বিচাৰে, তেন্তে প্ৰতিদিনে পুৱা আপোনাৰ ইনবক্সত diff আহে, the daily diff dot dev ত বিনামূলীয়া, লিংক তলত আছে।

### মই কিয় ডিকোডাৰটো পঠাম আৰু মাইগ্ৰেচনটো পৰীক্ষা কৰিম?

4:58 গতিকে আজিৰ ৰায়, SHIP IT। মই অতিৰিক্ত ডিকোডাৰটো পঠাম কাৰণ ব্ৰাউজাৰৰ সমৰ্থনে ডেভেলপাৰসকলক এটা প্ৰকৃত পছন্দ দিয়ে, আৰু মই আমাৰ নিজৰ ছবিবোৰত মাইগ্ৰেচন পৰীক্ষা কৰিম। চাবস্ক্ৰাইব কৰক, বেল টো টিপক, আৰু আপুনি যদি ইয়াক বেলেগ ধৰণে ষ্টাম্প কৰিলেহেঁতেন তেন্তে মোক কমেণ্টত জনাওক। আৰু আজিৰ বাবে এইটোৱেই diff। মই Axrisi ৰ পৰা নিকো। দায়িত্বশীলভাৱে একত্ৰিত কৰক।

## উৎসসমূহ

- [Shipping JPEG XL in Chrome](https://developer.chrome.com/blog/jpeg-xl-in-chrome) — Chrome for Developers
- [JPEG XL prototype and November 2022 removal discussion](https://groups.google.com/a/chromium.org/g/blink-dev/c/WjCKcBw219k) — Chromium Blink developers
- [Contemporaneous JPEG XL deprecation commentary](https://www.fsf.org/blogs/community/googles-decision-to-deprecate-jpeg-xl-emphasizes-the-need-for-browser-choice-and-free-formats) — Free Software Foundation
- [The case against JPEG XL — competing-encoder benchmark](https://giannirosato.com/blog/post/case-against-jxl/) — Gianni Rosato
- [JPEG XL FAQ and reversible JPEG transcoding](https://jpegxl.info/resources/faqs.html) — JPEG XL community
- [HTML picture element and fallback selection](https://developer.mozilla.org/en-US/docs/Web/HTML/Reference/Elements/picture) — MDN Web Docs
- [Progressive loading demo](https://jpegxl.info/resources/progressive-loading-demo.html) — JPEG XL community
- [Distance versus effort visualizer](https://jpegxl.info/resources/distance-vs-effort-visualizer.html) — JPEG XL community
- [Sharing AI progress in mathematics](https://openai.com/index/sharing-ai-progress-in-mathematics/) — OpenAI
- [Mathematical manuscripts and proof artifacts](https://github.com/openai/math) — OpenAI on GitHub
- [Lean formalization library build notes](https://github.com/openai/math/blob/main/lean/README.md) — OpenAI on GitHub
- [ESP32-C3 hash-in-flash DNS ad blocker](https://github.com/M-Abozaid/esp32-c3-adblock) — M-Abozaid on GitHub