brice's Bookmarks About imported lang:fr humor ...

Secure PHP environments with PHP, suexec and FastCGI (mod fcgid)

You want to have a secure setup for your PHP web applications but don't want to compromise performance too much. This page is about a setup which uses FastCGI (mod_fcgid) and suexec.

by brice 2009-11-16 02:30 sysadmin · php · apache

http://www.felix-schwarz.name/Secure_PHP_environments_with_PHP,_suexec_and_FastCGI_(mod_fcgid)_(en) - cached - mail it - history

Ingo Molnar on exploit finding

I think that such expoit-finding work should be done in an organized, in (perhaps government) sponsored setups, with proper safeguards and humane work conditions. It's useful to society at large and it's a petty that it's currently done in such an unstructured, random way, burning through and bending good and smart people fast.

by brice 2009-07-19 05:38 security · psy · societies

http://lwn.net/Articles/342163/ - cached - mail it - history

Securing a shared Web Server

Typical users use shared hosting for their blog, etc ... On this kind of offer, the hoster have multiple clients on the same hardware. As it is impossible to be sure that clients applications are not vulnerable, we should at least be sure that if one is vulnerable, it won't bother the others. We will show you how a bad web server configuration could lead to disaster, and how to secure such a server.

by brice 2009-06-11 11:12 sysadmin · apache · security · php

http://xf.iksaif.net/blog/index.php?post/2009/05/08/Securing-a-shared-Web-Server - cached - mail it - history

The GCC Architecture Documents

The following series of documents about GCC internals have been developed by us at I.I.T. Bombay.

by brice 2009-01-10 02:05 gcc · internals · reference

http://www.cfdvs.iitb.ac.in/~amv/gcc-int-docs/ - cached - mail it - history

Total Functional Programming

Total Functional Programming on lambda the ultimate

by brice 2008-11-29 00:11 ltu · functional · programing · cs · survey

http://lambda-the-ultimate.org/node/2003 - cached - mail it - history

MySQL Gotchas

When working with the MySQL ™ database server I have repeatedly encountered situations where the results of various actions have been unexpected and/or contrary to the behaviour generally expected of an SQL relational database. The cause can usually be traced to implementation details which are documented in the manual. I have created this list in order to further a better understanding of the MySQL database server and hopefully save others unnecessary headscratching.

by brice 2008-10-13 23:38 mysql · faq

http://sql-info.de/mysql/gotchas.html - cached - mail it - history

The 90 Minute Scheme to C compiler by Mark Feeley

Marc showed us how to write a simple Scheme to C compiler, in Scheme. In only 90 minutes! And although not supporting the whole Scheme standard, the compiler supports fully optimized proper tail calls, continuations, and (of course) full closures. The compiler is implemented using two important compilation techniques for functional languages: closure conversion and CPS-conversion.

by brice 2008-07-30 02:45 cs · lang:en · scheme · compiler · tutorial

http://community.schemewiki.org/?90min-scheme2c - cached - mail it - history

Regular Expression Matching Can Be Simple And Fast

This article reviews the good theory: regular expressions, finite automata, and a regular expression search algorithm invented by Ken Thompson in the mid-1960s. It also puts the theory into practice, describing a simple implementation of Thompson's algorithm. That implementation, less than 400 lines of C, is the one that went head to head with Perl above. It outperforms the more complex real-world implementations used by Perl, Python, PCRE, and others. The article concludes with a discussion of how theory might yet be converted into practice in the real-world implementations.

by brice 2008-06-11 03:43 papers · cs · compiler · regexp

http://swtch.com/~rsc/regexp/regexp1.html - cached - mail it - history

WT a C++ webtoolkit

Wt (pronounced 'witty') is a C++ library and application server for developing and deploying web applications. It is not a 'framework', which enforces a way of programming, but a library. The API is widget-centric, and inspired by existing C++ Graphical User Interface (GUI) APIs. To the developer, it offers complete abstraction of any web-specific implementation details, including event handling and graphics support.

by brice 2008-06-06 18:15 web · cplusplus · library

http://www.webtoolkit.eu/ - cached - mail it - history

Introduction to gnuplot

Here I describe how to make a figure of numerical data such as experimental data or results of numerical calculations.

by brice 2008-06-04 10:24 reference · gnuplot

http://t16web.lanl.gov/Kawano/gnuplot/intro/index-e.html - cached - mail it - history

Pig Latin: A Not-So-Foreign Language for Data Processing

We describe a new language called Pig Latin that we have designed to fit in a sweet spot between the declarative style of SQL, and the low-level, procedural style of map-reduce.

by brice 2008-05-19 05:38 mapreduce · hadoop · papers · cs · dsl

http://www.cs.cmu.edu/~olston/publications/sigmod08.pdf - cached - mail it - history

Dynamically linking with MSVCRT.DLL using Visual C++ 2005

With the availability of Visual C++ .NET, Microsoft recommended and condoned deploying its CRT as a private DLL, simply a file in the directory of installed program. However, this stance of private deployment is no longer suitable or advisable in our modern world. As we have learned all too well since 2002 and especially from Microsoft’s embarrassing tool to patch a buggy gdiplus.dll across the system, deploying high profile DLLs privately does not allow for central servicing.

