« first day (2030 days earlier)      last day (2919 days later) » 

7:00 AM
6TB drives IIRC
 
ok so a guesstimate of the read performance is around 120MB/sec per disk, so peak expected throughput should be around 2.88GB/sec
 
My 16 x 2TB array gets about 1.2 - 1.5 GB/s. But those are really old drives. Pre-Thailand floods.
Each drive individually is about 120 MB/s. But it doesn't quite scale linearly.
 
yeah, Im calculating cant-be-better-than-this number
 
I thought about replacing them with 16 x 500GB m.2. SSDs. But I did the write wear analysis on it and I didn't like it at all.
 
that's 288 images per second. each cpu would only have to be able to do 24 images per second to keep up with ideal disk throughput
 
7:05 AM
Each time I do my weekly 100b regresssion test, it would consume about $20 - $50 of SSD life.
 
na, lately ssds have virtually inexhaustible writes
have you ever worn one out?
 
16 m.2. SATA3 SSDs is fast. Almost 8 GB/s.
@doug65536 Not from normal usage. But if you'll kill them if you sustain 200+ MB/s writes on them 24/7. That's exactly what my work-load will do.
 
windows chrome users should know that chrome is completely obsessed with the history files, it commits writes to them endlessly
 
yeah but it bangs on the journal and stuff
does synchronous flush, forcing a commit to actual storage
 
7:08 AM
My boot SSD is 2 years old and has used up 1% of its life. But it's not like I'm writing to it 24/7.
 
in windows you are writing to it 24/7, trust me
 
Small writes.
 
windows has a list of scheduled tasks that do stuff all the time
 
The work-load that will kill it is sustained high-bandwidth writes.
 
and browsers go crazy with synchronous flushes
 
7:09 AM
Windows, no matter how bad it is, doesn't do that. At least not right now.
 
it does when programs flush
flush means, pause me until it is all the way to non-volatile storage
 
You're telling that Windows sustains 200+ MB/s 24/7?
 
no, I am saying no matter how unused your machine, windows will munge your disk everyday
 
That's not gonna happen until HDs die because Windows still needs to be able to run on HDs.
 
right, its fine, you can write so much, but it does write all the time. try sysmon and use chrome
it does so much disk I/O, it scrolls by too fast to read them
 
7:12 AM
Right. It does write all the time. But they aren't high-bandwidth writes. They're touching small files 4k at a time.
 
is that a 2nd day in a row you're discussing
 
40 inch 4K monitor..sounds insane but gonna buy one
http://www.amazon.com/dp/B00SCX78JS
 
I am currently on a shopping diet - not buying anything other than groceries ...
coz ... spent a bit too much last week
 
@ProblemSlover wait why does it sound insane?
There are 4K TVs ranging from 42" to 100"
The are also 27" 5K screens
To be insane it would have to have insane ppi, insane size(hardly) or both
 
@BartekBanachewicz well ok. find It perfect for work and watching porn..
 
7:24 AM
@Mysticial What do you mean by lots of little writes? I thought splitting up the writes made it slower, if not simply owing to things like calling overhead?
 
@Mikhail no we were talking about the disk I/O browsers do all day, chrome constantly flushes writes to the history
and yeah, the sum of the writes is too small to matter
it's obsessed with how long you were on each page, or something like that
 
The biggest problem with HDDs is that the speed drops as the array gets filled. So early on its 2.5 GB/s but at the end I'm doing like 500 MB/s
 
@BartekBanachewicz But what makes me wonder why it's cheaper than High end Dell Monitor .. which is smaller like 30" but costs 1K+
 
So, I own a "high end" dell monitor that we bought for like $600 dollars and it malfunctions constantly on nvidia cards. The screen splits in 2 and there are no official Windows 8/10 drivers. Complete junk.
 
@ProblemSlover because the dells are actually good quality?
 
7:30 AM
@Mikhail with an array like that, you could short-stroke them, just use the 1st quarter of the capacity on each disk and the head will have less max distance to seek, and it will stay on high bandwidth outer tracks
 
