« first day (508 days earlier)      last day (4423 days later) » 

10:00 PM
@RMartinhoFernandes Oh I don't care how much I seed OS images. Other stuff I limit to 1x
 
@FredOverflow: any sufficently complex specs are either incomplete or self-contradictory (most often both)
 
@FredOverflow I just leave it on. My torrent client takes care of stopping when it reached 2.
 
@FredOverflow c++11 also says "value computation" even when it is only a glvalue that it needs to find the object identity for
 
strange
 
@RMartinhoFernandes transmission?
 
10:00 PM
even though clause 3 precisely defines the term "value", it is misused like that xD
 
@FredOverflow transmissionbt.com/download - a joy to install and use on linux
 
@6502 Isn't there a similar statement about mathematical systems or something?
 
@FredOverflow Gödel's incompleteness theorem?
 
@sehe That's what I use right now :) Came with Linux Mint.
 
10:01 PM
@RMartinhoFernandes +1
 
Xeo
@JohannesSchaublitb Time for another one of your DRs? :P
 
Gödel's incompleteness theorems are two theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic. The theorems, proven by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The two results are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible, giving a negative answer to Hilbert's second problem. The first incompleteness theorem states that no consisten...
 
@Xeo i won't bother. they will smile and ignore it. it's probably not worth the effort lol
 
Hmm. (Monadic) return sucks in C++. No return type inference :(
 
@RMartinhoFernandes Usual trick is returning a proxy with conversion operator.
 
10:04 PM
Won't bother hacking it with conversions.
 
@RMartinhoFernandes: You can have auto return type for lambdas
 
> @JakubM. @6502 just mentioned in chat, that with CUDA there is apattern (known as scan) that efficiently does an operation similar to yours. See developer.nvidia.com/cuda-cc-sdk-code-samples#scan - I think it might interest you if you still have the goal of optimizing this further – sehe 1 min ago
 
@6502 Well, I mean given template <typename T> f(); void g(int);, calling g(f()) would infer that f<int> is to be called.
 
@RMartinhoFernandes Added link :)
@ScottW moo
 
boost::optional has value_type, doesn't it?
 
10:12 PM
@ScottW You really speak your languages. Bom!
 
Could be element_type to mimic smart pointers.
 
Hmm, no partial function specialization makes return weird.
I'm going with static member function for this POC.
But wait, boost::optional doesn't have that.
Ok, some trait struct.
 
You could have return return a proxy which indeed does T::return(wrapped); in its conversion operator, no?
Or a trait yes.
 
How about decltype(*your_optional_variable)?
 
@FredOverflow Will yield int& for boost::optional<int>.
 
10:15 PM
@LucDanton Wait, what about just a constructor call?
 
  protected :

    typedef T value_type ;

    typedef mpl::true_  is_reference_tag ;
    typedef mpl::false_ is_not_reference_tag ;

    typedef BOOST_DEDUCED_TYPENAME is_reference<T>::type is_reference_predicate ;

  public:
    typedef BOOST_DEDUCED_TYPENAME mpl::if_<is_reference_predicate,types_when_ref,types_when_not_ref>::type types ;
 
@RMartinhoFernandes Makes sense yeah.
 
Yeah, that should be enough for now.
 
So you're making it return a proxy?
 
@sehe Protected?
 
10:16 PM
@LucDanton How about std::decay<decltype(*your_optional_variable)>::type then?
 
@ScottW you 'was like' ... dropping seven scales on the linguistics ladder
@RMartinhoFernandes I didn't make it up: boost.org/doc/libs/1_49_0/boost/optional/optional.hpp
 
@FredOverflow Gives int for boost::optional<int&> and boost::optional<const int&>. Also for boost::optional<const int> but I don't know if that one is supposed to work.
I tend to not use decltype in generic code. value_type & friends are still the preferred options.
 
@LucDanton I'm out of ideas :(
 
@RMartinhoFernandes I suppose you could work it out from ..::types:
  protected:
    typedef bool (this_type::*unspecified_bool_type)() const;

    typedef BOOST_DEDUCED_TYPENAME types::reference_type       reference_type ;
    typedef BOOST_DEDUCED_TYPENAME types::reference_const_type reference_const_type ;
    typedef BOOST_DEDUCED_TYPENAME types::pointer_type         pointer_type ;
    typedef BOOST_DEDUCED_TYPENAME types::pointer_const_type   pointer_const_type ;
    typedef BOOST_DEDUCED_TYPENAME types::argument_type        argument_type ;
 
