« first day (2381 days earlier)      last day (2559 days later) » 
00:00 - 15:0015:00 - 00:00

12:19 AM
Where do programmers meet at to get a drink?
Foo Bar!
 
I'm totally opening up Foo Bar
hmm Epic Fail is what I already drink most of the time, hah. figures really.
 
@RafaelCamposNunes Not to mention having the nerve refer to assembly language as "assembler". Even linking to such a travesty draws one's status as any more than a wannabe programmer into considerable question.
 
I'm not sure if I understood @JerryCoffin
Oh
The "aka assembler"
Bad, so bad.
 
12:40 AM
@RafaelCamposNunes Just reading it temporarily lowered my IQ by 20 points or so.
 
1:08 AM
lol
It's common to see people refer to assembly using the assembler, which is wrong btw
 
Is there a crucial difference, or does "assembler" just mean nothing?
 
assembler is the assembler, assembly is the language that uses the assembler to generate machine code.
"to generate"
 
@snow_lemurian_snow Assembler means something. It's a tool that takes assembly language as input and produces object code as output. Referring to the language as "assembler" or "assembler language" is roughly similar to referring to (for example) C++ as "compiler language".
 
Oh! Thanks for your input, I get it now
 
object code != machine code, right @JerryCoffin?
 
1:14 AM
@RafaelCamposNunes They're not necessarily the same, but can be.
 
Why not necessarily the same?
 
@RafaelCamposNunes An assembler can produce object files that need to be run through a linker (and possibly even a loader) before they've been fully converted to executable machine code.
In fact, anymore that's probably the rule, not the exception.
 
Yep, that's generally the pipeline to "generate an executable" in a lot of languages. I was in doubt if object code is really different of machine code (or IR of some sort), but what we call machine code that actually gets executed is object code linked with other things.
 
@RafaelCamposNunes oh yeah that pees me off
like you drive a car; you don't drive a driver ^_^
user image
2
 
1:49 AM
We need to coin the term "Machine Yearning"
 
2:06 AM
@RafaelCamposNunes It's different to the extent that (for example) the targets of some jumps may not be there (yet).
 
This movie is fucking brilliant. no eng subs though :(
 
@JerryCoffin That makes sense! :-)
@ProblemSlover did you understand anything from the movie? (assuming you don't speak the movie language)
 
Everything clear from emotions and acting.. also Japanese speak some english there lol
@Mikhail looks einteresting> However, Im into asian movies today :P
 
@ProblemSlover Not in the same genre but w/e imdb.com/title/tt0906665
3
 
2:22 AM
@Mikhail Bookmarked! :)
 
@Mikhail whoa, even Tarantino on that movie
 
2:38 AM
watching some guy turn a sphere out of wood. He ends the video with "nothing to sphere but sphere itself"
 
@jaggedSpire birthday pupper
 
How is global warming science? It's a hypothesis
anyone who calls global warming science doesn't really know what science is
it's like calling earth flat after seeing earth flat
 
The fact that we have now observed its not flat has invalidated that.
 
correlation != causation
 
2:43 AM
^ fuck, stop saying cliche bullshit.
Correlation = causation when you have an explanation
 
x + 2y + 3z = a
x cause a ... kind of
but z influence a more
@Mikhail that's where fake science come from
 
@Telkitty No, for real do you actually do science? Fake science comes from political pressure.
 
p neat
 
so earth is flat = science 1000 years ago?
 
2:47 AM
No?
Consider this statement "Geese take away summer when they fly away". This has a very high correlation, because they do, indeed leave when it starts getting cold. Why is it wrong? Because of the explanation. Science is in the explanations motivated by correlation.
 
I watched some TV program which said that flat earth meme was kinda from late medievals.
 
@Telkitty it could influence a more. It may not always be the case.
 
@Mikhail science must also be a 2 way street - there is a correlation between fire and warmth, thus we can use fire to make a place warmer
 
I keep on asking zero-vote questions.
 