@Mikhail Interesting. You must be the first person I've heard about that's having problem with dell screens
 
@BartekBanachewicz you think so/. hmm.
 
@Mikhail 4k monitor?
 
Well I can only do what the Adaptec array manager lets me do...
@Mysticial yes
 
7:32 AM
@ProblemSlover Size and resolution aren't the only factors impacting price
 
@Mikhail 4k tech is still very finicky right now. Most implementations split them into two panels. That's what's fucking everything up. Wait until native 4k becomes standard.
That's one of the reasons why I avoided 4k.
 
@BartekBanachewicz To me it sounds the same as comparing apple crap.
 
The other reason is because I'd need to squint to see code/text at standard scaling.
 
well it's not crap.. but nonetheless
it's overpriced
 
yeah, 4K is a bit overkill IMHO, unless you have a lot of display inches
 
7:35 AM
It's overkill for coding unless you have really good eyes. (which I don't)
It's more suited for graphics artists and hardcore gaming.
 
" They’re perceived as being faster "
top grade journalism right there
 
@ProblemSlover what
You mean "as comparing only a small subset of factors and declaring two devices equivalent" like people tend to do with Apple and cheaper brands?
Because this kind of idiocy happens
 
@BartekBanachewicz hm? let' move on.
 
@doug65536 How much is a lot? I have 2560x1600@13"
I think it's fine.
 
Ben
7:41 AM
1920x1080 is fine.
 
@BartekBanachewicz 13? my laptop has a 17" screen
 
Ben
@Bartek what's your DPI resolution?
 
@Ben Dunno, do your math?
 
Ben
@BartekBanachewicz lol.
 
@doug65536 13.3" actually
 
7:43 AM
if it works for you, great :)
 
I wouldn't buy a laptop bigger than 13", they're so bulky and impractical
 
Why the heck recent 13-17 inch laptops are having 4K screens.. it's just scaling crap.
 
@ProblemSlover um, have you ever used one?
 
I wouldn't buy a laptop smaller than 17", they're so small and impossible to use.
 
Ven
Hi
 
7:44 AM
@Mysticial they keyboard size is pretty much the same vOv
And if you want to do something serious on a PC, chances are you want a proper workstation not a laptop anyway
I think that gains from a 15" or 17" screen are minuscule compared to losses in battery life and overall mobility, speaking from my personal experience of having and using all sizes extensively
 
@BartekBanachewicz not really. but it's definitely overkill . you disagree?
 
I need to remote control, and it is just not feasible to remote control a scaled-down 1920x1080 remote without eyestrain/headaches/suffering
 
@ProblemSlover I disagree. I don't like seeing pixels. I don't consider my screen an overkill at all
 
nwp
@BartekBanachewicz don't have the money for both a good laptop and a good workstation, so my laptop has to fill the role of workstation too, and then 13" doesn't cut it
 
Xeo
@Mysticial I found 15" okay for the two weeks I was away in Hamburg.
 
7:47 AM
@nwp If I were short on money then I'd probably put more in a workstation anyway and get a tablet
 
Xeo
8" Windows tablet <3
Perfect for playing VNs on the go
 
@Xeo I can't code on anything smaller than 1080p 17".
 
badlet :P
 
Xeo
Have you considered glasses? :P
 
I have glasses already. :)
 
7:48 AM
I have flawless vision and I agree with mysticial
 
Xeo
Glasses on your glasses!
 
I coded on a 80x180 sony ericsson 2.4" screen
 
i was looking to upgrade my third gen cpu to the skylake.. but after making research it looks like i have to wait a few years more
 
actually also played MUD on that once I got the ssh client
 
Admittedly, I started serious coding on a 1680 x 1050. And it slowly upgraded from there on.
 
7:49 AM
now you're too elitist to code on 1680x1050, we get it :)
 
Now I'm on 1440p. It's hard to go back to 1080p on my laptop, but I can put up with it now and then.
 
@BartekBanachewicz coding on a 80x180 sony ericsson 2.4" screen is an affective way to kill your vision
 
