Profile

Scrapbook photo 1
Scrapbook photo 2
Scrapbook photo 3
Scrapbook photo 4
Scrapbook photo 5
Luca Luve
1,527 followers|222,233 views
AboutPosts

Stream

Luca Luve

Shared publicly  - 
 
"It's free", because you're the product.
Windows 10 and privacy issues
Windows 10 has just arrived and there's a new Privacy Policy and Service Agreement from Microsoft coming swiftly in its wake. The new policies take effect on 1 August and there are ...
3
2
Mouhammad Fakhoury's profile photoZaki Reza's profile photo
Add a comment...

Luca Luve

Shared publicly  - 
 
 
Iran’s Global Image Mostly Negative - Israel, Arab states share unfavorable views of neighbor http://pewrsr.ch/1RpLlGj
1 comment on original post
3
Add a comment...

Luca Luve

Shared publicly  - 
 
 
Where Christian churches, other religions stand on gay marriage http://pewrsr.ch/1FZ8JDJ
2 comments on original post
1
Add a comment...

Luca Luve

Shared publicly  - 
 
How Functional Programming Mattered
by Zhenjiang Hu, John Hughes and Meng Wang

Abstract
In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly “why functional programming matters”. More than two decades have passed. Has functional programming really mattered? Our answer is a resounding “Yes!”. Functional programming is now at the forefront of a new generation of programming technologies, and enjoying increasing popularity and influence. In this paper, we review the impact of functional programming, focusing on how it has changed the way we may construct programs, the way we may verify programs, and fundamentally the way we may think about programs.

--- --- ------ --- ------ --- ------ --- ------ --- ------ --- ------ --- ------ --- ---

For those who are interested, here is the cited paper:
Why Functional Programming Matters by John Hughes
http://www.cse.chalmers.se/~rjmh/Papers/whyfp.html
3
Add a comment...

Luca Luve

Shared publicly  - 
 
Automated reasoning in F#, Scala, Haskell, C++, and Julia
Automated reasoning in F#, Scala, Haskell, C++, and Julia. Tweet. 2015.04.05. We need to simplify the following expression: \[e = (1 + 0 \times x) \times 3 + 12.\]. Luckily for us, we won't have to remember any elementary school arithmetic, because Harris' excellent Handbook of Practical Logic ...
4
1
Mouhammad Fakhoury's profile photo
Add a comment...
Have them in circles
1,527 people
All My Sons Moving & Storage of Phoenix, Inc.'s profile photo
Ifa Tola's profile photo
Christian Abildsø's profile photo
Hanshans Fruehsammer's profile photo
muhaned Zaman's profile photo
PetGuide.com's profile photo
Юлия Рева's profile photo
Nguyen Thuy's profile photo
Tim Sleppy's profile photo

Luca Luve

Shared publicly  - 
 
Occasionally I have a video conversation with my colleague Dan Kaufman, who is a professor of philosophy at Missouri State University and a graduate of the City University of New York (where I teac...
View original post
2
1
Satyr Icon's profile photo
Add a comment...

Luca Luve

Shared publicly  - 
 
 
Among #Millennials, Facebook is most common source for news about government and politics http://pewrsr.ch/1BFiWos
View original post
2
Add a comment...

Luca Luve

Shared publicly  - 
 
 
Wide mix of factors influence public views on science-related Issues http://pewrsr.ch/1R8lyYf
View original post
3
Add a comment...

Luca Luve

Shared publicly  - 
 
Photos previews

You need only 200 bytes!


How a change in preview photos helped speed up profile and page loads by 30 percent.
3
1
Mouhammad Fakhoury's profile photo
Add a comment...

Luca Luve

Shared publicly  - 
 
CSS humour


via +Brandon Mitchell
4
Add a comment...
People
Have them in circles
1,527 people
All My Sons Moving & Storage of Phoenix, Inc.'s profile photo
Ifa Tola's profile photo
Christian Abildsø's profile photo
Hanshans Fruehsammer's profile photo
muhaned Zaman's profile photo
PetGuide.com's profile photo
Юлия Рева's profile photo
Nguyen Thuy's profile photo
Tim Sleppy's profile photo
Work
Skills
I “talk” to computers and lead people
Links
YouTube
Story
Tagline
Software "Gardener"/Software Craftsman. Knowledge-Hungry Learner. Constanter et non trepide.
Introduction
Constanter et non trepide.

It is not knowledge, but the act of learning, not possession but the act of getting there, which grants the greatest enjoyment. When I have clarified and exhausted a subject, then I turn away from it, in order to go into darkness again; the never-satisfied man is so strange if he has completed a structure, then it is not in order to dwell in it peacefully, but in order to begin another. I imagine the world conqueror must feel thus, who, after one kingdom is scarcely conquered, stretches out his arms for others. — J. C. F. Gauß (Letter to Farkas (Wolfgang) Bolyai, 1808)

Dimidium facti, qui coepit, habet: sapere aude, incipe — Quintus Horatius Flaccus (Epistulæ I, ii, 40)

Historia vero testis temporum, lux veritatis, vita memoriæ, magistra vitæ, nuntia vetustatis — Marcus Tullius Cicĕro (De Oratore II, ix, 36)
Bragging rights
I have “contributed to the construction of the tunnel between CERN and Gran Sasso Laboratories” (about 730 km!) - http://goo.gl/aOYsd
Basic Information
Other names
Zero Knowledge, 0Knowledge, zer0k, ZK