@LucDanton ValueType you mean?
 
10:18 PM
WithQualificationsOf<Optional, typename Bare<Optional>::value> is what I use these days.
 
WithQualificationsOf<Optional, ValueType<Bare<Optional>>>!
 
I suppose I could go WithQualificationsOf<Optional, ValueType<Optional>> yes. I'm still wary of those aliases that don't exactly do the same thing as the equivalent trait though (in this case, the Bare step is missing).
@RMartinhoFernandes Do you think a value_type trait that first searches for ::value_type and then ::element_type would be useful?
 
Hmm, I didn't consider element_type. So far I have ValueType simply as an alias for typename T::value_type (I really hate typing typename). But that would be better.
I took the idea from Bjarne's slides from GN, btw.
 
@ScottW ?!? reference?
 
@kfmfe04 google is your friend
@kfmfe04 some things couldn't be more unique to google
@ScottW that's also google's first hit
 
10:22 PM
Wat.
 
I wonder if a heart-without-a-pulse puts even less stress on the body
but maybe less stress could be a bad thing - one of the comments "If your arteries are accustomed to pulsatile, oscillating blood flow and it is suddenly switched to a steady, laminar flow, what effect does this have on the development of atherosclerosis, for example?"
 
@LucDanton Btw, I also have a ForwardedValueType alias for WithQualificationsOf<Optional, ValueType<Bare<Optional>>> (well, not quite, it's still buggy).
 
@RMartinhoFernandes I only thought of adapting preexisting traits/metafunctions. Are there other aliases you made for recurring members?
 
So far, no. value_type is really the most common.
 
an artificial heart is kinda meh - an artificial liver would be much more impressive (in terms of difficulty)...
 
10:28 PM
@ScottW how many thighs, do you reckon? Usually about the same frequency in the human species
Haha. Just validated flagged message 'eat a penis' :)
 
in bin, 1 min ago, by Kristopher Ives
@tereško please, eat a penis
 
And invalidated the response 'pleas, shut up'. That was really modest
 
@sehe It's the other way around.
 
"eat a penis" was the response.
3
 
10:29 PM
@RMartinhoFernandes Hehe. Still, ranking 'please shut up' as modest and not flagworthy
 
Reminds me of the question about how to castrate a catholic priest. You just ask the altar boys to shut their mouth.
 
@ScottW well - sorry but someone else deemed the 'e.a.p.' flagworthy, and I wouldn't disagree. Not saying I'd flag something like that myself.
@CheersandhthAlf For once
@RMartinhoFernandes You see, that's where the entertainment value of the flags comes in. We wouldn't have that on the starboard, were it not for the flag broadcasts.
I mean, I'm not biding my time in the PHP room (or, god forbid the bin) just in case something particularly humerous comes along
 
Is boost::optional coutable?
(Yes, I'm too lazy to look up the docs)
 
@RMartinhoFernandes I thought so, although it might be a spirit karma addition.
 
Docs don't say.
 
10:37 PM
FRAK, I need to rebuild GCC 4.7.
 
Wait, was 4.7 released?
Latest snapshot reads 4.8 as version.
 
@LucDanton @RMartinhoFernandes I think in <optional_io.hpp>
 
Xeo
@RMartinhoFernandes What would you print if !opt?
 
@RMartinhoFernandes Cat told me it was
 
10:39 PM
@RMartinhoFernandes It was frozen for release, and 4.8 is open for development.
 
Xeo
#include <boost/optional.hpp>

int main(){
  boost::optional<int> opt(5);
  std::cout << opt;
}
Compiler doesn't complain atleast.
 
Well, time to make this 4.6 worthy, while 4.8 builds.
 
@Xeo woah, not even including <iostream>?!!!!
 
Basically, add more typename.
 
10:40 PM
Wait, can macaques attack? I see them in formation.
 
Xeo
Considering that optional_io.hpp need iostream, no :P
 
@Xeo, also, it prints 1 :) So it prints the 'safe bool' value
 
@Xeo Modules, gimme modules.
 
Xeo
Nooo!
 
