« first day (2354 days earlier)      last day (2586 days later) » 
00:00 - 11:0011:00 - 00:00

12:19 AM
Simple idea is not simple for a dumb race.
I might be an idiot, but I am with 7+ billion as dumb people ...
 
> note: 'std::is_assignable_v' evaluated to false
sure, don’t tell me what the arguments were ._.
 
Why can't a man wear a dress to work if he wants?
 
@LucDanton note: something somewhere didn't compile
 
I agree, totally sexism, men should be able to wear dresses to work if they choose to ...
 
mmh, GCC accepts defaulted assignment ops that are declared constexpr, when did that happen?
 
12:33 AM
hier après le goûter
 
regardless here it is in the draft, better start new habits
@SpongyFruitcake that sounds very unlikely
 
écoute au moins je suggère
 
@SpongyFruitcake Parlez-vous anglais?
 
1:09 AM
@Xeo So I just tried to watch some Anime, but I realized I don't have my .mkv player installed. It's been almost a week since I've switched computers. That's how far behind I've fallen because of all the moving.
 
@JennaSloan Je ne comprends pas ce que vous tentez d'exprimer, probablement à cause de l'absence d'espace avant la ponctuation composée.
 
@Mysticial .mkv player -> vlc?
 
MPC
with CCC
I also have VLC and 5kplayer. Between those 3 ans WMP, I can play the vast majority of Anime formats.
MPC does like 95% of the formats. But it flips out on some of the 10bit stuff or stuff with really fancy OP/ED subs.
 
1:36 AM
@SpongyFruitcake trollée
 
1:56 AM
> ((x, x) ∈ R ∨ (y, y) ∈ R) ⇒ ((x, y) ∈ R ∨ (y, x) ∈ R) (conditional comparability).
I don’t think I’ve ever heard of that for an ordering relation R
great, spooky instantiation-at-a-distance
 
> One of the problems C and C++ have to face is that there are too many compilers and most of them are horrible.
 
if only we had less choice, then we could live happy
 
> Given the above context, let's take a look at Rust.
I should've seen this coming
 
2:31 AM
// TODO remove workaround for GCC instantiation bug
namespace {

auto instantiate = [](auto factory) {
    using rng_t = decltype( factory() );
    rng_t* rng = nullptr;
    if constexpr(annex::is_copyable_v<rng_t>) {
        if(rng) {
            auto copy = *rng;
            copy = copy;
        }
    }

    return factory;
};

} // namespace
good use of my time ._.
 
Oh it's Luc. I thought it was some Q-banned user question dump.
 
how do i c++
8
pls respond
 
Jan 20 at 2:52, by little pootis
#include <iostream.h>

int main() {
  cout << "Hello world\n";
  return 0;
}
 
@Mysticial Put the Mysticial in .mkv and make a branch that works properly
 
> iostream.h
utter garbage
also missing std::
0/10
also superfluous return 0;
-30/10
 
2:37 AM
@Aaron3468 At least the internet at my new place is soooo much faster than the 100/month Comcast shit at my apartment.
 
:) Leaving comcast is good
 
I better get something better given how much HOA I pay.
 
2:50 AM
ripped off as usual, i c ...
 
3:01 AM
there’s std::is_constructible and there’s std::is_trivially_constructible, but there is std::is_trivially_copyable and no std::is_copyable because the last two would not be related like the first two are
 
The bare necessities are expensive
 
3:22 AM
What's up people
 
3:39 AM
@LucDanton what do you mean
 
@SpongyFruitcake normally the std::is_trivially_* traits are queries for 'can that type do *, but in a trivial manner'. the difference is that std::is_trivially_copyable is a query for trivially copyable concept which does not just mean 'can be copied but in a trivial manner'
in an alternate reality it could perhaps be called std::is_bit_blastable and we would have bit blastable = trivially copyable + trivially destructible
 
@Aaron3468 That depends. On one hand, Comcast isn't the best. On the other hand, Cox is worse (at least, I haven't been nearly as happy with it). Actually, the best I've dealt with was a little outfit in Colorado called Falcon Broadband. Used them for years and literally the only time I had an outage was when a backhoe down the street from me cut a cable--and then they called me less than 5 minutes after the cut, let me know somebody was on the way to fix it, and discounted for the outage.
 
I'd love if most places were like that ._. We don't usually get outages, but the 2 or 3 times we did, none of the providers went to any lengths on our behalf.
 