by brice 2008-03-24 09:35 windows · papers · visualstudio

http://kobyk.wordpress.com/2007/07/20/dynamically-linking-with-msvcrtdll-using-visual-c-2005/ - cached - mail it - history

CERT Secure Coding Standards - CERT Secure Coding Standards

This web site exists to support the development of secure coding standards for commonly used programming languages such as C and C++. These standards are being developed through a broad-based community effort including the CERT Secure Coding Initiative and members of the software development and software security communities.

by brice 2008-03-22 17:11 c · cplusplus · tips · security

https://www.securecoding.cert.org/confluence/display/seccode/CERT+Secure+Coding+Standards - cached - mail it - history

Enough With The Rainbow Tables: What You Need To Know About Secure Password Schemes

Here’s what you need to know about rainbow tables: no modern password scheme is vulnerable to them.

by brice 2008-03-01 06:51 cryptography · security

http://www.matasano.com/log/958/enough-with-the-rainbow-tables-what-you-need-to-know-about-secure-password-schemes/ - cached - mail it - history

Alibabuy

price comparator

by brice 2008-01-29 16:48 plane · shop

http://www.alibabuy.com - cached - mail it - history

RTA: DB-like API for Daemons

RTA is a library that you can attach to your program to expose your program's internal arrays and data structures as if they were tables in a database. The database interface uses a subset of the Postgres protocol and is compatible with the Postgres bindings for C, PHP, and the Postgres command line tool, psql.

by brice 2007-12-19 05:57 development · db · daemon · library · postgresql

http://www.runtimeaccess.com/projects/rta/index.html - cached - mail it - history

Haskell for C Programmers

Many people are accustomed to imperative languagues, which include C, C++, Java, Python, and Pascal. For computer science students, Haskell is weird and obtuse. This tutorial assumes that the reader is familiar with C/C++, Python, Java, or Pascal. I am writing for you because it seems that no other tutorial was written to help students overcome the difficulty of moving from C/C++, Java, and the like to Haskell. I write this assuming that you have checked out the Gentle Introduction to Haskell, but still don't understand what's going on.

by brice 2007-12-16 10:13 haskell · tutorial

http://www.haskell.org/~pairwise/intro/intro.html - cached - mail it - history

Mathématiques en prépas TSI

Vous êtes les bienvenus sur mon site personnel qui contient un cours de Spé TSI et un résumé de cours de Sup et Spé TSI.

by brice 2007-12-15 04:29 lang:fr · maths · course · scolar

http://c.caignaert.free.fr/exemples.html - cached - mail it - history

md5(); - reverse engineer md5 hashes - powered by rednoize.com

Because of the long time it takes today to reverse enigneer a MD5 hash (with brute force methods), the idea for md5(); was born. This website is connected to a database of md5 hashes and their original counterpart. This makes the search for the counterpart of a given md5 hash extremly fast. Additionaly everytime when you enter a non-md5 hash string into the search field, the md5 result for that search strings gets stored in our database for future use.

by brice 2007-11-23 04:43 security · algorithm · cryptography

http://md5.rednoize.com/ - cached - mail it - history

Recover MySQL database root password

You can recover MySQL database server password with following five easy steps.

by brice 2007-11-20 17:37 admin · sql

http://linuxpoison.blogspot.com/2007/11/recover-mysql-database-root-password.html - cached - mail it - history

A garbage collector for C and C++

The Boehm-Demers-Weiser conservative garbage collector can be used as a garbage collecting replacement for C malloc or C++ new. It allows you to allocate memory basically as you normally would, without explicitly deallocating memory that is no longer useful. The collector automatically recycles memory when it determines that it can no longer be otherwise accessed. The collector is also used by a number of programming language implementations that either use C as intermediate code, want to facilitate easier interoperation with C libraries, or just prefer the simple collector interface.

by brice 2007-11-14 14:52 gc · cs · compiler · c · c++

http://www.hpl.hp.com/personal/Hans_Boehm/gc/ - cached - mail it - history

libcprops

The c prototyping tools library provides generic tools for application development in plain c covering basic data structure implementations, persistence, threading and tcp and http communication.

by brice 2007-10-03 12:05 library · c · algorithms

http://cprops.sourceforge.net/ - cached - mail it - history

flv streaming with lighttpd

I have now been able to put together a simple video player which is capable of requesting and playing parts of a flv video file that have not previously been downloaded.

by brice 2007-09-24 15:23 admin · howto · web

http://jan.kneschke.de/projects/flv-streaming/ - cached - mail it - history

Tric Trac

by brice 2007-08-18 12:49 board_game · news · shop

http://www.trictrac.net - cached - mail it - history

Practical Haskell: shell scripting with error handling and privilege separation

This article looks at how to use Haskell for scripting tasks. By refining the semantics of the problem domain, employing abstract, we produce shorter and more robust code. Finally, as a highlight, we'll use type checking to statically separate code that requires root privileges from user code.

