MathiasEngineer's profile picture. 💻 Software Engineer
💪🏻 Gym everyday
✌🏻Would like to meet new people

Mathias Math 🇺🇸

@MathiasEngineer

💻 Software Engineer 💪🏻 Gym everyday ✌🏻Would like to meet new people

Since these past few years AI has exploded but no critical thinking has improved, how does society become so inept with mathematics? Advent of code this year no AI is ALLOWED and you must use your brain. Think first adventofcode.com/2025/about#faq… #Adventofcode


Another normalizer, bowsers are almost updating everyday, no LLM has been trained on the latest web standards because tomorrow we will have something that is new. normalize.css: a cross-browser CSS foundation csstools.github.io/normalize.css/


Everything is a feedback loop for intelligence from industrial revolution to computers to compilers to now LLMs. It's always been about focusing on higher and higher level of abstractions. 🦠🚂💻 🤖 youtube.com/watch?v=lXUZvy…

MathiasEngineer's tweet card. Andrej Karpathy — “We’re summoning ghosts, not building animals”

youtube.com

YouTube

Andrej Karpathy — “We’re summoning ghosts, not building animals”


I told people to cancel Netflix years ago why is this a surprise to anyone?


Intelligence involves creativity, depth of understanding, memory, emotional intelligence, and the ability to learn over time. Why do people think a single IQ score is relevant?


If you defer your thinking to a 🤖 you will rot.


Hiring competent engineers is hard Instead of grueling through a LeetCode problem why not review a couple PRs you're just improving readability enforce a style rather than telling what the author should do give an example of how you would code this section jyn.dev/an-engineers-p…


This proof is over 100 pages long! Fermat’s Last Theorem for any n greater than 2, no three positive naturals x, y, and z can satisfy xⁿ + yⁿ = zⁿ You can use Lean to proof mathematical proofs github.com/ImperialColleg… Lean a programming lang for math terrytao.wordpress.com/2025/05/31/a-l…


Does Stress Impact Technical Interview Performance? This is how I always felt doing a live coding interview. Do you feel the same? Live coding is a proxy for performance under stress, more accurately measuring cortisol under stress than coding skills. hadid.dev/posts/living-c…


Mathematical results can't be fully understood until their proofs are understood Proofs are not only for logical correctness a good proof must be clear. Correctness & clarity go together a well written proof is more likely to be a correct proof since mistakes are harder to hide


<3, the heart emoji aka "I love you". <4 is an intensifier? "I really love you". But the latter is weaker! x < 3 implies x < 4, but not vice versa, so x < 3 is the stronger (more informative) statement. I guess it should be <2?


Most Companies will build Ai Agents wrong 🤖 Context tokens don't scale the costs related to token usage go up exponentially 🤔 Treat AI agents not as simple input/output API dumps 📉 LLMs have 95% success. 20 conversations, drops to 36%. Production software needs to be at 99.99%


RIP Bill Atkinson you will be missed #Apple #Macintosh A true visionary <3

MathiasEngineer's tweet image. RIP Bill Atkinson you will be missed #Apple #Macintosh A true visionary &amp;lt;3

from sentence_transformers import SentenceTransformer model = SentenceTransformer('all-MiniLM-L6-v2') sentence = "Don't use cosine similarity carelessly" embedding = model.encode(sentence) p.migdal.pl/blog/2025/01/d…

p.migdal.pl

Don't use cosine similarity carelessly - Piotr Migdał

Cosine similarity - the duct tape of AI. Convenient but often misused. Let's find out how to use it better.


United States Tendências

Loading...

Something went wrong.


Something went wrong.