LinuxQuestions.org
Download your favorite Linux distribution at LQ ISO.
Go Back   LinuxQuestions.org > Forums > Non-*NIX Forums > General > LinuxQuestions.org Member Intro
User Name
Password
LinuxQuestions.org Member Intro New to LinuxQuestions.org? Been a long time member but never made a post? Introduce yourself here.

Notices



Reply
 
Search this Thread
Old 04-10-2011, 02:52 AM   #1
izakharyaschev
LQ Newbie
 
Registered: Apr 2011
Location: Moscow
Distribution: ALT Sisyphus
Posts: 7

Rep: Reputation: 0
Hi, I'd like to do my best to make Unices more usable (with smart foundations)


Hi,

my machines run on ALTLinux Sisyphus. I'm a currently inactive member of ALT Linux Team.

I'm inetersted in functional programming, logic programming, and programming with proofs in systems like Coq, Twelf, Isabelle (and also doing other tasks this way, e.g., theoretical research in maths, CS, linguistics could be published in a form supplied with Coq-like formal propositions and proofs).

I believe we need to make the computing environments more usable by going in the functional and proof-assistant direction. Nix and NixOS is a nice project and one possible step in this direction.

My dream about UI is UI based on Curry-Horward correspondence:
The UI can be like asking the system for a tool in a form of a specification (a proposition, or, equivalently, a type in a rich type-system like that of Coq), and the system assists you in finding the implementation for the wanted tool (i.e., a proof for the proposition).
 
  


Reply


Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is Off
HTML code is Off


Similar Threads
Thread Thread Starter Forum Replies Last Post
[SOLVED] Can't make a usable dvd of linuxmint 32bit garrydb Linux Mint 3 11-14-2010 05:42 PM
How do I make the "Fn" key usable on Debian Etch? wersdaluv Linux - Hardware 1 07-27-2007 03:00 PM
LXer: Glipper will make GNOME much more usable LXer Syndicated Linux News 0 12-19-2006 04:21 AM
file version metadata under Unices blakemadden Programming 6 12-01-2006 10:43 AM
The way UNICES use libraries gluon Programming 0 06-04-2002 05:35 PM


All times are GMT -5. The time now is 08:11 PM.

Main Menu
Advertisement
My LQ
Write for LQ
LinuxQuestions.org is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
Syndicate
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
identi.ca: @linuxquestions
Facebook: linuxquestions Google+: linuxquestions
Open Source Consulting | Domain Registration