by brice 2007-08-18 12:41 haskell · examples

http://cgi.cse.unsw.edu.au/~dons/blog/2007/03 - cached - mail it - history

A Deeper Look at Signals and Slots

Signals and slots are a refinement of the Observer Pattern, a powerful metaphor, and a great tool for assembling software from components. They've been a part of the computer science landscape for over a decade, and many mature implementations exist.

by brice 2007-08-04 07:57 c++ · papers

http://scottcollins.net/articles/a-deeper-look-at-signals-and-slots.html - cached - mail it - history

GNU lightning - GNU Project - Free Software Foundation (FSF)

GNU lightning is a library that generates assembly language code at run-time; it is very fast, making it ideal for Just-In-Time compilers, and it abstracts over the target CPU, as it exposes to the clients a standardized RISC instruction set inspired by the MIPS and SPARC chips.

by brice 2007-07-12 22:27 compiler

http://www.gnu.org/software/lightning/lightning.html - cached - mail it - history

BitC Language Specification

BitC is a systems programming language that combines the ``low level'' nature of C with the semantic rigor of Scheme or ML. BitC was designed by careful selection and exclusion of language features in order to support proving properties (up to and including total correctness) of critical systems programs.

by brice 2007-07-12 22:16 os · functional · cs · scheme · compiler

http://www.bitc-lang.org/docs/bitc/spec.html - cached - mail it - history

Functional Pearl Trouble Shared is Trouble Halved

A nexus is a tree that contains shared nodes, nodes that have more than one incoming arc. Shared nodes are created in almost every functional program—for instance, when updating a purely func- tional data structure—though programmers are seldom aware of this. In fact, there are only a few algorithms that exploit sharing of nodes consciously. One example is constructing a tree in sublinear time. In this pearl we discuss an intriguing application of nexuses; we show that they serve admirably as memo structures featuring constant time access to memoized function calls. Along the way we encounter Boolean lattices and binomial trees.

by brice 2007-06-09 19:48 cs · algorithm · papers · DOUBTFUL

http://www.informatik.uni-bonn.de/~ralf/publications/HW2003.pdf - cached - mail it - history

Haskell Study Plan

I have recently convinced one of my friends to learn Haskell. But, he finds it very difficult. He is making a big effort and really wants to learn it but the beginning is hard and he may have spent too much time writing Java code. So, to help him, I have written a short Haskell study plan.

by brice 2007-06-09 19:44 haskell · tutorial

http://www.alpheccar.org/en/posts/show/67 - cached - mail it - history

Total Functional Programming

The existing model of functional programming, although elegant and powerful, is compromised to a greater extent than is commonly recognised by the presence of partial functions. We consider a simple discipline of total functional programming designed to exclude the possibility of non-termination. Among other things this requires a type distinction between data, which is ﬁnite, and codata, which is potentially inﬁnite.

by brice 2007-06-09 19:28 functional · cs · paper

http://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_turner.pdf - cached - mail it - history

chicken-compilation-process

This document describes the compilation process used by the CHICKEN Scheme to C compiler by explaining the different compilation stages on a simple example program.

by brice 2007-06-09 18:32 scheme · compiler · functional · examples

http://chicken.wiki.br/chicken-compilation-process - cached - mail it - history

Overloading Haskell numbers

Haskell's overloaded numerical classes can be (ab)used to do some symbolic maths. This is in no way a new discovery, but I thought I'd write a few lines about it anyway since I've been playing with it the last few days.

by brice 2007-05-19 17:58 haskell · practical · maths

http://augustss.blogspot.com/2007/04/overloading-haskell-numbers-part-1.html - cached - mail it - history

Rescuing XSLT from Niche Status

For XSLT to be successful it must be presented and used in a way that adopts those attributes discussed earlier (reuse of knowledge, fast start, and gradualism).

by brice 2007-05-19 13:04 tutorial · webdesign · xml

http://www.xfront.com/rescuing-xslt.html - cached - mail it - history

PHP Bug #28932

Please answer: What is the rationale for just checking the first file? There isn't any. It will lead to random, unpredicted results and confusion. (opened in 2004)

by brice 2007-05-08 07:33 php · humor · geeky

http://bugs.php.net/bug.php?id=28932 - cached - mail it - history

Le franponais.com

franponais Le site de le Japonais qui parler la français comme vache espagnole!

by brice 2007-05-06 04:32 lang:fr · humor

http://npu4.free.fr/dotclear/index.php - cached - mail it - history

MySQL Performance Blog - To UUID or not to UUID ?

Brian recently posted an article comparing UUID and auto_increment primary keys, basically advertising to use UUID instead of primary keys. I wanted to clarify this a bit as I’ve seen it being problems in so many cases.

by brice 2007-05-05 04:49 papers · sql

http://www.mysqlperformanceblog.com/2007/03/13/to-uuid-or-not-to-uuid/ - cached - mail it - history

Se débarrasser des pires spywares

Se débarrasser de System Doctor - NaviSearch - Magic Control Agent -Instant Access - Navipromo

by brice 2007-04-25 16:42 windows · tutorial · security · lang:fr