@ProblemSlover any sources to back up that claim?
Personally I've been wondering how it would be to code on 2x27"
 
Ven
My macbook is 11" :(
 
@BartekBanachewicz based on experience
 
7:52 AM
@ProblemSlover so you're saying that you've personally coded on such a screen and your eyesight deteriorated
 
Xeo
Despite the recent poll, we will NOT be renaming it "Unrealy McEngineface".
heh
 
@BartekBanachewicz I can say for sure that any doc would say that it's killing of vision.
 
@ProblemSlover can you quote any serious doc saying that then?
Of course someone actually reputable would be even better.
 
@BartekBanachewicz Why should I,.you wearing glasses . so it's way to0 late
 
@ProblemSlover because you've claimed many things and haven't backed them up?
Do you believe everything you read on the internet?
 
Xeo
7:56 AM
@Mysticial I started with 1366x768 :<
 
nwp
anyone care for Diablo II? this is awesome
 
@Xeo The first time I've ever done coding was something like that. I just didn't do any real programming until college. By then 1680 x 1050 was standard.
 
@nwp oh ye this guy's house recently burned down, along with his father, "yeeey"
 
@Xeo that sounds like a very modern machine though
 
nwp
@ScarletAmaranth wat?
 
7:59 AM
@nwp I am not kidding you
 
@nwp lol the dude sounds so affected by the game
@ScarletAmaranth wat
 
@BartekBanachewicz it's great. I had exactly that. so big you have to turn your neck to see all the way across it
 
> "On March 6th 2016, my house caught fire while I was streaming. No one knows how exactly it started but it's been speculated that it originated in the basement. I was the only one awake in the house and I was on the main floor when it happened. By the time I discovered the fire, the entire basement was already ignited. I saw smoke coming through the floor. Approximately 90 seconds after this stream ended, we (I, my mother, and father) were all out of the house.

My father went back in when no one was looking. He died that day.
 
Xeo
Why the fuck did he go back in
 
8:02 AM
obviously some people are insane
 
maybe he was attached to the house
@nwp so he doesn't even kill thinks and abuses this random teleport thing or what that is
 
yeah but I don't think he was thinking "I'm gonna burn down with this house I love"
or was he? who knows!
 
lol that game is so silly
 
that is actually rather nice of OP though. If I've learned anything from hanging out here it's that most people seem to be allergic to the action of reading community rules and guidelines
horribly, violently allergic
 
8:11 AM
morning
 
Ven
@ScarletAmaranth he probably wanted to get some stuff back
 
@ScarletAmaranth I don't believe anything from the internet anymore
 
8:28 AM
@Zoidberg congrats on having roughly the same measured playtime as Etho's main world
you maniac
 
user1804599
8:52 AM
I quoted the video.
 
ugh it's so fucking hot
 
well that explains that
 
9:08 AM
@BartekBanachewicz lesgo?
 
...
 
9:26 AM
?
 
you know, I don't know why, but I just announced to an empty room that I'm cold.
 
and bartek is hot, you should hug
 
I don't think an e-hug can transfer heat
 
no me neither
 
9:42 AM
tell that to my fan
 
@Puppy just came back
sure
I would make myself a coffee but it's too hot for that
I'm seriously considering ice cream for breakfast
 
nwp
#include <thread>

int main() {
for (auto i = 0u; i < std::thread::hardware_concurrency(); i++) {
std::thread{[]{for(;;);}}.detach();
}
for(;;);
}
 
Ven
9:59 AM
@Zoidberg you cancelled pwnd?
 
user1804599
I called it Snek.
 
user1804599
 
Ven
oh, ok
 
If anyone is bored I have a piece of nasty C# to review.
 
user1804599
Oh wait it's broken.
 
user1804599
oops
 
user1804599
I didn't start the name of my test with "test".
 
Ven
why cast to object?
do you get a stdClass?
 
user1804599
10:16 AM
Because otherwise the lambda would copy the integer.
 
