Inquisitive semantics
Inquisitive semantics is a semantic framework that is based on a new formal notion of meaning, capturing both informative and inquisitive content. The framework is intended to provide a richer foundation for the analysis of information exchange through communication.
A Nobel opportunity for interdisciplinarity | Nature Physics
Despite the growing interdisciplinarity of research, the Nobel Prize consolidates the traditional disciplinary categorization of science. There is, in fact, an opportunity for the most revered scientific reward to mirror the current research landscape.
Simplicial closure and higher-order link prediction | PNAS
To systematically further the study of theories for such higher-order structures, we propose higher-order link prediction as a benchmark problem to assess models and algorithms that predict higher-order structure. We find a fundamental difference from traditional pairwise link prediction, with a greater role for local rather than long-range information in predicting the appearance of new interactions.
link_prediction  Jon_Kleinberg 
2 days ago
Navigating our thoughts: fundamental principles of thinking | Max-Planck-Gesellschaft
“We believe that the brain stores information about our surroundings in so-called cognitive spaces. This concerns not only geographical data, but also relationships between objects and experience,” explains Christian Doeller, senior author of the paper and the new director at the MPI CBS.
3 days ago
From the Yoneda lemma to categorical physics
Category theory provides a nice simple context to see relationalism
in action, in a completely rigorous and precise form. In a category,
objects do not have "innards" - viewed in isolation, they are all
just featureless dots. It's only by virtue of their morphisms to and
from other objects (and themselves) that they acquire distinct
personalities. This is why an isomorphism between objects allows
us to treat them as "the same": it establishes a 1-1 correspondence
between their morphisms to, or from, other objects. (Moreover, this
correspondence preserves the extra structure described above.)

This suggests that a truly relational theory of physics should
take advantage of category theory.
3 days ago
Concept Invention | SpringerLink
This book introduces a computationally feasible, cognitively inspired formal model of concept invention, drawing on Fauconnier and Turner's theory of conceptual blending, a fundamental cognitive operation. The chapters present the mathematical and computational foundations of concept invention, discuss cognitive and social aspects, and further describe concrete implementations and applications in the fields of musical and mathematical creativity.
creativity  conceptual_blending 
4 days ago
Archive ouverte HAL - Strong Types for Direct Logic
This article reports how considerations of Inconsistency Robustness have recently influenced the foundations of mathematics for Computer Science continuing a tradition developing the sociological basis for foundations. Mathematics here means the common foundation of all classical mathematical theories from Euclid to the mathematics used to prove Fermat's Last [McLarty 2010]. Good evidence for the consistency Classical Direct Logic derives from how it blocks the known paradoxes of classical mathematics. Humans have spent millennia devising paradoxes for classical mathematics. Having a powerful system like Direct Logic is important in computer science because computers must be able to formalize all logical inferences (including inferences about their own inference processes) without requiring recourse to human intervention. Any inconsistency in Classical Direct Logic would be a potential security hole because it could be used to cause computer systems to adopt invalid conclusions.
4 days ago
Ole Lehrmann Madsen - Google 搜索
so many interesting stuff from google picture search...
5 days ago
Factorio on Steam
Factorio is a game about building and creating automated factories to produce items of increasing complexity, within an infinite 2D world. Use your imagination to design your factory, combine simple elements into ingenious structures, and finally protect it from the creatures who don't really like you.
5 days ago
The Trade Unions ‐ New users of research | Personnel Review | Vol 4, No 2
when trade union people use your software, better make it user-friendly, and they did
simula  programming-language 
5 days ago
ICTAC2015 Conference - Keynote by Jean-Raymond Abrial - YouTube
defining the context before you prove...

defining the specs before programming...

talk by founder of Event B
5 days ago
Algorithmic Thinking from the Start | Hromkovic | Bulletin of EATCS
Programming education is about introducing the language and way
of thinking of computer science itself, and not only about teaching a
specific programming language. We are actively involved in reaching
out to teachers at primary, at lower and at higher secondary schools,
and in training them to successfully teach programming (and computer
science in a broader sense) to students while aiming at getting to the
core of programming education as early as possible; i. e., avoiding a
lengthy introduction to syntactical details, but teaching algorithmic
thinking. In this paper, we describe a few corner stones of our approach
towards teaching computer science with the above points in mind.
7 days ago
Manfred Clynes - Wikipedia
via marvin minsky, society of mind
7 days ago
« earlier      
activism affordance africa ageing ai algorithm android animation app apps architecture art audio autism beijing bigdata bike biology blockchain blog book books business censorship change china chinese choreography cities city cogsci collaboration community complexity conference coworking creativity crowdfunding crowdsourcing culture cycling dance data dataviz deep-learning democracy design deutsch development dictionary diy documentary douban economics education energy entrepreneurship environment events evolution fashion festival film firefox food foss fun future game games generative-art genetic-engineering genetics geometry german gfw github google green guangzhou hackathon hackerspace hacking history hongkong ict4d idea ideas india innovation inspiration interaction internet interview japan javascript journalism kids language languages latin learning library linguistics linux literature longnow machine-learning magazine mapping marketing math mathematics media meditation memory metadiscovery metaphor mindfulness mit mobile mooc music musiking neuroscience news ngo nyc occupycentral opendata opensource p2p pedagogy perception philosophy photography play podcast poetry policy politics presentation privacy productivity programming psychology publishing python reading research resilience review robotics ruby sci-fi science sciencing search security serendipity shanghai sharing-economy shenzhen social-enterprise social-innovation social_entrepreneurship social_innovation socialmedia sound startup statistics storytelling streaming surveillance sustainability synbio taiwan teaching technology ted tedx theatre thinking tips tool tools toread translation travel trends tutorial twitter ubuntu ux video visualization web web2.0 webdesign webdev wiki wikipedia wordie wordpress writing

Copy this bookmark: