Profile

Cover photo
Lukasz Stafiniak
Worked at University of Wrocław, Institute of Computer Science
Attended University of Wrocław, Institute of Computer Science
Lives in Wrocław
337 followers|319,134 views
AboutPostsPhotosVideos+1's

Stream

1
1
Marcin Grabowski's profile photo
Add a comment...
 
On a visit to my son’s second grade classroom, I found a troubling pair of signs hanging over the bulletin board.
4
Lukasz Stafiniak's profile photo
 
https://www.youtube.com/watch?v=XesENa4YJFs -- Erik Wielenberg defends non-naturalist realist meta-ethics.
Add a comment...

Lukasz Stafiniak

Shared publicly  - 
 
River building.
1
Łukasz Piwowar's profile photoLukasz Stafiniak's profile photo
2 comments
 
+Łukasz Piwowar przy działkach, w tle widać most Warszawski.
 ·  Translate
Add a comment...
 
#philosophy  The Three Orders Theory of Consciousness.
There are three consciousnesses.
First Order Perception (FOP) consciousness as in Jesse Prinz.
Second Order Perception (SOP of FOP) consciousness as in Michael Graziano.
Third Order Thought consciousness (TOT of SOP) -- having thoughts about the first-person process of attending.
1
Add a comment...

Lukasz Stafiniak

Shared publicly  - 
 
The Deep Learning expert explains how convolutional nets work, why Facebook needs AI, what he dislikes about the Singularity, and more
1
Add a comment...

Lukasz Stafiniak

Project Announcement  - 
 
I am pleased to release version 2.0 of InvarGenT, a system that infers
invariants and postconditions, and exports the corresponding
GADTs-based OCaml code.
https://github.com/lukstafi/invargent/releases

The flagship AVL trees example now does not need assertions:
https://github.com/lukstafi/invargent/blob/master/examples/avl_tree.gadt
https://github.com/lukstafi/invargent/blob/master/examples/avl_tree.gadti.target

Changes:
* Syntax sugar for if / eif - then - else and function definitions.
* Constant coefficients syntax for expressions.
* Built-in syntax for run-time failures.
* Many command-line options to control inference.
* Multiple bug fixes and algorithms improvements.
* Many new tests in the examples directory.
1
Add a comment...
Have him in circles
337 people
Bettes Miya's profile photo
yaseen hameed's profile photo
Gregory B. Sadler's profile photo
Mimi Herrmann's profile photo
Stephen Reed's profile photo
Umesh Choudhary's profile photo
Ruth Alfasso's profile photo
Andre Anneck (4NN3CK)'s profile photo
Dan Thering's profile photo
 
#dictionary  God: also known as "The One", Reality conceived as distinct from things which are real.
1
Add a comment...

Lukasz Stafiniak

Shared publicly  - 
1
Add a comment...

Lukasz Stafiniak

Shared publicly  - 
1
hocopolitso's profile photo
 
+Lukasz Stafiniak Thanks so much for sharing this interview. Jane is a true gem of a poet. Our channel has many other poet and novelist guests, interviewed by other writers. They are true craft discussions.
Add a comment...
 
#philosophy  First Order Thought theory of consciousness: the theory that consciousness is the bottoming-out of thought, i.e. basic qualia are non-composite thoughts.
1
Add a comment...
 
History of  #philosophy  so far up to early medieval (Anselm, Abelard)
1
Add a comment...
People
Have him in circles
337 people
Bettes Miya's profile photo
yaseen hameed's profile photo
Gregory B. Sadler's profile photo
Mimi Herrmann's profile photo
Stephen Reed's profile photo
Umesh Choudhary's profile photo
Ruth Alfasso's profile photo
Andre Anneck (4NN3CK)'s profile photo
Dan Thering's profile photo
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Wrocław
Previously
Mountain View, CA
Links
Contributor to
Work
Occupation
Scientist
Employment
  • University of Wrocław, Institute of Computer Science
    Scientist, 2011
