« first day (2240 days earlier)      last day (2698 days later) » 
00:00 - 23:0023:00 - 00:00

12:51 AM
@CaptainGiraffe you only need tmplqte type for allocation, deallocation, and comparisons. All the rest is nontemplate.
Allocation, deallocation, upper_bound, and lower_bound
 
Its Friday night, whats everybody working on?
 
Language.
 
Sat morning
I am working on some legal stuff (which I am terrible at)
 
BSc project's documentation
 
I'm grading homework and trying to hack my way through Qt's broken OGL implementation...
Students loose a point for each run-time exception my code makes
 
Ven
1:01 AM
i'm playing wow :|
but not with @Borgleader since he's a NA scrub
 
Ell
I just had an idea
To combat obesity
what if obese people had to pay calorie tokens as well as cash
so they wake up and their daily calorie tokens arrive in the post
when they try to eat a lot of macdonalds and some such they will run out of tokens
 
Or get rid of the tokens and call them calories?
 
Ell
@Mikhail the point is when you run out of tokens no stores will give you food
it's just an idea :P not a practical one
 
Yeah, so you want to enforce calories counts
 
Ell
well
voluntary enforcement like
more like an additional way to keep track
a way which makes visualizing calories easier
 
user1804599
1:07 AM
@Ell Raise driving age to 35.
 
Ell
@rightfold interesting
 
user1804599
Create more cyling lanes.
 
Ell
that solution is also not practical but
it's an interesting point and I wonder how much effect it would have
 
user1804599
@Ell Your mom would be angry.
 
Ell
lol
 
1:09 AM
Mandate exercise, like they did with archery in 13th century Britain.
 
Ell
diet is much more important than exercise I think
 
both are fairly important
 
1:32 AM
Fat people should be forced to donate blood until they become skinny
 
I heard story about healthy person donated blood and became fat
 
Sorry, I made that story up
 
I heard that from my cousin and he was referring to one of his friends
 
Ell
1:46 AM
the free monad is beginning to click
 
what an excellent name for a programmer bar
"The Free Monad"
 
Ell
"Free as in Monad"
Buut while it's clicking, it doesn't appear to be useful for me :V
 
Fubar
 
also excellent
 
foodbar
 
2:13 AM
^ It delivers.
No more allocations in io_service.post(...). Only allocations are my vector and the io_service constructor.
Inspired by the awesome example.
 
opened in another tab, will take a look later :)
 
Great :D
 
I'm messing around with libuv atm
 
For your discord bot or just for fun?
 
my discord bot is written in Python
 
2:18 AM
also used by ... pyuv
sounds like a python thing to me :P
 
pyuv is garbo
since discord.py is written using asyncio the equivalent would be uvloop
 
Ell
guys can you think of a really super simple imperative programming language?
 
@Ell C++
 
Ell
-.-
 
Python?
 
2:22 AM
^
 
@Borgleader lol
 
@jaggedSpire <3
 
@Borgleader <3 hey bby
 
@Ell BASIC
 
Ell
2:23 AM
this will help :3
 
@Borgleader :D
 
@Ell toy simple (Turtle?), or practically simple (Python 3)
 
