Erika boosted
Erika boosted

RT @TRASEVOL_DOG@twitter.com

The trees now have some movement! It's gotta get breezy on an isolated island like that... ๐Ÿ’จ๐ŸŒณ๐Ÿƒ๐ŸŒ…

๐Ÿฆ๐Ÿ”—: twitter.com/TRASEVOL_DOG/statu

twitter.com/MichalRolinek/stat

RT @MichalRolinek@twitter.com

Bridging discrete optimization with deep learning. Maybe highly optimized (nondifferentiable) solvers for combinatorial problems will become great again ๐Ÿ˜.

Differentiation of Blackbox Combinatorial Solvers arxiv.org/abs/1912.02175 twitter.com/MichalRolinek/stat

๐Ÿฆ๐Ÿ”—: twitter.com/MichalRolinek/stat

RT @ilyasergey@twitter.com

Trying to verify the property as stated in textbooks, we have first independently discovered Bloom's mistake and then, in a hard way, also learned that the follow-up correction also had a bug. Having a fully axiom-free proof in Coq we finally know we got it right. 4/6

๐Ÿฆ๐Ÿ”—: twitter.com/ilyasergey/status/

RT @capitalist_void@twitter.com

2/ The sentence โ€œThe realloc function returns a pointer to the new object (which may have the same value as a pointer to the old object)โ€ is unfortunate because THERE IS ABSOLUTELY NOTHING YOU CAN DO TO TAKE ADVANTAGE OF THIS.

๐Ÿฆ๐Ÿ”—: twitter.com/capitalist_void/st

when looking at it later: in hindsight
when listening to it later: in hindsound

Yeah, sex is cool but have you ever put the last Qed into your 1800 line proof to see the entire thing light up green with not a single 'admit' line

Show thread

wishing for visualizer plugins for the proof state, just give me the terms, I'll generate an SVG and the UI can then show it

give it the domain specific representation it needs (in my case that'd be a timeline, xe-xl, oe-l, xe-l being time spans on there)

Show thread

using one of those SMT plugins for Coq: ?? days of setup
using a regex to do it myself: 2 minutes in sublime text

RT @chordbug@twitter.com

we interrupt regular super mario kart programming to offer you: a Tennyson solo

๐Ÿฆ๐Ÿ”—: twitter.com/chordbug/status/10

lastly, if the anonymous struct with base class is contained in a struct with that same base class but virtual, nothing works anymore: godbolt.org/z/bd_f7k

Show thread

The compilers won't let your anonymous structs have methods, but nothing is stopping you from inheriting from a class that does. godbolt.org/z/MVDKQ8

Show thread

When you initialize an anonymous structยน with a base class, what happens?

struct A { int a; };
struct B {
int b;
struct : A {
int c = 2*a;
};
};

int test() { return B{0, 1}.c; }

ยนa C++ extension implemented by g++/clang/msvc

RT @djtodoro@twitter.com

I am happy to announce that Debug Entry Values (DW_OP_entry_values) feature is implemented in LLVM! :) It has been enabled by default for x86, arm and aarch64 targets. This should improve debugging user experience when debugging optimized code. @llvmweekly@twitter.com

๐Ÿฆ๐Ÿ”—: twitter.com/djtodoro/status/12

status: mental health bleh as always, but alive โœŒ๏ธ

Show more
Mastodon

Server run by the main developers of the project ๐Ÿ˜ It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!