Profile

Cover photo
Marius Mikučionis
3,609 followers|199,042 views
AboutPostsPhotosVideos+1'sReviews

Stream

Marius Mikučionis

» Religious Buffoonery  - 
 
Even some logicians mumble ridiculously positive things on Sundays :-)
http://arxiv.org/abs/1308.4526
Abstract: Goedel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof. A formalization of the axioms, ...
1
Marius Mikučionis's profile photoDeconverted Man's profile photo
4 comments
 
Yeah, I like the AI things, and my hero Douglas Walton is getting into that as well - the AI and logic field is becoming a "thing" but, I really do not think it can replace critical analysis - at least ... not yet. 

As far as the argument, you can find out if the model works - but you can't find out if the premises are "sound" as in valid, only "IF" they are , then (X) works.
Add a comment...

Marius Mikučionis

Shared publicly  - 
 
Unbreakable glass drop explosions filmed in 100000fps and explained
10
1
Baz Kaz's profile photoMarius Mikučionis's profile photoAndrius Jakas's profile photo
6 comments
 
na jumi stebina, škia galvojate kad daugumai pabalalaikė pop science kanalai? tai aš ir rašau: dar ne viskas prarasta :-)
 ·  Translate
Add a comment...

Marius Mikučionis

Shared publicly  - 
 
Agile parenting ;-)
4
Agne Ma's profile photo
Agne Ma
 
sumažimti perpus preventyvias ryto isterikas - čia tai benčmarkas.
 ·  Translate
Add a comment...

Marius Mikučionis

Shared publicly  - 
 
Ptolemy, epicycloids, planetary model, frequency analysis and Homer Simpson...
 
The smooth motion of rotating circles can be used to build up any repeating curve even one as angular as a digital square wave. Each circle spins at a multiple of a fundamental frequency, and a method called Fourier analysis shows how to pick the radii of the circles to make the picture work. Decomposing signals like this lies at the heart of a lot of signal processing.
http://math.stackexchange.com/questions/1002/fourier-transform-for-dummies
8 comments on original post
4
1
Donalda Vasiliauskaitė's profile photoMatt Higa's profile photo
 
gelytes gražios
Add a comment...

Marius Mikučionis

Shared publicly  - 
5
1
Lynden Swift's profile photoIndrė Žliobaitė's profile photo
 
Excellent. :-)
Add a comment...
Have him in circles
3,609 people
Johnny Stork's profile photo
Luke Ravell's profile photo
Daniel Shamaun's profile photo
Richard Green's profile photo
Hai Wei's profile photo
Billyan Roberta's profile photo
david pinto's profile photo
Don Archer's profile photo
Creece Rubia's profile photo
 
Dear friends, recently it was brought to our attention that this Thursday European Parliament will held an official discussion on Mr. Raif Badawi's case.

They are also to bring a resolution regarding Mr. Badawi. Please, all of you from the EU, write to your local MEP, asking her/him to be active in this and vote for a resolution demanding Saudi Arabia to pardon and release Raif Badawi from prison unconditionally! Please also ask your local MEP to sign our petition!

https://www.change.org/p/to-the-norwegian-nobel-committee-give-the-nobel-peace-prize-to-raif-badawi

Thank you in advance!

#FreeRaif  
Dear friends, recently it was brought to our attention that this Thursday European Parliament will held an official discussion on Mr. Raif Badawi's case. They are also to bring a resolution regarding Mr. Badawi. Please, all of you from the EU, write to your local MEP, asking her/him to be active in this and vote for a resolution demanding Saudi Arabia to pardon and release Raif Badawi from prison unconditionally! Please also ask your local MEP to...
View original post
1
Milad Farjadian's profile photoGiedrė G's profile photo
2 comments
 
+Saulius Ivinskis​ va tas plakamas blogeris
Add a comment...

Marius Mikučionis

Shared publicly  - 
 
Профессор МГИМО, специалист по медиа-манипулированию Валерий Дмитриевич Соловей рассказывает о методах и принципах ведения информационной войны. 
 ·  Translate
1
Ada Tamulevičienė's profile photo
 
gyvenimas-spalvu zaismas karui ne lituvoje
Add a comment...

Marius Mikučionis

Shared publicly  - 
 
Goodbye Google Reader
Hello Tiny Tiny RSS
Looks very cute, better and faster than Google, just need to find a host for it. Once everything assembled, there's also Android app for that (need to enable "External API" in the Preferences->Preferences of the web API):
https://play.google.com/store/apps/details?id=org.fox.ttrss
5
Marius Mikučionis's profile photo
 
Debian instructions:
apt-get install apache2 mysql-server mysql-client tt-rss
cd /etc/apache2/conf.d
ln -s ../conf-available/50-tt-rss.conf
/etc/init.d/apache2 restart
# SELF_URL_PATH and ENABLE_REGISTRATION:
$(editor) /etc/tt-rss/config.php
# enable update daemon:
$(editor) /etc/default/tt-rss
/etc/init.d/tt-rss restart
Add a comment...

Marius Mikučionis

Shared publicly  - 
 
open source software for detecting pulse and motion in videos
6
Add a comment...

Marius Mikučionis

Shared publicly  - 
 
cartoon time ;-)
2
1
Marius Mikučionis's profile photoAnders Franz Terkelsen's profile photo
3 comments
 
+Marius Mikučionis unfortunately not. I fear that making this sort of entertainment for kids is a thing of the past.
Add a comment...