@Xeo I'm referring to your own snippet. It includes no such header, neither iostream nor optional_io.hpp
 
Xeo
10:41 PM
That was a Homer "Noooo!"
@sehe I noticed.
 
@Xeo Thanks for clearing that up. Calling off the medics
 
Xeo
I was thinking optional.hpp included optional_io.hpp.
 
<boost/optional.hpp> means 'get me all the optional headers'. Not to be confused with <boost/optional/optional.hpp>.
 
Xeo
Yeah, but it doesn't include optional_io.hpp
Also, optional_io.hpp sucks AFAICS.
 
Here it complains.
 
10:43 PM
@Xeo Why would you reckon there would still be a separate header? Oh well, it could have been. In general, like with tuple_io etc. none of the boost headers automatically include iostream stuff, mainly because, well it is a drag and drags in locales and chartraits and the whole shebang
 
Did you enable C++0x support when compiling that snippet?
 
Xeo
Prints a space before the value and needs a space before the value for output/input respectively.
 
I don't get the safe bool fallback.
 
Xeo
@RMartinhoFernandes MSVC10
 
Ah.
No explicit conversions in MSVC?
 
10:43 PM
@Xeo That explains
 
Xeo
@RMartinhoFernandes Nope
 
Okay, the macaques have been dispatched. With prejudice.
 
#include <boost/optional/optional_io.hpp>

int main(){
  boost::optional<int> opt(5);
  std::cout << opt;
}
^^ works like a charm (prints 5 on gcc 4.6.1, boost 1_48)
 
Oh yeah, safe-bool-idiom means std::cout << foo is accepted. Good catch.
 
@LucDanton Is that DF cryptospeak again?
 
Xeo
10:45 PM
@sehe It prints <space>5 :)
 
Evening all
 
@Xeo True. That was a little harder to spot since I launched from gvim (make test|!./test has a tendency to ruin terminal output anyway)
@je4d u2
 
I did implement an insertion operator for my optional type but I wasn't sure between displaying something or nothing at all for empty options.
 
Xeo
Boost prints --
without a leading space
 
@Xeo ew
 
10:49 PM
When I implemented one in C#, I just went with "Some X" and "None". That's debug output, if you want fancy output, do it yourself.
 
A bit like unified diff then :) Or should we expect the values to be preceded with '+' then
 
Xeo
Ouch, and the operator>> looks equally bad
 
@Xeo operator>> is almost always pretty bad. Regardless of the type
 
@sehe what problem were you solving here?
 
@je4d None. The reluctance of @RMartinhoFernandes to read the docs:
14 mins ago, by R. Martinho Fernandes
(Yes, I'm too lazy to look up the docs)
 
10:51 PM
haha
 
The docs don't say anything about stream operators. The source is available but that doesn't count as documentation.
 
template <template <typename> class Monad>
Monad<int> f(Monad<int> o) {
    return bind(bind(o,
            [](int n) {
                return n % 2 == 0? unit(3*n+1) : unit(n/2);
            }),
        [](int n) {
            return (std::cout << n), unit(n);
        });
}
 
@LucDanton Well, I thought it made sense and might even add value
 
@LucDanton however, someone reported it as a bug in 2008:
 
10:53 PM
@sehe I don't get 5, I get 1, presumably from the bool conversion... was it a recent fix?
 
@sehe Well that just gave me great hope on a move-aware Boost.Optional.
 
@LucDanton Really? Apparently opinions vary. I think it does ok. But I'm used to worse :)
@LucDanton brb. Need a wipe to clean the sarcasm that drips from my monitor now
 
@sehe Wut? Wrong quote? Opinions on what?
 
@je4d It wasn't a fix, just a report with patch :) No one said it was applied
@LucDanton Your own statement (what counts as docs). You know, I do have a tendency to link to the messages I'm responding too. I find it makes conversation more tractable :)
 
@sehe surely it must have been applied if you get 5 with 1_48 and I get 1 with 1_46?
 
10:56 PM
@sehe It's the "I think it does ok" that throws me off.
 
@je4d optional_io.hpp
 
@je4d Nope. Inlcude optional.hpp --> get 1, include optional_io.hpp --> get 5
@LucDanton Oh sorry. Language impediments. I have a large vocabulary, but somewhat creaky around the idioms :)
 
So clearly, optional_io.hpp does everything the same, but fivefold.
 
