fizixer

47 ms·

421.
by fizixer 9y ago
Okay, here's a concrete example, if you or anyone reading this is up for thinking about it: John's wife Jennifer says the following to her friend, "If John left office by 4:55 pm, he'd be home in a minute" (e.g., sh
422.
by fizixer 9y ago
There are two ways of looking at logic, roughly speaking: - Logic as a game (as in a set of rules). E.g., in that regard pure math is a game, formal systems are a game, even programming and CS is a game. - Logic as an applied discipline use
423.
by fizixer 9y ago
Just a heads up, this pdf is not a logic tutorial or textbook, but an annotated bibliography. That said, if you got stuck on material implication (practically a topic discussed on the first or second day of logic study), as I did, and event
424.
by fizixer 9y ago
Well I guess what I said was more from the point of view of printing. But they have included an 'html' option in the top menu which, if you click, takes you to the same document with standard webpage format. I guess they could mak
425.
by fizixer 9y ago
I've heard of two possibilities (as a recommendation) for using data structures in C without having to develop them: - BSD queue.h offers linked lists, queues, etc [1]. - UT-hash offers hash tables [2]. I've also read some people
426.
by fizixer 9y ago
Circumstance. I'm under a bit of a deadline, and the software is complex enough that creating an open source version of it would take me a couple years, or more, of domain learning and s/w design and implementation (and of course
427.
by fizixer 9y ago
I would love to work offline. But my work involves constant use of a commercial software that won't run without a license check connection to its central license server. edit: just occurred to me. I should try to script my connectivity
428.
by fizixer 9y ago
I like the webpage format. They even made sure (apparently) that printing preserves the layout and page numbering.
429.
by fizixer 9y ago
I've received this criticism of my approach before. Note I'm talking about not just C code-gen, but human-readable C code-gen. If it's not human-readable, then I agree with you, we might as well generate machine code and beco
430.
by fizixer 9y ago
I know Nim but moved away after trying it out briefly. I may not have emphasized in my comment but human-readable code-gen is very important. Think of scheme as just a tool to generate C code, and C code is your actual code that you wish to
431.
by fizixer 9y ago
Scheme allows practically infinite possibility of language extension due to its syntax (this is same with lisp and scheme, but I prefer scheme due to its lexical scoping, a minimal standard like R7RS etc). (Note that I'm a big advocate
432.
by fizixer 9y ago
- Stalin WPO compiler: https://en.wikipedia.org/wiki/Stalin_(Scheme_implementation) - Larceny: https://en.wikipedia.org/wiki/Larceny_(Scheme_implementation... (Personally, I haven't explored
433.
by fizixer 9y ago
As I said, I admit I might be a bit harsh. I took a slightly bad example of what I had in mind and went ahead and said what I wanted to say. The bulk of my comment is about the general trend, as well as the coding community.
434.
by fizixer 9y ago
Came here to say this. This kind of work irks me. No offense to the author, this is a widespread trend, not a single example. You write a whole blog-post on a topic and not mention Hanlon's razor. It is inexcusable that you didn't
435.
by fizixer 9y ago
I'm willing to bet there is a good chance that if all of those employees went through standard Google hiring channels, not a single one would make it through in their first try. For a company that takes pride in hiring engineers who mo
436.
by fizixer 9y ago
I was about to go hard on this because I came across a similar link a few days ago that had absolutely no mention of the excellent existing project on this topic, the LFS project [1]. This page does make multiple mentions of it, but in a ve
437.
by fizixer 9y ago
Off-topic (or maybe not), the title reminds me of a coding API/interface design issue I often encounter, and I'm never able to resolve without finding whatever I end up with as ad hoc at best. To give a contrived example (note: th
438.
by fizixer 9y ago
I knew someone would invoke time. I'm aware of 4D space-time as a possible visualization scheme for 4 dimensions. By '2D or 3D space', I specifically meant being able to experience 3+ dimensions the way we experience 2 or 3 s
439.
by fizixer 9y ago
I think a major qualifier to all the 3+ D vis. schemes is that, no matter how elaborate or clever the trick is, you can never experience such a space the way you experience 2D or 3D space. (all the tricks are only approximate visualization
440.
by fizixer 9y ago
Not all seven, but three of them are in the habitable zone. Still better than our system no doubt.
441.
by fizixer 9y ago
Why is a beach up for sale if it's not up for private gating? (Why doesn't California declare its coastline public property that is not-for-sale?) edit: Just found out the answer. Beaches themselves are never for sale, even though
442.
by fizixer 9y ago
> Would I have consensual sex with an attractive celebrity if they took an interest in me? Sure. Would you proclaim that at the time of marriage vows? No. (so the whole idea of marriage is either a hypocrisy or a joke). Would you proclai
443.
by fizixer 9y ago
I'd say you appear to be already over the idea of love and are more concerned with practical aspects of your current and future life. That leaves us with the institution of marriage. You invoke the practical concerns of trust, raising
444.
by fizixer 9y ago
Thought experiment: Imagine you are not dependent on your current partner in any way. You are financially stable (let's say you a multi-millionaire). Either you don't have kids or if you do, somehow they're not dependent on y
445.
by fizixer 9y ago
Most people have plenty of issues growing up, like low self-esteem, need for validation, etc. A combination of training, therapy, meditation, sense-of-purpose, etc can work wonders.
446.
by fizixer 9y ago
> We fall in love with the person that brings happiness and joy to our life by merely spending time together. If you need to spend time with someone in order to have happiness and joy in your life, you have a problem to solve before you
447.
by fizixer 9y ago
Marriage, monogamy, and (romantic) love are conservative notions that are close to being (or should be) marginalized in my opinion. Romantic love, especially, is an extremely superficial and hollow idea exalted to high heavens by the group-
448.
by fizixer 9y ago
You could add a video stream from a live online news channel on the top right? (on my side the top right was pretty much empty)
449.
by fizixer 9y ago
What I said is along the lines of 'every program is a proof' and what people like Philip Wadler say that we should treat propositions (essentially theorems) as types and programs as proofs. Now, where the mathematicians disagree-w
450.
by fizixer 9y ago
Off-topic, just had this (micro)-epiphany that I wanted to share: It is well-known that a majority of programmers dread mathematics beyond something basic like high-school math, sometimes even less. What these programmers don't know is

More ›