@Telkitty Stop saying the "correlation is not causation" meme
I'm conflicted about the Earth Day protests, on one hand we shouldn't burn coal, and dump crap into the atmosphere on the other hand the supporters of science are poorly informed as to what actual science is, and even less so about what actually happens in the institutions they support. Many of these institutions like the NIH are in need of a reality check.
On the other hand, I suspect that Trump won't actually do that...
 
2:55 AM
@Telkitty actually no. What if 3z < x? You can't make that assumption.
 
Anyone here familiar with Quatum Physics?
I'm having problems understanding rhe Observer effect.
 
Yes
The quantum Zeno effect (also known as the Turing paradox) is a situation in which an unstable particle, if observations are repeatedly made i.e., by shining a laser on the sample to take its measurement under a microscope or using some other form of atomic measurement, the unstable particle will never decay. Sometimes this is stated as "a system can't change while you are watching it." One can "freeze" the evolution of the system by measuring it frequently enough in its known initial state. The meaning of the term has since expanded, leading to a more technical definition in which time evolution...
Fun fact, most of the time you get the opposite effect
 
@Mikhail Trump doing a reality check on scientists? Now that would be truly entertaining. "Yes Mr. Feynmann, that's all fine and well, but you don't understand--we're busy making American great again!"
 
@Joshua I have recently seen an answer by 100k person with negative score.
 
@JerryCoffin More like, we give you billions of dollars but none of your results are reproducible. Also "why fuck are you guys faking all these clinical trials"? (Biden did something like this during the last AACR meeting)
 
2:57 AM
I am generally against science cutting, but only if it's really science
 
@littlepootis Observer effect essentially means that observation is destroying.
 
@Mikhail that's interesting.
 
@littlepootis Truth is that quantum mechanics as it is taught at an undergraduate level is completely useless as a way to understand the universe. You want quantum field theory, or any other field theory, for that matter. If I were you, I'd get good with Maxwell's equations, and then transition to quantum.
 
@EuriPinhollow I saw an experiment that disproves that the interaction with the radiation used to observe is not what's causing the collapse but the mere knowledge of its path.
 
science research is a lot like lottery, you never know when you will hit jack pot
 
3:03 AM
Which confused me even more.
 
@Telkitty No, most people know they are doing bullshit.
Fuck, the general public's understanding of science is lamentable.
 
@Telkitty science is not about hitting the jack pot.
 
but it is ... take newton's law of motion for example
or discovery of penicillin
neither was planned
 
In the case of penicillin it wasn't even the same field. So obviously directed scientific research is not worth doing, because it is all random. Now imagine a scientist proposing doing work in a specific field :-)
 
neither was planned is just an argument against your prior premisse.
 
3:12 AM
Anyways, I'd more like to see more people arguing to defend science from the so-called "scientists" that make up most of academia.
 
I guess that @Telkitty believes that Newton came up with an explanation of mechanics by the "apple that fell in his head"
 
hello
 
@RafaelCamposNunes please provide me with alternative fact? >_<
 
So you think Newton's laws are just hypothetical assumptions that try to describe the mechanics involved in the universe?
 
it was, until proven
 
3:23 AM
^^
 
More bullshit
 
Yep
Science doesn't work that way
One scientist doesn't shout out and then expect its hypothesis to be right
They use an specific algorithm
 
"algorithim"
 
Called "The method", it was enunciated by Reneé Descartes
 
you start with hypothesis
 
3:26 AM
^
 
What about it @JABFreeware?
 
Do you think algorithms are only applied in when you are talking about computers?
 
just noting poor word choice
 
No, it isn't
 
3:27 AM
we have different opinions then
 
once I freaked someone out by using numbers instead of words
2 18 <= too late
 
It's exactly the best word that you can came with. An algorithm describes steps to reach an specific result and, those steps can't be ambiguous and you always will reach the same result if you use the same algorithm
 
in controlled environment
small discovery might be possible using algorithm
 
exactly
 
@Mikhail you are reading that, aren't you?
 
3:31 AM
whos that
 
mikhail is an engineer in distress :D
we totally need a story about a knight in distress waiting for a princess to save him
 
Read "The Method" by Descartes @Telkitty, it will save my time and your time!
:-)
 