Ell
Toy simple
I need to demonstrate free monads
My choice of system f was too ambitious :(
 
@Ell Free as in free beer, free software or america?
 
Ell
Specifically the types are causing me to have to model my term as a bifunctor which is just complicating everything. I will pursue this afterwards but I have a deadline so I'm going to go with something less complicated for now
 
2:30 AM
good call
 
Ell
2:50 AM
Turtle is a much better demonstration anyway
What with actually taking advantage of Free and not just Fix
 
3:44 AM
huh
Windows 95 has fanfic
 
user406009
@jaggedSpire What? How would that even work?
 
4:15 AM
std::shared_ptr<int> p(new int(1));
// ^ What happens if the allocation of the control block (refcount) throws?
//   Will the passed pointer be deleted?
I suppose I'll have to look like this:
explicit SharedPtr(T* ptr) : mRefCount(), mPtr(ptr) {
    std::unique_ptr<T> guard(ptr);
    mRefCount = new std::atomic<int>(1);
    guard.release();
}
 
4:44 AM
@StackedCrooked That I can assume would be the case. Otherwise it's a chance to write a defect report!
 
Just checked. Apparently the delete is guaranteed.
 
5:07 AM
So, where do I find people that are experts in Qt internals? I'm having trouble figuring out all the places where Qt attempts to manipulate the OpenGL context...
 
For something this specific you'd need to talk to the developers.
Or study the source code.
 
Be the expert.
 
@MarkGarcia lol
 
I'm thinking of submitting a patch so that an event is fired before the OGL context is secured by a thread (here I can put a lock), but I'm not sure if my patch covers everything...
 
5:39 AM
Objective-C++ has the same problem with nil
So sol2 can't work with Objective-C++ because nil is a keyword and type::nil is illegal.
So I need to provide a new wording and do an ifdef for objective-C++
Is null a keyword in Objective-C++?
 
6:03 AM
^ Nice presentation :P
@ThePhD In our code we have an enumerator named "None" and that now SWIG complains that it conflicts with the Python keyword so it renamed it to None_.
What is the union of all keywords of all programming languages? :P
 
6:37 AM
@StackedCrooked ...I was about to go to bed
you menace
 
Hehe :D
 
I'm 25 minutes into this presentation ;_;
 
I'm surprised that this one flew under my radar for so long.
 
welp
I'm going to bed before I start watching others
thanks for the link though
 
spending your Friday night watching C++ videos, brilliant! :p
 
7:24 AM
I'd like to destroy my wedding band in front of a group of friends. Could metal plyers bend or cut gold?
Steel is harder than gold, I should be able to do some damage. I just don't want to fail spectacularly and I can't do a test run
 
Pure gold is soft, you can cut gold with your teeth
but I don't know why you want to destroy your wedding band though, you could sell it at higher price if it's not destroyed
 
@JDiMatteo I've never tried it, but I'd guess with some vice grips (for one example) you could do some pretty serious damage.
 
Just don't do anything with it while it's still on your finger.
 
Just between u & me, kz. I did bite my mothers gold neckless once & left a teeth mark there ...
coz I heard that it can be done, so I went experimenting ...
 
@JerryCoffin To increase likelihood of breakage, he could saw a small cut for a weak point.
 
7:37 AM
Thanks Jerry, I'll give it a go
Telkity, I think feeling my wedding band snap is worth more than the decrease in value
 
7:50 AM
@StackedCrooked that uninitialized read bit seems wrong. Part of the setup requires that they don't allocate enough room for the null terminators in their strings, but then write nulls anyway.
@StackedCrooked or that malloc frees memory allocated to the string
@StackedCrooked er, this video
@StackedCrooked listening again, yes. It hinges on malloc conditionally returning a page to the kernel that's owned by an allocation.
Ooooh. Virtual vs physical memory. Malloc returned the physical because it was unwritten. I get it.
That's brutal
Key piece I overlooked was that the function (obviously) unconditionally reads from uninitialized memory. Obvious in hindsight
 
Ven
8:42 AM
Hi
 
@StackedCrooked Quite interesting.
@Abyx Why retards? To me it sounds like good preparation for when Russian soldiers decide to take vacation in Lithuania in divisions sized groups.
 
9:12 AM
Also, CSS font-size-adjust is awesome.
 
9:56 AM
@Griwes I think this is disgusting. People actually voted for those Electors to vote for Trump. Doing otherwise is an affront to whatever shred of democratic rocess they have.
Can't type
 
10:13 AM
@Luc yeah, my friend came up with the "five" problem
 
 
1 hour later…
user1804599
11:24 AM
@Ven what does Node use for encryption? OpenSSL?
 
Ven
@rightfold what do you mean?
yes there are openssl bindings
 
user1804599
> > The tls module provides an implementation of the Transport Layer Security (TLS) and Secure Socket Layer (SSL) protocols that is built on top of OpenSSL.
 
user1804599
Fucking fuck
 
user1804599
What the fuck WHY
 
user1804599
github.com/k0001/haskell-money/blob/… <- the competence is amazing
 
user1804599
11:38 AM
Ugh, Nginx also uses OpenSSL. I should look for proxies written in Erlang or Go.
 
my new laptop arrived yay
merry early xmas to me
 
@AlexM. Congrats on your new Macbook Pro! ... Oh...
I just posted this question to SO. If anyone wants to comment on the quality of the question, suggest a way for it to be improved, or offer to help, it would be appreciated. If not, no worries. I'll just leave it here.
0
Q: How to encode to FLAC using QtAV?

allquicaticI am trying to use QtAV in C++ (gcc g++ 5.4.0 on modern GNU/Linux) with Qt 5.6.2, to encode Linear PCM data to FLAC. My input data consists of linear PCM samples, signed 16-bit little endian, 48 kHz sample rate, and variously either 1 or 2 channels. I have the input data stored in a QByteArray. ...

 
12:09 PM
@allquicatic it took its design from the macbook air tho
 
I am bored.
 
user1804599
@wilx read PureScript by Example
 
@rightfold Can't you compile it with whatever alternative implementation of the SSL interface that you fancy?
@rightfold That message should have contained a link...
 
user1804599
@wilx Yeah probably :P
 
12:16 PM
@AlexM. I feel offended by the use of what seems like MacOS X! shakes fist
 
user1804599
 
@wilx it knows its likely audience har har
I keed
I keed the mac users
 
@rightfold Thank you.
@rightfold: Out of curiosity, how do you debug the code when the browsers is actually running the compiled JavaScript code and not your PureScript code?
It seems it must be hard to step through that.
 
@R.MartinhoFernandes They are supposed to safeguard the democratic process. Not electing someone who should not (ethically, because of his companies) be a president, and instead electing someone who has won the public vote does sound like safeguarding it.
 
@wilx in the same way you debug C++ programs when you're running assembly code and not your C++ code
 
user1804599
12:27 PM
@wilx Compiler output is readable so you can just use breakpoints. Also printf debugging is available even in pure functions.
 
@AlexM. I am not saying it is impossible. However, it is not obvious how it is done with JavaScript and browser.
 
just speculating that it's probably a debugger on top of your browser's
 
user1804599
Browsers offer debuggers
 
and when setting a breakpoint in your purescript it sets it in the browser's debugger at the corresponding starting instruction
 
user1804599
With line number breakpoints and DOM modification breakpoints
 
12:28 PM
since I expect unoptimized compiled JS to map 1:1 to purescript counterparts
but like any obscure language and tools
I expect them to not work very well
I mean haskell tooling is kinda spotty
can't even imagine what it is like in purescript
 
user1804599
PureScript tooling is good
 
user1804599
For example you can write ?a in your code and it gives a list of identifiers you can put there, and there are editor plugins that use this
 
user1804599
And unlike Hoogle, Pursuit actually searches through everything.
 
The washing machine has just finished. Who is going to hang all of the clothes for me?
 
user1804599
Urmom
 
12:35 PM
@rightfold She lives in a town roughly 150 km away. :/
 
user1804599
Put them in the drier
 
@rightfold No drier here.
 
12:58 PM
It is done. Phew!
 
excellent job, proud of you
 
@набиячлэвэли So am I!
Also, font-feature-settings is awesome. Now I can choose font variants. Cool.
 
1:37 PM
^ About Kellogs, Breitbart and Castro. I like the article. :)
 