@sehe aaah, you confused me by having two near identical code samples in the scrollback
 
@je4d Only one of which is mine :)
 
10:57 PM
i scrolled up to the code and thought there was only one, read the comment on one and compiled the other :P
 
@RMartinhoFernandes Is the template template parameter necessary? Would something of the style template<typename M, typename = EnableIf<is_monad_of<M, int>>> /* blah */ be too silly?
@sehe FTR I'm not a native speaker so that could be on my end.
 
@LucDanton Probably. I just went with what looked fastest.
I'm not planning on polishing this turd.
 
@LucDanton I know. I think it is customary to attribute communication trouble to both parties involved.
 
Like I mentioned several times, as much as I like monads, they're annoying without do-syntax.
 
I'm guessing that given that since there's only one template parameter there's an unhealthy amount of type erasure in there.
 
Xeo
11:00 PM
So, what exactly is a monad?
 
@Xeo Inb4 endofunctors and monoid etc.
 
@LucDanton No. I only tested for optional and a quick made identity.
 
@Xeo Yeah let's throw in simple questions :)
 
I was wondering too... and it's far too late in the evening for wikipedia's opening paragraph to help
 
@je4d None of the other intros will help. I think every development blogger on the blogosphere for >5 years has tried his hand at explaining Monads
 
11:02 PM
@Xeo It's a triple!
It's a burrito!
It's a space suit!
(I am not making this up, other people have used these metaphors)
 
Xeo
@sehe I love simple questions!
 
The thing is, you have to experience them, preferrably in a (pure) functional language, where they 'naturally' evolved.
 
Or do the maths, if you like that.
 
@Xeo Sure you do.
 
@LucDanton Monoids seem pretty easy by comparison :)
 
11:03 PM
 
Xeo
@RMartinhoFernandes Great, but I'm still not any wiser. :(
 
What happened to std::current_exception()?
 
Xeo
@Pubby ?
 
@Xeo Pick your poison. google.com/…
 
@Xeo Sorry, it's not explainable without lots of background (however, if you learn it by experience, you don't need to know all the background).
 
11:05 PM
@Moshe Who comes up with that shit
 
@Xeo I saw it here: stackoverflow.com/questions/233127/… but it's not on cppreference
 
> A monad is just a monoid in the category of endofunctors, what's the problem?
 
Called it.
 
@sehe What do you mean? I think it's hilarious. Netanyahu is a great speaker, btw.
 
Now you're going to ask "What is a monoid?" and "What is an endofunctor?", and most likely not notice that you should also ask "What is a category?".
I'm not going to explain all that.
 
11:06 PM
@Moshe Huh - what ambiguity could be there <scratches object="head"/>
 
I don't want to understand category theory to write hello world :(
 
@sehe Are you talking about the speech or the parody of it?
 
In functional programming, a monad is a programming structure that represents computations. Monads are a kind of abstract data type constructor that encapsulate program logic instead of data in the domain model. A defined monad allows the programmer to chain actions together and build different pipelines that process data in various steps, in which each action is decorated with additional processing rules provided by the monad; for example a sequence of arithmetic operations can be controlled to avoid division by zero in intermediate results. Programs written in functional style can make us...
 
@Xeo So, go learn the Haskells.
 
@Moshe the parody, obviously. Coincidentally, that is what you posted. And it is what my response was to :)
 
Xeo
11:07 PM
@RMartinhoFernandes Please!
 
@Xeo See, so eager!
 
You don't need category theory to use monads.
 
@sehe Lol, got it.
 
Xeo
I'm wondering if I'd get a nice response on SO :>
 
I think it's pretty funny. Wondering the same thing - who comes up with it?
 
11:08 PM
@Xeo Prolly closed as dupe.
127
A: A monad is just a monoid in the category of endofunctors, what's the problem?

pelotomThat particularly phrasing is by James Iry, from his highly entertaining Brief, Incomplete and Mostly Wrong History of Programming Languages, in which he fictionally attributes it to Philip Wadler. The original quote is from Saunders Mac Lane in Categories for the Working Mathematician, one of ...

 
Feb 3 at 1:25, by Luc Danton
inb4 endofunctors and monoids.
Called it months ago.
 
Come on, you love a simple question. Now, a fool can ask more questions in an hour than 10 wise men can answer in a lifetime (or somesuch, the Book Of Proverbs n:m)...
 
