2025-06-12

Proton VPN review 2025: A nonprofit service with premium performance

Proton VPN stands out for two main reasons: it's one of the only virtual private networks (VPNs) to include a free plan with no data limits, and it's one of the few services majority-owned b [...]

2025-05-30

ExpressVPN review 2025: Fast speeds and a low learning curve

ExpressVPN is good at its job. It's easy to be skeptical of any service with a knack for self-promotion, but don't let ExpressVPN's hype distract you from the fact that it keeps its fro [...]

2025-06-27

NordVPN Review 2025: Innovative features, a few missteps

When we say that NordVPN is a good VPN that's not quite great, it's important to put that in perspective. Building a good VPN is hard, as evidenced by all the shovelware VPNs flooding the ma [...]

2025-07-26

Surfshark VPN review: A fast VPN for casual users

Surfshark is one of the youngest major VPNs, but it's grown rapidly over the last seven years. Since 2018, it's expanded its network to 100 countries, added a suite of apps to its Surfshark [...]

2025-12-09

Tracking every decision, dollar and delay: The new process intelligence engine driving public-sector progress

Presented by CelonisThe State of Oklahoma discovered its blind spots the hard way. In April 2023, a legislative report revealed its agencies had spent $3 billion without proper oversight. Janet Morrow [...]

2025-04-03

Bridging the AI Agent Gap: Implementation Realities Across the Autonomy Spectrum

Recent survey data from 1,250+ development teams reveals a striking reality: 55.2% plan to build more complex agentic workflows this year, yet only 25.1% have successfully deployed AI applications to [...]

2025-12-10

OpenAI report reveals a 6x productivity gap between AI power users and everyone else

The tools are available to everyone. The subscription is company-wide. The training sessions have been held. And yet, in offices from Wall Street to Silicon Valley, a stark divide is opening between w [...]

2025-05-09

DeepSeek-Prover-V2: Bridging the Gap Between Informal and Formal Mathematical Reasoning

While DeepSeek-R1 has significantly advanced AI’s capabilities in informal reasoning, formal mathematical reasoning has remained a challenging task for AI. This is primarily because producing verifi [...]

2025-07-17

Trump's defunding of NASA would be catastrophic

"This is probably the most uncertain future NASA has faced, maybe since the end of Apollo," Casey Dreier tells me over the phone. Dreier is the chief of space policy at The Planetary Society [...]