user1804599
And you can't capture by reference because Hack doesn't allow references.
 
Ven
ok
 
user1804599
I didn't call unsafePerform in my test, that's why it failed. :)
 
user1804599
@Ven It's almost but not quite entirely unlike Angular scopes!
 
Ven
hahahahaha
dem privaet jokez
 
user1804599
10:18 AM
type Supply<T> = IO<Option<T>>;
 
user1804599
very nice design
 
good job the parser/tokenizer/w/e doesn't throw up on that
 
user1804599
Why would it?
 
user1804599
It just tokenises >>, and the parser recognizes the >> token in a type as ending two type argument lists.
 
user1804599
You can't put type argument lists in expressions, so that's not an issue either.
 
user1804599
10:20 AM
f<T>($x) won't work. It always deduces.
 
user1804599
Lol, this guy called Erdogan a "melagomaniac dictator" and said that Ebru Umar (Dutch columnist) was rightfully arrested for offending Erdogan
 
user1804599
in the same sentence
 
user1804599
10:34 AM
@Ven I want to do some more documentation of Snek first
 
user1804599
before implementing
 
Ven
sure :)
 
user1804599
coolio
 
@Zoidberg Well technically ISTR that insulting him is against the law in Turkey
 
\o/
 
user1804599
It's also illegal to do that in the Netherlands.
 
user1804599
Because we're not in war with Turkey.
 
user1804599
10:57 AM
But that law is gonna be abolished soon.
 
user1804599
(Because it's a retarded law.)
 
Ven
11:13 AM
ah, C++.
LOL if your language/compiler's optimisations doesn't change the runtime behavior of your program, kiddo.
 
Ven
11:25 AM
@Zoidberg should I plainly refuse to parse 1; 2 or look at the AST later? :P
 
user1804599
What for?
 
user1804599
What do you mean?
 
user1804599
What is 1; 2?
 
user1804599
And what is wrong with it?
 
Ven
for Vitrux-ex-Mill
 
user1804599
11:27 AM
Ooh.
 
Ven
what's wrong is "discarded value"
 
user1804599
It should be a type error.
 
user1804599
Unify the type of 1 with () and you're done.
 
Ven
that's an... interest take on the issue
 
user1804599
I think the compiler already does that.
 
Ven
11:27 AM
lol
 
user1804599
That was my intention at least.
 
Ven
about that..
 
Ven
Haskell mill. not vlinder
 
user1804599
RIP
 
user1804599
11:28 AM
Better start from scratch.
 
user1804599
But yeah, you need to do this in the type checker, since add(1, 2); 3 also discards a non-unit value, and you can't catch that at parse-time.
 
user1804599
Don't duplicate logic.
 
Ven
sure
if side effects are allowed, since discard is fine by me
why did you drop vlinder again? just bored of it already?
 
user1804599
Well, if side-effects aren't allowed, you must get rid of block expressions entirely.
 
user1804599
@Ven lost interest
 
user1804599
11:30 AM
Also the implementation somewhat sucks.
 
Ven
i see :)
@Zoidberg they can be desugared to other forms
 
user1804599
The AST should be immutable, and types should only be attached to name exprs.
 
Ven
lol mutable AST
sings 'this was a mistake' with glados' voice
 
user1804599
sealed abstract class Expr[+T]
case class NameExpr[T](name: String, t: T) extends Expr[T]
case class BooleanExpr(value: Boolean) extends Expr[Nothing]
 
user1804599
def typeOf(e: Expr[Type]): Type = e match {
  case NameExpr(_, t) => t
  case BooleanExpr(_) => BooleanType
}
 
user1804599
11:32 AM
At most use mutable private fields for caching.
 
Ven
imb4 now you want to write snek using Scala
 
user1804599
No, in Hack.
 
user1804599
OTOH writing it with its own type checker could give me HKT and rank-N polymorphism. ( ͡° ͜ʖ ͡°)
 
Ven
why does mill-hs have "primaryExpr" and "expr" >.>
 
user1804599
Because of precedence?
 