A monad is...

An endofunctor, T : X -> X
A natural transformation, μ : T × T -> T, where × means functor composition
A natural transformation, η : I -> T, where I is the identity endofunctor on X

...satisfying these laws:

μ(μ(T × T) × T)) = μ(T × μ(T × T))
μ(η(T)) = T = μ(T(η))
 
Xeo
138
Q: What is a monad?

kronozHaving briefly looked at Haskell recently I wondered whether anybody could give a brief, succinct, practical explanation as to what a monad essentially is? I have found most explanations I've come across to be fairly inaccessible and lacking in practical detail, so could somebody here help me?

:|
 
@RMartinhoFernandes Easy as pie
 
Xeo
11:10 PM
@RMartinhoFernandes Why do math models always need so to look so complicated. :s
 
@sehe For those who know Haskell, T is the type constructor, μ is join and η is return.
 
@RMartinhoFernandes that actually helps a bit
 
@RMartinhoFernandes I'll take trigraphs any day.
 
Anyway, now being a bit more serious, I like sigfpe's You Could Have Invented Monads! (And Maybe You Already Have.).
I wish that existed back in 2004.
 
11:13 PM
I've always been dubious of the "it's a burrito" analogies etc. and IIRC the two things that helped me get monads were that C9 video that showed the maths and the 'You Could Have Invented Monads!' reading or something very similar to it.
 
@RMartinhoFernandes Hah. The robot again, I was looking for that one
 
So the formal view and the informal, data-centric view about chaining operations.
 
What's important is how and when to use them, not some crazy theory.
 
The FP teacher that took over after I passed that class, took sigfpe's approach.
The one before that... Let's just say I don't think very highly of her.
She took the "Monads are sheep" approach.
 
Would writing (in C++) a utility that returns a boost::optional<U> given a boost::optional<T> and a (C++) functor and then read 'You Could Have Invented Monads' be a didactic experience I wonder.
 
11:17 PM
namespace boost {
    template <typename T, typename F>
    typename std::result_of<F(T)>::type bind(optional<T> o, F f) {
        if(o) return f(*o);
        else return boost::none;
    }
}
This?
 
@LucDanton Just ask @RMartinhoFernandes, I reckon he just did. Shute - and he posts it before I can say so
 
@sehe But it can't be didactic for him.
 
@RMartinhoFernandes that doesn't seem like it should compile. Or maybe boost::none is magic.
 
@LucDanton Why not?
 
@MooingDuck Why not?
@sehe Because I already know that in and out.
@MooingDuck There's an implicit conversion from boost::none_t to any boost::optional.
 
11:18 PM
Every optional<T> has boost::none_t constructor.
 
std::is_convertible<boost::none_t, boost::optional<T>>::value holds for all T.
 
@RMartinhoFernandes So it requires F(T) returns a boost::optional?
 