I love the dorm-style internet. Just plug and play. No need to fuck with ISPs. And that's what I have now at my new place. Internet included in the HOA fee. I can pay extra if want faster speeds, but 6 MB/s is plenty for me. I'm not exactly someone who downloads BluRays on impulse and needs to watch it immediately.
 
4:08 AM
@Mysticial But you NEED to have Batman v. Superman: Dawn of Justice NOOOWWWWW in HDDDD!
 
@VermillionAzure nobody does
 
@LucDanton exactly
after that MARTHAAAAAA line I just can't
 
 
1 hour later…
5:29 AM
So @Mystic, how much your parents have 'lent' you?
 
@Telkitty If you want to know, I suggest you flag it for moderator attention.
 
Don't be ashamed. My parents lent some to me too ...
 
@Telkitty If that's a problem for you, then flag it for moderator attention.
 
Today in Lounge: Australian born Chinese vs American born Chinese
 
we know which one had all the awards
American Born Chinese is a graphic novel by Gene Luen Yang. Released in 2006 by First Second Books, it was a finalist for the 2006 National Book Awards in the category of Young People's Literature. It won the 2007 Michael L. Printz Award, the 2007 Eisner Award for Best Graphic Album: New, the Publishers Weekly Comics Week Best Comic of the Year, the San Francisco Chronicle Best Book of the Year, the 2006/2007 Best Book Award from The Chinese American Librarians Association, and Amazon.com Best Graphic Novel/Comic of the Year. It also made the Booklist Top Ten Graphic Novel for Youth, the NPR Holiday...
 
5:35 AM
And here's our Aquitaine born Chinese
 
@Mysticial Sometimes, during the middle of the night, the internet speed in my dorm can become crazy fast.
It can get up to 50 Mbps. The speed goes up and down like a mountain range though.
 
You assume a lot of things ...
Also ... cheese
 
@JennaSloan so, at the glacial pace of geological scales then?
 
@JennaSloan In grad school, we were bandwidth capped to 2 GB/day. But that cap didn't apply for inner-campus traffic. So if a torrent picked up someone else on campus, not only would it be ridiculously fast, it didn't count towards the 2 GB/day limit.
Given that the school had like 30k students, there was a high likelihood of picking up someone on campus for the really big torrents.
 
@SpongyFruitcake you can fish all you like it’s not going to bite
 
5:40 AM
When all else fails, the student offices aren't bandwidth capped. So you can download there, then transfer to the dorm. The internal transfer doesn't count towards the cap.
 
@LucDanton I fondly remember high school where I once put in a geology exam that the alps used to be an ocean and hence "were probably a terrible spot for skiing"
Funny how a couple million years can completely change how you go on holidays somewhere.
 
Fixing leaking roof of decking area
But laying here seems excessively nice
 
@Telkitty I thought it was a picture of the pretty flowers and trees, not the roof.
 
@JennaSloan you can see roof tiles ... & tv antenna dish
 
@Telkitty What country is this?
Wait, why are you taking pictures while standing on a roof?
 
5:51 AM
33.7924° S, 151.1195° E
Yes I am on the roof at moment
8 mins ago, by Telkitty
Fixing leaking roof of decking area
it's leaking slightly in heavy rain
 
I don’t know why I haven’t purchased the components for an 1800X box already
 
@LucDanton You're building a Ryzen rig?
 
@Mysticial one way or the other I need an upgrade, at this point my desktop is a 7-year old setup
 
Oh damn. That's old.
If you get the 1700, the cooler that it comes with is pretty neat.
 
and I was considering aiming for a long-term build again, 1800X seemed like a good spot for that
 
5:56 AM
RGB lighting
 
sorry to disappoint but my case is not see-through
 
I got the 1800X so I didn't get the stock cooler. But I bought a 1700 for a friend as a B-day present. And while we were putting it together, I was like - holy shit. That stock cooler is so - eye candy.
IOW, AMD got people excited over a fucking stock cooler.
 
@LucDanton wow, mine is nearly that too (my tower, not laptop)
I built it specifically for GW2
 
@SpongyFruitcake another of your delusions
@Mysticial do you recall how much your DDR4 purchases ended up per GB?
 