http://perso.numericable.fr/~altshift/Info/proc%E9dureIA.html - cached - mail it - history

Making Haskell programs faster and smaller

Is Haskell's laziness actually a Good Thing? In writing code to process large data sets in Haskell I've come across more instances where laziness has been harmful than instances when it is beneficial. When everything needs processing and all calculations will be used, laziness just means that programs take up extortionate amounts of heap space while they delay all computation until the last minute. This is a review of some of the processes I've been using to deal with the problems caused by processing large amounts of data, for my own reference, and for anyone else who would like similar help, as this is not usually found in the Haskell textbooks.

by brice 2007-03-17 20:00 haskell · tutorial

http://users.aber.ac.uk/afc/stricthaskell.html - cached - mail it - history

High-level technique for program options handling

I've used Haskell to create various command-line utitities for unix-like systems. In the process I developed a simple yet powerful and flexible technique for processing program options. What you can read below is my unfinished attempt at writing an article about it. The current form is probably far from good, but I decided I'll rather release it as it is than waste my effort.

by brice 2007-03-12 17:40 haskell · howtos

http://www.haskell.org/pipermail/haskell/2004-January/013412.html - cached - mail it - history

UML en français

Cette présentation a donc pour objectif, d'une part, de montrer en quoi l'approche objet et UML constituent un "plus" et d'autre part, d'exposer comment utiliser UML dans la pratique, c'est-à-dire comment intégrer UML dans un processus de développement et comment modéliser avec UML.

by brice 2007-03-10 09:29 lang:fr · courses

http://uml.free.fr/ - cached - mail it - history

Silver Needle in the Skype

Reverse enginering of Skype.

by brice 2007-03-10 03:46 security · hacks · papers

http://blackhat.com/presentations/bh-europe-06/bh-eu-06-biondi/bh-eu-06-biondi-up.pdf - cached - mail it - history

Anonymous Arrays in C

This is some technique i discovered around march '04 while looking for a smart way to encode VTBL for memory classes in Clicker32 microkernel. Due to the large amount of new KickassProgrammingTechniques it allows with a regular ANSI C compiler (gcc, for instance) i decided to create this page ... [...] Once again, anonymous arrays (of one element) can save us with #define cons(x,y) (struct llist[]){{x,y}} struct llist *lst=cons(a1, cons(a2, co...ns(aN,NULL) ... ));

by brice 2007-03-06 00:27 C · tips

http://www.run.montefiore.ulg.ac.be/~martin/resources/kung-f00.html - cached - mail it - history

OpenFreebox:PenetrationV4

Pénétrez une FreeBoxPerso V4 avec un simple Trombone !! Cette méthode ne nécessite aucune soudure ni reflashage !!

by brice 2007-03-03 18:49 hacks · free · lang:fr

http://www.f-x.fr/wikini/wakka.php?wiki=PenetrationV4 - cached - mail it - history

h4sh

h4sh provides a set of Haskell List functions as normal unix shell commands. This allows us to use Haskell in shell scripts transparently. Each program is generated from the function's type.

by brice 2007-03-02 18:21 haskell · bash

http://www.cse.unsw.edu.au/~dons/h4sh.html - cached - mail it - history

BDR et SGBDR : Le Langage sql

by brice 2007-02-27 01:24 courses · sql · lang:fr

http://wwwsi.supelec.fr/~yb/poly_ bd/poly.html - cached - mail it - history

libjio - A library for Journaled I/O

Provides a very simple API to commit and rollback transactions, and on top of that a UNIX-alike set of functions to perform most regular operations (ie. open(), read(), write()) in a non-intrusive threadsafe and atomic way, with safe and fast crash recovery.

by brice 2007-02-26 18:27 hacks · fs · unix

http://auriga.wearlab.de/~alb/libjio/ - cached - mail it - history

DLL_PRELOAD: Solarish LD_PRELOAD for Windows NT

Abstract. Solaris (as well as practically every other Unix dialect) provides a mechanism for pre-loading and executing of code of user choice upon process start-up, before the execution control is passed to program entry-point. This gives you an option to intercept calls to other shared libraries (most notably libc.so:-) and modify their behavior or simply study the way application interacts with the system. To make the story short I find this functionality essential enough to devote an effort to implementing similar one for Windows NT.

by brice 2007-02-26 18:25 windows · hacks

http://fy.chalmers.se/~appro/nt/DLL_PRELOAD/ - cached - mail it - history

Scheme loops

Tail-recursive schemy iteration is too low-level and, according to Olin, a higher-level abstraction hiding details and providing a modular interface and proper lexical scope is called for. In his presentation, he outlines his solution to this problem, which, as you will see, amounts to defining a looping domain-specific language (actually, a couple of them).

by brice 2007-02-26 17:42 scheme · papers

http://jaortega.wordpress.com/2007/02/25/scheme-loops/ - cached - mail it - history

Hoogle

The Haskell API Search Engine

by brice 2007-02-25 15:54 haskell · reference

http://www.haskell.org/hoogle/ - cached - mail it - history

Documentation PostgreSQL 8.2.3