user1804599
1:57 PM
infixr 7 type Tuple as ×
infixr 6 type Either as +
 
user1804599
Killer feature.
 
@Griwes there's plenty of reasons that doesn't hold. 1) the ballots have Trump's name on them, not the name of "some dude who pinky swears he'll vote Trump but who knows".
 
@rightfold Plus sign for Either? That seems weird.
 
user1804599
@wilx You count how many values a type has. For example, Boolean has two values, and Byte has 256. Either Boolean Byte has 258 values.
 
user1804599
Similarly, Tuple Boolean Byte has 512 values.
 
2:06 PM
FYI, for political discussions, there's Agora:

 Agora

General discussion for politics.stackexchange.com
 
So you write in source Boolean+Byte to get the type?
 
user1804599
Yes, Boolean + Byte is a type and it is the same type as Either Boolean Byte.
 
@rightfold Well, it seems way too cryptic for a casual reader of the source.
 
user1804599
infixr n type T as @ creates a right-associative infix alias of precedence n for type T named @.
 
@AaronHall FYI, for general discussions there's The Lounge:

Lounge<C++>

Today we're daydreaming about C++26 reflection
 
2:08 PM
was there drama?
 
Don't think so
 
user1804599
@wilx A + B is just a coproduct in the category of PureScript types, what's the problem?
 
I think our new mod here is trying to be helpful
 
@AlexM. Life is a drama!
<3 Andy
 
@rightfold That's why they're called sum types, right? :)
 
user1804599
Yes.
 
Sum types, I wish I were an angel, sum types, I wish I were you...
 
seriously, tradies are getting paid $100 an hour, a talent only worth $70k a year (convert to $35 an hour)??
tech talent worth less than a carpenter, bravo
sadness ...
 
user1804599
And A × B + A × C is isomorphic to A × (B + C).
 
2:38 PM
although 457 visa holders are better tenants, so no sadness for landlords/landladies ...
 
Ell
@AlexM. nice - which ux305 is it?
or isn't it one of those
 
you're right
the QHD+ option
not FHD
 
Ell
v nice
tell me how it is, I'm interested in getting one :3
 
