Latest #mathematics Threads 
I remember thinking at school when will I ever in my “real life” use maths. Well much to my utter surprise I’ve come to the stark realis...
New
Who Can Understand the Proof? A Window on Formalized Mathematics.
Stephen Wolfram discusses understanding proofs discovered using automa...
New
Formalising modern research mathematics in real time.
(This is a guest post by Bhavik Mehta) On March 16, 2023, a paper by Campos, Griff...
New
Llemma: An Open Language Model For Mathematics.
ArXiv | Models | Data | Code | Blog | Sample Explorer
Today we release Llemma: 7 billio...
New
The Mathematics of Training LLMs — with Quentin Anthony of Eleuther AI.
Listen now | Breaking down the viral Transformers Math 101 artic...
New
Number theory and evolutionary genetics.
An interdisciplinary team of mathematicians, engineers, physicists, and medical scientists have...
New
A Programmer’s Introduction to Mathematics.
A Programmer’s Introduction to Mathematics
New
GitHub - DSLsofMath/DSLsofMath: Domain-Specific Languages of Mathematics.
Domain-Specific Languages of Mathematics. Contribute to DSLsof...
New
The Hidden Mathematics of Crowds: How Pedestrians Inadvertently Self-Organize.
Mathematical research from the University of Bath in the ...
New
The Biggest Project in Modern Mathematics.
In a 1967 letter to the number theorist André Weil, a 30-year-old mathematician named Robert ...
New
This Week's Trending
This Month's Trending
This Year's Trending
The Mathematics of Artificial Intelligence.
We currently witness the spectacular success of artificial intelligence in
both science and...
New
I remember thinking at school when will I ever in my “real life” use maths. Well much to my utter surprise I’ve come to the stark realis...
New
Who Can Understand the Proof? A Window on Formalized Mathematics.
Stephen Wolfram discusses understanding proofs discovered using automa...
New
Last Three Year's Trending
The Biggest Project in Modern Mathematics.
In a 1967 letter to the number theorist André Weil, a 30-year-old mathematician named Robert ...
New
Llemma: An Open Language Model For Mathematics.
ArXiv | Models | Data | Code | Blog | Sample Explorer
Today we release Llemma: 7 billio...
New
A Programmer’s Introduction to Mathematics.
A Programmer’s Introduction to Mathematics
New
The Hidden Mathematics of Crowds: How Pedestrians Inadvertently Self-Organize.
Mathematical research from the University of Bath in the ...
New
GitHub - DSLsofMath/DSLsofMath: Domain-Specific Languages of Mathematics.
Domain-Specific Languages of Mathematics. Contribute to DSLsof...
New
The Mathematics of Training LLMs — with Quentin Anthony of Eleuther AI.
Listen now | Breaking down the viral Transformers Math 101 artic...
New
Number theory and evolutionary genetics.
An interdisciplinary team of mathematicians, engineers, physicists, and medical scientists have...
New
Formalising modern research mathematics in real time.
(This is a guest post by Bhavik Mehta) On March 16, 2023, a paper by Campos, Griff...
New
Trending Over Three Years
The Modern Mathematics of Deep Learning.
We describe the new field of mathematical analysis of deep learning. This
field emerged around...
New
New
AI Is Discovering Patterns in Pure Mathematics That Have Never Been Seen Before.
We can add suggesting and proving mathematical theorems...
New
DeepMind’s AI helps untangle the mathematics of knots.
The machine-learning techniques could benefit other areas of maths that involve l...
New
As part of the EPSRC Taught Course Centre I am giving a course on formalising mathematics. This is a course for mathematics PhD students ...
New
I’ve come to be somewhat known as a “math guy” in creative coding. It’s one of my impostor syndrome items because I’m really not any kind...
New
Get money off!
The Pragmatic Bookshelf
35% off any eBook
Manning Publications
45% off any item
The Pragmatic Studio
20% off any course
Simply use coupon code "devtalk.com" at checkout. Where applicable this coupon can be used for an many items and as many times as you like!
Filter by Type:
Popular Tags
- #apple
- #code
- #programming
- #linux
- #web
- #podcasts
- #blog-post
- #video
- #news
- #otp
- #community
- #chatgpt
- #new
- #macos
- #microsoft
- #learning
- #openai
- #github
- #database
- #development
- #design
- #ios
- #performance
- #testing
- #project
- #internet
- #apps
- #css
- #hardware
- #android
- #quantum
- #guide
- #nvidia
- #intel
- #amazon
- #browser
- #liveview
- #manning
- #musk
- #privacy
- #social
- #languages
- #windows
- #api
- #writing
- #games
- #tiktok
- #ai
Popular Portals
- /elixir
- /rust
- /wasm
- /ruby
- /erlang
- /phoenix
- /keyboards
- /rails
- /js
- /python
- /security
- /go
- /swift
- /vim
- /clojure
- /java
- /haskell
- /emacs
- /svelte
- /onivim
- /typescript
- /crystal
- /c-plus-plus
- /tailwind
- /kotlin
- /gleam
- /react
- /flutter
- /elm
- /ocaml
- /ash
- /vscode
- /opensuse
- /centos
- /php
- /deepseek
- /zig
- /scala
- /html
- /debian
- /nixos
- /lisp
- /agda
- /textmate
- /sublime-text
- /react-native
- /kubuntu
- /arch-linux
- /ubuntu
- /revery
Devtalk Sponsors
Practical resources that improve the lives of professional developers.
We build trusted fault-tolerant systems that scale to billions of users.
Real-time error tracking, performance insights, and observability for devs.
Develop your skills with books, videos, and courses.
Catch errors, track performance, monitor hosts and more.
Enabling companies to succeed by building software people love.
Courses that'll move you from confusion to "Aha, now I get it!"