HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
721.
▲
CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf]
cl.cam.ac.uk
discuss
4 years ago
smasher164
2 points
722.
▲
Catholic Church can curb carbon emissions by returning to meat-free Fridays
cam.ac.uk
discuss
4 years ago
helsinkiandrew
2 points
723.
▲
Sir Isaac Newton's own annotated papers
cudl.lib.cam.ac.uk
discuss
15 years ago
teoruiz
2 points
724.
▲
Distributed Systems Notes – Dr. Martin Kleppmann [pdf]
cl.cam.ac.uk
discuss
4 years ago
BeenChilling
2 points
725.
▲
New evidence for liquid water beneath the south polar ice cap of Mars
cam.ac.uk
discuss
4 years ago
gmays
2 points
726.
▲
Combinatorial logic as an assembly language
cstein.kings.cam.ac.uk
discuss
15 years ago
iwwr
2 points
727.
▲
The Ugly Naked Guys
cam.ac.uk
discuss
4 years ago
acqbu
2 points
728.
▲
Children more candid about mental health when talking to robot
cam.ac.uk
discuss
4 years ago
geox
2 points
729.
▲
Vice-Chancellor warns of 'brain drain' sparked by EU row during annual lecture
cam.ac.uk
discuss
4 years ago
rntn
2 points
730.
▲
Earth-abundant solar pixels found to produce hydrogen for weeks
joh.cam.ac.uk
discuss
4 years ago
gmays
2 points
731.
▲
David MacKay: Information Theory, Inference, and Learning Algorithms
inference.phy.cam.ac.uk
discuss
15 years ago
snth
2 points
732.
▲
Another Time, Another Place, Another Story
cl.cam.ac.uk
discuss
4 years ago
pabs3
2 points
733.
▲
Towards Haskell in the Cloud
cl.cam.ac.uk
discuss
15 years ago
bacarter
2 points
734.
▲
What Is a Monster?
cam.ac.uk
discuss
4 years ago
navigaid
2 points
735.
▲
Higher-Order Reverse-Mode Automatic Differentiation [pdf]
cl.cam.ac.uk
discuss
4 years ago
creata
2 points
736.
▲
UK plants flowering a month earlier due to climate change
cam.ac.uk
discuss
4 years ago
open-source-ux
2 points
737.
▲
New grafting technique could combat the disease threatening Cavendish bananas
cam.ac.uk
discuss
4 years ago
chippy
2 points
738.
▲
Divinity academics research societal implications of astrobiology
divinity.cam.ac.uk
discuss
4 years ago
walterbell
2 points
739.
▲
Zen and the Art of Research Management
cl.cam.ac.uk
discuss
5 years ago
MaysonL
2 points
740.
▲
How much is a mechanized proof worth, certification-wise? [pdf]
cl.cam.ac.uk
discuss
5 years ago
todsacerdoti
2 points
741.
▲
New class of habitable exoplanets are 'a big step forward' in search for life
cam.ac.uk
discuss
5 years ago
hhs
2 points
742.
▲
Minor volcanic eruptions could ‘cascade’ into global catastrophe, experts warn
cam.ac.uk
discuss
5 years ago
lnyan
2 points
743.
▲
Minor volcanic eruptions could ‘cascade’ into global catastrophe, experts warn
cam.ac.uk
discuss
5 years ago
hhs
2 points
744.
▲
Earth's interior is swallowing up more carbon than thought
cam.ac.uk
discuss
5 years ago
lnyan
2 points
745.
▲
Concurrent and Distributed Systems – Dr DJ Greaves, Dr Martin Kleppmann
cst.cam.ac.uk
discuss
5 years ago
jasim
2 points
746.
▲
Rate Your Risk Quiz
statslab.cam.ac.uk
discuss
5 years ago
kmckiern
2 points
747.
▲
Fighting Anxiety with Science
cam.ac.uk
discuss
5 years ago
rustoo
2 points
748.
▲
Study identifies trigger for ‘head-to-tail’ axis development in human embryo
cam.ac.uk
discuss
5 years ago
hhs
2 points
749.
▲
One in twenty workers are in ‘useless’ jobs – far fewer than previously thought
cam.ac.uk
discuss
5 years ago
rustoo
2 points
750.
▲
The Archive of Stephen Hawking Has Been Saved for the Nation
cam.ac.uk
discuss
5 years ago
infodocket
2 points
More