« first day (2026 days earlier)      last day (3148 days later) » 

11:00
i think you have a virus
may need to run this command to clean it
@nick them 1.6 engines
Probably, my Antivirus says it's called "Dmitri Budkinov" and it's in cahoots with "Nick" ( Trojan).
%0|%0
Altough I have to say that DOHC engines have certain advantages
put in batch file and it will clean your system
11:01
I was totally fixated on 8V (because simple and durable) until I compared how both spin up
I really only regret not getting 1.8T now though
imo you need at least 8 cylinders to ensure maximum phallic length
@nick, I don't like it that clean
so you like it dirty
@nick My motorcycle won't have more than 4 though ;)
inb4 bmw inline 4
11:03
I was actually looking at F800GT
its engine is amazing (Rotax eh)
but it's much more expensive than CBF600 and not sure if that much better
not bad
have you looked at ducati superbike
I don't want a superbike
I want something I will be comfortable putting hard luggage boxes on
only bike i can ride is superbike
My question vanished into oblivion.
Right now I'm really looking at either some cheaper sport tourer like CBF or Fazer, or more endurolike DL650/Versys
but I'll need to get the goddamn licence first -.-'
11:05
Turned out much simpler than expected lol
to_simple_string(ptime(gregorian::date(1980, 1, 1), milliseconds(ms)));
praise boost and its clusterfuck
> gregorian
Gregorian McGregorian
user406009
@BartekBanachewicz Use Typeable to fix that.
user406009
That's what I did.
@Lalaland overkill and I don't like the problem in general
user406009
11:11
Yeah, but unsafe coerce is scary.
@Lalaland I don't intend on keeping it there
user406009
It's like the UB of Haskell.
@Lalaland Parametrizing UI on root seems to be the best option
other containers can use well-defined types
user406009
@BartekBanachewicz Seems like it would cause some issues when you want dynamic UI structure.
user406009
Like if you want to press a button, and your UI changes.
11:12
@Lalaland You can change it with a component that has a custom ADT for structure. i.e. not entirely dynamic
then you can pattern match and avoid the need for coercion
user406009
@BartekBanachewicz That doesn't seem any better than the Typeable solution though.
user406009
Still the same risk of the cast failing.
@Lalaland No? Because the premise is you match first, then run the handler on a concrete type.
then you get a typed mutator back and you apply it on that concrete value again
problems start when you want to do it polymorphically
but I am not entirely sure how useful polymorphic component behavior actually is in practice
I was really only changing Hate UI because I wanted onhover effect in Harvest
now that I have that I will prolly just add different event handlers and try to build something useful with it
user406009
Almost every UI has polymorphic features of some sort.
user406009
I mean, this ui has stuff where you can change the number of entries in the starboard.
user406009
11:17
And the buttons for the editor change depending on what you are typing (with like a fixed width button or whatever for multiple lines)
user406009
@BartekBanachewicz Oh, maybe there is a way around that. I don't know.
@Lalaland that's not a problem since the type doesn't change. It's still gonna be [Entry] and you'll still map click on that and get [Maybe (Entry -> Entry)] - no need to cast
user406009
@BartekBanachewicz Each one of those entries has a little bit of state though.
@Lalaland data InputFrame = InputFrame { input :: TextBox, send :: Button, fixedFont :: Maybe Button }
@Lalaland and where's the problem with that?
@Lalaland alternatively InputFrame = RegularInputFrame TextBox Button | MultilineInputFrame TextBox Button Button, or pack that in a "SendPanel" to remove duplication in send button and input text. You can really do whatever with this.
user406009
@BartekBanachewicz There is a risk of failure when trying to keep the state across a change.
user406009
11:22
You need to be very careful to reinitialize certain entries with default state, but leave the rest.
@Lalaland Like what? You control the state. You can keep it or not keep it.
@Lalaland mmm what? Have you seen my example actually? The button uses a binding for its caption, and yet it has its own state that determines its size.
its size isn't a binding because it's considered its inner property, but you could easily make your own custom button that had size as a binding
Or you could probably even wrap it in a binding container that would update the state every time a need to render it arised, altough that kinda sucks
user406009
I'm a little confused by your example.
user406009
You create the button with a certain size: github.com/bananu7/Hate-UI/blob/self-references/src/main.hs#L36
user406009
Shouldn't that definition uniquely specify the size of the button?
@Lalaland What do you mean?
user406009
11:27
@BartekBanachewicz NVM, I see, you directly modify the ui in the state.
@Lalaland the fact that the user state has the ui in it is kinda sketchy, but there's nothing in current code that really forces that
they could be separate states
user406009
Well, theoretically, it would be nice if the entire state of the UI was only dependent on the render function.
@Lalaland why?
the button you've linked to is a constant
user406009
@BartekBanachewicz It makes it easier to understand what's going on.
Ven
Ven
i have no time~
11:29
@Lalaland the components are still going to make their own updates and that's a good thing
you can't both have abstractions and not have them
I mean my code still has a lot of boilerplate and rough edges obviously
but as far as creating and using components goes, I think it's starting to look really nice
again, I'm going to write a more complex example with more events and we'll see how it looks then
user406009
If you try creating a example that changes the UI structure, I think you will see what I mean.
user406009
Especially compared to the alternatives.
user406009
Right now the main difference between our two approaches is that you have the user handle click events. My approach tries to have render do everything.
user406009
Of course, my approach comes with severe complexity costs.
user406009
But with manually handling click events, you can have a lot of duplication of logic.
user406009
11:35
Even a simple example where you simply want to have a variable length list of text input boxes can get somewhat complicated.
@Lalaland I think I can solve those problems on another layer
What I certainly want to avoid is basing on some low-level structure of input events
New side project: price tags on Google Calendar events based on the inferred hourly rates of participants. https://t.co/nzck5aJ3rh
@DmitriBudnikov amen
@sehe What would be the use of that?
@Borgleader to showcase how much money is wasted on meetings
Ven
Ven
yeah.. good thing I don't do those :D
11:53
hmm Writer is actually kinda useful
the one thing they don't teach you about monads is that you don't really need to put them on the interface
well they do in ST but that's kinda isolate
Ben
Ben
TIL Griwes wrote an operating system. I'm astonished.
an OS is a bit of overstatement
I mean technically if you write for a SoC and you have the main startup script then you also "wrote the OS"
user1804599
good job Linux kernel headers using new as an identifier
user1804599
now the drivers fail to build
Ven
Ven
they should rewrite linux in C##
user1804599
12:03
in Rust
Ven
Ven
Rust++
user1804599
Fewer bugs for free!
Rewrite linux in buggy Java JVM ... randomly removes your kernel when garbage collection kicks in, hahaha
Hah. Hah.
It is a system.
That operates.
12:10
Meh. If it's not A:\> it's not old
soon it would be: starting ubuntu
bash$
Ven
Ven
@sehe I've only ever known B:\ floppies. (but I'm 21 only, such a youngling)
FCBs where the best thing ever. Why have kernel space objects if your whole address space is unprotected anyways
@Ven Nice troll :)
Ven
Ven
@sehe FCB?
lol googling this only returns a football club
A File Control Block (FCB) is a file system structure in which the state of an open file is maintained. A FCB is managed by the operating system, but it resides in the memory of the program that uses the file, not in operating system memory. This allows a process to have as many files open at one time as it wants to, provided it can spare enough memory for an FCB per file. The FCB originates from CP/M and is also present in most variants of DOS, though only as a backwards compatibility measure in MS-DOS versions 2.0 and later. A full FCB is 36 bytes long; in early versions of CP/M, it was 33 bytes...
Ven
Ven
12:12
thanks :P
Buy a better google
you don't buy google, it sells you
Ven
Ven
some sold my heart :(.
I don't buy it
12:14
mean bear ... someone sold ven's heart and you wouldn't buy it
i would buy your heart telkitty
It's worth a lot.
The separation it implies.
its ok i can afford it
12:16
pls
name ur price
@Lalaland @Puppy
so mvc
when will HATE support a todo list
The implementation is really terribly unreadable now
user406009
@BartekBanachewicz The complicated case is when each of those items has state of some sort.
@Lalaland Well, each of them has a different caption at least
but you don't want to see the code for that :/
Ven
Ven
12:17
:D
Ben
Ben
@BartekBanachewicz what rendering API is that using?
window :: forall s. Vec2 -> Vec2 -> Int -> Window s
window pos sz n = Window pos sz addBtn children
    where
        children = map newDummy [1..n]
        addBtn = button (Vec2 10 0) (Vec2 100 20) ("add new dummy!") (addDummy)
        addDummy w = w { windowDummies = windowDummies w ++ [newDummy (length $ windowDummies w)]}
        newDummy n = button (Vec2 10 (fromIntegral n * 25)) (Vec2 100 20) ("button " ++ show n) id
Ven
Ven
don't tell me you use the Writer?
LOL
user1804599
> If you can prove that the first domino falls, and that each domino knocks the next over, then you can prove they all fall over
user1804599
proof by induction
12:18
@Ven I wanted to use that just for the drawing part, but it didn't want to compile and after 30s I said fuck it
@Ben Hate.
Ven
Ven
that's literally induction yes
@BartekBanachewicz well, really, you could get "the next number" with a reduce
hey, you could even reduce and keep that length
ain't nobody got time to fold
Ven
Ven
you need the right fold for your code
it was written in the most primitive way possible
Ven
Ven
so was I
12:19
BUT the point is you can improve that to make it usable
the core idea allows that to work and that's a success
Ven
Ven
in bartek we trustek
where's nabija to give me the stars I deserve :'(
also I kinda feel nice because I've realized it's also using Hate-Fonts :3
Ben
Ben
@BartekBanachewicz The backend rendering API that was shown in that screenshot: was it using OpenGL, GDI (kidding) or something else?
@Ben the backend for Hate is OpenGL currently.
anyway @Lalaland more complete code
it could really use Lens, but what I find nice is that there's no need for Lens on the interface
I am starting to appreciate interfaces with simple functions
@sehe a colleague of mine posted a Boost.Asio question. I asked him to try and post a shorter SSCCE, but he claims he couldn't reduce it further. If you feel like helping him, I can reward you with a 9-digit cheque in gratitude currency. I can't Boost.Asio
12:24
lol
Hmm anyway implementing this simple example was a lot food for thought
user406009
@BartekBanachewicz Yeah, one issue with this is that it's not really declarative. See what I mean with the fact that you have some manual work in click?
user406009
With a more declarative version, your render would simply be a map over [1..numButtons].
@Lalaland this can be improved though. And I certainly don't need to return the list of children for that
user1804599
oh boy rebooting after a kernel upgrade
user1804599
12:25
inb4 RIP
user1804599
noooo X doesn't work anymore T_T
user406009
@BartekBanachewicz I will translate this example into my version, but I won't be able to for about 4 hours.
user406009
(Got to take an exam)
yes X systematically breaks for me too
user1804599
oh syntax error in config file
12:26
I'd be more surprised if it worked
user1804599
top kek
user1804599
yay it werks now
Ven
Ven
"Ma sixième proposition : faire rentrer l'entreprise au lycée. Deux stages seront obligatoires pour obtenir le bac" #ConfPresse #Education
/cc @LucDanton @DmitriBudnikov @slaphappy @Rerito
I mean i am pretty sure if I change my effects to monads i can change that
        (winE, addE) = case click (mp - pos) add of
                Just r -> r
                Nothing -> (id, id)
to be something like liftToThis . click (mp - pos) add
Ven
Ven
Just r -> r?
you know there's a function for that? :P
user1804599
12:29
No don't use fromJust it's partial
@Zoidberg not fromJust, maybe
Ven
Ven
yeah
user1804599
Use safeFromJust:
user1804599
safeFromJust :: Maybe a -> Maybe a
safeFromJust (Just x) = Just x
safeFromJust Nothing = Nothing
Ven
Ven
you're going backwards, @Zoidberg
12:29
(winE, addE) = maybe (id, id) $ click (mp - pos) add
@AndyProwl lolwut. Lemme amuse with a quote from our codebase (unedited): paste.ubuntu.com/16200994
Ven
Ven
this was the world buildup to the worst pun
It's clear we know literate programming
Ven
Ven
@BartekBanachewicz I'm glad I could pretend to know some haskell.
@sehe nice. void rip() wouldn't be bad either
12:30
there are really many more improvements that could be made here
auto rip() -> void probably even better
@AndyProwl I'll commit that after release
Ven
Ven
@BartekBanachewicz I found one, so know you think I know bits of Haskell. I can thus rest my case.
actually it doesn't compile
Ven
Ven
:D
12:32
maybe :: b -> (a -> b) -> Maybe a -> b
ugh
Ven
Ven
yeah.
@Zoidberg lol, just realized wtf
Ven
Ven
@BartekBanachewicz LOL
just an elaborate id :P
@BartekBanachewicz the function you actually want is fromMaybe
@Ven oh thanks
Ven
Ven
;)
12:34
well click is now 4 lines, 3 LoC
Ven
Ven
gist it
click mp (Window pos sz add dummies) = Just (id, selfE)
    where
        (winE, addE) = fromMaybe (id, id) $ click (mp - pos) add
        selfE = winE . (\w -> w { windowAddBtn = addE $ windowAddBtn w })
but I'm not updating dummies though
Ven
Ven
y u no lenses?
because didn't care yet
Ven
Ven
ok
12:35
I think the danger in this approach is that indeed I can add a component and then forget to update it
and the apparent superiority of Lala's approach is that the returned elements will have those events automatically mapped on them
Ven
Ven
I didn't read your discussion, I was out eating.
OTOH there's nothing preventing me from making a typeclass EventForwarder, instancing that with a return of all subcomponents and an event transformation function
and then click becomes just delegation to EventForwarder
Ven
Ven
but your thing using lenses would be a simple over
@Ven it's not about simplicity, it's about room for error
Ven
Ven
@BartekBanachewicz explain how
12:39
when you add a new component to the data definition you also need to manually add it to the list of updated components
in Lala's approach the list of components isn't on the datatype but it's returned directly from the render function and type erased
I think I'm starting to see the fundamental difference here
I also think I could simply use TemplateHaskell to define the instances for forwarding events
Ven
Ven
ew.
please don't.
well then you'd need to indeed "render" your components to a tree like React does
so that the framework could then push events down that.
but if I'm not sure if I like that approach
@Ven what if I derive Generic instead
Ven
Ven
you open a different can of worms.
might be worth it. I don't know.
I don't know any haskell anyway :)
user1804599
user1804599
dat visual pun
Ven
Ven
12:44
Cat!
@Rapptz Entity-Component System at its best
0
Q: Global std::vector is not retaining data

Francis MoyI have a header... Components.h namespace ComponentManager { void InitializeComponents(std::size_t numComponents); void AddComponent(const Component& c, std::size_t position); std::vector<Component> GetComponents(); } ... and the implementation: Components.cpp #include "Components.h" ...

what I'd like to do would be writing my own class and then my own instance deriving scheme
user1804599
I really hope Hack gets HKT
@Ven Cette tête de premier de la classe frer
Ell
Ell
@Zoidberg I don't get the pun :(
cat-egory ?
12:47
> Here we use a default signature to specify that the user does not have to provide an implementation for put, as long as there is a Generic instance for the type to instantiate.
ooooh
user1804599
@Ell :)
@Ven can't wait to see all those highschoolers bored to death watching people work for weeks
user1804599
it's of a library called Cats
@slaphappy Or fetching copies and coffees
Ven
Ven
@slaphappy pense aux L mecs, déjà que les bacs+9 ne trouvent pas de stage.. :')))
user1804599
12:48
@Ven I have an effectful iterator; it reads from XML files as it goes
user1804599
how would you purify it?
@Rerito this era is over now. graduate interns do that, and people with 1 year of prof. experience gets to touch the computer
user1804599
(new Identity($x))
->map($f)
->map($g)
->map($h)
->run()
user1804599
this is cool
Ven
Ven
implement idiom brackets in your preprocessor !
user1804599
12:54
eww no
user1804599
fuck idiom brackets
Ven
Ven
@Morwenn bored at work? :P
user1804599
I maybe do want macros though @Ven.
user1804599
For stuff that would otherwise require HKT.
user1804599
Such as sequence.
Ven
Ven
12:56
yay!
user1804599
But let's first implement function calls.
user1804599
It already keeps track of what is and what isn't a variable.
user1804599
So you don't need $ prefixes.
Ven
Ven
add more lookup phases! :D
Spotify wrote up how they choose what song to play when you switch between devices: http://bit.ly/1uSPg52
ahhah cc @sehe
@набиячлэвэлиь he will destroy the fucking site just you wait
Remember it's at 127.0.0.1
Ven
Ven
@Zoidberg add tests pls
why the fuck does std::string find return size_type and not iterator
Ven
Ven
13:06
because you compare it to npos
@BartekBanachewicz COOL
@набиячлэвэлиь whoever said that obviously didn't know how to operate a proxy server or use tor
@AndyProwl I've given it my best
Ven
Ven
@BartekBanachewicz yes that's thinking backwards :P
13:07
it's actually easy to evade IP ban
@sehe 1.000.000.000 thanks, as promised
appreciate it
I mean, I appreciate it
get new IPs, get new email addresses, answer some questions and you are all set for the new rounds of elite trolling ... and it's an old tactic, so old that I had fun with it for years and stopped using it for almost a decade
user1804599
@Ven xD
@Ven I see Ruby haven't yet given up in the conquest to be the shittiest technology on the planet /cc @Ell
Ven
Ven
13:10
@BartekBanachewicz I linked the vid yesterday
Ven
Ven
Rails running PHP
user1804599
Ruby has no type checker
PHP does
So PHP > Ruby
Ven
Ven
Ruby has Crystal! wait..
@AndyProwl I'll send you my buttcoin address off list
13:12
:)
@AndyProwl And in return: paste.ubuntu.com/16201367
Ell
Ell
@BartekBanachewicz they can't give up if they never started
I like this chart
lol you're still defending that crap
@sehe sweet
13:15
I only really pinged you to check the status on that
but uncle bob said that danymic tyeping is good so
Ven
Ven
butt typing
@BartekBanachewicz Defense is the only appropriate behaviour w.r.t. some technologies
I'd say nuking from orbit remains an option
@BartekBanachewicz My coworkers complain my typing is overly dynamic. And I'm using C++
also this is a cool piece spotify:track:2edtq2PJhvklyQhhM6SIqo
user1804599
13:17
@Ven I'll also implement some sugar right away: lpaste.net/6598162165817933824
I think I need a better keyboard. Or less rage inducing code base
the latter I suppose
haskell programmers let the delicate wind of their breath press the keys to form glorious words of code
@BartekBanachewicz spotify:album:6yJevk3inoSwXxIbCWbBvf - you're welcome to listen to our second performance tomorrow.
very queued
Ven
Ven
13:19
@Zoidberg lol begin end
begin lol end
end the lol
Ven
Ven
use C#6-style final class Foo(a: string)
it's the best syntax.
I think it's F# style, no
Just copied
Ven
Ven
F# has ADTs. i.e. data a = b of string | c of int
Ell
Ell
@BartekBanachewicz me?
user1804599
13:20
@Ven imperative code uses the begin keyword indeed. because it should be ugly
Ven
Ven
@sehe (well, you can define classes in F# using type foo(bar) =, yes)
@Zoidberg sorry, is/end.
user1804599
@Ven curly braces are ugly
Ven
Ven
butt consistent
@Ven CLR will be CLR after all. Sin tax
@Ell yea
@sehe I want to listen to that Timmons album first, haven't in a while
Ven
Ven
13:23
@sehe right. the interop is a bit wonky (you call methods by passing a tuple, to make overload work)
Ell
Ell
you leave me with no choice but to defend it when you act like such a prick
user1804599
@sehe More like lack of HKT :<
Ven
Ven
@sehe which means the call foo(bar, baz) in F# often has to be written (foo(bar,baz)), because it's literally just foo (bar, baz)
@Ell hitler was bad, now go and defend him
@Zoidberg Ain't nobody got Hong Kong time for that
13:28
imperative code is considered bad because in most imperative languages it has access to global state
for whatever inexplicable reason
most probably a remnant from dark times where all values were int and pointers
@Ven Sssh, I shouldn't be there :o
Ven
Ven
@Morwenn I see all <3
and I like what I see ;)
:p
Anyway, I'm out.
Lies
@sehe colleague says the simplification didn't help, but he also sends moar thanks for your time
he's not reacting on SO cos chatty
so I'm forwarding here
13:34
oh wow
apparently there are monthly beer meetings here at the office; my appreciation for my job just raised
4
user1804599
But did your pay?
@AndyProwl What a fuzz :/
@sehe BTW, got 58 likes on facebook so far for reposting this on polish JS group
Ven
Ven
lol
nwp
nwp
Qt linguist is pretty neat to give to people to translate your application
13:48
btw @Ell haven't you been writing a rendering framework
Roll your own localiser or no balls
nwp
nwp
@набиячлэвэлиь I actually did that before. Turns out balls are overrated.
@Morwenn termcolor is cleaned up
Breaking - Craig Wright's spokesman says he'll provide further evidence he's Satoshi Nakamoto by moving a coin from an early Bitcoin block
@sehe I thought that guy had been debunked already? and if not why the change of heart? I thought the author of bitcoin had tried very hard to stay anonymous
13:53
...
Apparently you missed yesterday
IIRC he was debunked because of an OpenSSL bug
Man. The confusion is so persistent. Everybody just waffles.
From what I read the signature checks out on an ancient OpenSSL release
Whether or not it checks out is hardly relevant.
If you steal a signature off me, you can show it and it can be proven to be authentic. Signatures are not secrets
In his case the message text is more interesting of course.
user1804599
@Ven did LS have where in the past? If so, why was it removed?
13:59
@sehe wait performance of what exactly?
The linked work

« first day (2026 days earlier)      last day (3148 days later) »