lukepalmer.wordpress.com
Luke Palmer | Functional programming, philosophy, education, musicFunctional programming, philosophy, education, music
http://lukepalmer.wordpress.com/
Functional programming, philosophy, education, music
http://lukepalmer.wordpress.com/
TODAY'S RATING
>1,000,000
Date Range
HIGHEST TRAFFIC ON
Thursday
LOAD TIME
0.2 seconds
16x16
32x32
PAGES IN
THIS WEBSITE
7
SSL
EXTERNAL LINKS
74
SITE IP
192.0.78.13
LOAD TIME
0.157 sec
SCORE
6.2
Luke Palmer | Functional programming, philosophy, education, music | lukepalmer.wordpress.com Reviews
https://lukepalmer.wordpress.com
Functional programming, philosophy, education, music
lukepalmer.wordpress.com
Discoveries This Week | Luke Palmer
https://lukepalmer.wordpress.com/2014/07/23/discoveries-this-week
Functional programming, philosophy, education, music. July 23, 2014. This week’s reading was more scattered than last week’s. Which was focused mainly on US surveillance and politics. Still lots of interesting stuff this week — it’s amazing what comes to light when I allow myself to care. Do I support US hegemony as an alternative to a yet-more dangerously unstable world? Am I only doubting democratization of Iran because I live in the USA? I don’t know these answers. From 2011, but still a goodie). ...
My Political Activation | Luke Palmer
https://lukepalmer.wordpress.com/2014/07/12/my-political-activation
Functional programming, philosophy, education, music. July 12, 2014. Six weeks ago, Jimbo Wales tweeted a link to a fantastic article titled Privacy under attack: the NSA files revealed new threats to democracy. At the same time, I had been reading Paulo Freire’s Pedagogy of the Oppressed. Without further ado, here are the pieces I found notable this week. Pentagon preparing for mass civil breakdown. The IPCC predicts 4-6 inches of sea level rise in the next 50 years. When thinking about just the coastli...
Disrespect in Education | Luke Palmer
https://lukepalmer.wordpress.com/2014/08/05/disrespect-in-education
Functional programming, philosophy, education, music. August 5, 2014. When I studied education in college, the community was very interested in making sure that students saw the real-world application of mathematics, trying to combat the (correct) perception that what students are being taught is useless. Hence the all-too-familiar “word problems”:. How far from each city do they meet? The theme tying these anecdotes together is. And saving and spending. Something, not that it is (pretending to be) an es...
My paradigm is better than your paradigm | Luke Palmer
https://lukepalmer.wordpress.com/2011/09/15/my-paradigm-is-better-than-your-paradigm
Functional programming, philosophy, education, music. My paradigm is better than your paradigm. September 15, 2011. On twitter I participated in the short snarky exchange:. 8211; Threads sharing state by default is like variables being global by default. 8211; state is like globals :-). 8211; @luqui only shared state – which is why FP ultimately fails – it trades comprehensibility for shared state optimizations. Disclaimer: this post is not. Dynamically typed languages are more expressive than correspond...
Haskell Antipattern: Existential Typeclass | Luke Palmer
https://lukepalmer.wordpress.com/2010/01/24/haskell-antipattern-existential-typeclass
Functional programming, philosophy, education, music. Haskell Antipattern: Existential Typeclass. January 24, 2010. I have observed pattern of design emerging in various Haskell libraries, for example vty-ui. Here is an excerpt from vty-ui’s interface. The snippet is long but simple, and I need all of it to demonstrate my point. So it doesn’t buy me anything. There is a simpler and more direct way to encode the same thing. Here is the interface I would have written to this library:. 8220;Haven’t we...
TOTAL PAGES IN THIS WEBSITE
7
Helltime for September 27 | I Built His Cage
https://moffdub.wordpress.com/2010/09/27/helltime-for-september-27
I Built His Cage. The devil is real: rants of a young software engineer. Waterfall with a Scrum board. Helltime for September 27. Now for quick hits and commentary on software development topics from around the web, the EIP web-ring brings you the stigmatized spawn of a refactory, MoffDub, and Helltime. On his Red Sweater blog. About masking failures in a system, and it echoes some of the biggest complaints against the Null Object Pattern. Fail as early as possible. Interestingly enough, CrossTalk. This ...
Paleoglot: Extras
http://paleoglot.blogspot.com/2007/01/extras.html
Frustrated by many historians employing ad-hoc methods of translation by appeal to Latin look-alikes without in-depth analysis, I decided to create this online Flash-based applet that translates an Etruscan word or phrase into English. I continually update it based on new information. Enjoy. This is an ancient Egyptian two-player boardgame using a 3x10-square board and four casting sticks for dice which I programmed myself in Adobe Flash. (Valuable input from readers like you helped a lot!
Paleoglot: July 2014
http://paleoglot.blogspot.com/2014_07_01_archive.html
ET Vs 3.7; TLE 736. Tn turce Vel Sveitus. This was given by Vel Sveitu. Figurine of a priest; Volsinii; 4th century BCE). Post a comment (0). ET Vs 4.8; TLE 900. Silvanus of the Oath with votive. Cippus; Volsinii; 3rd to 2nd century BCE). Post a comment (0). CII 307; ET Vt G.1; TLE 405. Etruscan gem showing a haruspex examining a liver; Volaterrae; 4th century BCE). Post a comment (6). Subscribe to: Posts (Atom). ET Vs 3.7; TLE 736. ET Vs 4.8; TLE 900. CII 307; ET Vt G.1; TLE 405. Bradshaw of the Future.
Paleoglot: December 2012
http://paleoglot.blogspot.com/2012_12_01_archive.html
Aegean coleslaw, anyone? After months of slacking off, I should probably get back to work and blog something. It's not as if I ever ran out of ideas. So today I want to talk about a package of vegetable terms that seem related but I believe may be misetymologized. Let's focus on *kremus-. Onion', an unanalysable Proto-Indo-European root presumed to be a nominal derivative in *-us-. Concocted to explain Old Irish crem. Garlic', Germanic *hramuson. We could start with an Aegean root *harápʰa. Would be quic...
The Paralyzing Paradoxes of Professor Polaro: December 2008
http://polaro.blogspot.com/2008_12_01_archive.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Wednesday, December 24, 2008. On Bi-Polarism Theory and Mathematics is Inconsistent. And while you're in the holiday spirit, check out The Twelf Days of Christmas. Links to this post. Thursday, December 4, 2008. A conference dedicated to Per Martin-Löf on the occasion of his retirement. This promises to be a very exciting conference. Links to this post. Subscribe to: Posts (Atom). View my complete profile.
The Paralyzing Paradoxes of Professor Polaro: Defunctionalizing proofs (revised + extended edition)
http://polaro.blogspot.com/2009/07/defunctionalizing-proofs-revised.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Friday, July 10, 2009. Defunctionalizing proofs (revised extended edition). I wrote a paper that elaborates and improves upon the basic idea I talked sketchily about some months ago. Of applying defunctionalization towards a formal representation of "Ω-rules" in Twelf, with applications to pattern-matching and cut-elimination. The paper was accepted to Proof Search in Type Theory. Next month in Montreal. Opinions of Doron ...
The Paralyzing Paradoxes of Professor Polaro: December 2009
http://polaro.blogspot.com/2009_12_01_archive.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Monday, December 21, 2009. The History of Categorical Logic. I'm currently making my way through Jean-Pierre Marquis and Gonzalo E. Reyes' 116-page-long The History of Categorical Logic. And it is fascinating. Someone needs to make it into a comic book. HT: This Week's Finds. Links to this post. Subscribe to: Posts (Atom). The History of Categorical Logic. View my complete profile. Speak Polish and die.
The Paralyzing Paradoxes of Professor Polaro: January 2010
http://polaro.blogspot.com/2010_01_01_archive.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Tuesday, January 26, 2010. Twelf, my favorite general-purpose functional programming language. Disclaimer: the title of this post is tongue-in-cheek—I do not really like to play favorites. But hopefully you will understand why I chose it: to mess with your head.). Last week I was at POPL 2010. S talk about Continuity Analysis of Programs. Continuity, like type safety, provides a measure of the "robustness" of programs.
The Paralyzing Paradoxes of Professor Polaro: September 2009
http://polaro.blogspot.com/2009_09_01_archive.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Wednesday, September 30, 2009. More on LOGICOMIX, from Richard Zach. Richard Zach of LogBlog. Also wrote a review of Logicomix. Last week, and today followed up specifically addressing the novel's theme of Logic and Madness. This was something I left out of my review. Links to this post. Tuesday, September 15, 2009. LOGICOMIX: an Epic Search for Truth. Apostolos Doxiadis and Christos H. Papadimitriou. Second, a disclaimer:...
The Paralyzing Paradoxes of Professor Polaro: November 2008
http://polaro.blogspot.com/2008_11_01_archive.html
The Paralyzing Paradoxes of Professor Polaro. Primarily about proofs and programs. Tuesday, November 18, 2008. So in case you haven't realized, those promises. A few other updates:. This past weekend there was a small workshop at CMU, Bernaysfest. Dedicated to the life and work of Paul Bernays, a collaborator of David Hilbert. I snuck in, and heard a bunch of interesting talks on the history of proof theory. ( Bernd Buldt's. But I'm keeping the video to myself, thank you very much. Was accepted to PLPV.
TOTAL LINKS TO THIS WEBSITE
74
Luke Palermo | Art and Design
Summer" - 12 x 24 inches - Acyrlic on Wood. Scroll down and click around to see what's going on - enjoy the art. Click above on ART for paintings and illustrations or DESIGN to view my portfolio. Click here for prices. Click here for information. Click here for information. Click here for prices. Get yours at CafePress:. Drop Dead Threads for the Ride - featuring shirts, hats and mugs. If Picasso were into punk, this would be how he would describe going to a gig.". Click here for comics and more.
Luke Palladino Hospitality Group
LUKE PALLADINO HOSPITALITY GROUP PO BOX 3220, MARGATE CITY, NJ 08402 844.464.7163. Click here to view our privacy policy. Cindy Jensen Graphic Design. Now is the Time to. Book Your Summer Events! To discuss your event, contact. Luke Palladino Catering at:. To view photos of past events. PURCHASE A GIFT CARD.
Luke Palmer
lukepalmer.com
The Sponsored Listings displayed above are served automatically by a third party. Neither the service provider nor the domain owner maintain any relationship with the advertisers. In case of trademark issues please contact the domain owner directly (contact information can be found in whois).
Luke Palmer | Functional programming, philosophy, education, music
Functional programming, philosophy, education, music. Don’t heal too fast. April 26, 2017. Heart, please don’t heal too fast. Lest the pulse in my chest won’t last. How I feared this favor, now caressed. Were it here when I tenderness asked. Happy does not know your depths. I concede, I’ve tread water without rest. A smile forever will never fall. I thought no sweetness here, I confess. I feel truer when thee bleed. When giving of love is what. So clear submerged undersea. Pain cleanse, love breathe.
***
Tuesday, 7 October 2014. Rewind to the summer term 2006 and i'm sat in a warm. I first met you on a Friday morning as a small group of us somewhat reluctantly shuffled into the corner of the College’s Learning Resource Centre (or library. 8217;, taking a strong influence from the book by Robert Bly ‘Iron John: A Book About Men’. I'm not sure that I have ever felt what real depression feels like but during this time I was certainly close. Thank you Felix, Your friend – Luke. Wednesday, 20 June 2012. I rea...
Luke Pamer Productions – Film & Photo
Authentic and Creative Storytelling. About Me MORE ABOUT ME. My name is Luke Pamer and I am currently living in Seattle Washington. I am the Video Producer at Westminster Chapel in Bellevue. While i have a passion for all forms of creative art, I specialized in Photography, Videography, and Graphic Design. I want to help businesses creatively tell their story so they can continue to impact their marketplace in a meaningful way. My style has been described as clean and modern by my friends and clients....
Luke Pammant - Software Engineer & Visual Effects Artist
Software Engineer and Visual Effects Artist. Cell Warz an adventure in HTML5 game development (Part 2). July 11, 2014. July 11, 2014. Epic battle ensue as the cells duke it out! Okay its not THAT exciting…). TLDR: Here is a link to the game. Here is a link to the code. After showing part one of Ship Warz to a friend he recommended that I change it to Cell Warz. The erratic movement of the particles were much more indicative of mindless cells than of ships. So I have officially changed the name. Let’...
Luke Pammenton Drums
Welcome to the official website of Brisbane based drummer and educator, Luke Pammenton. On this site you can find all the information you need about drum lessons with Luke, his musical projects and his live performances. If you are looking for drum lessons in Brisbane you've come to the right place. Luke has over 10 years of teaching experience and offers professional drum tuition to students of all ages. Check out the Drum Lessons. Page for more details. Do not fill in this field. Mob: 0422 580 861.
Learning JavaScript
SOCIAL ENGAGEMENT