« first day (2315 days earlier)      last day (2634 days later) » 
00:00 - 18:0018:00 - 00:00

6:00 PM
well I was thinking about actually taking existing things but improving them. Like instead of writing your pathfinding algorithm you ask the computer to do it
giving some test cases
then apply the same algorithm to more general use cases
I read about google using machine learning to create new "cipher" using a third AI that try to decrypt the messages.
then computer become way more complex than we can figure out... we'll call that magic
 
That's not teaching "programming".
 
@LoïcFaure-Lacroix In theory there's no reason it couldn't. Even assuming you had perfectly functioning void recognition software, I doubt it would work well. Typing with automated incremental search lets me find things that I can't recall their names, and it seems like it would be difficult to get VR software to do the same ("um...I think it starts with a T" isn't something VR software deals with well--especially if there's really some other prefix first, so "T" is only the first meaningful letter).
 
6:19 PM
I had in mind something more "generic" in which the thing becomes pretty much a blackbox as when we're learning maths as a kid. You see numbers on the input a blackbox and the result
were we give some input in pretty much natural language and we get an output
The AI doesn't have to be sentient though to solve that kind of problems
 
@JerryCoffin add 4 lines to your example to add rule of 5 (for move-only semantics)
 
6:37 PM
@ratchetfreak Yeah, you can obviously do quite a bit to clean things up. The point was (and remains) to provide the same capabilities as the generic deleter thing provided, which it already does as-is. For real use, yes, you nearly always need a more comprehensive wrapper--but for those cases, the generic deleter is completely ruled out from the beginning.
 
@Borgleader I'm amazed this one hasn't degenerated into the usual Godwin's Law butthurt:
-1
Q: Is there any way to fix reputation mechanics here?

Matthew SontumI have only tried answering questions here for a few days. But I am troubled by the mechanics of the site. So far I've answered 36 questions. Of those 2 were accepted as the correct answer, 7 have received up-votes but were not accepted as the correct answer, 23 have received no votes and 4 have ...

> I am a DBA with 17 years of experience, and I only answer questions where I know the exact correct answer. And yet four of my answers have been down-voted with either no comments, or no comments that imply it is a bad answer.
 
Ell
6:53 PM
argh this is annoying
I can't find any presentation tool usable for me >.<
 
@Ell You are a usable tool.
@Ell What do you find unusable and why?
 
Ell
@wilx I tried reveal.js, but I couldn't get a vertical split to work
it seems that normal css/html can't work within the slide
I'm not good enough at beamer to get the layouts I want >.<
maybe impress could work
 
impress suck but works
 
@Ell Presentations are supposed to be rather simple. It is your talking that is the meat of the presentation.
@Ell What layout do you want?
 
Ell
but I need to put two pieces of code side by side
@wilx of course
 
6:57 PM
@Ell when things get bad, just copy paste an image with code
place the image wherever you want. Plus, you keep syntax highlight
other plus of images, they don't get messed up on other computers because fonts are different
 
12
Q: Creating two columns in beamer

