tinou

- friends
1,436 link karma
6,423 comment karma
send messageredditor for

reddit is a source for what's new and popular online. vote on links that you like or dislike and help decide what's popular, or submit your own!

Using Git – A Designer’s Guide by mrgingerpantsin programming

[–]tinou 5 points6 points ago

git-annex is great for this.

TIL hitting K in vim takes you to the man page for the word you're on by derrickwhoin commandline

[–]tinou 0 points1 point ago

Just put noremap K kJ in your .vimrc :)

What are your favorite CLI aliases? by feverlaxin commandline

[–]tinou 0 points1 point ago

For your svn and git updates, you can use the fantastic mr.

Option types in C++11: Using the C++ type system to statically ward against NULL pointer dereferences. [ xpost r/cpp] by simonaskin programming

[–]tinou 7 points8 points ago

No, a dependent type system such as Agda's may be a fixpoint in the turtle stack.

The March of Progress (in programming language syntax :) by willvarfarin programming

[–]tinou 0 points1 point ago

As scgtrp said, this can be solved by *. But another place where it is impractical is for localization : often you have to translate format strings by the means of a (runtime) function : printf(translate(fmt), arg1, arg2).

Reddit, with Linux installed, what are some essentials to pick up? by SayNoToWarin linux

[–]tinou 0 points1 point ago

apt-cache search is waaaay faster than aptitude (for searches). I usually do the opposite : apt to search, aptitude to install.

Organize Everything With Org Mode by eroickin programming

[–]tinou 1 point2 points ago

Instead of typing M-thing you can type esc, then thing.

Beautiful Vim Cheat-sheet: Just a couple of hours left! by bombeaterin vim

[–]tinou 3 points4 points ago

Come on, no one will blame you if you use :help. You don't need "cheat" sheets for documentation.

What do you guys think are the most remixed songs of all time? by loudnessproblemsin DJs

[–]tinou 0 points1 point ago

Billie Jean

Is linux too much to ask for a kid to use/work on? by graymindin linux

[–]tinou 4 points5 points ago

John Goerzen occasionally writes posts on how he teaches using a computer to his kid (~5yo). You may like this series.

Update: Grandmas computer by McGilatinein pics

[–]tinou 0 points1 point ago

ATM0

Incredibox - Background music for programming. by swizecin programming

[–]tinou 0 points1 point ago

Everything goes well with rainymood.com.

Is this the new <blink> tag? by _not_youin programming

[–]tinou 10 points11 points ago

Given a file's hash and the exact length of the file, would it be possible for a super computer to regenerate the file? by rhinojazzin askscience

[–]tinou 1 point2 points ago

I think that we agree but I was not sure about your wording :). To be clear : you said "at least two source data sets will produce the same hash." :

∃ (x, y). x≠y ∧ h(x) = h(y)  (True. Pigeonhole principle)

While that's true, that's not what OP asked. He asked whether given a file's hash, there always exists a file with the same hash.

∀ x. ∃y. x≠y ∧ h(x) = h(y)  (Not always true)

Thus I totally agree with you on :

you still have no way of proving that it's a unique, distinct pair. You can't know until you've tested every other possible source block.

Yes. Another block may exist with the same hash, or not at all.

Given a file's hash and the exact length of the file, would it be possible for a super computer to regenerate the file? by rhinojazzin askscience

[–]tinou 4 points5 points ago

If you are 100% sure that the size of the source data is a megabyte (8388608 bits), it's obvious that at least two source data sets will produce the same hash.

Not quite. It is true that there will be two files with the same hash (pigeonhole principle), but given a file, it can be the only one with its size and its hash. On this figure, 1's image has only one preimage for example.

To construct a more precise example, for every file x, there's a function f_x such that card { y/ f_x (y) = f_x (x) } = 1. (take f_x(y) = δ_xy)

Motivation by derrrekin DJs

[–]tinou 1 point2 points ago

Just above the crossfader, put every channel on "THRU".

Ok, that's close enough you pervert by utdleaguein pics

[–]tinou 1 point2 points ago

This is called Jespersen's cycle.

Pacman running on DCPU-16 by r0bbboin programming

Hey /r/linux! I want to become an active bug reporter. How do I go about getting the relevant info to the right people? by AwkwardResponsein linux

[–]tinou 8 points9 points ago

Explain what used to work, and what happens now. Try to explain what you did that changed the behaviour (package upgrade, configuration change...). Use your distribution's bug tracker and your friendly maintainer will help you post relevant data (you can also get inspiration form other bug reports on the same package).

Who should be on the receiving end of this information?

Definitely your distribution. Many bugs are related to packaging itself (defaults, inter-package relationships, distro-specific patches) ; also, the maintainer will mark bugs as duplicates before sending bugs/patches to the upstream developers.

Is there a such thing as "too verbose" in reporting small issues?

The main risk is losing your time. There are various levels between "HELP MY LAPTOP DOES NOT WORK" and including all your logs. So, the best you can do is explain what used to work, subscribe to the bug and wait for instructions :)

The world's two worst variable names by petdancein programming

[–]tinou 77 points78 points ago

Out of curiosity, what language was that ? Usually, identifiers can't start with a number.

view more: next