Education
  • University of Wrocław, Institute of Computer Science
    2011
  • Wrocław University of Technology, Faculty of Fundamental Problems of Technology
Basic Information
Gender
Male
Relationship
Single
Other names
Łukasz Piotr
Lukasz Stafiniak's +1's are the things they like, agree with, or want to recommend.
Why Our Children Don't Think There Are Moral Facts
opinionator.blogs.nytimes.com

On a visit to my son’s second grade classroom, I found a troubling pair of signs hanging over the bulletin board.

57 - Nothing to Fear: Epicureans on Death and the Gods | History of Phil...
historyofphilosophy.net

Peter considers Epicurus’ attempt to dispel the fear of death and the gods, and along the way looks at the topics of soul, atheism, and phil

Facebook AI Director Yann LeCun on His Quest to Unleash Deep Learning an...
spectrum.ieee.org

The Deep Learning expert explains how convolutional nets work, why Facebook needs AI, what he dislikes about the Singularity, and more

All Episodes | History of Philosophy without any gaps
www.historyofphilosophy.net

All episodes published so far are listed below, or for lists of episodes with their descriptions please see the relevant introductory pages:

A French Soldier's View of US Soldiers in Afghanistan - Warrior Lodge
www.warriorlodge.com

What follows is an account from a French ISAF soldier that was stationed with American Warfighters in Afghanistan sometime in the past 6 yea

The effect of daily caffeine use on cerebral blood flow: How much c... -...
www.ncbi.nlm.nih.gov

Hum Brain Mapp. 2009 Oct;30(10):3102-14. doi: 10.1002/hbm.20732. Randomized Controlled Trial; Research Support, N.I.H., Extramural

TouchDevelop - documentation - TouchDevelop goes open-source
www.touchdevelop.com

Microsoft Research is releasing the TouchDevelop web app on GitHub under the MIT license.

Falling in Love with Jesus
www.intouch.org

Online home of In Touch Ministries and the ministry of Dr. Charles Stanley.

FroCoS 2015 - Frontiers of Combining Systems
frocos2015.ii.uni.wroc.pl

Scope of conference. In various areas of computer science, such as logic, computation, program development and verification, artificial inte

The World in the Data
www.academia.edu

The paper compares Ladyman & Ross’s version of naturalized metaphysics, Rainforest Realism, with the comprehensive scientific metaphysics re

Mao's Great Leap Forward 'killed 45 million in four years'
www.independent.co.uk

Mao Zedong, founder of the People's Republic of China, qualifies as the greatest mass murderer in world history, an expert who had unprecede

Sympathy for the Devil » Death Is Bad
www.deathisbadblog.com

I recently came across this post of 10 WOMEN CHRISTIAN MEN SHOULD NOT MARRY. It is, of course, hilarious. I have a love/hate relationship wi

Google might pour money into SpaceX, really wants satellite Internet
arstechnica.com

The Information suggests that Elon Musk may have a Google-sponsored card up his sleeve.

Terence Cuneo, “Speech and Morality: On the Metaethical Implications of ...
newbooksinphilosophy.com

Terence CuneoView on AmazonIt is widely accepted that in uttering sentences we sometimes perform distinctive kinds of acts. We declare, asse

Many things about OCaml
typeocaml.com

Well-typed programs cannot go wrong. - Robin Milner

The Dark Knight of Faith - Existential Comics
existentialcomics.com

This comic is a bit of a mash up of a lot of Kierkegaar's thought. You can read more about Kierkegaard on despair and anxiety (which he call

The Phenomenology of Peripheral Vision (Part 2)
agentyduck.blogspot.com

In the last post, I described an exercise that suggests many of us are wrong about the character of our own visual experiences. We tend to o

Mindfulness
agentyduck.blogspot.com

And somewhere in the back of his mind was a small, small note of confusion, a sense of something wrong about that story; and it should have