gatlin

20 ms·

211.
by gatlin 15y ago
Learning is not necessarily something you can speed up. University classes are spaced like that, though, because there is the assumption that you have a lot on your plate. So you have two hours of pottery ... followed by 3 of statistics, 3
212.
by gatlin 15y ago
Algorithm analysis, graph theory, information theory, higher order logic, number theory, and problem solving (et al) haven't changed much in a while. I realize in the article he points out specific technological stuff but a good CS program
213.
by gatlin 15y ago
I used to chair the meetings at my 100+ person housing co-op. Even if not everyone showed up, you have a lot of people with conflicting views and ideas shouting over each other. Additionally, I would stab that the average age is 20. Alcohol
214.
by gatlin 15y ago
I can't fathom how a networking stack or GUI framework would be written in Prolog itself (assuming some basic primitive access to the machine were available to the interpreter). Everything besides logical inference and deduction would hav
215.
by gatlin 15y ago
Noted and implemented. This has been a most instructive day for me re: Haskell. Thank you very much.
216.
by gatlin 15y ago
Nah, it had me for a while, too :)
217.
by gatlin 15y ago
Empirically I know this not to be the case. Take out the if statement and then run this: > solve [[1],[2]] You'll get "Nothing" when in fact the answer is [2,1]. The reason is that unitpropagate could potentially empty the list before c
218.
by gatlin 15y ago
Line 16 was necessary because if unitpropagate clears out the formula then chooseLiteral will return Nothing which causes it to say a solvable formula was unsolvable. I'd love more Haskell pointers to help though!
219.
by gatlin 15y ago
This was actually my attempt at learning Haskell moreso than writing something useful. I plan on adding back jumping and clause learning soon. Thanks for the Chaff link, though! Will save me some time. :)
220.
Simple SAT Solver in Haskell(gist.github.com)
57 points by gatlin 15y ago|14 comments
221.
by gatlin 15y ago
I like academic papers precisely because of the lack of language-specific details muddying my interpretation of what's going on. I was reading a paper recently describing a SAT-like search problem and the algorithm was described in graph th
222.
by gatlin 15y ago
I was speaking about people like Dr Stroup or Dr Petrosino (I've had a class with the latter and read papers by the former) who are experts and have written compelling papers. However, you're right, my wording was bad. Anyone with a proven
223.
by gatlin 15y ago
Yes, they should. However, I think they should hire doctors of education in the same way they're hiring engineers: the engineers are creating the technical infrastructure to deliver lessons, and the educators should be creating the pedagogi
224.
The School of the Future(gatlin.tumblr.com)
1 points by gatlin 15y ago|0 comments
225.
by gatlin 15y ago
I think community based schools will start cropping up. They'll align with some subset of online course material and there might be a local teacher to help coordinate but otherwise, it's the students themselves helping each other. The local
226.
by gatlin 15y ago
I've said this elsewhere. Good lectures, even good exams, must be matched with good projects and discussions with peers (refereed by a deeply knowledgeable teacher). I wonder if a cottage industry of local study groups will form around thes
227.
by gatlin 15y ago
Hey! Thanks for using my explanation from your last article. It's very flattering. And, kudos for calling it what it is.
228.
by gatlin 15y ago
I would add the following. Just think of the word function for a moment, in an algebraic context. A function is a a relation (ie, a mapping from a set of things to another set of things) where each element of the domain maps to at most one
229.
by gatlin 15y ago
I ate way too much meat when I ate meat (I still occasionally indulge in fish but rarely). It was inconceivable to me that other kinds of food would ever taste good. I forced myself to be nearly vegan for a while. I allow dairy in moderatio
230.
by gatlin 15y ago
Education is privatizing itself. It's not that public education is inherently bad - it can work beautifully and does right now in some parts of the world. But in the United States, at least, something isn't working. Private universities kno
231.
by gatlin 15y ago
Maybe that's true for public photos; I know of a photographer who frequently snaps shots of wild and crazy college-town happenings and from my inspection, by your rules she should have been canned a few hundred times now.
232.
by gatlin 15y ago
What are your theories as to why? I am inclined to agree with you.
233.
by gatlin 15y ago
This feels like a lot of blog posts I write: the main content is probably there, in the author's head, but not enough of it was put on the paper. What we read instead is a slice of what I have no doubt in my mind to be a fantastic essay. I
234.
by gatlin 15y ago
I was an undergrad TA for a semester as well. I think most of my criticisms are more applicable during early childhood development. Students get into their own self-fulfilling prophecies about what they can do and by college are quite good
235.
by gatlin 15y ago
To start, I agree with you 100% on all accounts. Some students may truly never succeed but I think that by declaring the case closed and assuming it's purely a function of student ability, we lose out on valuable information about humans le
236.
by gatlin 15y ago
I studied to become a computer science teacher. I have not finished my certification for various reasons but I have some limited field work under my belt along with numerous discussions and readings. And, of course, my anecdotal but legitim
237.
by gatlin 15y ago
Programming is so exciting today! One post here talks about the thrill of coercing a limited machine into doing something useful - that's one kind of excitement and it is awesome. On the other side of that, today I can rent a super computer
238.
by gatlin 15y ago
This is why answer set programming has caught my eye: I describe my problem and the instance data and out come answers. Not quite what the author is talking about, of course, but very cool nonetheless.
239.
by gatlin 15y ago
Ah, you make a lot of sense. I'd heard about the 6-month rule for Chinese and Indian developers. Hopefully anybody else on HN in a similar boat will read this and find your advice helpful :)
240.
by gatlin 15y ago
Typo in title; sorry for the lack of professionalism.

More ›