Hacker News
@hackernewslive
24.8K
subscribers
217K
links
Download Telegram
Join
Hacker News
24.8K subscribers
Hacker News
The Z3 Theorem Prover
Article
,
Comments
GitHub
GitHub - Z3Prover/z3: The Z3 Theorem Prover
The Z3 Theorem Prover. Contribute to Z3Prover/z3 development by creating an account on GitHub.
1
👍
100%
0
👎
0%
Hacker News
Storm ditches Clojure in favor of Java in its core
Article
,
Comments
3
👍
38%
5
👎
63%
Hacker News
A smartphone app that can hear ear infections in children
Article
,
Comments
UW News
First smartphone app that can hear ear infections in children
Researchers at the UW have created a new smartphone app that can detect fluid behind the eardrum by simply using a piece of paper and the phone's microphone and speaker.
2
👍
100%
0
👎
0%
Hacker News
Google Just Gave 2B Chrome Users a Reason to Switch to Firefox
Article
,
Comments
Forbes
Google Just Gave 2 Billion Chrome Users A Reason To Switch To Firefox
Google has confirmed plans to restrict ad blockers, despite complaints. Here’s what you need to know
29
👍
100%
0
👎
0%
Hacker News
Tenure-Based Ownership – A distributed equity model for worker ownership
Article
,
Comments
Ianmobbs
Tenure-Based Ownership - A distributed equity model for worker ownership
How can we give workers ownership of their company fairly?
0
👍
0%
1
👎
100%
Hacker News
Cloudflare Workers
Article
,
Comments
Cloudflare
Cloudflare Workers
Welcome to the Cloudflare Dev Platform - Powering the next generation of applications
1
👍
13%
7
👎
88%
Hacker News
Perl 6's given: switch on steroids
Article
,
Comments
Blogspot
Perl 6's given (switch on steroids)
Sometimes the best features of Perl — and even more so of Perl 6 — are found by asking yourself, “I wonder if this’ll work?” and then findin...
0
👍
0%
2
👎
100%
Hacker News
A Peer to Peer Voting Algorithm [pdf]
Article
,
Comments
5
👍
83%
1
👎
17%
Hacker News
India heatwave temperatures pass 50 Celsius
Article
,
Comments
phys.org
India heatwave temperatures pass 50 Celsius
Temperatures passed 50 degrees Celsius (122 Fahrenheit) in northern India as an unrelenting heatwave triggered warnings of water shortages and heatstroke.
9
👍
100%
0
👎
0%
Hacker News
A home microhydro plant (2009)
Article
,
Comments
ludens.cl
The microhydro plant
setting up camp on my new property
👍
👎
Hacker News
Los Angeles – scenes from the collapse of a city that’s lost control
Article
,
Comments
Los Angeles Times
Column: Rats at the police station, filth on L.A. streets — scenes from the collapse of a city that’s lost control
The good news is that two trash-strewn downtown Los Angeles streets I wrote about last week were cleaned up by city work crews and have been kept that way, as of this writing.
2
👍
100%
0
👎
0%
Hacker News
US 'extreme vetting' kicks in forcing visitors to hand over social media details
Article
,
Comments
Newshub
US 'extreme vetting' kicks in, forcing visitors to hand over social media details
'Extreme vetting' has just kicked in for visitors to the US.
2
👍
25%
6
👎
75%
Hacker News
Huawei has reportedly stopped its smartphone production after US blacklist
Article
,
Comments
Business Insider
Huawei has reportedly stopped several smartphone production lines after US blacklist amid trade war
Huawei is reportedly stopping some smartphone production lines to "reassess" its target to become the world's top smartphone vendor by end of 2020.
3
👍
100%
0
👎
0%
Hacker News
The Integrative Human Microbiome Project
Article
,
Comments
Nature
The Integrative Human Microbiome Project
Nature - Over ten years, the Human Microbiome Project has provided resources for studying the microbiome and its relationship to disease; this Perspective summarizes the key achievements and...
👍
👎
Hacker News
Functional JavaScript: How to Use Array Reduce for More Than Just Numbers
Article
,
Comments
Jrsinclair
Functional JavaScript: How to use array reduce for more than just numbers
The array reduce method is really powerful. But people often run into trouble as soon as they step beyond the basic examples. Simple things like addition and multiplication are fine. But as soon as you try it with something more complicated, it breaks. Using…
0
👍
0%
3
👎
100%
Hacker News
The Human Antivenom Project
Article
,
Comments
Outside Online
The Human Antivenom Project
Since 2000, Tim Friede, a truck mechanic from Wisconsin, has endured some 200 snakebites and 700 injections of lethal snake venom—all part of a masochistic quest to immunize his body and offer his blood to scientists seeking a universal antivenom. For nearly…
6
👍
100%
0
👎
0%
Hacker News
Evidence of nocebo response following nationwide antidepressant drug switch
Article
,
Comments
Clinical Psychology in Europe
Evidence of a Media-Induced Nocebo Response Following a Nationwide Antidepressant Drug Switch
Background: In 2017, patients on a generic or branded antidepressant venlafaxine were switched to a new generic formulation (Enlafax). In February and April 2018, two major NZ media outlets
ran stories about the new generic being less effective and…
👍
👎
Hacker News
Google’s Dominance Is No Longer a Sure Thing
Article
,
Comments
WSJ
Google’s Dominance Is No Longer a Sure Thing
Crackdown from regulators comes just as the internet giant’s vulnerability is showing up on its own.
11
👍
92%
1
👎
8%
Hacker News
The Startup Party Is Over
Article
,
Comments
2
👍
40%
3
👎
60%
Hacker News
Hand Skills – Doctors of Sewing Needed
Article
,
Comments
Blogspot
Hand Skills - Doctors of Sewing Needed
I found this article on the front page of the New York Times today and it is funny as I had been planning on writing this myself whenever...
3
👍
100%
0
👎
0%
Hacker News
No Brainer (2015)
Article
,
Comments
1
👍
100%
0
👎
0%
TWeb.init({scrollToPost:'hackernewslive/52933'});