by brice 2007-02-20 17:52 sql · reference · lang:fr

http://docs.postgresqlfr.org/8.2/ - cached - mail it - history

Dictionary of Algorithms and Data Structures

This is a dictionary of algorithms, algorithmic techniques, data structures, archetypal problems, and related definitions. Algorithms include common functions, such as Ackermann's function. Problems include traveling salesman and Byzantine generals. Some entries have links to implementations and more information. Index pages list entries by area and by type. The two-level index has a total download 1/20 as big as this page.

by brice 2007-02-20 16:24 archive · cs · algorithms

http://www.nist.gov/dads/ - cached - mail it - history

Failure Trends in a Large Disk Drive Population

We present data collected from detailed observations of a large disk drive population in a production Internet services de- ployment. The population observed is many times larger than that of previous studies. In addition to presenting failure statis- tics, we analyze the correlation between failures and several parameters generally believed to impact longevity.

by brice 2007-02-20 12:18 hardware · papers

http://216.239.37.132/papers/disk_failures.pdf - cached - mail it - history

Akra-Bazzi method - Wikipedia, the free encyclopedia

n computer science, the Akra-Bazzi method, or Akra-Bazzi theorem, is used to analyze the asymptotic behavior of the mathematical recurrences that appear in the analysis of divide and conquer algorithms where the sub-problems have substantially different sizes. It is a generalization of the well-known Master theorem, which assumes that the sub-problems have equal size

by brice 2007-02-19 03:22 maths · cs · courses

http://en.wikipedia.org/wiki/Akra-Bazzi_method - cached - mail it - history

A Principled Approach to Operating System Construction in Haskell

We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controlling memory management hardware, user-mode process execution, and low-level device I/O. The interface enforces memory safety in nearly all circumstances. Its behavior is specified in part by formal assertions written in a programming logic called P-Logic. The interface has been implemented on bare IA32 hardware using the Glasgow Haskell Compiler (GHC) runtime system. We show how a variety of simple O/S kernels can be constructed on top of the interface, including a simple separation kernel and a demonstration system in which the kernel, window system, and all device drivers are written in Haskell.

by brice 2007-02-18 15:45 haskell · cs · os

http://ogi.altocumulus.org/~hallgren/ICFP2005/house.pdf - cached - mail it - history

Generic Programming, Now !

Tired of writing boilerplate code? Tired of repeating essentially the same function deﬁnition for lots of diﬀerent data types? Datatype-generic programming promises to end these coding nightmares. In these lecture notes, we present the key abstractions of datatype-generic programming, give several applications, and provide an elegant embed- ding of generic programming into Haskell. The embedding builds on re- cent advances in type theory: generalised algebraic data types and open data types. We hope to convince you that generic programming is useful and that you can use generic programming techniques today!

by brice 2007-02-18 15:43 haskell · cs · courses

http://www.informatik.uni-bonn.de/~ralf/publications/NOW.pdf - cached - mail it - history

Computer science cheatsheet

A nice refcard.

by brice 2007-02-18 15:32 cs · tips · reference

http://www.tug.org/texshowcase/cheat.pdf - cached - mail it - history

The Evolution of a Haskell Programmer

I came across Iavor’s "jokes" page, including a funny bit called “The Evolution of a Programmer” in which the traditional imperative "Hello, world" program is developed through several variations, from simple beginnings to a ridiculously complex extreme. A moment’s thought turned up the factorial function as the best functional counterpart of "Hello, world". Suddenly the Muse struck and I knew I must write out these examples, culminating (well, almost) in the heavily generalized categorical version of factorial provided by Uutsalu, Vene and Pardo.

by brice 2007-02-18 09:25 haskell · functional · humor

http://www.willamette.edu/~fruehr/haskell/evolution.html - cached - mail it - history

libelf by Example

This tutorial introduces the libelf library in FreeBSD -CURRENT. It shows how this library can be used to create tools that can manipulate ELF objects for native and non-native architectures.

by brice 2007-02-17 17:37 compiler · os · tutorial

http://people.freebsd.org/~jkoshy/download/libelf/article.html - cached - mail it - history

An Incremental Approach to Compiler Construction

The gap between real-life compilers and the educational toy compilers is too wide. The novice compiler writer stands puzzled facing an impenetrable barrier, “better write an interpreter instead.” The goal of this paper is to break that barrier.

by brice 2007-02-17 14:36 scheme · compiler · cs · tutorial

http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf - cached - mail it - history

Template Haskell

Template Haskell is an extension to Haskell 98 that allows you to do type-safe compile-time meta-programming, with Haskell both as the manipulating language and the language being manipulated.

by brice 2007-02-05 17:09 functional · metaprograming · haskell

http://www.haskell.org/th/ - cached - mail it - history

Sparse - a Semantic Parser for C

Sparse, the semantic parser, provides a compiler frontend capable of parsing most of ANSI C as well as many GCC extensions, and a collection of sample compiler backends, including a static analyzer also called "sparse". Sparse provides a set of annotations designed to convey semantic information about types, such as what address space pointers point to, or what locks a function acquires or releases.