Marius Mikučionis

Shared publicly  - 
 
Ranty but constructive and justified criticism against Windows 8
 
This video is not only a great rant about Windows 8, but a great rant in general.  Woe (and goblin farts) to any who ignore its lessons!

Windows 8: The Animated Evaluation
102 comments on original post
5
3
Audrius Radzevičius's profile photoJohn Awotwi's profile photoMindaugas Stambrauskas's profile photo
 
go linux
Add a comment...
People
Have him in circles
3,609 people
Johnny Stork's profile photo
Luke Ravell's profile photo
Daniel Shamaun's profile photo
Richard Green's profile photo
Hai Wei's profile photo
Billyan Roberta's profile photo
david pinto's profile photo
Don Archer's profile photo
Creece Rubia's profile photo
Work
Occupation
Software engineer, researcher
Story
Tagline
Software development, Validation & Verification, Testing, Linux
Introduction
I work on testing and verification of embedded software systems (real-time systems, hybrid systems, formal methods). Here is my scholar profile.

Please share with me:
Science (computer science, software engineering)
IT & Tech news (Linux, Android, Google)
Philosophy (Enlightenment, positivism, skepticism)
Economy (political systems, business modeling)
Music (instrumental, Goa, psychedelic trance, ambient)
Comedy (IT Crowd, George Carlin, Ricky Gervais, Louis CK, Eddie Izzard, Mr.Feeman)

I am of INTP personality type.
Bragging rights
two kids and a phd :-)
Basic Information
Gender
Male
Apps with Google+ Sign-in
Marius Mikučionis's +1's are the things they like, agree with, or want to recommend.
DMI Byvejr Widget
market.android.com

Denne app viser byvejret fra DMI.VIGTIGT: - DMI tillader kun at jeg bruger byvejret for Danmark, derfor er det ikke muligt at vise verdensve

PitchLab Guitar Tuner (LITE)
market.android.com

Hands-free tuning for guitar and other acoustic instruments. Designed for novices and pros, fully featured, 100% free.PitchLab PRO now avail

RealCalc Plus
market.android.com

RealCalc Plus is the enhanced version of Android's #1 Scientific Calculator, RealCalc - a fully featured scientific calculator which looks a

Business Calendar Pro
market.android.com

Get the best-selling calendar app on Android for 50% off now!This is the Pro Version of Business Calendar: an all-round, complete calendar a

Navegador Chrome - Google
market.android.com

Navega más rápido con el navegador web Chrome en tu teléfono o tablet Android. Inicia sesión para sincronizar desde tu ordenador la experien

Modo Criança: Jogos + Vídeos
market.android.com

Quando seus filhos usam o telefone, coloque-o no Modo Criança! Nosso Bloqueio de crianças mantém-los com segurança na aplicação, para que nã

Go Free
market.android.com

★ Google Play “Top Developer” AI Factory ★ With its rich strategy and simple rules, the ancient game of Go (Wei-chi/Baduk) is widely regarde

Android-apparaatbeheer
market.android.com

Bent u ooit uw telefoon kwijtgeraakt? Android-apparaatbeheer spoort zoekgeraakte apparaten op en helpt u uw apparaat (en de gegevens die het

eTilbudsavis
market.android.com

Find tilbud og læs tilbudsaviser med eTilbudsavis! eTilbudsavis samler tilbud og tilbudsaviser og viser dig vej direkte til butikken. Søg ef

SimpleMind mind mapping
market.android.com

SimpleMind is a mind mapping tool that turns your android phone or tablet into a brainstorming, idea collection and thought structuring devi

Puzzle Retreat
market.android.com

"I guarantee you will love this game." -- Kotaku.com"So smart and so well-made, why wasn't it created a billion years ago?" -- JayIsGames.co

MapFactor Navigator (beta)
market.android.com

The number 1 free offline navigation of the whole world comes to Android.MapFactor Navigator is a free turn-by-turn GPS navigation app for A

Inception Tic Tac Toe PRO
market.android.com

Tic Tac Toe ... taken to the next level.Welcome to the most innovative variation of Tic Tac Toe on Google Play. A Tic Tac Toe within a Tic T

Booking.com - 295,000+ hotels
market.android.com

Pack your bags and get set for summer! We've got deals for over 295,000 properties in 180 countries for you to choose from. Start planning y

Tiny Tiny RSS
market.android.com

Official Android client for the Tiny Tiny RSS web-based RSS reader. IMPORTANT: YOU WILL NEED ACCESS TO A TINY TINY RSS INSTANCE TO RUN THIS.

Hangouts
chrome.google.com

Hangouts bring conversations to life with photos, emoji, and even group video calls for free.

Stocks - Realtime Stock Quotes
market.android.com

Finance for Android brings you streaming real-time quotes in this stock quotes and portfolio application. It synchronizes with your Google F

Google Maps
market.android.com

Download the latest release of Google Maps, and never carry a paper map again. Get Google Maps with Navigation (Beta), Places, and Latitude

Google+
market.android.com

Real-life sharing rethought for the web, wherever you are. Google+ for mobile makes sharing the right things with the right people a lot sim

Booking.com: 203,176 hotels worldwide. Book your hotel now!
www.booking.com

Big savings on hotels in 30,000 destinations worldwide. Browse hotel reviews and find the guaranteed best price on hotels for all budgets.

this is where I shop for many years: reliable and prices are reasonable.
Public - 4 months ago
reviewed 4 months ago
1 review
Map
Map
Map