🍉

Math | Programming

[Theo - t3.gg @theo]

Rewriting Bun in Rust: 6 days

Writing a blog post about it: 2+ weeks

[• @Al__Quraan]

Life gets easier when we realize it is;

من الله والله والله

“From Allah, For Allah and To Allah”

[Gopal @MYasfika]

Loh he forecast Rupiahnya di bulan agustus 2026 kok udah di RP 18.000an wehh, Tweet 2024 loh ini.

[🍉 @zencilencer]

@JLarky if we talk about Laravel it is about ecosystem not just one framework anymore, it more like companies with bigger things inside.. then why, no one (until i know rn) can closest with "taste" like laravel..

[Gogo | Dota for Toxicity @lwastuargo]

Hasil diskusi sama temen: di Indo banyak pengangguran. Tapi pas hiring admin gudang (dengan gaji 2x UMR), nyarinya butuh 2 bulan

Bertanya dengan lemah lembut untuk mencari solusi: sebenernya apa gapnya sih?
- emang skill issue?
- ekspetasi gajinya jauh antara pemberi dan pencari kerja? Kebanyakan nonton TikTok dan segala bacot2an “bare minimum”
- attitude kureng? (both pemberi dan pencari kerja)
- title kurang ajib?
- hal lain? Pressure keluarga?

[🍉 @zencilencer]

:(

[🍉 @zencilencer]

@junwatu it is how erlang concurency with BEAM works..

[Kiyan Abhinaya Azkalif | Si Paling Wibu dan Math @yourmathsphere]

#TauGakSih

Pada "nomor" 4 digit, ada bilangan yang bisa menjadi pusat perhatian dari seluruh bilangan 0001-9998(tidak termasuk 0000,1111,2222, dan seterusnya)

Caranya mudah! Ambil sembarang bilangan yang setidaknya ada 2 digit berbeda.

Saya ingin ambil : 2005

Lakukan operasi pengurangan, dengan "digit terbesar ke terkecil" dikurangi "digit terkecil ke terbesar"

Kalau 2005, bisa kayak gini :
5200 - 0025 = 5175
7551 - 1557 = 5994
9954 - 4599 = 5355
5553 - 3555 = 1998
9981 - 1899 = 8082
8820 - 0288 = 8532
8532 - 2358 = 6174

Jika kamu menggunakan nomor dengan 4 digit lain, hasil akhirnya akan sama saja berujung pada 6174.

Ini namanya "Konstanta Kaprekar", sihir ajaib ala Matematika.

[Chris Mellor @cmellor]

https://t.co/me4ZvAM7Ji

[🍉 @zencilencer]

@putupurema KDE versi berapa bang? 5 atau 6?

[Luca @lucaxyzz]

To support Indonesia's 19 million jobs program, https://t.co/kXl4sNqiLE (https://t.co/W9XHwUZBXk) is giving away 190 million Qwen 3.5 Plus LLM tokens — completely FREE 🚀

Qwen 3.5 Plus is Alibaba's 397B-parameter AI flagship — ranked #8 globally on AI Benchy, beating GPT-5.4, Claude Sonnet 4.6, and Claude Opus 4.6.

✅ 1M token context window
✅ Vision & multimodal
✅ OpenAI-compatible API

Request your free tokens here:
https://t.co/HplkOFiYqU (https://t.co/xdMeJwVcmJ)

Already using OpenClaw? Connect in 30 seconds:
https://t.co/SfHf08bzbN

[𝙰𝚛𝚢 𝙷𝙷 @AryHHAry]

Saya menyusun ebook ini 2 tahun lalu.. pernah saya bagikan dan kali ini saya post ulang.

Gratis.
Boleh dibagikan.
Tapi jgn dijual ya.. 😀😀

Kalau ingin mendalami, saya sertakan referensi di bagian akhir.

Kalau ingin diskusi atau bertanya, saya terbuka.

Link di komentar 👇

[🍉 @zencilencer]

@jskalc Is it livevue can be used for existing project?

[🍉 @zencilencer]

Why i'd love so much this classical music..

[Jon Hernandez @JonhernandezIA]

📁 Terence Tao, Fields Medal winner, says AI can already generate many mathematical proofs.

The real bottleneck is verification.

Creating ideas is becoming cheap.

Knowing which ones are truly correct is still human work.

[Thang Luong @lmthang]

“Mathematics is undergoing the biggest change in its history.”

Glad to see our math agent #Aletheia featured by @newscientist on its results at the FirstProof inaugural challenge, alongside other interesting milestones in AI for Math research! Implications worth thinking about. Link in thread.

[Adam Kirk @atomkirk]

I was doing my @elixirphoenix Liveviews like this (image 1), where I load everything from the db and then put in assigns.

My app didn't feel like a SPA but I couldn't put my finger on why. Then I realized why. When you do it this way, you click on a page and see the topbar.js loading progress bar, and then once everything is ready it navigates to the page.

Then, I moved all db/expensive calls into a little wrapper/helper around assign_async/3 (image 2) and display it with a `<.result` helper (image 3 & 4)

Now, when I click on a link, it instantly goes to the page and I see the loading animation on that new page for all the content that is loading, much more like how a SPA does.

I make sure never to touch to db outside of an async and now the app feels soooo much better.

[Fede’s intern 🥊 @fede_intern]

Formal verification and AI will transform thousands of engineers into mathematicians.

Let's go @leanprover. Lean will be huge.

[Rohan Paul @rohanpaul_ai]

Terence Tao just released a new video on his YT channel
"Formalizing (Math) proof in Lean using Claude Code"

AI is making a massive leap into the highest levels of professional mathematics

---

youtube. com/watch?v=JHEO7cplfk8