Latest LQ Deal: Complete CCNA, CCNP & Red Hat Certification Training Bundle
Go Back > Forums > > Member Intro
User Name
Password Member Intro New to Been a long time member but never made a post? Introduce yourself here.


  Search this Thread
Old 04-10-2011, 01:52 AM   #1
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)


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).


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 04:42 PM
How do I make the "Fn" key usable on Debian Etch? wersdaluv Linux - Hardware 1 07-27-2007 02:00 PM
LXer: Glipper will make GNOME much more usable LXer Syndicated Linux News 0 12-19-2006 03:21 AM
file version metadata under Unices blakemadden Programming 6 12-01-2006 09:43 AM
The way UNICES use libraries gluon Programming 0 06-04-2002 04:35 PM > Forums > > Member Intro

All times are GMT -5. The time now is 12:25 AM.

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