inquiriesI have searched the stackexchange for a resolution of this problem, but I am still getting an error message when I put in the following (for now neglecting other things in my document, such as documentclass, begin{document}, etc.): \begin{frame} \frametitle{explanation} \begin{columns} \begin{co...

Beamer seems easy.
 
Ell
I also need to be able to insert html preformatted text in some way
 
@Ell Why?
 
Ell
@wilx I need to insert idris code
syntax highlighting idris can't really be done without the compiler
so you get syntax highlighted code from it
 
@Ell it's easier to make a screenshot of the code you want to show. It takes more time and is heavier if you change code but overall It always saved me for presentation because presentation tools aren't made to show code usually
 
Ell
7:07 PM
egh I'm reluctant to use a bitmap
 
@Ell This Idris? idris-lang.org/download
 
Ell
@wilx yeah
maybe I'll have to just take an image and put it into latex
 
@Ell fifth stage of grief ?
 
Ell
yes :P
 
@Ell How do you get the compiler to produce the highlighted output?
 
Ell
7:12 PM
ah wait
it supports latex output :D
wooo
 
@Ell facepalm
 
I remember how we used in college to copy paste code from visual studio to keep syntax highlight and then paste it in word/..
 
Ell
> option clash for package xcolour
:(
 
@Ell That is usually because it is included twice with different parameters.
 
Ell
yeah, I tried setting the same option but it didn't work o.O
still get a clash
I'm investigating though
The package xcolor has already been loaded with options: []
There has now been an attempt to load it with options [usenames]
Adding the global options: ,usenames to your \documentclass declaration may fix this.
but the file starts like this;
\documentclass[xetex,usenames,mathserif,serif]{beamer}
\usepackage{fancyvrb}
\usepackage[usenames]{xcolor}
21
Q: LaTeX Error: Option clash for package xcolor

titusI have an option clash between package xcolor and another package, but I don't know which. Here is my MWE \documentclass[10pt]{beamer} \setbeamertemplate{navigation symbols}{} \usepackage{caption} \usepackage{subcaption} \usepackage{url} \usepackage{color} \usepackage[usenames]{xcolor} \author{...

hey it works :D
thanks @wilx
 
user1804599
7:22 PM
 
user1804599
Zabt is really great.
 
Ell
@rightfold is that tels locally nameless representation?
 
user1804599
Yes!
 
Ell
I (barely) started writing a version of that kind of thing
then tel told me there was a paper written about it :P so I read it
it feels much superior to using de bruijn indices for bound and free variables
 
user1804599
And I barely have to pattern match on it, so I can get away with GHC not checking exhaustiveness of case expressions with pattern synonyms.
 
user1804599
 
Ell
ooh bottom up
 
user1804599
That's what she said.
 
Ell
I got tired of trying to write my parser today :( I've rewritten it twice
it's a major pain
 
user1804599
Writing parsers is incredibly boring.
 
Ell
it was very disheartening to realise that it only works in the REPL :P
 
7:37 PM
Just finished watching 3rd episode of ACCA: 13-ku Kansatsu-ka. It's not immediately addictive like the other top anime this season. It's just nice. It's really ...nice. @Xeo @Mysticial @ScarletAmaranth
 
@StackedCrooked Nooo time :(
 
@ScarletAmaranth What could possibly be more important? :)
 
@Mysticial Meta being "basically okay" for once? Inconceivable!
 
I like hentai :P
10
 
8:04 PM
So, old farts, what does Uncon involve? Drinking, girls and song?
 
Xeo
mostly drinking and card games
and whatever else we feel up to
 
8:23 PM
@StackedCrooked Very
I decided to experiment it few months ago thanks to the lounge and it was one of the most enlightening experience of my life
No joke
 
nwp
today I realized I don't know what casts are
apparently std::vector<int> v{42}; is a cast
meaning there is a cast in like every third line of most C++ code, which is not how I usually think about casts
 
Ell
@wilx eat, drink and be merry :D
 
So there's this ad from Men's Wearhouse that reads, "Always look presidential". umm..... I'm not so sure that's entirely appropriate at this time and age. It's almost at the level of KFC's, "We do chicken right."
5
 
Hmm
@nwp What?
 
@nwp Is it? I thought it was a, what's it called, universal initialization syntax?
 
Ell
8:29 PM
@nwp according to who?
 
nwp
this got me thinking and I noticed that we basically only have pretty syntax for static casts.
Is there a difference between constructing an object and casting in C++?
 
@nwp Surely there is.
 
nwp
in theory this could be used to prove or refute the claim, but I cannot read it properly
 
nwp
9:14 PM
@nwp apparently default-constructing and constructing from multiple arguments is constructing while constructing from a single argument is indistinguishable from static_casting
 
@wilx "I'm sorry, you are overqualified for this job."
 
nwp
9:49 PM
@StackedCrooked Which anime would you recommend for someone who never watched much anime but is bored enough to try?
 
Hm, Samurai Champloo perhaps? (whoops typo)
 
nwp
cool, I'll see if that is something for me
 
It's very noob friendly. And still appreciated by the "veterans".
 
Ven
@rightfold omg postgresql's new test runer uses TAP :D
 
Xeo
@nwp FMA: Brotherhood
 
9:55 PM
yeah that's a good one too
 
Xeo
64 episodes tho
but superb
 
GERMANY: Bild, the newspaper that claimed mass sexual assault by refugees on New Year's in Frankfurt, has retracted the story and apologised
 
Xeo
watching random OVAs can also be good
 
Well, waddya know.
 
Xeo
Fuck Bild
 
Ven
9:56 PM
Oooh, I can't wait for the new NGNL OVA.
Hopefully they ain't gonna fuck it up... ;_;
 
Xeo
Movie
no?
 
Ven
I'll trust you :). I don't remember.
 
Xeo
ye, movie
 
Kimi no Na wa -- aka the best movie nobody has seen.
 
Xeo
haha
need blu-ray
sooon
 
9:57 PM
Yep.
 
Xeo
it's supposed to be really good
 
Not gonna settle for less than blue-ray.
 
@sehe Isn't this called unique_ptr? (given a custom deleter...)
 
@StackedCrooked holy fuck it's #1 on MAL
 
Yeah.
 
9:59 PM
@caps unique_ptr can't handle non-pointers (that is, the underlying pointer type must be convertible from nullptr and be comparable with it too)
(see file descriptors and so on)
 
@milleniumbug But AFAIK you could only see it in movie theatres in Asia and Australia.
Not in Europe and US.
Which sucks massively.
Hence the wait for blue-ray.
 
@milleniumbug It certainly can.
 
Xeo
@milleniumbug fulfilling that is really not-hard, tho
 
I've written unique_ptr custom deleters that can support file descriptors.
could be they changed that but I doubt they'd break existing conformant deleters
 
@StackedCrooked Did that just come out? It sounds really familiar.
 
Xeo
10:11 PM
Not "just", but it's also not very old, ye
 
It aired in movie theaters during late summer.
 
dayyyyum
The Expanse, pretty fuckin heavy shit
 
@milleniumbug I got interrupted mid-sentence and I see others have already commented on this. You can make unique_ptr work for non-pointer types without much work.
 
the main problem is that it assumes that each T has a single "invalid" value
whereas some types like Windows HANDLEs can have more than one
 
they do?
 
Xeo
10:21 PM
how does it assume that?
 
in the destructor, where it does if(underlying != nullptr) deleter(underlying);
 
@milleniumbug That's not too hard to solve either. Your deleter should know about those other states and check for them itself.
 
Xeo
!=, but sure. you can implement operator!= for your custom pointer and check for validity
 
@milleniumbug You mean != probably.
 
@StackedCrooked yes
 
10:23 PM
Fix your message then!
 
Ah you did :)
 
@Xeo But you don't know if it's invalid or not, because the invalid value depends on the context.
there is no function which takes a HANDLE and returns whether or not it's valid.
 
Xeo
huh
 
So, you guys watching anime, do you watch any jdorama?
 
Xeo
10:26 PM
negative
 
You should.
 
anime = master race
 
user1804599
go (x1 :* y :+ x2 :* z) | x1 == x2 = x1 :* (y :+ z)
 
user1804599
woo
 
user1804599
such optimization
 
10:28 PM
@Mysticial I'll bet a horse race is faster than a master race.
 
@wilx ..ugh
 
@JerryCoffin Do you even have a horse to pay up if a race is slower than a master race?
 
I saw a jdorama on the flight back home from Japan. It was very emotional.
And rather unpleasant to watch tbh.
 
@StackedCrooked Some are, other are rather funny.
 
10:31 PM
Try Kekkon dekinai otoko.
 
Xeo
That doesn't sound very interesting (judging by the name)
 
@Mysticial Well, not exactly a horse any more, but I have some hide glue.
 
@Puppy yes, your underlying typename Deleter::pointer must be a NullablePointer, that is, comparable with nullptr and constructible from nullptr. Can't just do typedef int pointer;
 
@wilx Ok. I've bookmarked it. This better be good man :P
Or I'll kill you :P
 
@milleniumbug Yes, but that's not remotely important at all, since you can just use a custom struct with the right equality. You still get all the features of unique_ptr and the client doesn't need to see the custom struct business.
 
10:33 PM
@StackedCrooked Err, you can try!
 
Don't challenge me :)
 
Also, older but awesome in a cringey way is Densha Otoko.
 
Xeo
You seem to have a thing for otokos
2
 
> Here's a sample that parses and matches all keywords from rfc3092
TIL about the etymology of foo
 
@Xeo It is a mere coincidence. :)
 
10:34 PM
I must sleep. Clipboard failing
 
@Puppy Ooh, that's neat. I hadn't even thought of that route.
 
@Xeo The # of stars on that after 24 hours will be the # of people here who watch Anime.
 
Xeo
or who know Japanese
 
@caps Simple truth is, the only resources I know of that unique_ptr can't handle are the ones with contextual invalid values, like HANDLE.
I have encountered no other resource that unique_ptr can't handle with the right deleter
 
Xeo
at that point tho, might as well write your own RAII structure :P
 
10:38 PM
nah
 
@Puppy Can't it even handle a HANDLE with a contextually-appropriate deleter?
i.e. have the deleter check for the non-nullptr invalid values
 
@Puppy I don't usually try to wrap HANDLE itself. Just the thing that I'm using which uses a HANDLE.
 
@Mysticial Yeah, like that.
 
unique_ptr does a bunch of heavy lifting still, ISTR that there's some funny business about exception specifications for deleters that is not that simple
 
Because HANDLE is about as overused as a fucking int. Actually, it quite literally is a fucking int.
 
10:40 PM
@caps You could have multiple HANDLE deleters and then just use the right one in the right context.
 
@Puppy Exactly.
@Puppy It really does. With unique_ptr you get correct move semantics, disabled copy semantics, and correct RAII for free.
I love unique_ptr.
A fantastic example of a pit-of-success API that is a really powerful building block while being really restrained in what it offers.
 
user1804599
(let %f = (fun %x -> (fun %y -> (fun %z -> ((#addI32 ((#mulI32 %x) %y)) ((#mulI32 %x) %z))))) in (((%f 3) 5) 7))
(let %f = (fun %x -> (fun %y -> (fun %z -> ((#addI32 ((#mulI32 %x) %y)) ((#mulI32 %x) %z))))) in (((%f 3) 5) 7))
(let %f = (fun %x -> (fun %y -> (fun %z -> ((#mulI32 %x) ((#addI32 %y) %z))))) in (((%f 3) 5) 7))
((#mulI32 3) ((#addI32 5) 7))
36
 
user1804599
:D :D :D
 
@rightfold What a joke! Awesome punch line!
2
 
user1804599
@Ven <3
 
user1804599
10:46 PM
@wilx I don't get it!
 
@rightfold Me neither.
 
user1804599
:(
 
nwp
maybe rightfold accidentally implemented UDP
2
 
@Mysticial Last time I noticed, it was actually defined as a void *. This prevents you from doing most manipulation on it without casting it.
 
Xeo
or struct HANDLE
 
10:59 PM
hmm
"Why doesn't code wurk?" -> "You set the alpha to zero, what were you expecting to see?"
 
Xeo
Which part of that were you?
 
both
 
Xeo
lol
I had to help fix a similar thing today
 
So much wrong in one question:
0
Q: Compile C++ with netbeans

Stan FieuwsI'm currently making a small C++ program for my friends. I'm using Netbeans in school for Java and wanted to use Netbeans for C++ too (I want to use the same IDE for everything). Now when I run my program in netbeans, it works perfectly in the IDE. But when I try to compile my program I can't s...

 
Xeo
2 people wondering for 30mins wtf was wrong, they bring me in, check 2 things, and solved it in a minute.
they had a widget with a fixed size (sizebox as the outermost parent), but it appeared with a different size in the game
 
11:02 PM
@Xeo Sounds like my motto from high school, when I got asked to help out the A/V people: "It works better when it's plugged in."
 
Xeo
they forgot that that widget is dynamically parented to another widget, which also had a size box that was set to a smaller size
 
@JerryCoffin hehehe, cygwin, netbeans, java
 
@Xeo This often happens to me with HTML and CSS.
fortunately I have developed an algorithm that almost always solves this problem
"Did you use flexbox for layout?" "No" -> "Rewrite to use flexbox"
6
 
user868935
has anyone had problems with reading a file from a relative path? For some reason VS cant find a file in a new project I created, but has no problem in an old project that virtually the same
 
@Puppy I did too, but I'll be mine is simpler ("avoid HTML and CSS").
 
Xeo
11:07 PM
Include paths?
 
if only I could ;p
 
@JerryCoffin Oh. I'm surprised I didn't know that. lol
 
@SpicyWeenie Pretty good bet that it's relative to the wrong location (i.e., the current directory isn't what you thought).
 
At least they won't run out of handles when someone decides to create 4.3 billion threads.
 
@Mysticial Too bad, but I suppose you can't expect the compiler to diagnose terminal insanity.
 
user868935
11:10 PM
@JerryCoffin the directories are at the same level as the old project. The only difference is the project name
 
2 messages moved to bin
 
nwp
Please go here to ask C++ questions.
 
Now I want to know how this guy managed to keep a straight face:
 
@JerryCoffin The "lunar" part gives it away I think
 
Ell
11:21 PM
Hmm. I need an operation on a list which doesn't make sense when the list is empty
for a functional language
all I can think of is sorting, reversing, summing
 
get first element?
all of those are arguably valid on empty list
 
Ell
@Puppy yeah that's my issue
I could use get first element
I was hoping for something that would be a little more "surprising"
something where you might forget to check whether the list is empty
but that's kinda difficult given than you have to pattern match :P
 
if you have to pattern match then you can't forget to check
 
AFAIK in Haskell you use pattern matching. One of them handles the empty list.
 
hmm
one operation that doesn't make sense on the empty list is a reduce without initial value
 
11:24 PM
some version of division, like a find a sub-sequence
 
divide a value by the length of the list
 
Ell
@StackedCrooked yeah
though haskell doesn't check you've pattern matched on the empty list
@Puppy if there was some operation which relied on this, it would be the kind of thing I'm thinking of
essentially I want an example of a subtle bug caused by an empty list
 
@Ell Find the average of the numbers stored in the list.
 
I think that's just the two I mentioned earlier stuck together
 
@JerryCoffin ooh division by zero :P
 
11:30 PM
@JerryCoffin Similar: youtube.com/watch?v=RXJKdh1KZ0w
 
Ell
@Puppy it's a little more subtle at least
 
here's subtle
your face.
 
Ell
better than sticking out :D
 
@wilx Once you know what to look for, there are a half dozen or so around. I hadn't seen any of them until quite recently though.
 
11:54 PM
latest innovation : cat wine
because innovation is never about creating useful stuff
it took me a while to realise this ...
 
00:00 - 18:0018:00 - 00:00

« first day (2315 days earlier)      last day (2634 days later) »