I didn't get the chance to use it much, and 99% of the time spent was removing bloatware by asus
:(
it even had mcafee of all things
I did not even know mcafee still existed
 
Ell
not a great start then xD
 
2:42 PM
nope but now it's cleaned up so it's cool
it seem to be great I can only compare it to my ancient laptop
it's way snappier because of the ssd
and about 4 times lighter
I can barely hear the fan
which is also very nice
I hope until the next upgrade is needed
that a lot more manufacturers follow Apple's example
and make fanless ultrabooks
the new macbook is fanless
 
@rightfold Is "isomorphic" a hipster word for "equivalent"
 
@Ell one thing that impressed me was the keyboard
when you type it gives you the impression that it's somewhat flimsy and inaccurate
but I never made mistakes with it and was able to type fast
works great
the keys also feel large so coding should be just fine :D
 
user1804599
@набиячлэвэли No, an isomorphism is a specific kind of equivalence relationship.
 
user1804599
Equality is another one.
 
Okay so roughly yes
 
user1804599
2:47 PM
It is important to be utterly precise.
 
user1804599
4 is roughly 5. Doesn't make it useful to talk about them as equivalent in all cases.
 
Not when you're operating a natural language which is not precise ex definitione
 
user1804599
Natural language sucks.
 
user1804599
FP: separating Church and state since 1936.
14
 
Ell
lol
 
3:08 PM
@rightfold Oh, that's a good one :)
 
 
1 hour later…
4:15 PM
@renekai And he hasn't even called or spoken w/State Dept. Wonder if he plans to just get rid of it. 100 bucks says he asked if he could.
 
5:04 PM
So just got back from my trip. Never before have I used my fake registration email so much before.
Pretty much everywhere I went, the "free" wifi required registration with a name an email. But none of them actually try to verify that the email is even real.
 
which is good
 
The fake info that I usually use is:
- First Name: fuck
- Last Name: you
- email: fuck@you.com
Problem is that fuck@you.com is already taken in a lot of places. So I use variants like, fuckyou@fuckyou.com.
At least they're user-friendly with auto-logging you back in. This is what I got when I returned to the airport on my way home:
 
lol speaking of wifi
one of the settings I turned off that were auto-on by windows 10
was about autoconnecting to any wifi ever
also another one was about autoconnecting for some purpose then disconnecting
O_o
like of all the things windows decided to set on by default, nothing stayed on after I went thru
 
@R.MartinhoFernandes Trump has lost that vote.
 
Ell
6:00 PM
Meh
I want to use maybe inside IO and I don't know how to do that
 
user1804599
6:31 PM
@Ell runMaybeT :: MaybeT IO a -> IO a, liftIO :: IO a -> MaybeT IO a.
 
Ell
this is annoying >.<
 
user1804599
Why?
 
Ell
Is this how monads are composed?
you have to create a new monad extending a different monad?
I want to do this
 
user1804599
Depends on what you mean by "use inside".
 
Ell
main : IO a
main = do
  line <- getLine
  n <- parseInteger line
  putStrLn (show n)
but I would be happy checking if n is Nothing I suppose
 
user1804599
6:37 PM
let n = parseInteger line
 
Ell
right
of course
@rightfold and if I want to quit if it isn't in fact an integer, then I need MaybeT or EitherT right?
 
user1804599
Yes, you can use either of those to get early exits.
 
user1804599
Or you can use MonadError and leave the choice of the implementation up to the user.
 
user1804599
For example, IO is an instance of MonadError, throwing exceptions. As is EitherT.
 
user1804599
In Haskell, at least. I don't know if there is an Idris library that offers those.
 
Ell
6:59 PM
I don't know if exceptions can be thrown in IO in idris
I think I have to use Effects instead
 
@Ell yes
 
Has anyone programmed in Forth? On Windows? I kinda wanna try it
 
I did not but I heard it is interesting
go forth with my blessing
 
@Borgleader @rightfold?
@AlexM. :)
 
user1804599
I have never used Forth.
 
user1804599
7:08 PM
@CatPlusPlus has.
 
7:42 PM
0
Q: Box2d and SFML for Codeblocks

wjatekCan anybody help me or upload a project with configured SFML 2.X and Box2D for Code::Blocks? I can't configure it correctly and I have only 3 hours to do my f*ckin SIMPLE project... Thanks for help.

/cc @Mysticial @Borgleader
 
he's angery
 
0
A: Box2d and SFML for Codeblocks

PuppyIt's pronounced "fucking", buddy.

 
@milleniumbug rofl
@milleniumbug rofl-er
 
gotta memorize this before the question dies
 
I starred for posterity
 
