« first day (2316 days earlier)      last day (2634 days later) » 
00:00 - 20:0020:00 - 00:00

8:00 PM
Solar/wind are huge undertakings; the efforts are constantly underplayed and the results overplayed.
All examples of green success I know are hydro-based.
Or nuclear, depending on your definition of green.
 
Oh dear, the worst bugs are the bugs that go away when you put a print statement nearby...
 
Today I had to basically crack the serial number checks in our application to push out a hotfix.
 
Oh sounds fun. Now you can add cracker to your resume. Hacker if you prefer less formal terms
How did you mange it?
 
It's easier when you have the source.
:p
 
@R.MartinhoFernandes They're not economically competitive with coal yet in the immediate term
but I believe that when including air pollution, client change and other long term costs, they are already competitive
and frankly, building coal plants is hardly a small undertaking
 
8:28 PM
Embedded is annoying because just about everything has side effects the compiler doesn't know about. So much more of my code gets optimized away than usual T.T
 
@Puppy Of course the problem is that the people who do care no longer have the power to do anything about it.
 
9:31 PM
ok so I figure the simple textbox is
1. render text, 2. user clicks to give it focus, 3. render caret, 4. user presses keyboard, 5. change text in box
think that I will skip focus since I can simply ask the user to tell me if I have focus or not ;p
 
Textbox aren't simple. They are the result of many small improvements that were made during the last two centuries.
 
9:46 PM
@StackedCrooked Well put.
 
@Aaron3468 You need to camouflage print the statement.
 
@Aaron3468 I've seen a lot more miscompilation when switching to MSVC2015
 
xD You may be right Stacked. They're very shy arthropods
@Mikhail What a coincidence, it's being compiled using a modified version of MSVC2015
 
10:03 PM
Vim macros are more fun than C++ macros.
Much more.
 
Vim macros are almost as fun as nethack.
I've stopped playing with them both about 10 years ago. Sadly enough.
Also the stars for " everyone here is dumb for using C++ over Rust " feels like a big whoosh over my head.
 
The star wall is also the unofficial wall of shame
 
10:21 PM
@CaptainGiraffe It gets entertainment points. Regardless of whether one thinks it's true or not.
 
user1804599
I need a fun new project.
 
@rightfold Again?
 
user1804599
Yes, again.
 
@rightfold Write a tcpdump implementation that's fast even if there are many active BPF filters.
 
user1804599
What is a BPF filter?
 
10:34 PM
@rightfold Write a replacement for ncurses API that does not just wrap it but replaces it.
 
@rightfold It's filter for network packets. Typical example: src port == 1001 and dst port == 2001 => this matches all UDP/TCP packets that have src port 1001 and dst port 2001.
 
@StackedCrooked Don't they like already JIT compile them?
 
user1804599
 
@wilx They do. But the main bottleneck is that each packet needs to be matched against each filter. A smarter implementation should be able to avoid that.
 
@StackedCrooked sounds like a candidate for mapreduce
 
10:37 PM
@Puppy Yeah, parallelism can surely help.
Actually we have a GPU-based implementation at work. It's pretty fast.
But I think fixing the algorithm would lead to much better results.
By combining the BPF filters into some kind of tree. So the filters become mutually exclusive and duplicate checks can be avoided.
 
user1804599
> tree
 
user1804599
Sounds like an excellent job for Haskell!
 
Really?
 
user1804599
Why not?
 
Just asking because I don't know much about Haskell.
 
user1804599
10:42 PM
Does tcpdump use pcap?
 
the obvious thing to do is to consider it one giant filter
and then compile the fuck out of it
 
@rightfold Typically the tcpdump filters the packets and the ones that match the filter are dumped to a pcap file. However, this does not need to be the case.
 
give each packet the most efficient representation possible, e.g. just a giant integer you can do bitwise ops on directly
 
A fast implementation of a filter would be a list of offset-size-bitmask tuples.
 
user1804599
You can use Z3 to find filters that imply each other.
 
10:46 PM
However, that won't work with BPF filters like tcp port < 1001 or udp port > 2002
@Puppy yep, that's what I'm thinking
 
@rightfold What is Z3?
 
user1804599
It solves expressions that contain quantifiers.
 
user1804599
For example, ∀x. p(x).
 
@StackedCrooked That really depends.
if you do have blazing fast offset-size-bitmask tuples, I'm pretty sure you could express port < 1001 as a bunch of bitmasks.
 
user1804599
(define x int)
(assert (> 3 x))
(assert (< 3 x))
(check-sat) ; fails, there is no x such that 3 > x and 3 < x
 
11:22 PM
@rightfold I see. I think I have actually asked the same question before and I forgot. :)
 
Hahahahaaha
Under my current locale, which is apparently en_GB or something, trash is now called "Wastebasket"
 
Make LRiO proud again
5
 
11:44 PM
Wassup lounglies
Of course microcenter sells pocky in the checkout area. Of course.
 
00:00 - 20:0020:00 - 00:00

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