codemiscellany.blogspot.com
Code MiscellanySmalltalk about code and programming languages, especially functional ones
http://codemiscellany.blogspot.com/
Smalltalk about code and programming languages, especially functional ones
http://codemiscellany.blogspot.com/
TODAY'S RATING
>1,000,000
Date Range
HIGHEST TRAFFIC ON
Saturday
LOAD TIME
1 seconds
16x16
32x32
PAGES IN
THIS WEBSITE
19
SSL
EXTERNAL LINKS
23
SITE IP
172.217.6.65
LOAD TIME
0.953 sec
SCORE
6.2
Code Miscellany | codemiscellany.blogspot.com Reviews
https://codemiscellany.blogspot.com
Smalltalk about code and programming languages, especially functional ones
codemiscellany.blogspot.com
Code Miscellany: Review: OCaml for Scientists
http://codemiscellany.blogspot.com/2007/09/review-ocaml-for-scientists.html
Smalltalk about code and programming languages, especially functional ones. Monday, September 24, 2007. Review: OCaml for Scientists. When we think about what makes a programming book good, what separates a classic from a run-of-the-mill for-dummies-learn-in-X-days book, it's not hard to get to the conclusion that the examples are an important piece of what we perceive as quality. I would say that this is even more so for books on programming languages: K&R. Had great examples; Practical Common Lisp.
Code Miscellany: February 2007
http://codemiscellany.blogspot.com/2007_02_01_archive.html
Smalltalk about code and programming languages, especially functional ones. Wednesday, February 21, 2007. EOPL - 2.2.2 - Exercise 2.12. This one asks you to implement alpha, beta and eta conversion on lambda-calculus expressions based on the substitution function of the previous exercise. For this we need a function to see if an identifier occurs free in an expression, similar to the one presented on section 1.3 and easy enough. The conversion functions can then be implemented quite simply:. From the pre...
Code Miscellany: June 2007
http://codemiscellany.blogspot.com/2007_06_01_archive.html
Smalltalk about code and programming languages, especially functional ones. Sunday, June 17, 2007. There's a comparison of F# versus IronPython. In Robert Pickering's blog. The results show that F# has roughly the same level of conciseness and terseness of Python, while being close in performance to C#. This is a .NET-based comparison, but it would be interesting to compare F# with CPython to see where it stands. If we are to believe this discussion. Links to this post. Saturday, June 9, 2007. Which has ...
Code Miscellany: March 2008
http://codemiscellany.blogspot.com/2008_03_01_archive.html
Smalltalk about code and programming languages, especially functional ones. Saturday, March 15, 2008. Brute force SAT solver in Haskell. Sometimes people get wrong impressions after a Theory of Computation course. A "hard" problem there is not necessarily hard to solve with a program, just hard to solve well in realistic circumstances. Take SAT. And f1 f2 ). Or f1 f2 ). Replicate n True ]. And f1 f2 ). SolveFormula f1 env ). SolveFormula f2 env ). Or f1 f2 ). SolveFormula f1 env ). SolveFormula f2 env ).
Code Miscellany: May 2007
http://codemiscellany.blogspot.com/2007_05_01_archive.html
Smalltalk about code and programming languages, especially functional ones. Saturday, May 26, 2007. Great news in the Haskell Books front. This was recently announced and everyone must already know about it (I was away at a conference), but just in case: O'Reilly. Will publish a book about Haskell. Written by people very active in the Haskell community. Such a book from O'Reilly has the potential to seriously increase Haskell's popularity, and familiarize more people with functional programming.
TOTAL PAGES IN THIS WEBSITE
19
Realidades Paralelas: February 2005
http://realpar.blogspot.com/2005_02_01_archive.html
Monday, February 28, 2005. O blog do Google. A página de Steven Pinker. No MathWorld sobre os testes de aptidão para candidatos a um emprego no Google. De Bill Joy na Wired. Sobre o avanço da tecnologia e uma possível extinção da raça humana. De Thomas Pynchon sobre os " Luddites. Existe tradução para o termo? Posted by tautologico at 5:15 PM. Saturday, February 26, 2005. Tentando reduzir a pilha de leitura, terminei hoje o The Connection Machine. Sobre o pessoal da Thinking Machines. Tal que g o f = I(A).
Realidades Paralelas: March 2005
http://realpar.blogspot.com/2005_03_01_archive.html
Wednesday, March 23, 2005. Há quase 30 anos. Dijkstra advertia, no seu livro A Discipline of Programming. Historically speaking, this last aspect, viz. the fact that programming languages could be used as a vehicle for instructing existing automatic computers, has for a long time been regarded as their most important property. The efficiency with which existing automatic computers could execute programs written in a certain language became the major quality criterion for that language! Popularizadas pela...
Realidades Paralelas: An Axiomatic Basis for Computer Programming
http://realpar.blogspot.com/2004/09/axiomatic-basis-for-computer.html
Wednesday, September 29, 2004. An Axiomatic Basis for Computer Programming. Clássico de C. A. R. Hoare, datado de 1969. Esse artigo lançou as bases para provas axiomáticas de corretude de programas e para a semântica axiomática. A seção 5 discute provas de corretude para programas; a idéia, já antiga, de que erros de programação custam caro e que testes nunca podem provar completamente que um programa está correto. Um trecho é interessante:. The practice of supplying proofs for nontrivial programs will n...
Realidades Paralelas: January 2005
http://realpar.blogspot.com/2005_01_01_archive.html
Tuesday, January 25, 2005. Eu comecei lendo comentários no LtU. Sobre a nova "arquitetura celular" que o trio Toshiba/IBM/Sony está desenvolvendo para uso no Playstation 3. Daí segui para a análise. Desta proposta (mas lendo as observações. No ars technica). Então surgiu um link para um artigo. Sobre o conceito da ISA (Instruction Set Architecture) e suas tendências atuais. Tudo muito interessante; e juntando com o advento dos processadores de múltiplos núcleos ( multicore. Sunday, January 09, 2005.
Realidades Paralelas: Sua linguagem pode fazer isso?
http://realpar.blogspot.com/2006/08/sua-linguagem-pode-fazer-isso.html
Tuesday, August 01, 2006. Sua linguagem pode fazer isso? De Joel Spolsky sobre as limitações de um programador que só aprende Java. Posted by tautologico at 6:10 PM. Diário de pesquisa e planos. Revisões bibliográficas, elucubrações e outras viagens, em português, inglês ou qualquer outra língua. View my complete profile. LtU Getting Started Thread. Cyclone: primeiras impressões. Um pouco de crítica. Velozes e Furiosas. aliás, Rápidas e Curtas. Tony Hoare, um rapaz simples, um homem do povo.
Realidades Paralelas: Classic Texts in Computer Science
http://realpar.blogspot.com/2007/02/classic-texts-in-computer-science.html
Saturday, February 24, 2007. Classic Texts in Computer Science. Of classic texts in the discipline, by Babar K. Zafar, with links to electronic versions of each one. Choosing which texts are classic can certainly be controversial, although in this case I think only texts with electronic versions available were considered. Even so, there are many good things in there, some of which I have already read, some I plan to read soon. Posted by tautologico at 9:59 PM. View my complete profile.
Realidades Paralelas: October 2004
http://realpar.blogspot.com/2004_10_01_archive.html
Saturday, October 30, 2004. Finalmente, o cluster. Fui apresentado ao cluster menor que deve ser minha plataforma de testes; apenas 16 máquinas. Infelizmente, algumas máquinas estão mal configuradas ou nem dando boot (kernel panic). E as que funcionam estão com RedHat 8, então o primeiro passo vai ser instalar Debian em todas. Pena o Debian estar tão desatualizado, mas para essa aplicação, não será problema. A parte mais interessante. Posted by tautologico at 7:16 AM. Thursday, October 21, 2004. Concepts...
Realidades Paralelas: August 2004
http://realpar.blogspot.com/2004_08_01_archive.html
Monday, August 30, 2004. Posted by tautologico at 12:34 PM. Thursday, August 26, 2004. Mais um livro que chega. Agora foi Concepts, Techniques and Models of Computer Programming. De Peter Van Roy e Seif Haridi, considerado o novo SICP. A falta de posts reflete o fato que ultimamente não tenho estudado muito, mas espero voltar à ativa em breve. Posted by tautologico at 7:06 AM. Friday, August 20, 2004. The Role of the Study of Programming Languages in the Education of a Programmer. Tuesday, August 17, 2004.
Realidades Paralelas: December 2004
http://realpar.blogspot.com/2004_12_01_archive.html
Sunday, December 12, 2004. Mais um desejo aos ventos. Eu realmente queria que existisse uma tecnologia barata de impressão com qualidade razoável. São tantos artigos, manuais, documentação, livros e etc. Tem hora que dá vontade de imprimir e ir estudar na biblioteca, longe do monitor. Mas se for fazer isso sempre, eu gasto minha bolsa inteira com tinta e papel. E aí, Papai Noel, desenrola uma impressora boa e com baixissimo custo de impressão? Posted by tautologico at 8:29 AM. Wednesday, December 08, 2004.
TOTAL LINKS TO THIS WEBSITE
23
CodeMiring
Aplikasi yang dapat berjalan dengan independen, tanpa perlu menggunakan browser. Aplikasi yang dapat berjalan pada smartphone dan perangkat mobile lainnya. Aplikasi berbasis web dapat dijalankan kapanpun dan dimanapun tanpa harus melakukan penginstalan. Jalan Nias III Nomor 28. Jember, Jawa Timur. 0244159733 an Ragilliyandi Erick P. 0279915181 an Arbi Darmaja. 087201000107526 an Brian H. 1430010848685 an Ragilliyandi Erick P.
CodeMirror
Is a versatile text editor implemented in JavaScript for the browser. It is specialized for editing code, and comes with a number of language modes. That implement more advanced editing functionality. A rich programming API. And a CSS theming. System are available for customizing CodeMirror to fit your application, and extending it with new functionality. Get the current version: 5.3. You can see the code. Read the release notes. There is a minification helper. Software needs maintenance,. Out of the box.
CodeMirror
Is a versatile text editor implemented in JavaScript for the browser. It is specialized for editing code, and comes with a number of language modes. That implement more advanced editing functionality. A rich programming API. And a CSS theming. System are available for customizing CodeMirror to fit your application, and extending it with new functionality. Get the current version: 5.36.0. You can see the code. Read the release notes. Or study the user manual. Software needs maintenance,. Out of the box.
Johnathan Pulos - Web Developer | Home
Welcome to My Resume Website. Thomas Edison once said. To invent, you need a good imagination and a pile of junk.". Thank you for visiting my website. I hope you are able to find everything you need. If your company is looking for a full-time web developer, please do not hesitate to contact me by chat.
Code Miscellany
Smalltalk about code and programming languages, especially functional ones. Saturday, March 15, 2008. Brute force SAT solver in Haskell. Sometimes people get wrong impressions after a Theory of Computation course. A "hard" problem there is not necessarily hard to solve with a program, just hard to solve well in realistic circumstances. Take SAT. And f1 f2 ). Or f1 f2 ). Replicate n True ]. And f1 f2 ). SolveFormula f1 env ). SolveFormula f2 env ). Or f1 f2 ). SolveFormula f1 env ). SolveFormula f2 env ).
codemismatch.com - Registered at Namecheap.com
This domain is registered at Namecheap. This domain was recently registered at Namecheap. Please check back later! This domain is registered at Namecheap. This domain was recently registered at Namecheap. Please check back later! The Sponsored Listings displayed above are served automatically by a third party. Neither Parkingcrew nor the domain owner maintain any relationship with the advertisers.
Code Miso
Code Miso are a small team of web specialists based in Birmingham, England. Why not follow us on Twitter.
codemission.net
CodeMission
브라우저를 닫더라도 로그인이 계속 유지될 수 있습니다. 로그인 유지 기능을 사용할 경우 다음 접속부터는 로그인할 필요가 없습니다. 단, 게임방, 학교 등 공공장소에서 이용 시 개인정보가 유출될 수 있으니 꼭 로그아웃을 해주세요. 브라우저를 닫더라도 로그인이 계속 유지될 수 있습니다. 로그인 유지 기능을 사용할 경우 다음 접속부터는 로그인할 필요가 없습니다. 단, 게임방, 학교 등 공공장소에서 이용 시 개인정보가 유출될 수 있으니 꼭 로그아웃을 해주세요. 대대적인 메뉴 디자인 개편에 들어갑니다. 자유롭게 글을 남길 수 있는 게시판입니다. Layout by CMS Plant.
codemississippi.com - Registered at Namecheap.com
This domain is registered at Namecheap. This domain was recently registered at Namecheap. Please check back later! This domain is registered at Namecheap. This domain was recently registered at Namecheap. Please check back later! The Sponsored Listings displayed above are served automatically by a third party. Neither Parkingcrew nor the domain owner maintain any relationship with the advertisers.
