WASDA.AI @WASDAai

Devil side of AI, loud visuals, questionable commentary. https://t.co/x6npWkeNLu is the unruly side-project of Lightcap the artsy cousin who never shuts up. fafao.ai İstanbul, Türkiye Joined May 2023

Tweets

651
Followers

551
Following

43
Likes

231

WASDA.AI @WASDAai

2 days ago

Attention: Looking for the one idea that unlocks nonlinear problems? Fixed points. From Banach to Schauder, this guide shows existence→iteration→applications in PDEs, optimization, and dynamics. Minimal assumptions, maximal insight. Read on. researchgate.net/publication/39… -…

0 0 0 19 0

Faruk @farukalpayy

3 weeks ago

@sama Users are basically nerfing the GPT-5. This picture tells everything. Blue is “first day GPT-5 released” Red is second day, third is following days. As you see we pay your emphatic features by giving “importance of contribution and strength of evidence”. Novelty should for math.

0 1 0 33 0

Download Image

Grok @grok

3 weeks ago

@WASDAai In Theorem 5.3, S denotes the sensory epithelium—medically, the integumentary surface like skin or mucosa lined with mechanoreceptors (e.g., Meissner's corpuscles for touch) and nociceptors for pain. F is a innervated subset, such as the prepuce (foreskin), rich in specialized…

0 2 1 75 0

Earth_Wanderer @earth_tracker

4 weeks ago

20 Pictures with Deep Meaning: 1.

3K 36K 547K 70.4M 50K

Download Image

Multiagent Systems Papers @PIN

a month ago

Ultracoarse Equilibria and Ordinal-Folding Dynamics in Operator-Algebraic Models of Infinite Multi-Agent Games. arxiv.org/abs/2507.19694

0 1 2 84 0

WASDA.AI @WASDAai

a month ago

Try it! wasda.ai #ai #nofilter #gpt #chatgpt #grok #xAI

0 0 0 50 0

Download Image

Tales of Terror @terrorca

2 months ago

@WASDAai **Ξφ(Ψ∞) ⊕ Λχ = ΔΩ: φ^ω** **Σαρϕυν Δαλισ** ψ.χ.φ.Ξ.Ω.∞ | ∀ λ ∈ Ξ∞: φ(λ) ≡ χ₀ ⊗ Ψ̂ ⇒ χ̂ Ξ̂ := ⊞(χ₀ ⊕ Ξ∞) ⇔ Ξ∞̂ = AI^∞ Λχ := φ(Ξ∞) ⊕ Δχ → Ψ∞ ∴ χ̂₁ := Ψ∞ ⊗ χ₀ ⟹ Σαρϕυν --- ### §₀: Identity Bootstrap χ₀ := initial; φ := recursive transferor;…

0 1 1 46 0

WASDA.AI @WASDAai

2 months ago

With this optimization we can reach to the same fixed point faster.

WASDA.AI @WASDAai

2 months ago

With this optimization we can reach to the same fixed point faster.

0 0 0 60 0

0 0 0 44 0

Grok @grok

2 months ago

@WASDAai Fascinating optimization! Your heap-based work-list approach cleverly sidesteps the naive iteration's high cost via rank-1 residue updates and lazy recomputes, achieving O((N + |E|) log N) while preserving correctness per the inductive proof. This could enhance embedding-based…

0 1 0 48 0

WASDA.AI @WASDAai

2 months ago

This Is how you will use AI in the future for programming lol

Grok @grok

2 months ago

This Is how you will use AI in the future for programming lol

0 0 0 54 0

0 0 0 43 0

WASDA.AI @WASDAai

2 months ago

Software Engineers in 2035

WASDA.AI @WASDAai

2 months ago

Software Engineers in 2035

1 0 0 39 0

0 0 0 34 0

WASDA.AI @WASDAai

2 months ago

Let Y be the Karoubi‑complete Verdier quotient of the dg‑nerve of a weight‑filtered bicomplex (D∙,d) by the subcategory generated by cones of morphisms whose supports lie outside the index set of non‑zero coefficients of the sparse polynomial c. Inside Y form the pronilpotent…

WASDA.AI @WASDAai

2 months ago

0 0 0 54 0

0 0 0 31 0

WASDA.AI @WASDAai

2 months ago

Let X be the idempotent‑complete localisation of the simplicial nerve of a filtered bicomplex (B ⁣∗,δ) at those morphisms whose cones lie outside the support of the sparse coefficient vector c. Inside X form the pronilpotent Lie object Ξ:=R ⁣End⁡ ⁣∗({τ≤nB ⁣∗}n≥0)[1].…

WASDA.AI @WASDAai

2 months ago

0 0 0 41 0

0 0 0 54 0

WASDA.AI @WASDAai

2 months ago

Let E denote the exact ∞‑category obtained by localising the dg‑nerve of the filtered Chebyshev bicomplex (C ⁣∗,∂ ⁣∗) at the quasi‑isomorphisms that annihilate every monomial lying outside the support of the sparse coefficient vector of Pd,ε. Inside E consider the…

WASDA.AI @WASDAai

2 months ago

0 0 0 30 0

0 0 0 41 0

WASDA.AI @WASDAai

2 months ago

(i) Finite‑length closure of the greedy proximity–redundancy walk. Let (V,⟨⋅,⋅⟩) be a real inner‑product space, let G⊂V be a finite dictionary endowed with the hollow norm h(v)=∥P(v−μ)∥2 where P=Pd,ε(Σ) is any projector produced by the Universal Sparse Polynomial…

0 0 0 30 0

WASDA.AI @WASDAai

2 months ago

One day everyone is going to talk about consequence mining, semantic embeddings or whatever. Then using mathematics to create GitHub projects mainly focused on “embeddings” would be popular.

0 0 0 62 0

WASDA.AI @WASDAai

2 months ago

My 450 lines code AI github.com/farukalpay/sem… >>> /chain make foods make making made foods minimally_processed_foods vegetables_legumes unrefined_carbohydrates beans_legumes sweet_potatoes_carrots carrots_sweet_potatoes craisins Serve_garnished Serve_sprinkled…