7:45 PM
I had to add the "buddy" unfortunately
 
user image
9
best way to memorize
also put in a phrase you'll remember that you can search for later: puppy has a buddy
 
also lol-worthy, but not as much
-1
Q: ArgumentOutOfRange error after List.Clear()

astionAfter first script comlplection , when that block fire if (currentAchive == achiveList.Count) { achiveList.Clear(); currentAchive = 0; noOneInWaitLine = true; ...

I mean, well, duh
 
8:13 PM
@Puppy you could have linked oed
 
@jaggedSpire hi
you alive?
 
@TonyTheLion yep!
You?
 
yes
just checking, cause haven't seen you in discord at all for a few weeks
 
:)
Yeah
 
you got bored with us discorders?
 
8:21 PM
no, things just got a bit...weird leading up to the election
 
@jaggedSpire Youre moving to Canada aren't you? :D
I knew it! :P
 
nah
 
<3.set_state(E_BROKEN);
 
@jaggedSpire y not
Canada is best country
 
8:27 PM
@набиячлэвэли misguided patriotism, laziness, etc.
 
I am a terrible, defective person
9
 
and you also post starb8
 
9:06 PM
@milleniumbug Still there after an hour
 
it's not really a tag frequented by people
add C++ to it
 
@Puppy Welcome to the club. :)
 
9:33 PM
you know, that answer has a surprising number of upvotes
I thought some do-gooder would have eaten it by now
 
9:55 PM
here's a stone wrapped in leather for sale shop.nordstrom.com/s/made-solid-medium-leather-wrapped-stone/…
 
> Maxwell aims to create beautiful designs that embody both simplicity and functionality
beautiful
 
@AlexM. WTF?
 
10:12 PM
@набиячлэвэли Speaking of Canada.
 
@EtiennedeMartel facepalm
 
user1804599
Does it smell like Fidel Castro's farts?
 
user1804599
Justin kissed his ass daily as we all know.
 
^ I understand that this is probably a blog that very few people read. But the fact alone that somebody writes such a post as not satire and has such opinions even about metal is baffling.
 
10:27 PM
Lovecraft was horribly racist, though. Or, said euphemistically, "a man of his times".
 
@EtiennedeMartel OK. I believe that.
 
That being said, this article is hard to read.
 
@EtiennedeMartel I like the font though. :)
 
No but seriously. It goes in all directions and fails to make its point in a legible way.
I mean, I would probably disagree with the author if I knew what the fuck he was rambling about.
 
@EtiennedeMartel That metal music text should abandon mentioning Lovecraft and his works because Lovecraft was a racist.
 
10:31 PM
@EtiennedeMartel Why would anyone want that!??!
 
@wilx "Lovercraft" ;)
 
@EtiennedeMartel Fixed. :)
 
@EtiennedeMartel omg
 
It's dumb, though. Nobody reads Lovecraft and thinks "man, this guy's ideas on race is spot on! I need to go and spread this ideology!"
 
@rightfold No. How do you know?
 
10:33 PM
People read Lovecraft because the idea of a dark, cold and unforgiving universe filled with scary things we can't understand is a compelling one.
 
I have issues when a racist author uses their work as a platform to spread racist things. I don't care if they keep their shitty opinions and their work separate. And for Lovecraft, well, his work is old. It was a different time back then. And I don't think it's meant to be an example.
 
@rightfold I don't see the part about farts. And daily
 
user1804599
Analogy (from Greek ἀναλογία, analogia, "proportion") is a cognitive process of transferring information or meaning from a particular subject (the analogue or source) to another (the target), or a linguistic expression corresponding to such a process. In a narrower sense, analogy is an inference or an argument from one particular to another particular, as opposed to deduction, induction, and abduction, where at least one of the premises or the conclusion is general. The word analogy can also refer to the relation between the source and the target themselves, which is often, though not necessarily...
 
user1804599
And you should drink less vinegar.
 
10:36 PM
Justin Trudeau's father was a close friend of Fidel Castro, though. Probably had an impact.
 
@Mysticial my son saw me logging in on a site earlier today. He's immediately knew what happened and why. Leading by example
Those service emails are invariably funny to receive. "Hallo, flapdrol" just about nails their level of intimacy
@rightfold You should stop with the stupid hyperbole.
 
10:49 PM
@wilx Wait, my girlfriend, who is quite an expert in all things metal, is assuring me that this is definitely satire.
ISSUE CLOSED
 
@EtiennedeMartel I am not so sure...
 
00:00 - 23:0023:00 - 00:00

« first day (2240 days earlier)      last day (2698 days later) »