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
186
8 November 2023
Llemma: An Open Language Model For Mathematics
In The News
in-the-news
,
via-lobsters
,
mathematics
0
373
18 October 2023
The Mathematics of Training LLMs
In The News
in-the-news
,
via-hacker-news
,
mathematics
,
training
0
264
17 August 2023
Unexpected link between pure mathematics and genetics
In The News
in-the-news
,
via-hacker-news
,
mathematics
0
235
7 August 2023
A Programmer's Introduction to Mathematics
In The News
via-hacker-news
,
mathematics
3
329
29 June 2023
Domain-Specific Languages of Mathematics
In The News
languages
,
in-the-news
,
via-hacker-news
,
mathematics
1
314
8 May 2023
The Mathematics of Crowds: How Pedestrians Inadvertently Self-Organize
In The News
in-the-news
,
via-hacker-news
,
mathematics
1
350
13 March 2023
The biggest project in modern mathematics
In The News
project
,
video
,
in-the-news
,
via-hacker-news
,
mathematics
1
488
14 June 2022
The Mathematics of Artificial Intelligence (2022)
In The News
in-the-news
,
via-hacker-news
,
mathematics
1
482
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
583
11 December 2021
DeepMind’s AI helps untangle the mathematics of knots
In The News
in-the-news
,
via-hacker-news
,
deepmind
,
mathematics
1
584
11 December 2021
A Programmer’s Introduction to Mathematics
In The News
in-the-news
,
via-hacker-news
,
mathematics
1
512
24 August 2021
The Modern Mathematics of Deep Learning
Data Science Forum
in-the-news
,
learning
,
via-hacker-news
,
pdf
,
mathematics
1
979
14 June 2021
Do we really need maths for programming?
General Dev Chat
discussion
,
math
,
opinions
,
mathematics
,
maths
5
765
2 June 2021
Formalising Mathematics: An Introduction
In The News
in-the-news
,
via-hacker-news
,
mathematics
1
572
22 February 2021