Wrote a post on Anthropic 's take on agents. Turns out, composition is key to their system design. Here’s my breakdown through a category theory lens. nassersala.github.io/me/blog/compos…

No test oracle for LLMs? Here's a neat trick: leverage metamorphic testing just mutate your prompts while preserving semantic equivalence. Found 75% of GPT-4's code bugs this way. The idea: if p1 ≈ p2 then f(p1) should ≈ f(p2). In simple words, try rephrasing your

Thinking in events notebooklm.google.com/notebook/17f4e…

🔥 Google DeepMind just dropped their "formal conjectures" project - formalizing statements of math's biggest unsolved mysteries in #LeanLang and #Mathlib! This Google-backed project is a HUGE step toward developing "a much richer dataset of formalized conjectures", valuable

Hands down, Functional Core Imperative Shell * (FCIS) is the best architecture pattern for building with LLMs. Pure functions are what LLMs do best. Input goes in. Output comes out. No database connections. No mocking frameworks. No async confusion. Testing is easy. Pass data

Wow, Another great application of Category Theory: "We propose that efficiency, expressiveness and reasoning can mutually support each other via structure (algebraic and categorical)" cgi.cse.unsw.edu.au/~eptcs/paper.c…

Nobel Prize Laureate Roger Penrose, Yvette Fuentes, and myself, request your help in order to save an archive of incredible scientific and historical value. Please raise awareness by *sharing*, or *contribute*: crowdfunder.co.uk/p/roger-penros…

doisinkidney.com/pdfs/hyperfunc… Beautiful!

ماشاء الله، الاخ Nasser Ali طور تطبيق لمعرفة اوقات الصلاة واتجاه القبلة في أي مكان في العالم بالاعتماد على موقع الجهاز ودون الحاجة للاتصال بالإنترنت ، ونشره مجانا جعله الله في ميزان حسناته. apps.apple.com/us/app/adan-nz…

I used Abstract Algebra to beat MLX performance! I Wrote a custom Metal kernel for MLX softmax on my M1 MacBook Air. Went from 50% to 104% of reference in 4 optimization steps. The trick: a 6 line property test that caught every bug along the way. nasser.nz/blog/how-i-bea…