The week before Ryzen launched, I placed an order for a 4 x 16GB G.Skill Trident Z 3200 MHz for $370. But they oversold and canceled my order.
After that, everything under $100/16GB stick disappeared.
Then I ordered a set of 8 x 16GB G.Skill Trident Z 3300 MHz for $800 - which sold out 4 hours later.
A week later, I bit the bullet and ordered a 4 x 16GB G.Skill RipJaws 3200 GHz for $434.
As of now, the prices seems to be holding steady at that last one I bought.
 
6:06 AM
yeah, plus or minus the transatlantic price hike
 
If you keeping watching them, there have been a few times in the past 2 weeks where there were some slower 2133 MHz kits that went under $100/16 GB stick.
But they sell out within hours.
The more I look at it now, the 8 x 16GB 3300 MHz set that I got for $800 was a complete steal.
 
what do you even do with 8x16 GB
 
Larger kits are more expensive per GB since they are certified to work together.
@SpongyFruitcake I dumped it in my 8-core Haswell box.
 
@Mysticial how valuable is that?
 
@LucDanton From my experience, little. Because even when I buy multiple sticks as smaller kits (like 2 sets of 2 x 16GB), I buy them at the same time at the same place. And they end up in the same memory batch anyway.
 
6:11 AM
> DISPONIBILITÉ : SOUS 7 À 15 JOURS
dang
everything but the motherboard went out of stock
 
Are you actually getting a Ryzen?
 
@SpongyFruitcake I can’t think of a reason not to, do you have alternatives?
 
No, simply curious. What motivated your choice?
 
@SpongyFruitcake a) gaming b) those two translation units I have to compile on their own or they max out everything
 
And for the GPU what are you getting?
 
6:15 AM
it takes 150s or so when I have to recompile both it’s ludicrous
@SpongyFruitcake graphics card didn’t survive the past summer so I already have an RX 480
 
For the health of your graphic card, have you considered getting an air conditioner?
 
@LucDanton 150s seems low, is it a full compilation?
 
@login_not_failed no, just two TUs
 
@LucDanton my project takes about 20 minutes to compile on 8 cores, 16 threads T_T
 
Mar 20 at 14:13, by Luc Danton
looks like I don’t have enough RAM to build some testcases in the optimized build
also that
I should really push that to a CI server though
 
6:22 AM
umm, is there any motherboard atm that can hold two Ryzen 7's?
like, server-grade MB
 
sadly I can’t imagine completing the build by Thursday, so I’ll have to jump like a pleb during SAB
 
low quality bait
 
Ven
6:48 AM
Hi
 
7:02 AM
sup badlets
 
@milleniumbug Hehe, exactly. But is was fun :p
 
user1804599
61
Q: What are the benefits of Java's types erasure?

verttiI read a tweet today that said: It's funny when Java users complain about type erasure, which is the only thing Java got right, while ignoring all the things it got wrong. Thus my question is: Are there benefits from Java's type erasure? What are the technical or programming style bene...

 
 
1 hour later…
8:25 AM
@rightfold One major is that you have to have constraints at the declaration and semantic compile errors in the definition. Which C++ doesn't have until concepts
 
8:46 AM
Hi
 
Ven
Well met
 
@Ven Wow...
@Ven Astonishing!
 
9:03 AM
@login_not_failed not yet afaik
 
@thecoshman thank you
 
Though I'd say AMD will be pushing to get them out, one of their big selling points is that linking in dual CPU systems
 
9:53 AM
Guys something is wrong with me
 
user1804599
@ratchetfreak That is wrong.
 
I have this impulsive desire to type in "meow" whenever I come in the Lounge
 
user1804599
You don't have to add constraints with C++ concepts.
 
user1804599
They are optional.
 
nwp
@VermillionAzure start a support group with STL
 
9:54 AM
@ratchetfreak That's not true though.
@ratchetfreak Technically, it's accomplishable through the power of std::enable_if if I'm not mistaken.
But it's... pretty messy. And ugly to read and find.
Because there's like 2 different ways to accomplish it and it's all ugly.
@rightfold Isn't that right, Lambda?
 
user1804599
:c++:
 
@VermillionAzure better than cabbage
 
10:01 AM
So I got a list of increasing but non-uniformly spaced numbers, I need to select a uniformly spaced sequence. Whats the algorithm/problem called?
 
2 days ago, by R. Martinho Fernandes
Anyway that reminds me we had a GEB study group a while back :/
Also
 
@Mikhail uh what
@Mikhail So, like 1, 2, 4, 8, 16, 32?
Or like 1, 1, 2, 3, 5, 8?
@Mikhail Also, is this the longest or shortest subsequence?
 