Ven
11:34 AM
@Zoidberg wouldn't that be amaze
 
user1804599
yeah it'd be great
 
user1804599
but it's a lot of work
 
Ven
NODAMS
@Zoidberg think about all the stuff you could learn from that
?tag lenny
@Zoidberg what
 
user1804599
expr is the lowest-precedence
 
user1804599
primarExpr is the highest
 
user1804599
11:35 AM
do you have a link to the code?
 
user1804599
Yeah, so callExpr has lower precedence than primaryExpr.
 
user1804599
also get rid of those IDs in the AST :(
 
Ven
@Zoidberg I did, I just didn't push the commit yet.
 
user1804599
11:37 AM
@Ven no it isn't, that's not ambiguouos
 
user1804599
it's about the callee, not the arugments
 
Ven
@Zoidberg problem isn't that it or isn't ambiguous. problem is that it means a(b()) parses, but a("b") won't
 
user1804599
it does
 
user1804599
callee <- primaryExpr
argumentLists <- many argumentList
 
user1804599
many, not many1
 
user1804599
11:38 AM
and "b" is a primaryExpr
 
user1804599
and expr is a callExpr
 
user1804599
"b" qualifies as a callExpr, since a callExpr can have zero argument lists
 
user1804599
callExpr doesn't always return a CallExpr
 
Ven
oh yeah, I forgot how stupid that was
 
user1804599
The name callExpr refers to the precedence. It has the precedence of a call expression.
 
user1804599
11:39 AM
It doesn't refer to what it returns.
 
Ven
that's retarded
 
user1804599
If you can come up with a better naming scheme, please tell me.
 
user1804599
(That's genuine interest, not condescending)
 
@Borgleader Oh, you ignorant young people! The idea of true naming was used in fantasy side the 70s at least. /cc @StephanTLavavej
sigh so i guess im ignorant for not reading all fantasy book prior to me being born
old ppl and their "we did it first" :P
 
Ven
@Zoidberg mmmh.
even callLevelExpr would be a better name. but anyway, a first thing would be to add a comment.
I remember getting confused the first time as well..
(yes, I know, I'm bad :P)
 
11:45 AM
Hey guys
Is writing a compression program easy?
 
yes, it's pretty easy
 
Well good I just did it
 
Ven
ok
 
just use an existing library :v
 
Ven
@Zoidberg foldM (\a b -> (\id -> CallExpr id a b) <$> newID) callee argumentLists can now become foldM CallExpr callee argumentLists \o/
 
user1804599
11:46 AM
Yay!
 
Ven
...except it complains about missing the Parser monad
 
@VermillionAzure boring
 
Ven
@VermillionAzure why are your _impl files .h?
 
@Ven Laziness begets much folly, my friend.
 
Ven
11:48 AM
is that your way of admitting you're bad?
 
Sure.
But then again I'm rushing with everything so it's great that I actually did it.
 
Ven
sure
@Zoidberg actually, any reason expr and callExpr are not merged? whatever's left at that level?
 
user1804599
Because more is going to be added later.
 
@Ven So uhhhh what do/did you do for data struct/algor? I know my stuff probably sucks
 
user1804599
For example, addExpr.
 
Ven
11:50 AM
parse operators that way?
@VermillionAzure i don't do data structures or algors
I just store my variable in arrays
 
user1804599
addExpr -- + -
mulExpr -- * / %
orExpr -- ||
andExpr -- &&
callExpr -- () .foo
 
@Ven Aren't you in college or graduated?...
 
Ven
no
I mean, it doesn't work like that here
 
user1804599
That's because operators aren't yet implemented.
 
Ven
never had a single data structure or algorithm class or whatever else shit
 
11:52 AM
wanna explain?
 
> HuffmanTree.o
 
Ven
my life's too boring
@Zoidberg sure
 
"never had" is pretty self-explanatory
 
oh no a generated binary file in the repo
 
> I mean, it doesn't work like that here
What is that supposed to mean?
 
Ven
11:53 AM
i literally don't have teachers
(few videos at times)
 
@milleniumbug filter time, ask nab for details
 
So... what are you? High school?
 
Ven
no
 
Middle?
 
@JohanLarsson kek, it's Cinch's coed
 
user1804599
11:54 AM
@Ven Also, if you wanna do some non-trivial stuff like custom evaluation strategy (like Scala has with def vs val vs lazy val), you don't want the AST to store only types, but also that info.
 
Ven
plonks
 
user1804599
So I'd create symbol ADTs in that case, like I did with Sanity.
 
user1804599
public abstract class ValueSymbol : Symbol
{
    public abstract bool Mutable { get; }
    public abstract bool Unsafe { get; }
    public abstract Type Type { get; }
}
 
anyways thank god I'm finished
 
Ven
11:55 AM
@Zoidberg I don't understand why foldM CallExpr callee argumentLists doesn't work :|
 
user1804599
What is the error?
 
Ven
Couldn't match type ‘Expr’
               with ‘Text.Parsec.Prim.ParsecT
                       String () Data.Functor.Identity.Identity Expr’
which doesn't make sense. callee is a Parser Expr
 
user1804599
CallExpr returns Expr, not Parser Expr.
 
user1804599
You need return $ foldl CallExpr callee argumentLists.
 
Ven
oh, that only worked previously because of the <$> newID
 
user1804599
12:03 PM
Let's start with simple System F omega: gist.github.com/rightfold/037e2fb913b6d79286747acf75f817a6
 
Ven
okay, tests all green again /o/
 
user1804599
yay commit
 
Ven
looks better now
 
user1804599
@Ven I found "TypeExpr" and "Expr" too long.
 
user1804599
Just going with TE and VE. Much better.
 
Ven
12:07 PM
lol
 
user1804599
Esp. since it's a suffix to all data ctors
 
Ven
 
user1804599
awful
 
user1804599
so slow
 
Ven
mostly terribly ugly
 
user1804599
12:09 PM
 
Ven
...terrible minds think alike?
 
user1804599
I don't like this.
 
user1804599
Kind expressions store the kinds they represent.
Type expressions store the types they represent.
Value expressions store ... their types.
 
user1804599
It's not consistent.
 
user1804599
But it seems correct.
 
Ven
12:13 PM
@Zoidberg can you say that a virtual machine is an interpreter for (some) assembly? :P
 
user1804599
Virtual machines are interpreters, yes.
 
user1804599
Just like physical machines are.
 
user1804599
 
Ven
1/10 hoped for a venn diagram.
 
user1804599
12:21 PM
bleh bleh bleh
 
user1804599
-- * -> * -> *
ApplyK (ApplyK FuncK TypeK) (ApplyK (ApplyK FuncK TypeK) TypeK)
 
user1804599
yay infix operators
 
@Zoidberg What machines are neither virtual nor physical?
 
user1804599
Hypothetical machines.
 
user1804599
12:39 PM
@Ven look at my map my map is amazing
 
Ven
lol partial functions
 
user1804599
deal with it
 
Ven
/me deals
it's funny :D
 
> Strong emphasis on testing and correctness
Well I would hope so
 
Ven
:D
 
12:46 PM
I can write my own bugs, I dont need the optimizer to add some for me
 
Ven
also lol lea eax, DWORD PTR [rcx*2+2]. that's one "hacky" use of lea.
 
user1804599
It's the intended use-case of lea.
 
user1804599
cheap add and mul
 
Ven
though it's supposed to be used for addresses, rite?
 
438
A: What's the purpose of the LEA instruction?

I. J. KennedyAs others have pointed out, LEA (load effective address) is often used as a "trick" to do certain computations, but that's not its primary purpose. The x86 instruction set was designed to support high-level languages like Pascal and C, where arrays—especially arrays of ints or small structs—are c...

 
user1804599
12:54 PM
no, that's just its name, because that's what it actually does
 
user1804599
but you can also use it for that
 
user1804599
but you can also do that with add and mul
 

« first day (2030 days earlier)      last day (2919 days later) »