Tech
Google DeepMind just mathematically verified key parts of Signal
Live
- Newsrooms
- 5
- Last 3 hours
- 1 report
- Momentum
- Steady
Reports per hour, last 24 hours
Against the past week
More newsrooms than 85% of the past week’s 3730 stories, and number 27 of 286 in Tech.
1The four-week project hints that AI could make formal verification far more practical.
In Ars Technica’s words.2
The story so far
5 newsrooms- Reports
- 5
- Newsrooms and sources
- 5
- Last 3 hours
- 1
First with it: The Register, 39 min before anyone else.
Reported by 5 newsrooms.
The numbers behind it
How it spread, where it’s heading and where the coverage is from
Reports a day, last 7 days
| Day | Stories |
|---|---|
| Thu | 0 |
| Fri | 0 |
| Sat | 0 |
| Sun | 0 |
| Mon | 0 |
| Tue | 2 |
| Today | 3 |
Where the coverage is from
How it spread
Newsrooms reporting it, each counted at its first report.
- Newsrooms
- 5
- Over
- 1.1 days
- To three newsrooms
- 4.5 hr
| Time | Newsroom | Total |
|---|---|---|
| 11:00pm AEDT | The Register | 1 |
| 11:39pm AEDT | 9to5Mac | 2 |
| 3:31am AEDT | ZDNET | 3 |
| 4:11am AEDT | The Decoder | 4 |
| 1:08am AEDT | Ars Technica | 5 |
The Register
9to5Mac
ZDNET
The Decoder
Ars Technica