So, the crap I built gives me a bunch of increasing numbers from 0 to 2*Pi. I need to pick 4 numbers from this massive list so that the spacing between them is 0.5*Pi.
 
@R.MartinhoFernandes I think this also applies to fundamental computer algorithms. I.e binary search is something that was discovered rather than invented.
 
@StackedCrooked But as Gödel would tell you, algorithms are just numbers.
 
10:04 AM
@Mikhail Oh, that should be easy
 
@VermillionAzure Well, its possible to brute force the thing, but I suspect some people have better solutions.
 
@Mikhail Use modulo, and find a case where it appears 4 times.
@Mikhail Use a std::multimap. If you have a precision epsilon, now would probably be the best time to figure it out, right?
@Mikhail Then, insert all the numbers modulo 0.5*pi into the map, using buckets of size epsilon or whatever. I dunno.
@Mikhail Then find a map entry that has 4 or more entries.
@Mikhail ...Is my algorithm right? Does it make sense? I dunno, what do you think?
 
cinch alert
 
@Ell You just shifted the question to "are points real?", which is just an instance of the bigger "are mathematical entities real?" question which is an old philosophical debate.
 
@VermillionAzure Not sure we're on the same page. So, lets say I need four points, spaced by four units. Given this sequence [0,4,5,6,7,8,12], I might choose the indecies at 0,4,8,12. In this case the sequence is small, and the there is no error. I'm wondering what happens when you have a bunch of values, and you need a bunch of samples.
Among the problems here is that you don't know the value at the index, so you can't magically jump to the correct position.
 
10:12 AM
@Mikhail So if the range here is [0, 12], you mod 4 and then find whether the 0, 1, 2, 3 have enough entries or not.
So here's my process.
[0, 4, 5, 6, 7, 8, 12] => mod (interval size, hopefully a divisor of the original range) => [0, 0, 1, 2, 3, 0, 0].
Go through the array, accumulate the values into a map
 
@Mikhail Can't see how to improve it beyond O(n)
 
[0] => indices 0, 1, 5, 6
[1] => index 2
[2] => index 3
[3] => index 4
Since [0] has four points, we can now retrieve the original values that correspond to the interval.
Which are, respectively, 0, 4, 8, and 12.
 
oh wait I misread the problem
 
@milleniumbug Something like m*O(n/2) because once the first item is found, you only need to search higher indexes.
 
@Mikhail The algorithm I have is O(n) I think since mod is O(1) and mapping is O(n).
 
10:16 AM
@Mikhail FFT seems helpful here.
 
@R.MartinhoFernandes Can you explain how? I wanna learn! :)
 
FFT transforms from the time domain to the frequency domain. "Evenly spaced" sounds a lot like "peaks of the same frequency" to me.
 
But how would you formulate the problem so that we can get that to work?
 
@VermillionAzure So, my current approach is like that but without explicitly binning the data. I find the first value greater than the threshold and search within a small region. Now this won't yield the global optimal solution, because you can for example shift the whole selection.
 
@Mikhail You should explicitly bin the data.
@Mikhail Shifting doesn't matter. The modulo property will take care of that.
 
10:20 AM
So, imagine you have a really large list but only need four points
 
@milleniumbug I'm not sure you can do this in O(n) at all.
 
@Mikhail Then do the iteration in a different manner. The point still stands is that you need to search for the corresponding next interval values.
 
@Mikhail explicitly binning the data sounds like a job for puppy
 
@Mikhail Alternatively, you could possibly do the problem with bins and binary search but if you want an algorithm that works, the one I gave looks like it should work to me. Are you looking for something that works or best possible performance?
 
What you proposed wasn't that bad, but there is no reasons to explicitly bin, and like my approach it won't necessarily give you the global optimal. What I was curious about is if somebody knew the name of the problem...
 
10:23 AM
@Mikhail I thought you're looking for an existence of an arbitrary sequence
 
I want to find the indexes of an array that correspond to equally spaced values (or as best as possible)
 
@Mikhail What if there's multiple sets?
 
@Mikhail I was expecting "evenly spaced subsequence" or similar; googling doesn't yield much, but it might be that just there isn't a lot written about it.
@VermillionAzure The problem formulation doesn't need to change. FFT is the solution, not the problem.
 
@VermillionAzure I want a specific set, aka, values spaced by 0.5*pi (in my problem)
 
Do FFT, find the f=0.5*pi peaks.
 