what if I don't value our time?
 
@RafaelCamposNunes I rage quit the conversation because @Telkitty expressed uninteresting and incorrect opinions.
 
@RafaelCamposNunes that's before newton discovered law of motion
 
3:35 AM
That's your problem to solve @JABFreeware
 
@RafaelCamposNunes its not a problem though
 
@Mikhail understood
 
@RafaelCamposNunes So do you work on anything science related?
 
3:39 AM
Hmm, my computer has 3.9GB of ram allocated, but only 3 programs are using more than 100MB. Either my ram is starting to malfunction or something is wrong with my os.
 
kind of, I'm a Bs. student on CS. I have a research in the field of Computer Graphics @Mikhail.
 
@Aaron3468 what os
 
But I love to study physics in my spare time :-)
 
Win10, so naturally there's everything wrong with it ^^;
 
@RafaelCamposNunes I do something similiar (optics/microscopes), but for PhD
 
3:40 AM
It's quite a need when you are talking about physics based rendering
 
@Aaron3468 windows 10 and 4gb of memory is a problem in itself
 
@Mikhail I think the word you needed there was "ridiculous". Even the most minimal study of Newton's work makes it clear that very little of what he did was a result of accidents. He was systematic and worked very hard at taking his ideas to their logical conclusions (which, despite being logical, went far beyond what anybody had really considered a few decades before).
 
@Aaron3468 Windows upgrades often leave defective (or old) drivers which can eat up RAM.
 
@JABFreeware To clarify, I have 8GB and it's consuming 4GB
 
@Mikhail Oh really? Cool, what do you specifically do in it? Any pre released paper?
 
3:41 AM
@RafaelCamposNunes I got like 14 papers :-)
 
@Aaron3468 is it updating/updates pending etc etc. Shitty drivers bluh bluh. I doubt its fault memory.
 
@Aaron3468 Probably something very right with your OS. If you aren't using it for other purposes, it'll use memory to cache files. You paid for the memory; you might as well get some good from it.
 
Uow, you could send me one to lie my eyes on it :-)
 
@JerryCoffin Thats not entirely correct. not even a little bit
 
@Aaron3468 It's only using 4 GB? You aren't running a 32-bit OS are you?
 
3:43 AM
they make a 32 bit version of windows 10?
 
@RafaelCamposNunes This one was in a "good" journal but its rather boring: light.ece.illinois.edu/index.html/archives/3024 Basically my microscope removed background artifacts.
 
@JABFreeware I'm not sure (but if memory serves, I think they actually do, crazy as that may be).
 
thats disturbing. Even more than a video of a grandma using a pineapple...
 
computers have been running on 32 bits for ages
 
that doesn't make it right
 
3:45 AM
@RafaelCamposNunes Recently built a system for embryo inspection but that is under review for like a year or two in Nature Photonics. Now i'm trying to make 3D images of brains using an improvement to IR-DIC.
 
@Mikhail what did you do to your embryo?
 
@JABFreeware Really? You're claiming that the memory was free?
 
@JABFreeware Score them by the quality, and make 3D images.
 
@JerryCoffin I didn't say that. You said if the system isn't being used it will cache files. If its not being used it has no reason to cache...
 
@Mikhail how much damage does your high energy ray do to those embryos
 
3:47 AM
The OS always caches a minimum piece of memory @JABFreeware
 
