←2017-02-24 2017-02-25 2017-02-26→ ↑2017 ↑all
00:01:40 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
00:22:58 -!- hppavilion2 has joined.
00:25:12 -!- boily has joined.
00:25:20 <boily> @metar KORD
00:25:21 <lambdabot> KORD 250005Z 29006KT 3SM -DZ BR OVC006 04/03 A2953 RMK AO2 DZB04 P0000 T00390028
00:25:58 -!- hppavilion1 has quit (Ping timeout: 240 seconds).
00:26:40 <fizzie> @metar EGLL
00:26:41 <lambdabot> EGLL 250020Z AUTO 20006KT 9999 NCD 05/01 Q1018 NOSIG
00:27:05 -!- FreeFull has quit (Ping timeout: 260 seconds).
00:29:51 <boily> trade shows are exhausting...
00:30:33 <zzo38> How can I make a good hex grid? (I mean the lines that form the edge of each cell)
00:53:19 <oerjan> zzo38: https://en.wikipedia.org/wiki/Hexagon#Parameters
00:54:23 -!- boily has quit (Quit: PARSING CHICKEN).
01:00:44 <shachaf> zzo38: One good way is to make each hexagon have four sides.
01:01:27 <oerjan> hm, that's not even a joke is it
01:02:01 <shachaf> not much of one
01:02:09 <shachaf> I'm not sure why I said it.
01:02:18 <shachaf> And also not sure why I capitalized and punctuated it.
01:02:40 <oerjan> oh. i actually thought you weren't joking.
01:03:08 <shachaf> Oh, were you thinking of hexagon-square tiling?
01:03:09 <oerjan> no, you should actually have _three_ sides.
01:03:37 <shachaf> Wait, there's no such thing.
01:03:39 -!- gk_-1wm_- has joined.
01:03:39 -!- gk_-1wm_- has left.
01:03:45 <oerjan> no, i was thinking that each side is shared between several hexagons (ok, two), so you could assign it to one of them.
01:05:24 <oerjan> although i'm not sure how much this helps. you probably want to find the larger rectangular grid that all of them sit on
01:05:41 <shachaf> Maybe you can tile them on a sphere.
01:06:32 <oerjan> looking at https://en.wikipedia.org/wiki/Hexagonal_tiling, there are 7 edges in each such rectangular block
01:07:57 <oerjan> width 3R, height 2r
01:08:28 <oerjan> r = sqrt(3)/2 * R, from the other page
01:08:39 <rdococ> Nuts.
01:09:31 <shachaf> @time int-e
01:09:32 <lambdabot> Local time for int-e is Sat Feb 25 02:09:31 2017
01:10:07 <oerjan> oh wait no, 6 edges, 1 of them is shared.
01:31:51 <oerjan> width/height = 3R/2r = sqrt(3), in fact.
01:32:01 <oerjan> (of rectangular grid.)
01:32:17 <shachaf> `5
01:32:19 <HackEgo> 1/3:496) <oerjan> theorem prover yada yada halting problem. \ 747) <Phantom_Hoover> i once had a dream when i was told to look after some kittens but they were made of chocolate and i ate them :( \ 70) <ais523> let's put that in the HackEgo quotes files, just to completely mystify anyone who looks back along them in the future \ 366) <Sge
01:32:24 <Sgeo> shachaf, I think when Prismata gets the campaign I'll try playing again
01:32:38 <Phantom_Hoover> that was an awful dream
01:32:46 <shachaf> You should port it to your favorite programming language.
01:32:47 <Phantom_Hoover> i felt so guilty
01:32:49 <shachaf> Rename it Prismada.
01:32:53 <oerjan> @let cf x = f : cf r where f = floor x; r = 1/(x - fromIntegral f)
01:32:55 <shachaf> `n
01:32:55 <lambdabot> Defined.
01:32:56 <HackEgo> 2/3:o> Will anyone be irritated if I tend to disconnect and reconnect a lot? [...] <oerjan> we _almost_ have an established policy that bots will be banned it they do that. which means we might have to administer a turing test to sgeo, and that could get ugly. \ 1053) <Taneb> I would like to learn how to use a sword <Taneb> And also how
01:32:58 <shachaf> `n
01:32:59 <HackEgo> 3/3: to ride a unicycle <Taneb> Perhaps not at the same time
01:33:02 <oerjan> > cf $ sqrt 3
01:33:06 <lambdabot> [1,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,1,1,13,13,12,1,1,17...
01:33:10 <shachaf> Phantom_Hoover: That sounds like a pretty bad dream.
01:33:49 <oerjan> @let unCf [x] = x; unCf (x:r) = x + 1/unCf r
01:33:51 <lambdabot> Defined.
01:34:00 <int-e> what is the criterion for a hex grid to be called good
01:34:06 <Phantom_Hoover> otoh they were delicious
01:34:28 <Phantom_Hoover> > unCf . cf $ sqrt 3
01:34:31 <lambdabot> error:
01:34:31 <lambdabot> • Ambiguous type variable ‘a0’ arising from a use of ‘show_M281093763716...
01:34:31 <lambdabot> prevents the constraint ‘(Show a0)’ from being solved.
01:34:37 <Phantom_Hoover> top minds
01:34:39 <oerjan> > map unCf (tail . inits $ cf $ sqrt (3)) :: [Rational]
01:34:42 <lambdabot> error:
01:34:42 <lambdabot> • No instance for (Integral Rational) arising from a use of ‘cf’
01:34:42 <lambdabot> • In the second argument of ‘($)’, namely ‘cf $ sqrt (3)’
01:34:43 <int-e> > tan (pi/6)
01:34:45 <oerjan> darn
01:34:47 <lambdabot> 0.5773502691896257
01:34:56 <oerjan> @undef
01:34:56 <lambdabot> Undefined.
01:34:59 <rdococ> ‮oerjan
01:35:00 <oerjan> @let cf x = f : cf r where f = floor x; r = 1/(x - fromIntegral f)
01:35:03 <lambdabot> Defined.
01:35:14 <rdococ> lambdabot, you're undefined.
01:35:15 <oerjan> @let unCf [x] = x; unCf (x:r) = fromIntegral x + 1/unCf r
01:35:17 <lambdabot> Defined.
01:35:17 <oerjan> oops
01:35:20 <oerjan> @undef
01:35:20 <lambdabot> Undefined.
01:35:23 <oerjan> @let cf x = f : cf r where f = floor x; r = 1/(x - fromIntegral f)
01:35:26 <lambdabot> Defined.
01:35:33 <oerjan> @let unCf [x] = fromIntegral x; unCf (x:r) = fromIntegral x + 1/unCf r
01:35:35 <lambdabot> Defined.
01:35:41 <oerjan> > map unCf (tail . inits $ cf $ sqrt (3)) :: [Rational]
01:35:44 <lambdabot> [1 % 1,2 % 1,5 % 3,7 % 4,19 % 11,26 % 15,71 % 41,97 % 56,265 % 153,362 % 209...
01:36:35 <oerjan> those would be good approximate ratios to cheat with
01:36:57 <int-e> (tan(pi/6) = 1/sqrt(3) is close enough to 1/2 that people have gotten away with things like http://sprunge.us/bdIU)
01:37:23 <oerjan> int-e: well, that _is_ the second approximation :P
01:37:50 <int-e> > 1/sqrt 3 * 200/240 -- even better in 320x200 mode
01:37:51 <rdococ> :O
01:37:53 <lambdabot> 0.4811252243246882
01:38:26 <rdococ> :0
01:38:29 <rdococ> ‮int-e
01:38:31 <int-e> (if you turn what I did by 90 degrees)
01:38:42 <int-e> `unidecode ‮
01:38:43 <HackEgo> ​[U+202E RIGHT-TO-LEFT OVERRIDE]
01:39:13 <rdococ> ‮!yeh
01:39:43 <shachaf> @where pi_10
01:39:44 <lambdabot> (!!3)<$>transpose[show$foldr(\k a->2*10^2^n+a*k`div`(2*k+1))0[1..2^n]|n<-[0..]]
01:39:48 <shachaf> @@ @run @where pi_10
01:39:51 <lambdabot> "314159265358979323846264338327950288419716939937510582097494459230781640628...
01:39:52 <int-e> rdococ: so happy that screen+xterm ignore that one, it sounds annoying.
01:40:04 <shachaf> @where e_10
01:40:04 <lambdabot> [show(sum$scanl div(100^n)[1..[4..]!!n])!!n|n<-[0..]]
01:40:20 <shachaf> I like the [1..[4..]!!n] in e_10
01:40:38 <rdococ> heh
01:40:40 <rdococ> ehe
01:40:42 <rdococ> ‫hello
01:40:54 <rdococ> ‏hooooooole‎eheheheh
01:41:04 <rdococ> zero width joiners‍z
01:41:08 <rdococ> wait what
01:46:12 <oerjan> HackEgo already makes zero width things
01:46:16 <oerjan> also, you're spammy.
01:46:53 <oerjan> maybe i'd appreciate it more if it didn't like normal text to me.
01:46:54 <zzo38> What I thought is to make a array of one hexagon and then tile that in the way which is offset on odd rows.
01:47:29 <oerjan> zzo38: yeah, that's almost equivalent to what i'm saying.
01:48:04 <oerjan> one hexagon can fit entirely within a rectangular grid block, then another is offset.
01:50:00 <oerjan> by... (3/2*R, r), i think.
01:50:28 <oerjan> which is just half the width and height of the rectangle.
01:51:46 <oerjan> so you could alternatively draw a rectangle with the parts of hexagons that are inside it.
01:52:10 <oerjan> and then tile that normally.
01:53:06 -!- hppavilion2 has changed nick to hppavilion1.
01:53:08 -!- hppavilion1 has changed nick to hppavilion[1].
01:53:26 <oerjan> *didn't look like
01:54:25 -!- ais523 has joined.
01:55:10 -!- moony has quit (Remote host closed the connection).
02:00:21 -!- Jafet has quit (Ping timeout: 268 seconds).
02:00:53 <int-e> http://int-e.eu/~bf3/tmp/tile.html (only half kidding)
02:01:45 <int-e> (because it's just an affine transformation away to the real thing)
02:03:17 <shachaf> Why affine and not linear?
02:03:25 <shachaf> I guess that picture is affine.
02:06:07 <int-e> affine because in computer graphics you usually have a translation component anyway
02:06:36 <zzo38> The minesweeper game I made it represents all grids in the same way, as two 2D arrays, which is one to map each pixel to a 2D cell coordinate and icon coordinate, and another one to store the contents of the grid (such as which ones are bombs); a fragment program then reads both of these arrays as textures, as well as a third texture containing the icons.
02:06:56 <zzo38> The mouse click function then also reads the first array to determine which cell you clicked on.
02:11:27 -!- kiki` has joined.
02:13:52 -!- Jafet has joined.
02:16:43 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
02:26:51 -!- gk_-1wm has joined.
02:26:51 -!- gk_-1wm has left.
02:31:47 <int-e> meh, CSS is still difficult. but http://int-e.eu/~bf3/tmp/tile.html now actually also displays a transformed version of the image.
02:50:44 -!- DHeadshot has joined.
02:57:42 -!- DHeadshot has quit (Ping timeout: 268 seconds).
03:00:28 -!- hppavilion[1] has quit (Ping timeout: 240 seconds).
03:26:03 -!- Jafet has quit (Ping timeout: 240 seconds).
03:32:33 <\oren\> https://snag.gy/e8rPXW.jpg
03:40:57 <\oren\> <marquee>I LOVE YOU Streaming-chan</marquee>
03:47:49 <\oren\> https://snag.gy/5Pv8bl.jpg
03:49:30 -!- ais523 has quit (Ping timeout: 268 seconds).
04:03:15 <zzo38> Do you like either of these kind of Magic: the Gathering: Enchant permanent ;; Flash ;; Enchanted permanent has cumulative upkeep {0}. other one is Put X +1/+1 counters on target creature, where X is the number of other cards on the stack.
04:08:02 <\oren\> I added a marqeee to my homepagre
04:11:05 -!- hppavilion[1] has joined.
04:17:53 <\oren\> hppavilion[1]: what is your opinion on <marquee>?
04:18:13 <hppavilion[1]> \oren\: Is that one of the nonstandard Netscape tags?
04:18:15 <hppavilion[1]> Like <BLINK>
04:18:17 <\oren\> yeah
04:18:19 <hppavilion[1]> @massages-lud
04:18:19 <lambdabot> mroman said 19d 14h 54m 3s ago: "Packt sie an der Muschi"
04:18:29 <hppavilion[1]> @tell mroman tyvm
04:18:30 <lambdabot> Consider it noted.
04:18:34 <\oren\> @mossauges-loud
04:18:34 <lambdabot> oerjan said 1d 2h 49m 47s ago: <\oren\> cytheraforming? <-- cythereaforming, i think.
04:18:47 <hppavilion[1]> \oren\: I'm not a fan of nonstandard tags, but...
04:18:59 <hppavilion[1]> OK, <marquee> was for custom mouse cursors, right?
04:19:05 <\oren\> no
04:19:07 <hppavilion[1]> (mice cursor? meese?)
04:19:13 <\oren\> http://www.orenwatson.be/
04:19:27 <\oren\> see the bar where the text scrolls to the left
04:19:37 <oerjan> markmus
04:20:56 <hppavilion[1]> \oren\: I see it
04:21:11 <\oren\> that's a <marquee>
04:21:18 <hppavilion[1]> \oren\: Ah
04:21:23 <oerjan> (also, en:cursor = no:markør)
04:22:05 <hppavilion[1]> \oren\: Well, it can be implemented with absurd JS I know, but I feel like this might be one of those weird things that can be done with CSS for no discernible reason
04:22:54 * oerjan finds google hits for "mossauges", but is somehow still not enlightened
04:23:18 <\oren\> http://examples.quackit.com/css/codes/marquees/
04:23:18 <hppavilion[1]> \oren\: Honestly, my opinion boils down to "HTML is a bad idea and XML should never have been used", because <marquee> makes it clear what you're reading, but I don't think it should be primitive
04:23:40 <hppavilion[1]> I think that a good web language should have included the ability to define custom tags in the first place
04:24:49 <pikhq> Probably the #1 thing that upsets me is that HTML was always SGML-like, but only in theory actually SGML ever.
04:25:09 <hppavilion[1]> pikhq: I know, right‽
04:25:15 * hppavilion[1] doesn't know and just wanted to fit in
04:25:39 <pikhq> hppavilion[1]: So, for *ages* HTML syntax was formally defined as SGML with a particular DTD.
04:25:40 <zzo38> I think they put all sorts of junk into HTML and the related stuff, you shouldn't need so much CSS you can just use the HTML and have the client render it for the screen it is on
04:25:59 <pikhq> Nobody but the W3C validator parsed it with an SGML parser.
04:26:54 <hppavilion[1]> zzo38: I like having CSS and HTML separate, because stylesheets should be legible
04:27:08 <pikhq> Which means that the actual real-world syntax of HTML was basically an undocumented rough shared delusion of what the spec was, without anything firm to back it.
04:27:08 <zzo38> hppavilion[1]: I to agree it can be separate, but I think CSS is overused
04:27:19 <zzo38> Most thing you should not need styles defined for it
04:27:48 <pikhq> HTML5 deals with the problem by completely ignoring SGML and defining a syntax that will actually let you parse real-world HTML.
04:27:58 <hppavilion[1]> pikhq: An emergent standard, if you will
04:28:07 <pikhq> Pretty much.
04:28:26 <oerjan> zzo38: your idea was dead the moment commercial companies got on the web. they _demand_ to be able to force style on users.
04:29:20 <oerjan> css just was a saner way to that than what they did previously.
04:29:25 <oerjan> *to do that
04:33:54 <\oren\> I use CSS mostly to make my website look like a terminal
04:36:10 <zzo38> I am using CSS mainly to fix the stupid styles and other annoying stuff that other people put on their webpage.
04:37:27 <zzo38> (This can be done using the Stylish extension. Other useful extensions are Grease Monkey, Policeman, and userChrome.js.)
05:04:01 -!- Akaibu has joined.
05:11:35 -!- augur has joined.
05:12:01 -!- [io] has joined.
05:12:01 -!- [io] has quit (Changing host).
05:12:01 -!- [io] has joined.
05:12:04 -!- Ir0nY has joined.
05:12:16 -!- shikhin_ has joined.
05:14:16 -!- nortti_ has joined.
05:14:55 -!- shikhin has quit (Disconnected by services).
05:14:56 -!- b_jonas_ has joined.
05:14:58 -!- shikhin_ has changed nick to shikhin.
05:15:18 -!- erdic_ has joined.
05:16:32 -!- Guest6667 has joined.
05:16:42 -!- Guest6666 has quit (Ping timeout: 260 seconds).
05:16:42 -!- nortti has quit (Ping timeout: 260 seconds).
05:16:42 -!- paul2520 has quit (Ping timeout: 260 seconds).
05:16:42 -!- erdic has quit (Ping timeout: 260 seconds).
05:16:42 -!- yorick has quit (Ping timeout: 260 seconds).
05:16:46 -!- iovoid has quit (Ping timeout: 240 seconds).
05:16:46 -!- catern has quit (Ping timeout: 240 seconds).
05:16:46 -!- Vorpal has quit (Ping timeout: 240 seconds).
05:16:46 -!- sirnaysayer has quit (Ping timeout: 240 seconds).
05:16:46 -!- IronY has quit (Ping timeout: 240 seconds).
05:16:46 -!- fractal has quit (Ping timeout: 240 seconds).
05:16:46 -!- APic has quit (Ping timeout: 240 seconds).
05:16:47 -!- b_jonas has quit (Ping timeout: 240 seconds).
05:16:49 -!- erdic_ has changed nick to erdic.
05:16:57 <oerjan> wut
05:17:03 -!- Ir0nY has changed nick to IronY.
05:17:26 -!- sirnaysayer has joined.
05:17:41 -!- APic has joined.
05:18:10 -!- paul2520 has joined.
05:18:25 -!- catern has joined.
05:20:13 -!- Vorpal has joined.
05:20:13 -!- Vorpal has quit (Changing host).
05:20:13 -!- Vorpal has joined.
05:23:56 <\oren\> AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
05:24:52 <\oren\> AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
05:25:03 * oerjan shoots \oren\ with a tranquilizer dart >--->
05:25:23 <\oren\> AAAAAAAAAAAAAAAAaaaaaaa....zzzzzzzzzzz
05:29:29 -!- fractal has joined.
05:39:04 <\oren\> I was this close to beating Mario land no niiiiii
05:41:16 -!- paul2520 has quit (Ping timeout: 260 seconds).
05:41:57 -!- paul2520 has joined.
05:42:10 -!- mrnaysayer has joined.
05:42:28 -!- sirnaysayer has quit (Ping timeout: 240 seconds).
05:44:58 -!- mrnaysayer has changed nick to sirnaysayer.
06:18:36 -!- Jafet has joined.
06:28:03 <pikhq> \oren\: Ano sa...
06:30:03 <\oren\> https://youtu.be/iET9fh_UyIQ?t=17m25s
06:31:36 <shachaf> hikhq
06:31:40 <shachaf> how'z jamz
06:31:58 <pikhq> Doin' pretty okay.
06:32:11 <pikhq> Been a bit of a busy week, but hey.
06:32:14 <shachaf> Are you doing university nowadays?
06:32:25 <pikhq> Yep!
06:32:43 <pikhq> Which is why it was a busy week; research paper due yesterday that I was working on.
06:34:41 <shachaf> Makes sense.
06:34:56 <shachaf> Is your paper about dynamic graph algorithms?
06:35:30 <pikhq> No, it was a humanities class.
06:36:14 <shachaf> Ah.
06:36:20 <shachaf> Which humanity was it about?
06:36:28 <\oren\> AAAAAAAAAAAAA I hate humanity
06:36:28 <pikhq> Political science.
06:37:02 <shachaf> What do you think of political economy?
06:37:23 <\oren\> there's a reason I didn't take any humanity: I can't write essays worth a crap
06:37:33 <shachaf> Did you read Mark Twain's thing on it?
06:38:23 -!- Akaibu has quit.
06:40:30 <pikhq> Haven't read Twain's thing on it.
06:42:44 <shachaf> pikhq: http://www.twainquotes.com/Galaxy/187009a.html hth
06:46:53 <pikhq> Hmm. Should I do something with these CHF, or should I just hold onto them in case the USD becomes literally worthless?
06:47:20 <\oren\> hold onto them
06:47:52 <\oren\> also aqwire some other currencies
06:48:17 <\oren\> in case Le Pen decides to annex switzerland
06:48:38 <pikhq> Switzerland is one of the worst countries to invade.
06:49:15 <pikhq> Considering their entire military strategy is basically to make sure any invader will regret it...
06:52:33 <\oren\> Euros are going to be effectively reichsmarks by the end of 2019 most likely
06:55:49 <shachaf> pikhq: If you like the idea of having exposure to CHF, why not buy more CHF?
06:56:12 <pikhq> I am not made of money, I just happen to have some CHF in my wallet.
06:57:13 <shachaf> Forex is a pretty liquid market so presumably trading costs are low.
06:57:25 <shachaf> If you had just USD would you buy the amount of CHF that you have?
06:57:34 <shachaf> Maybe retail trading costs are not low.
07:00:36 <shachaf> Maybe it was just a joke.
07:08:28 -!- MDude has quit (Ping timeout: 240 seconds).
07:10:37 -!- oerjan has quit (Quit: Nite).
07:33:06 -!- nortti_ has changed nick to nortti.
09:14:11 -!- Jafet has quit (Quit: Jafet).
09:28:08 -!- hppavilion[1] has quit (Ping timeout: 255 seconds).
09:30:40 -!- augur has quit (Remote host closed the connection).
09:41:16 -!- Jafet has joined.
09:47:11 -!- FreeFull has joined.
10:12:54 -!- AnotherTest has joined.
10:30:20 -!- Lymia has quit (Remote host closed the connection).
10:30:56 -!- augur has joined.
10:31:34 -!- Jafet has quit (Ping timeout: 268 seconds).
10:44:10 -!- Lymia has joined.
11:26:05 <int-e> ah, file:///home/bf3/tile.html is even nicer now.
11:26:11 <int-e> hmm, no, not that one...
11:26:26 <int-e> http://int-e.eu/~bf3/tmp/tile.html
12:05:03 -!- Bowserinator has quit (Ping timeout: 240 seconds).
12:05:11 -!- Bowserinator has joined.
12:06:52 -!- Jafet has joined.
12:23:12 -!- augur has quit (Remote host closed the connection).
14:47:51 -!- Bowserinator has quit (Changing host).
14:47:51 -!- Bowserinator has joined.
15:18:41 <HackEgo> [wiki] [[Reverse]] N https://esolangs.org/w/index.php?oldid=51095 * Serprex * (+7552) Created page with "Most programming languages execute statements in a top-to-bottom fashion. REVERSE takes program flow literally. REVERSE executes statements from top to bottom and from bottom..."
15:25:31 -!- erkin has joined.
15:26:08 <HackEgo> [wiki] [[Rain]] M https://esolangs.org/w/index.php?diff=51096&oldid=51087 * Serprex * (+0) Unless time travellllll
15:45:38 -!- kiki` has quit (Quit: Connection closed for inactivity).
15:52:00 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
16:27:34 -!- Zarutian has joined.
16:31:16 -!- [io] has changed nick to iovoid.
16:32:18 -!- oerjan has joined.
17:24:22 -!- augur has joined.
17:29:11 -!- augur has quit (Ping timeout: 255 seconds).
18:14:35 -!- Zarutian has quit (Quit: Zarutian).
18:37:46 -!- oerjan has quit (Quit: *CHIRP*).
18:43:12 -!- Zarutian has joined.
18:57:49 -!- kiki` has joined.
19:40:58 -!- Lord_of_Life has quit (Quit: EliteBNC free bnc service - http://elitebnc.org - be a part of the Elite!).
19:42:59 -!- Lord_of_- has joined.
19:58:35 -!- heroux has quit (Ping timeout: 255 seconds).
19:59:15 -!- Lord_of_- has changed nick to Lord_of_Life.
19:59:16 -!- heroux has joined.
19:59:21 -!- Lord_of_Life has quit (Changing host).
19:59:21 -!- Lord_of_Life has joined.
19:59:21 -!- Lord_of_Life has quit (Changing host).
19:59:21 -!- Lord_of_Life has joined.
19:59:47 -!- augur has joined.
19:59:50 -!- augur has quit (Remote host closed the connection).
20:00:25 -!- augur has joined.
20:05:41 -!- augur has quit (Ping timeout: 268 seconds).
20:09:28 -!- Zarutian has quit (Ping timeout: 240 seconds).
20:09:59 -!- augur has joined.
20:29:29 <pikhq> Humorous observation... because SHA-2 defines a family of hash functions SHA-512/x, there is in fact a SHA-512/1 hash function that hashes into *1 bit*.
20:29:49 <pikhq> Collision, first and second preimage attacks on this are easy to perform [citation needed].
20:31:04 <zzo38> Can you use any number of bits?
20:31:57 -!- erkin has joined.
20:34:20 <pikhq> 384 is explicitly banned, going above 511 appears to be meaningless..
20:34:38 <pikhq> (for 384 you should use SHA-384)
20:35:40 <pikhq> SHA-512/x is done by using initial state values specified by the IV generation function, and truncating the output at x bits.
20:36:31 <pikhq> The IV generation function is: evaluate SHA-512 (except with the initial values xored with 0xa5a5a5a5a5a5a5a5) on the ASCII string "SHA-512/x".
20:36:47 <pikhq> So, there you go.
20:36:56 <pikhq> I guess SHA-512/0 is well-defined as well, if meaningless.
20:39:11 <pikhq> Not per the spec. 1≤x<512, x≠384 according to the standard. Alas.
20:40:33 -!- krok_ has joined.
20:41:59 <pikhq> I suspect SHA-512/x where x is much less than 224 is pretty poor for security purposes, though.
20:42:17 <pikhq> ... And below 64 collision get pretty trivial.
20:43:44 -!- hppavilion[1] has joined.
20:45:07 -!- HackEgo has quit (Remote host closed the connection).
20:45:20 -!- HackEgo has joined.
20:45:44 <shachaf> If you truncate SHA-512 it's presumably no longer vulnerable to the obvious length-extension attack.
20:45:52 <shachaf> But maybe there are non-obvious things you can do.
20:47:54 <pikhq> Likely.
20:48:24 <shachaf> Like what?
20:48:56 <pikhq> Not a fucking clue.
20:53:50 -!- keemyb has quit (Read error: Connection reset by peer).
21:18:57 <zzo38> What kind of animations with OpenGL might be made up with just a fragment program (with a time input program.env[0].x)?
21:20:24 -!- yorick_ has joined.
21:26:09 -!- keemyb has joined.
21:32:35 -!- Phantom_Hoover has joined.
21:32:36 -!- Phantom_Hoover has quit (Client Quit).
21:32:53 -!- Phantom_Hoover has joined.
21:34:40 -!- heroux has quit (Ping timeout: 260 seconds).
21:39:33 -!- Phantom__Hoover has joined.
21:40:58 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
21:46:13 -!- heroux has joined.
22:07:22 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:10:37 <zzo38> I have a tsume shogi game on my computer, level 85 is difficult.
22:10:53 -!- heroux has quit (Ping timeout: 255 seconds).
22:11:02 <shachaf> Then skip to level 86.
22:11:15 <zzo38> I could, but I want to do level 85 before level 86
22:11:24 <zzo38> Do you know how to do tsume shogi game?
22:11:34 <shachaf> No.
22:12:26 <zzo38> There is also a time limit, although if you run out of time you can just try again anyways.
22:14:44 <int-e> chess problems, but for shogi. do the objectives vary?
22:14:59 <shachaf> hint-e
22:15:06 <shachaf> What's your progress at now?
22:15:24 <int-e> 4287 seconds.
22:15:52 <shachaf> Is that all?
22:15:53 <int-e> (tsume go tends to be mostly about determining group status though sometimes you get to make connections)
22:16:09 <zzo38> It is like chess, although there are some differences, such as that you must give check on every turn.
22:16:14 <int-e> the video is only about 90 minutes anyway
22:16:26 <shachaf> Which video?
22:16:32 <int-e> I'm trying to hint at the fact that I have not played "The Witness" in the meantime.
22:16:38 <zzo38> Also, your own king is normally not present on the board.
22:16:42 <shachaf> Yes, but what's the video?
22:17:11 <int-e> meta-political but in German, https://www.youtube.com/watch?time_continue=1&v=Rk6I9gXwack
22:17:31 <int-e> apparently closer to 100 minutes
22:17:45 <shachaf> Unfortunately I only know a few words in German.
22:17:53 <shachaf> And this speaker is using different words.
22:18:51 <shachaf> He's talking about eigenschaft, which I assume is some linear algebra thing.
22:20:04 <int-e> Well, he's a professor in cognitive sciences, though the talk isn't in that field, and he really makes this accessible to a general educated audience.
22:20:16 <int-e> "Eigenschaft" is just "property".
22:20:32 <int-e> (in the logical sense)
22:20:44 <erkin> Ewige Blumenkraft
22:20:45 <shachaf> Actually I can understand a several words, like Repräsentative Demokratie
22:21:14 <shachaf> und Ewige Schlangenkraft?
22:21:38 <shachaf> Heute die Welt, Morgen das Sonnensystem.
22:21:47 <int-e> did you get the point that representative democracy is not a democracy, and actually is not meant to be a democracy at all?
22:22:41 <shachaf> No, but maybe I got some of the spirit of it.
22:23:22 <int-e> ironically you may have the least trouble with the words that require education, like "Hegemonie".
22:26:52 -!- heroux has joined.
22:29:02 <int-e> (The hegemon is the US, of course. "If you look at a map then you'll see how aggressively Russia has approached the US-american bases in Europe, Asia, and Africa." <audience laughs>)
22:35:23 <int-e> heh, never heard of that one. https://www.congress.gov/bill/107th-congress/house-bill/2121/text/enr
22:43:01 -!- augur has quit (Read error: Connection reset by peer).
22:43:33 -!- augur has joined.
22:47:20 -!- boily has joined.
22:47:59 -!- wlp1s1 has changed nick to inb4.
22:53:34 <boily> `wisdom
22:53:38 <HackEgo> nød//Nød is French for vertex.
22:53:39 -!- augur has quit (Remote host closed the connection).
22:54:02 <fizzie> `? nødnummer
22:54:03 <HackEgo> nødnummer? ¯\(°​_o)/¯
23:12:10 -!- inb4 has changed nick to wlp1s1.
23:19:11 -!- Akaibu has joined.
23:21:45 -!- tromp has quit (Read error: Connection reset by peer).
23:22:31 -!- tromp has joined.
23:24:54 -!- augur has joined.
23:28:20 -!- ski has joined.
23:30:05 -!- hppavilion[1] has quit (Ping timeout: 255 seconds).
23:49:26 -!- ais523 has joined.
←2017-02-24 2017-02-25 2017-02-26→ ↑2017 ↑all