Enter Our Giveaways
PragProg Errata
Devtalk
mathematics
Topic
Replies
Views
Activity
Formalising modern research mathematics in real time
In The News
in-the-news
,
via-hacker-news
,
mathematics
0
134
8 November 2023
Llemma: An Open Language Model For Mathematics
In The News
in-the-news
,
via-lobsters
,
mathematics
0
288
18 October 2023
The Mathematics of Training LLMs
In The News
in-the-news
,
via-hacker-news
,
mathematics
,
training
0
205
17 August 2023
Unexpected link between pure mathematics and genetics
In The News
in-the-news
,
via-hacker-news
,
mathematics
0
179
7 August 2023
A Programmer's Introduction to Mathematics
In The News
via-hacker-news
,
mathematics
3
280
29 June 2023
Domain-Specific Languages of Mathematics
In The News
languages
,
in-the-news
,
via-hacker-news
,
mathematics
1
252
8 May 2023
The Mathematics of Crowds: How Pedestrians Inadvertently Self-Organize
In The News
in-the-news
,
via-hacker-news
,
mathematics
1
296
13 March 2023
The biggest project in modern mathematics
In The News
project
,
video
,
in-the-news
,
via-hacker-news
,
mathematics
1
422
14 June 2022
The Mathematics of Artificial Intelligence (2022)
In The News
in-the-news
,
via-hacker-news
,
mathematics
1
445
12 April 2022
AI Is Discovering Patterns in Pure Mathematics That Have Never Been Seen Before
In The News
in-the-news
,
via-hacker-news
,
mathematics
1
520
11 December 2021
DeepMind’s AI helps untangle the mathematics of knots
In The News
in-the-news
,
via-hacker-news
,
deepmind
,
mathematics
1
529
11 December 2021
A Programmer’s Introduction to Mathematics
In The News
in-the-news
,
via-hacker-news
,
mathematics
1
471
24 August 2021
The Modern Mathematics of Deep Learning
Data Science Forum
in-the-news
,
learning
,
via-hacker-news
,
pdf
,
mathematics
1
881
14 June 2021
Do we really need maths for programming?
General Dev Chat
discussion
,
math
,
opinions
,
mathematics
,
maths
5
701
2 June 2021
Formalising Mathematics: An Introduction
In The News
in-the-news
,
via-hacker-news
,
mathematics
1
535
22 February 2021