10:25 AM
@Mikhail Then just modulo 0.5*pi and do linear accumulation and iteration. O(n) time, O(n) space.
@R.MartinhoFernandes FFT is O(n log n) btw so it's slower.
 
5 mins ago, by R. Martinho Fernandes
@milleniumbug I'm not sure you can do this in O(n) at all.
You're just counting wrong.
 
@R.MartinhoFernandes He's looking for a specific interval within a specific range. If you modulo the discrete values by 0.5pi and then search for the repetition of the modulo values 4 times, he's good.
 
@R.MartinhoFernandes I don't think that gives the exact indexes. First off, the phase data is lost when taking the maximum.
 
@Mikhail Why not do this? Input => mod 0.5pi => Iterate, and return the first set of 4 indices that have a common value.
 
@VermillionAzure That O(N^2), maybe O(N log N). Definitely not O(N).
(You can find four entries of one particular modulo in O(N), but you don't know the right modulo up front)
 
10:28 AM
@R.MartinhoFernandes No. If you modify the algorithm to use O(n) space, it can work in O(n) time.
 
@VermillionAzure You can't fill that space in O(N) time, sorry.
 
This is because you can accumulate all of the values in the array into a map that counts the count of repeated modulo values in one sweep. If I didn't have the map, I'd have to iterate N times, yes. But the map changes that.
 
@R.MartinhoFernandes I don't understand.
 
@VermillionAzure Filling the map isn't O(N), sorry.
 
@R.MartinhoFernandes How is it not?
 
10:30 AM
Inserting one item into a map is O(log N).
(Into a hash table is O(N))
 
@R.MartinhoFernandes Okay. Then I just want an array then.
Where it's n*4 entires.
 
@VermillionAzure You need an array of size 2^mantissa if you use floating-point numbers. (Or of infinite size if you use arbitrary precision numbers)
 
Insertion into a random access array is O(1).
 
I mean, you start from an arbitrary value, search until you find something 0.5pi greater, then search for the next one that is over 1.0pi greater, then find another one that is 1.5pi greater. Check the associated error, and start from the next point... Some heuristics make this a little faster (ie, you kinda now where the next point will be) due to the previous result...
 
@Mikhail If run the algorithm deterministically, the memory access patterns are most likely going to be bad.
@Mikhail So doing the accumulator approach is probably the best idea, because you end up with sequential access and linear iteration.
 
10:33 AM
@VermillionAzure You cannot cheat the universe.
You're just pushing the problem around to different places. It's not O(N).
 
@VermillionAzure enable_if isn't semantic checking at definition-time,
 
@ratchetfreak It can be used to do so.
 
with type erasure you have to have definition time semantic checking which in turn requires declaration-time constraints so that usage can look at just the declaration to know whether a parameter is valid. (unless you defer it all to run time with reflection)
@VermillionAzure but it's still too easy to write something that looks correct but makes no semantic sense
 
@R.MartinhoFernandes Yeah, I misread the problem
 
@VermillionAzure You can do e.g. perfect hashing, but finding the hash function is probably going to cost more than just solving the problem (and still cost something like O(2^mantissa) space).
 
10:35 AM
@ratchetfreak That's not what you're arguing. You're arguing it's not possible in C++, and it is because templates are Turing-complete. So it's possible. The convenience of it is the disputable part.
 
Are semaphores Turing-complete
 
@R.MartinhoFernandes Sorry, when I meant "map" I just wanted an associative array such that insertion and access is O(1).
 
3 mins ago, by R. Martinho Fernandes
@VermillionAzure You cannot cheat the universe.
 
not with that attitude
 
Where am I going wrong here?...
 
10:37 AM
There is no "associative array such that insertion and access is O(1)".
You're assuming this is a thing; I don't know why.
 
In computer science, an associative array, map, symbol table, or dictionary is an abstract data type composed of a collection of (key, value) pairs, such that each possible key appears at most once in the collection. Operations associated with this data type allow: the addition of a pair to the collection the removal of a pair from the collection the modification of an existing pair the lookup of a value associated with a particular key The dictionary problem is a classic computer science problem: the task of designing a data structure that maintains a set of data during 'search', 'delete', and...
 
@R.MartinhoFernandes hash-table
 
Insertion is O(1). Lookup is O(n).
 
Hash tables are O(N), O(N), sorry.
BSTs are O(log N), O(log N).
 
10:39 AM
@ratchetfreak I too want that O(1)-insertion hash table.
 
@SpongyFruitcake use the memory location as your hash function, I guarantee there will be no collisions
 
@VermillionAzure That would make your algorithm O(N^2).
 
@Mikhail brilliant, I'll call that a heap
 
@R.MartinhoFernandes Fine then. The data structure I want is specifically a direct-address table, as stated in Introduction to Algorithms, 3rd edition, Cormen et. al., Section 11.1.
 
@VermillionAzure The number of keys isn't small.
 
10:41 AM
Okay, well its almost 6:00am and I probably should sleep. Peace.
 
For the direct-access table, insertion, deletion, and access is O(1).
 
@VermillionAzure As I told you above, it's O(2^mantissa), which is, unsurprisingly O(N).
 
@R.MartinhoFernandes How are the number of keys not small?
 
@VermillionAzure How many floating point modulos do you think there are?
 
@R.MartinhoFernandes He said intervals of specifically 0.5*pi.
So I need to perform only 1 modulo on 0.5*pi.
 
10:42 AM
@VermillionAzure How many possible results are there for that operation?
A direct-address table is a hash-table with perfect hashing, which I also mentioned above.
 
@R.MartinhoFernandes Like, in the context of error and precision?
 
@VermillionAzure How many.
 
I don't understand what you're trying to argue here.
@R.MartinhoFernandes And I'll assume that the implemention will return a single, discrete value.
 
@VermillionAzure Adding some error won't change big-O.
@VermillionAzure And how many are there?
 
@R.MartinhoFernandes There's N values.
 
10:44 AM
O(2^mantissa) = O(2^(mantissa-k)).
@VermillionAzure That's large by definition. (Because we're talking big-Oh, N is large)
 
