Hacker News
@hackernewslive
24.6K
subscribers
216K
links
Download Telegram
Join
Hacker News
24.6K subscribers
Hacker News
A Mechanised Cryptographic Proof of the WireGuard VPN Protocol
Article
,
Comments
hal.inria.fr
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol
WireGuard is a free and open source Virtual Private Network (VPN) that aims to replace IPsec and OpenVPN. It is based on a new cryptographic protocol derived from the Noise Protocol Framework. This paper presents the first mechanised cryptographic proof of…
2
👍
100%
0
👎
0%
Hacker News
Ask HN: Do you ask to see the codebase before taking a job?
Article,
Comments
5
👍
83%
1
👎
17%
Hacker News
How to Join a Social Network in 1998
Article
,
Comments
3
👍
100%
0
👎
0%
Hacker News
Manning refusing to testify at grand jury probing WikiLeaks
Article
,
Comments
AP NEWS
Manning refusing to testify at grand jury probing WikiLeaks
WASHINGTON (AP) — Former Army intelligence analyst Chelsea Manning says she'll refuse to testify on Thursday before a second grand jury investigating WikiLeaks. But if a judge finds her in...
2
👍
29%
5
👎
71%
Hacker News
Sweden reopens Assange rape investigation, to seek extradition
Article
,
Comments
Reuters
Sweden wants to extradite Assange over rape allegation, complicating U.S. effort to try him for conspiracy
STOCKHOLM (Reuters) - Sweden reopened an investigation into a rape allegation against WikiLeaks founder Julian Assange on Monday and will seek to extradite him from Britain, a potential setback to efforts by the United States to put him on trial over a huge…
4
👍
21%
15
👎
79%
Hacker News
Hey Google, isn't this black-hat SEO?
Article
,
Comments
Serendipz Marketing
Hey Google, isn't this black-hat SEO? | Serendipz Marketing
We are an honest SEO agency. During our compeititor analysis we found some agencies getting away with black-hat SEO techniques.
1
👍
100%
0
👎
0%
Hacker News
Carl Malamud accused of ‘terrorism’ for putting legal materials online
Article
,
Comments
NY Times
Accused of ‘Terrorism’ for Putting Legal Materials Online (Published 2019)
After Carl Malamud posted Georgia’s annotated laws, the state sued for copyright infringement. Both sides have asked the Supreme Court to step in.
4
👍
80%
1
👎
20%
Hacker News
The Cost of Fixing Things
Article
,
Comments
Accidentally in Code
The Cost of Fixing Things
Fall in Bruges In September, I disappeared in Seoul and caused everyone who cares about me to think I was having some kind of breakdown. I deactivated my Twitter account, and refused to engage with…
0
👍
0%
1
👎
100%
Hacker News
Show HN: Web Components for Dynamic Scripture References
Article
,
Comments
👍
👎
Hacker News
Amazon rolls out machines that pack orders and replace jobs
Article
,
Comments
U.S.
Exclusive: Amazon rolls out machines that pack orders and replace jobs
SAN FRANCISCO (Reuters) - Amazon.com Inc is rolling out machines to automate a job held by thousands of its workers: boxing up customer orders.
7
👍
78%
2
👎
22%
Hacker News
NetHack 3.6.2
Article
,
Comments
2
👍
100%
0
👎
0%
Hacker News
Apple Inc vs. Pepper et al. [pdf]
Article
,
Comments
0
👍
0%
1
👎
100%
Hacker News
Mariana Trench: Deepest-ever sub dive finds plastic bag
Article
,
Comments
BBC News
Mariana Trench: Deepest-ever sub dive finds plastic bag
An American explorer finds plastic waste on the seafloor while breaking the record for the deepest ever dive.
9
👍
100%
0
👎
0%
Hacker News
Fun with Snapchat's Gender Swapping Filter
Article
,
Comments
Evjang
Fun with Snapchat's Gender Swapping Filter
Snapchat's new gender-bending filter is a source of endless fun and laughs at parties. The results are very pleasing to look at. As someone ...
3
👍
20%
12
👎
80%
Hacker News
Supreme Court Rules Against Apple in App Store Antitrust Case
Article
,
Comments
CNBC
Supreme Court deals Apple major setback in App Store antitrust case
The Supreme Court, ruling 5-4, allows iPhone users to pursue their antitrust lawsuit against Apple in a case involving its signature electronic marketplace, the App Store.
13
👍
100%
0
👎
0%
Hacker News
Show HN: Atlas – Interactively Visualizing the Loss Landscape of Neural Nets
Article
,
Comments
👍
👎
Hacker News
Fortnite is free, but kids are getting bullied into spending money
Article
,
Comments
Polygon
Fortnite is free, but kids are getting bullied into spending money
The stigma of being a default
4
👍
31%
9
👎
69%
Hacker News
Audit suggests Google favors a small number of major news outlets
Article
,
Comments
Columbia Journalism Review
Audit suggests Google favors a small number of major outlets
In the last week of April, nearly 23 percent of all traffic to news sites tracked by web analytics firm Parse.ly came from search engines. Google alone accounts for nearly half of external referral traffic—traffic, that is, that comes from platforms, apps…
3
👍
100%
0
👎
0%
Hacker News
Show HN: Janetsh – A new system shell
Article
,
Comments
GitHub
GitHub - andrewchambers/janetsh: A powerful new shell that uses the janet programming language for both the implementation and…
A powerful new shell that uses the janet programming language for both the implementation and repl. - andrewchambers/janetsh
2
👍
40%
3
👎
60%
Hacker News
U.S. Farmers Are Being Bled by the Tractor Monopoly
Article
,
Comments
3
👍
100%
0
👎
0%
Hacker News
Uber’s underwater investors
Article
,
Comments
Axios
By the numbers: Uber's massive IPO sinks investors
A whopping 81% of the $29.55 billion in equity that Uber has raised is underwater.
1
👍
33%
2
👎
67%
TWeb.init({scrollToPost:'hackernewslive/51576'});