by brice 2007-02-05 14:53 c · compiler

http://kernel.org/pub/linux/kernel/people/josh/sparse/ - cached - mail it - history

The essence of functional programming

This paper explores the use monads to structure functional programs. No prior knowledge of monads or category theory is required. Monads increase the ease with which programs may be modified. They can mimic the effect of impure features such as exceptions, state, and continuations; and also provide effects not easily achieved with such features. The types of a program reflect which effects occur. The first section is an extended example of the use of monads. A simple interpreter is modified to support various extra features: error messages, state, output, and non-deterministic choice. The second section describes the relation between monads and continuation-passing style. The third section sketches how monads are used in a compiler for Haskell that is written in Haskell.

by brice 2007-02-05 14:44 functional · haskell · cs

http://homepages.inf.ed.ac.uk/wadler/papers/essence/essence.ps.gz - cached - mail it - history

Capacitor plague - Wikipedia, the free encyclopedia

The Capacitor plague (also known as Bad Capacitors, Bad Caps or Bloated Capacitors) involved the common premature failure of certain brands of electrolytic capacitors used in various electronics equipment, and particularly in motherboards, video cards, CF bulbs, and power supplies of personal computers.

by brice 2007-02-03 09:00 hardware · paranoia

http://en.wikipedia.org/wiki/Capacitor_plague - cached - mail it - history

Savannah hosted project maintenance

A wiki with all that you need to know to handle a savannah project

by brice 2007-02-01 16:52 development · reference

https://savannah.gnu.org/maintenance/FrontPage - cached - mail it - history

Comparing Objective Caml and Standard ML

This page compares point-by-point the Objective Caml (OCaml) and Standard ML (SML) programming languages, the two main representatives of the ML programming language family. The comparison includes language design and current tool availability, as well as further social factors. This page isn't meant to be a complete comparison, but rather to highlight differences that might lead to choosing one language over the other.

by brice 2007-01-31 18:28 caml · functional · essay

http://www.cs.berkeley.edu/~adamc/mlcomp/ - cached - mail it - history

Using Etherboot as a BIOS module

Boot to PXE directly from a award or ami BIOS

by brice 2007-01-31 17:52 hardware · hacks · howtos

http://www.etherboot.org/wiki/biosmodule - cached - mail it - history

Gentoo Development Guide: Master Index

The intent is to make an handbook giving developers and users correct, detailed, up to date technical content.

by brice 2007-01-31 13:09 gentoo · sysadmin · reference

http://devmanual.gentoo.org/ - cached - mail it - history

Lambda calculus to Javascript source-to-source filter