@RMartinhoFernandes Mmm. Personally, reviewing and reiterating things I think I know inside out is sometimes didactic (in improving my conscious reasoning and the ability to explain to others. I'm thinking of other fields than programming too, now)
 
@MooingDuck Yes, the function should return an optional.
 
@MooingDuck About as magic as boost::optional<>
 
11:20 PM
@RMartinhoFernandes If it returns an optional, wouldn't it be easier to make the function take an optional, rendering the bind pointless?
 
@MooingDuck No. Not all monads allow the value to escape the monad easily.
bind ensures that it doesn't. (Even if in C++ you can easily cheat).
 
Xeo
My head is hurting from your talking. :(
 
@RMartinhoFernandes Well, I wasn't sure, and now you're talking about monads again, so I'm going to assume you're right.
 
@MooingDuck The point is, you can write code that works for all monads. All the monad needs to provide is a bind operation like the one above, and a unit operation that constructs a monad from a value (basically, the boost::optional<T>(T) constructor here).
 
@Xeo You asked for it.
 
Xeo
11:23 PM
@sehe I guess...
 
22 mins ago, by sehe
@Xeo Yeah let's throw in simple questions :)
 
Xeo
@RMartinhoFernandes Should I know Haskell for that one? I guess yes.
 
@Xeo I read it when I wasn't familiar with Haskell but with ML-like syntax.
 
@Xeo I don't think you really really need it except for the last part (where it actually talks about Haskell typeclasses). But it probably helps.
I think just knowing you're dealing with pure functions and a bit of syntax (namely f x is calling a function f with argument x) should be enough.
 
Also reading types, no?
 
11:27 PM
Oh, yeah, types.
 
> bind :: (Complex Double -> [Complex Double]) -> ([Complex Double] -> [Complex Double])
 
Xeo
I went through "learn yourself a Haskell" for a bit, once
 
@Moshe Do I have a bad associative brain? chrwradio.com/lma/1988/98DA%20-%20Dig%20My%20Style/…
 
@Xeo Can you read the above?
 
Xeo
@LucDanton bind takes a function that takes a complex and returns a list of complex, and returns a function that takes a list of complex and returns a list of complex? // wild guessing. I guess currying is also involved somehow...
 
11:29 PM
Yep, sounds like it.
 
Xeo
I'm still bad with all that implicit currying
 
IMO you could try reading YCHIM. It's not overly long (the comments make the page looks big) and just stop if that doesn't work.
 
ARgh, I can't make this generic enough without boatloads of machinery.
C++ sucks.
2
 
Xeo
Yeah, I'm currently at it, but what's stopping me is all that . and *, and that Haskell allows ' in identifiers... any identifiers, not only function names. That threw me off a bit with the first bind
 
I get what they are now, thanks to "A monad is just a monoid in the category of endofunctors", but only in the abstract - it's still not clear to me how they're used in FP
 
11:33 PM
@Xeo * is defined in the article (normally, it means multiplication). . is function composition. Don't tell me you don't know what that one is.
 
@je4d YCHI has a good example with error handling/debugging which TTBOMK reflects actual use of Either in Haskell.
 
@LucDanton Cool, I'm reading YCHIM now
 
Xeo
@RMartinhoFernandes I know what function composition is, but a . b doesn't really lend itself to explaining how it works. :s I think I also had some problems with that chapter in Learn yourself a Haskell
 
(a . b) x = a (b x)
It's the same as mathy middle dot composition thingy.
 
Xeo
11:37 PM
@CatPlusPlus So it basically escapes b to not be a parameter?
 
It applies b to x, then a to result of the former.
 
@Xeo No. The result of the composition is a new function.
With one additional step: given c = a . b then c x is the same as a (b x)
 
@Xeo in a more C++y-way, what Cat said is: (f ○ g)(x) == f(g(x))
 
Xeo
Is my arch enemy currying involved again?
 
Nope.
 
11:40 PM
No.
 
Currying is easy.
 
Xeo
Mah...
 
That only comes up in functions with more than one argument.
 
@RMartinhoFernandes and conversations about dinner
 
Do you understand that (.) is a standalone operator? a . b is as valid as 1 + 2 is, syntactically speaking.
It's not an element of syntax that is part of an overarching, larger scheme.
 
11:47 PM
I wish GCC gave some sort of message when it was done. When I run it in my output window, there's no indication if it's still working or not.
 
Use echo?
 
GCC is always working.
 
@Pubby VS' "external tools" only lets me run one command. I might be able to fake it with a batchfile or cmd or something, but it's easier to simply whine.
 
Xeo
@LucDanton Sorry, little brother woke up..
// assume polymorphic lambdas
auto f = [](i){ return i + 5; };
auto g = [](i){ return i * 2; };
auto compose = [](a, b){ return [](x){ return a(b(x)); }; };
auto fog = compose(f, g); // f . g
fog(5); // 5 * 2 + 5
 
11:53 PM
@RMartinhoFernandes hmm, when I view the history of that message, I get a banner saying "Welcome to SO chat, you need 20 rep to talk here". Nevermind, it only did it three times.
 
@MooingDuck lol. Yeah, I get that from time to time too.
Hmm, I think that parallel scan algorithm is finally starting to make sense.
 
@RMartinhoFernandes it's bizzare, but it looks like it works
 
Xeo
@RMartinhoFernandes To whom was that a reply?
 
Xeo
Ah, k
 
11:59 PM
Validation of proof : First of all sorry, this has nothing to do with c++ but I didn't know where else to ask. Is there some kind of a community that reviews proofs? I want to publish an academic article, but I'm unsure whether a proof I wrote is correct.
 

« first day (508 days earlier)      last day (4423 days later) »