@R.MartinhoFernandes For what operation?
 
@VermillionAzure The real problem is that the goal isn't to find the first sequence that is increasing, but rather the best sequence. So, after each bin fills up, you gotta check its error score.
 
I'm already lost
@Mikhail You didn't state that in the original problem lol
And that's a more complex problem that involves numerical analysis if I'm not mistaken
 
Numerical analysis is easy, the globally, optimal solution is found by searching the entire space for each pair, and doing so will suck.
 
@VermillionAzure For anything that is O(2^mantissa) or O(2^(mantissa-k))? The statement stands on its own.
 
10:47 AM
@R.MartinhoFernandes Explain.
@Mikhail Maybe for you lol
 
@VermillionAzure Allowing some bits of error just makes the mantissa smaller by a constant. That doesn't change the complexity.
 
@R.MartinhoFernandes Ah I see what you mean here.
 
@VermillionAzure If you just want 4 numbers you don't need to use any kind of map or anything like that. You just keep adding numbers and record when you got over a threshold. That is O(n). How to choose the best numbers is a little harder.
 
You're saying the modulo array will have 2^mantissa entries.
 
Yes. For typical floats that's in the order of gigabytes. For doubles it's just impractical.
 
10:50 AM
@R.MartinhoFernandes Technically, if the interval is fixed, there's a constant number of entires. So the size is now O(1)
kappa
Loool but yes it's impractical.
@R.MartinhoFernandes Ah and I think I see what you mean now.
Yes, the algorithm is O(n^2).
@Mikhail Might as well just use FFT already heh
@R.MartinhoFernandes Sorry it took me awhile to get it
 
Sorry, already used the FFT to generate this data.
 
Not sure what the complexity of finding a perfect hash is, but I'm guessing superlinear.
@VermillionAzure Note that it's only impractical under the assumption of discrete floats. With arbitrary precision floats it is worse, as the array has infinite size.
 
@R.MartinhoFernandes I suppose that has to do with the nature of infinite precision remainders with the real numbers.
 
Bummer I guess.
 
10:55 AM
@VermillionAzure The number of real numbers in any non-empty non-singleton interval is infinite.
 
@R.MartinhoFernandes Hm.
 
@VermillionAzure just because a language is turing complete doesn't mean that it can get the data it needs, semantic checking of a template definition based on template parameter constraints requires access to the actual definition. Can you get that in C++ templates?
 
@R.MartinhoFernandes Sounds like another correspondence, perhaps with the continuum hypothesis?
 
No, that was somewhat of a joke.
 
@ratchetfreak How else can you check the requirements of something unless you know what it is?
 
00:00 - 11:0011:00 - 00:00

« first day (2354 days earlier)      last day (2586 days later) »