Path: csiph.com!optima2.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!1.eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!newsfeed.straub-nv.de!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Jeff Higgins <jeff@invalid.invalid>
Newsgroups: comp.lang.java.programmer
Subject: Re: From Hibernate to straight JPA
Date: Sun, 19 Jul 2015 06:20:48 -0400
Organization: A noiseless patient Spider
Lines: 25
Message-ID: <moftql$iu0$1@dont-email.me>
References: <87egkfhodv.fsf@Equus.decebal.nl> <moeag3$6a0$1@dont-email.me> <moen7h$fjb$1@dont-email.me> <mofml7$t29$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 19 Jul 2015 10:23:18 +0000 (UTC)
Injection-Info: mx02.eternal-september.org; posting-host="8e164d158183579609bf09837dee5210"; logging-data="19392"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18RwTGkv8uEcMM/JvMjoz9od6fqK6x5tRc="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.7.0
In-Reply-To: <mofml7$t29$1@dont-email.me>
Cancel-Lock: sha1:P2k0Qb+qLckIJ3s2vMriEPT+Byo=
Xref: csiph.com comp.lang.java.programmer:32087

On 07/19/2015 04:22 AM, Eternal Hope wrote:

>
> Maybe this
>
> http://www.telegraph.co.uk/news/worldnews/northamerica/usa/11748084/Robot-passes-self-awareness-test.html
>
>
> Will give us a robot who can analyse the code and 'just do' the
> relational stuff as required on the fly.
>
> Make my life a lot easier :-)
>

Likely will be a framework of some sort involved.

FORMALIZATION OF TWO PUZZLES INVOLVING KNOWLEDGE
<http://www-formal.stanford.edu/jmc/puzzles/puzzles.html>

Tweety
<http://tweetyproject.org/>

The KeY Project
<http://www.key-project.org/>