@JABFreeware You misunderstood. I said "if you aren't using it for other purposes..." In this case, the "it" referred to memory, not the system as a whole (for which the "other purposes" part wouldn't make sense).
 
@RafaelCamposNunes I'm aware... unrelated to waht he said
 
@Mikhail that's quite advanced, I'm not near that level yet :-p
 
@JerryCoffin oh. Thats mostly correct then
nothing to see here
 
@Aaron3468 FYI, I've had this happen before, superuser.com/questions/949244/…
 
3:49 AM
@Mikhail I'm tempted to think this is the case, and I'm just in the process of using poolmon to try and see which driver is misbehaving
 
The fun thing is that MS is pretty good with static verifying drivers, but Windows Upgrade is one of the weird points where an unverified driver can get into your system. MS assumes that because the driver worked, it will continue to work! So the typical case is that an unverified OEM driver from Windows 8, sneaks into Windows 10.
 
they have gotten better though
 
Compared to their competition with Linux they are light years ahead, because Linux drivers are not statically verified.
 
@Mikhail Which is irritating because windows update is usually what breaks things but they decided to enforce it in Win10 with autoupdates or no updates at all.
 
@Mikhail only if you're a moronic linux admin
 
3:53 AM
I fit in the "moronic" linux admin category when I decided to make the terrible, terrible decision to use ZFS instead of hardware RAID. I literally created days of work.
 
@Mikhail Well, some are, of course (but it's nearly impossible for most typical users to guess which have been tested half to death, and which are from somebody who's working from specs, and doesn't have the hardware to test it at all).
 
@JerryCoffin Which drivers?
 
@Mikhail first step is admitting you have a problem...
how did that make you feel?
 
I need ~$3k
 
I understand. And how does THAT make you feel?
 
3:55 AM
I feel there is a conspiracy of ZFS users, who think that they have good performance but actually they don't. Perhaps HD manufactures or similar are artificially slowing down IO performance?
 
wtf, so I am the only one who is not allowed to troll you now?
 
@Mikhail I see. How have you been sleeping?
 
@Mikhail Which are statically verified? I'm not sure if it's true any more, but before they were bought out, OCZ used to do quite a bit of static verification on the drivers for their enterprise SSDs (but not the consumer-level ones).
 
:( The biggest memory hog is only using 306MB; this coincides with google chrome which is the program consuming the most in task manager. Evidently something at a lower level is consuming the memory
 
@Aaron3468 update your bios, hit the gym, kill a lawyer, fuck a kitten...or something along those lines iirc.
 
3:58 AM
what, have people stopped huffing kittens now
 
@JerryCoffin Actually a friend of mine claimed to do some for Toshiba (I think), but they really only verified for things like UB. With MS they actually verify the binary, and the behavior in conjunction with the whole system. That was the commercial outcome of their "famous" Singularity project.
 
@jaggedSpire don't put glue on kittens
@Mikhail what a stupid name for such a project
 
With Linux, driver quality is enforced through Linus Torvalds's ego
 
@Mikhail Keep in mind, however, that with Clang now having ubsan, asan, etc., quite a few more people are doing quite a bit more verification on their code (both statically and dynamically) than they were even a few years ago. I can't point to specifics, but I'd guess this applies to a fair amount of kernel code as well as user-space code.
 
4:02 AM
@jaggedSpire what. the. fuck.
 
check the site
> the orange ones fuck you up REAL good.
 
@Mikhail Some is enforced by better designs, such as user-space drivers (so we're finally getting closer to a microkernel).
 
@jaggedSpire I saw
 
@JerryCoffin Another thing to consider is how "drivers" are deployed across platforms. With Linux the "driver" is in the kernel, but with Windows you can "shoot your foot" and install a faulty driver (or have MS do it via a driver upgrade).
 
@Mikhail is shoot your foot a MS term now lol?
 
4:05 AM
@JerryCoffin Not sure how I feel about the micro-kernel. I'd really have to understand the experience people have had with the Linux user-space stack through libusb. Conceptually everything should be in the kernel :-)
 
@JerryCoffin Are you talking about linux?
 
@Mikhail Hmm, looks like one of the drivers I have is infamous for having a memory leak...
 
@Aaron3468 ...
 
@Mikhail Quality on things in Linux is enforced by Linus Torvalds's ego generally :-p
 
windows provide utility to find and fix/quarantine faulty memory/drivers
 
4:07 AM
@Telkitty oh?
 
brb restarting after switching to the newer version of the drivers, send my family my love if it bluescreens
 
@RafaelCamposNunes Yup. Not that Linux is anywhere close to requiring user space drivers, but at least it does support them nowadays (which it didn't at all, years ago).
 
@Aaron3468 we need your family's IP address ... just in case
 
When I was a kid we had to build our own Wee Fee driver in Red Hat! Truly dark times.
 
@Telkitty Socials too
 
4:09 AM
@Mikhail Why should much of anything be in the kernel? Conceptually, everything should run at the lowest privilege that lets it do its job. Putting most drivers (and everything else) in the kernel was mostly just cheap optimization, reducing mode switches.
 
@JerryCoffin oh, that's actually quite nice! I really have the feeling of it when I get to install graphics drivers.
@JerryCoffin And a way to complicate life
I'm really an evangelist of microkernels
 
hail mk!
 
@JerryCoffin Ideally we should have no switches. At the end of the day the interrupt vector needs to be serviced in the kernel, so for performance reasons everything should live in that privilege level. As argued by MS, you can get a 30% performance improvement if you can verify code and get rid of context switches.
Frankly, I think there is an opportunity to static verify large portions of traditionally "user-space" code and move these parts into to the kernel.
 
@JerryCoffin drivers in kernel for better control over them of course
like brain control over your limbs
 
> if you can verify code
This gives me flashbacks to when you said that windows update doesn't do that well
 
4:16 AM
Windows Upgrade, skips the step causing problems. The normal verification works pretty well.
 
good night all
 
Omg I just fixed the craziest bug of my entire life. Short story is there's a bug in vs2017's realloc() when passing a NULL ptr
 
4:31 AM
Hmm, looks like I brought it down to 2GB
*2.4GB
Not as bad. Apparently a feature of one of the recent updates to the samsung SSD driver is that it allocates almost 2GB of ram to avoid writing to the SSD and thus lengthen its lifetime...
 
What is the SSD brand?
 
samsung, it's one of their EVO SSDs.
 
Try Samsung Magician, it has easy to use firmware updates, etc.
 
Yeah, just did that. It's using less now that I messed with the settings in Samsung Magician a bit. Now the ram usage is stable at ~2.5 to 3GB, so it's better than before
I should probably download moar ram soon so I have 32GB
But I'm allergic to spending money
 
five finger discount
 
4:44 AM
@Telkitty When you make comments like this, it scares me that you write code at all.
 
at the high time I had 3 published on google play 5 on apple app store and 1 on window's app store
 
Don't feed the trolls
 
@Mikhail I think 30% is an exaggeration. For years, testing has shown around half that (or a bit less). OTOH, most people's response has been to use virtual machines--pretty much just a microkernel with OS servers running in user mode (but with a crappy, low-level, high-overhead interface between them).
 
Haha, yes... If I could find just 2 sticks of 4GB for a good price, that would be awesome. It looks like $80-100 though
 
4:51 AM
@RafaelCamposNunes android, ios
 
I never said you didn't
@Aaron3468 That's quite a high price for 4GiB of memory, here I buy it for [40-50]$ a stick of 8GiB
 
CAD, we pay like 1.4 times the price
 
I need to fix the lawn mower and mow the lawn :/
if it's up to me, I would buy new mower ...
 
user7869838
hi
 
user7869838
stackoverflow.com/questions/43566892/… where can I discuss this kind of question?
 
5:05 AM
I need to mow 1000 square meters of lawn in the next few days
 
user7869838
plz help
 
@Srestha you sure can discuss it here, but you'd have to break it down to pieces.
 
Hmmm no
This is a question dump, not related to C++, and OT for this site as a whole.
It also looks like a homework question.
 
Ops, sorry to miss inform. But it sure could be discussed if applied over the subject of the standards. But it seems that a simple read on those subjects would clarify the mind.
 
Indeed, just look it up on wikipedia and use a notepad for the harder parts to understand
Then spend a couple minutes trying to think of pros and cons of each format
 
5:13 AM
and how he got in the chat having < 20 rep
 
He actually has 23 @ProblemSlover
 
downvotes have already fixed this problem
 
But the OP of the question and @Srestha are different profiles, aren't it?
 
The link was to somebody else's question
 
@Aaron3468 Could be a sock puppet
wouldnt be the first time
 
5:15 AM
That's what I first thought @Borgleader
 
esp if you consider that that question is 2hrs old
what are the odds you really need to discuss an unanswered question thats not yours and is that recent?
suspicious af iyam
 
The reason why it could have been there with no one to answer/comment/flag are the tags.
It could easily pass over the SO timeline
 
i would have banned that dude for life for using throw out profiles and dumping questions here
 
lol it's badly tagged too
i hadnt noticed that
 
user7869838
no I am new and want to know is there any room for computer organization?
 
user7869838
5:19 AM
As it is topic related to computer sc. , so I asked it
 
@Srestha "Computer organisation"? here we go: support.microsoft.com/en-gb
 
user7869838
yes thank u :)
 
@R.MartinhoFernandes oh hi, how goes you?
 
Great. About to go back to sleep
 
5:24 AM
Nop well then :)
 
 
2 hours later…
7:13 AM
That's why you use smart pointers
 
7:28 AM
smart pointers don't prevent null dereferences
 
7:38 AM
Indeed it doesn't and I made a wrong point
 
8:36 AM
Some levels of TIS-100 are difficult because in addition to being an assembly language, there are so many race conditions to debug...
@RafaelCamposNunes Solution is to not use pointers, or make a type that checks references and use it throughout. I'm not actually sure if C++ has a standard workaround.
 
New Apple Filesystem (APFS) Reverse Engineered : https://blog.cugu.eu/post/apfs/ https://t.co/KYUxsylQ4Q
Spammers can be so gorgeous :/
 
9:36 AM
@ProblemSlover Hey, I got that one too.
 
@Morwenn Congrats on being lucky one.. I use spamcop.net to reward them in response.. so it reduces the quantity without affecting the quality :P
 
I just let the spam handling mechanism do its job. It works fine. Maybe thanks to people using the thing you linked.
 
I remember a few years ago.. when there was no such thing as adblock the sites very infested with banners.. congrats on being 10000th one visitor you won 6 figures amount.. damn what good times.
 
Also direct download sites where you spent 5 minutes finding the right download button.
 
9:51 AM
Didn't they already have human rights at UN too?
That's a big joke.
 
nwp
@BoundaryImposition surprisingly accurate
 
@Morwenn Yeah.
 
10:34 AM
@wilx Secret ballots for this makes no sense.
 
10:46 AM
> This week The New York Times, for example, wondered: "Has Trump Stolen Philosophy's Critical Tools?" The article was by a PhD student named Casey Williams, who speculates that the U.S. President's belief in "alternative facts" may actually reflect the view that language itself distorts reality, to the extent that all truths as expressed by language become relative.
> Williams does a not bad job of summarizing the postmodern moment. The fundaments of the approach, he says, rely on the belief that "… facts are socially constructed. People who produce facts – scientists, reporters, witnesses – do so from a particular social position (maybe they're white, male and live in America) that influences how they perceive, interpret and judge the world.
 
sounds to me like they don't know what "facts" are
 
I find this funny that the anti-trump protesters and Trump himself would have this in common. :D
 
anyone here fixed a lawn mower before?
 
@Telkitty Fixed? No, I have never even owned one.
 
user1804599
11:31 AM
TIL ball lightning
 
12:00 PM
Hi, I'm trying to understand the difference between `lvalues` and `rvalues`and stepped over this line of code:
const int& x = 10; // Can assign an const integer refference to an r value
Somewhere I picked up that it is actually a two step proccess - how does this work?
 
nwp
12:27 PM

C++ Questions and Answers

Solve problems and approach solutions. Just ask and lurkers wi...
 
ui sry :)
 
Gender equality in Yemen.
 
12:51 PM
@littlepootis the knowledge is superposition of particles and their properties. To create that knowledge the energy (or another kind of power) is needed. When we try to detect particles in the double slit we take that power from them. You can never know anything without interfering with it.
@Borgleader already deleted lol.
 
 
1 hour later…
2:03 PM
Today's a slow day.
 
you need to tone down that velocity a bit
 
vrooooooooooooooooooooooom
 
Ell
I would like assistance from somebody who knows how the pumping lemma for regular languages works
 
I've heard of it
a long time ago
doubt I'd be much help
 
Ell
I'm trying to show that C is not a regular language
 
2:07 PM
you're trying to do it via proof by contradiction over the pumping lemma?
 
Ell
Yes
 
Ell
What?
 
well are you some sort of masochist
it's Sunday go have a beer 😂😂
 
Ell
It's for uni :P
 
2:08 PM
definitely beer
 
Ell
it's chilling in the fridge currently
 
nice nice
well I don't know how you'd represent it formally but it's clear that you can't just pump the middle of a C program to get another C program
although maybe there's some p for which that works so you need to find one for which it doesn't
all very meh
 
Ell
@BoundaryImposition well, that's what I'm a bit confused about
because surely this proves that C is not regular? by the fact that you can't pump it
> Informally, it says that all sufficiently long words in a regular language may be pumped—that is, have a middle section of the word repeated an arbitrary number of times—to produce a new word that also lies within the same language.
 
yes
CS.SE gives the following hint: "Use the fact that C requires braces to be well-nested."
 
Ell
so can't I just choose the int age in int age in int main() {int age; return 0} and pump that
if I repeat that many times then it won't parse
 
2:12 PM
I'd have thought so but this is where you lose me a bit - I'm not sure what's "allowed" and what isn't, or how you'd represent it formally
 
Ell
@BoundaryImposition Can I see where you got that from? :)
 
the problem you're going to have is in proving that ^ is true for all p
because the lemma only says that it holds for some string greater in length than p
2
A: Proving that a programming language is not regular

David RicherbyYes, the pumping lemma will work fine, as would Myhill–Nerode. There's a hint below; mouse-over to see it but try without.

googled "prove c programming is irregular language" :D
 
Ell
Thanks :)
 