The replacements that work are: transform(λx.y) = function(){return function(x){return transform(y)()}} transform(x(y)) = function(){return transform(x)()(transform(y))} Unlambda introduced the backtick (`) as a prefix application operator

by brice 2007-01-30 18:10 functional · hacks · javascript

http://math.ucr.edu/~mike/lc2js.html - cached - mail it - history

Lambda tutorial

These web pages provide a practical introduction to lambda reduction, with a few pointers to more esoteric issues. I'm a linguist, and I have linguists in mind for my audience, so linguistic issues will be emphasized (e.g., a discussion of the interaction of lambda with other binding operators such as ∃ "exists" and ∀ "forall").

by brice 2007-01-30 14:37 to_read · functional · javascript · tutorial

http://ling.ucsd.edu/~barker/Lambda/ - cached - mail it - history

OTCC : Obfuscated Tiny C Compiler

The Obfuscated Tiny C Compiler (OTCC) is a very small C compiler I wrote in order to win the International Obfuscated C Code Contest (IOCCC) in 2002. My goal was to write the smallest C compiler which is able to compile itself. I choose a subset of C which was general enough to write a small C compiler. Then I extended the C subset until I reached the maximum size authorized by the contest: 2048 bytes of C source excluding the ';', '{', '}' and space characters.

by brice 2007-01-29 17:09 compiler · c · hacks

http://fabrice.bellard.free.fr/otcc/ - cached - mail it - history

Dynamic Applications from the Ground Up

Some Lisp programs such as Emacs, but also the Linux kernel (when fully modularised) are mostly dynamic; i.e., apart from a small static core, the significant functionality is dynamically loaded. In this paper, we explore fully dynamic applications in Haskell where the static core is minimal and code is hot swappable. We demonstrate the feasibility of this architecture by two applications: Yi, an extensible editor, and Lambdabot, a plugin-based IRC robot. Benefits of the approach include hot swappable code and sophisticated application configuration and extension via embedded DSLs. We illustrate both benefits in detail at the example of a novel embedded DSL for editor interfaces.

by brice 2007-01-29 10:30 cs · haskell · functional · papers

http://www.cse.unsw.edu.au/~dons/papers/SC05.html - cached - mail it - history

PLEAC - Programming Language Examples Alike Cookbook

Following the great Perl Cookbook (by Tom Christiansen & Nathan Torkington, published by O'Reilly; you can freely browse an excerpt of the book here) which presents a suite of common programming problems solved in the Perl language, this project aims to gather fans of programming, in order to implement the solutions in other programming languages. If successful, this project may become a primary resource for quick, handy and free reference to solve most common programming problems using higher-level programming languages, and for comparison on ease-of-use and power/efficiency of these languages.

by brice 2007-01-29 10:25 reference · development · archive

http://pleac.sourceforge.net/ - cached - mail it - history

MCSE - View Single Post - Signed assemblies easily cracked?

Public key token is top 64bits of SHA1 hash of the public key. In reality - current implementation of CLR always use public key token (which can be easily verified with ILDASM). SHA1 is 160 bits, but public key token is 64 bit. Due to birthday paradox - only 2^32 public keys need to be tried before finding a pair of colliding of public key token (different public key/key pair, but the same public key token).

by brice 2007-01-29 10:15 security · dotnet

http://www.mcse.ms/showpost.php?p=3313312&postcount=22 - cached - mail it - history

Madore thoughts

by brice 2007-01-28 16:22 cs · maths · hacks · os · archive

http://www.madore.org/~david/misc/best_of_GroTeXdieck/ - cached - mail it - history

A tutorial on Lava : A Hardware Description and Verification System

by brice 2007-01-28 14:47 haskell · hardware · tutorial · functional · DOUBTFUL

http://www.cs.chalmers.se/~koen/Lava/tutorial.ps - cached - mail it - history

Madore - no suicide

by brice 2007-01-28 13:08 society · humor · lang:fr

http://www.madore.org/~david/misc/best_of_GroTeXdieck/no_suicide - cached - mail it - history

Madore - Logiques

Présente différentes logiques.

by brice 2007-01-28 13:05 langs:fr · maths · foundations

http://www.madore.org/~david/misc/best_of_GroTeXdieck/logique - cached - mail it - history

Madore - Fin de l'AI lab du MIT

L'histoire de la fin du AI Lab, en bref, est la suivante.

by brice 2007-01-28 13:01 gnu · lang:fr

http://www.madore.org/~david/misc/best_of_GroTeXdieck/hackers - cached - mail it - history

Stroustrup: Whitespace April Fool

Yes, of course the Generalizing Overloading for C++2000 that I wrote and published in the April 1998 issue of "Overload" is an April Fool's Joke. I hope you enjoyed it.

by brice 2007-01-28 11:13 cs · humor · geeky

http://public.research.att.com/~bs/whitespace98.pdf - cached - mail it - history

Locus Solum

The monograph below has been conceived as the project of giving reasonable foundations to logic, on the largest possible grounds, but not with the notorious reductionist connotation usually attached to "foundations". Locus Solum would like to be the common playground of logic, independent of systems, syntaxes, not to speak of ideologies. But wideness of scope is nothing here but the reward of sharpness of concern : I investigate the multiple aspects of a single artifact, the design. Designs are not that kind of syntax-versus-semantics whores that one can reshape according to the humour of the day : one cannot tamper with them, period. But what one can achieve with them, once their main properties —separation, associativity, stability— have been understood, is out of proportion with their seemingly banal definition.

by brice 2007-01-28 10:16 maths · foundation · paper · DOUBTFUL

http://iml.univ-mrs.fr/~girard/0.ps.gz - cached - mail it - history

Introduction to the Bible and Biblical Problems

This introduction serves as a very basic introduction to the makeup of the Bible and to how the Bible came about, as well as to some basic kinds of biblical problems--especially the kinds of problems inherent in a fundamentalist/literalist approach to the Bible which views the Bible as the inerrant, infallible, inspired, and plenary "Word" of a perfect, omnipotent, and loving God--as exemplified in the categories that follow.

by brice 2007-01-28 09:46 religion · zetetic · DOUBTFUL

http://www.infidels.org/library/modern/donald_morgan/ - cached - mail it - history

Fractional Cascading

A method used to build dynamic data structures. It uses similarities between (static) sub structures to speed up searches in the global dynamic structure. [Ideal for range search ?]

by brice 2007-01-28 09:40 algorithm · cs · paper

http://www.hpl.hp.com/techreports/Compaq-DEC/SRC-RR-12.pdf - cached - mail it - history

Why People Aren't Using Haskell

why aren't all these people using Haskell instead of Perl, Python and Ruby? After all, it is a better language.

by brice 2007-01-28 08:44 functional · haskell · essay

http://www.jelovic.com/articles/why_people_arent_using_haskell.htm - cached - mail it - history

anyfs-tools - toolset for recovering and converting filesystems and recovering data from a block device.

by brice 2007-01-27 09:55 filesystem · sysadmin · hack

http://anyfs-tools.sourceforge.net/ - cached - mail it - history

milw0rm.com

by brice 2007-01-27 08:19 practical · archive · security

http://milw0rm.com/ - cached - mail it - history

Comprendre les disques durs : les solutions au superparamagnétisme

Si les capacités de stockage des disques durs ont connu un bond prodigieux entre 1996 et 2002 (2 Go contre 200 Go pour les disques durs IDE), on constate que cette progression a déjà commencé à connaître un ralentissement et pourrait se voir stoppé si un certain nombre de problèmes techniques n'étaient pas résolus. Toutefois en lisant le communiqué de presse du CNRS du 19 juin 2003, il semble que des équipes de chercheurs européens dont le laboratoire Louis Nèel de Grenoble aient trouvé une solution au problème le plus délicat à savoir le superparamagnétisme. Quels sont les problèmes que rencontrent les technologies d'aujourd 'hui et quelle sont les solutions que tentent d'apporter les chercheurs tels seront les thèmes de ce mini-article.

by brice 2007-01-27 07:45 hardware · lang:fr

http://www.onversity.com/cgi-bin/progactu/actu_aff.cgi?Eudo=bgteob&P=N200309 - cached - mail it - history

Default Password List

by brice 2007-01-27 07:41 security · hardware · tools

http://www.phenoelit.de/dpl/dpl.html - cached - mail it - history

autopatcher.com - The Home of AutoPatcher 2000/XP/2003

AutoPatcher is based on the functionality of these special updates, automating their installation process. This way, with only a few mouse clicks and two minutes of your time, AutoPatcher is able to continue with the installation of the items you selected. In short, AutoPatcher combines the advantage of both Windows Update (presentation and description of updates and automated installation), and the special administrative updates (portability and installation without the need of an Internet connection).

by brice 2007-01-27 07:34 windows · security · sysadmin

http://www.autopatcher.com/ - cached - mail it - history

PROXY lists

HTTP anonymous proxy list

by brice 2007-01-27 07:30 web · security · tools

http://www.samair.ru/proxy/ - cached - mail it - history

Note technique sur les ordinateurs de vote

La communauté internationale des experts (universitaires ou informaticiens professionnels) a clairement exprimé que ces ordinateurs de vote, tels que conçus actuellement, sont peu sûrs, vulnérables, faciles à frauder de manière indétectable et à grande échelle3. Ils soulignent que ces ordinateurs sont incompatibles avec la démocratie. Ils déconseillent donc formellement leur usage. Voici quelques-uns des arguments qui étayent ces prises de position.

by brice 2007-01-27 07:19 politic · gnu · lang:fr

http://www.sciences.univ-nantes.fr/info/perso/permanents/enguehard/perso/note_technique.pdf - cached - mail it - history

C-- Home

You might generate C, if you can live without multiple results in registers, proper tail calls, computed gotos, accurate garbage collection, and efficient exceptions. You would be much happier with one portable assembly language that could be generated by a front end and implemented by any of several code generators. Such a language should serve as the interface between high-level compilers and retargetable, optimizing code generators. Authors of front ends and authors of code generators could cooperate easily. C-- is that language.

by brice 2007-01-26 14:32 compiler · functional · cs

http://cminusminus.org/ - cached - mail it - history

Selectutorial: CSS selectors

by brice 2007-01-24 17:08 tutorial · webdesign

http://css.maxdesign.com.au/selectutorial/ - cached - mail it - history

SecondLife: Revolutionary Virtual Market or Ponzi Scheme?

As we scratched our heads trying to figure out if there weren’t a more clever way of disguising our trades, or perhaps creating our own in-game banks and exchanges in order to arbitrage the other direction, it suddenly dawned upon me. This game was just a pyramid scheme.

by brice 2007-01-24 16:53 society · web

http://randolfe.typepad.com/randolfe/2007/01/secondlife_revo.html - cached - mail it - history

Using CSS selectors to apply Javascript behaviours

After all the work to promote clean markup, valid pages and graceful degradataion via css - it sucks that we're going back to tag soup days by throwing javascript tags into our html. The better way to do javascript is to do it unobtrusively. That's why I came up with Behaviour - my solution to unobtrusive javascript behaviours.

by brice 2007-01-24 16:10 webdesign

http://www.bennolan.com/behaviour/ - cached - mail it - history

The Radeon naming scheme explained.

by brice 2007-01-24 13:15 hardware · gnu

http://dri.freedesktop.org/wiki/ATIRadeon - cached - mail it - history

OUP: UK General Catalogue

This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.

by brice 2007-01-24 11:23 shop · to_buy

http://www.oup.com/uk/catalogue/?ci=9780198566519 - cached - mail it - history

Exerb Project

Exerb is a software which converts scripts/extension-libraries of the object oriented language Ruby into a Windows executable file which can execute alone and independently.

by brice 2007-01-24 11:16 hack · windows · development · ruby

http://exerb.sourceforge.jp/index.en.html - cached - mail it - history

CSS Selectors testsuite - CSS3 . info

After starting the testsuite it will automatically run a large number of small tests which will determine if your browser is compatible with a large number of CSS selectors. If it is not compatible with a particular selector it is marked as such. You can click on each selector to see the results, including a small example and explaination for each of tests.

by brice 2007-01-23 14:51 web · webdesign

http://www.css3.info/selectors-test/ - cached - mail it - history

Doonesbury@Slate - Daily Dose

by brice 2007-01-22 17:18 science · humor · comics · religion

http://www.doonesbury.com/strip/dailydose/index.html?uc_full_date=20070114 - cached - mail it - history