there's not much meat on that post I'm afraid
 
Ell
oh gosh yeah there's not
 
2:14 PM
you could invite David to a chatroom
IME he's a helpful and kind chap
 
Ell
I'll try a while longer then probably resort to that
 
surely you have lab assistants, a professor...?
ideally you'd sit with them
as that is their job :)
 
Ell
Good point :P
 
user1804599
@Ell It won't even parse when you substitute intint for int.
 
user1804599
Because the grammar requires that it's a type, but intint is not a type, it's an unknown name.
 
user1804599
2:27 PM
It will parse once you add typedef intint int; before it. :V
 
2:37 PM
Anybody happen to know how to compile with visual studio without the admin prompt? I want to configure slickedit
 
what admin prompt
 
excuse me, developer prompt
 
StarCraft is now free, nearly 20 years after its release
https://techcrunch.com/2017/04/18/starcraft-is-now-free-nearly-20-years-after-its-release/
lol wat
 
I napped so hard. It was great.
 
what developer prompt
 
2:50 PM
@EuriPinhollow inb4 it wasnt a bug. too bad i cant see dead tweets like i can see dead questions on SO. I'd be curious to see the responses.
 
For visual studio you can only do command-line compiling from so called developer prompt. Seems like just a batchfile that sets environment variables. I am going through it now, but I was hoping somebody knew it already
 
still not sure I see the problem
why not use that system then?
you can invoke the compiler yourself from shell but I guess then you'd need to recreate what that batchfile does
 
@BoundaryImposition use Slickedit interface, save a few seconds
 
so far it seems to be costing you time instead :)
 
@BoundaryImposition point taken :/
 
2:55 PM
I assume Slickedit is an editor, and that it has the ability to invoke a compiler?
And that you wish to build your project from within that editor?
 
@BoundaryImposition yes, it is the editor
 
have you tried just literally invoking the compiler?
 
@BoundaryImposition from inside the editor? Not yet. Perhaps...
 
@jamesson seems like that would be a good first step
that's all your batchfile, admin/developer prompt, IDEs are doing anyway
 
@BoundaryImposition yea good point ty
 
2:59 PM
just maybe with some extra environment variables for utility but you can add those as you go
 
00:00 - 15:0015:00 - 00:00

« first day (2381 days earlier)      last day (2559 days later) »