3 Followers
30 Following
13 Posts
I'm a PhD student at Aalto University studying how to improve the state of software tools used to develop mechatronic systems.
Websitehttps://blog.fletcherporter.com
@Moosader inotifywait works if you're making a file watcher
@VileLasagna what is this rug pull?
@quixoticgeek With the exception of Telsa I think, it's been the manufacturer. I think the German manufacturers have all said that they'll take liability for accidents due to autonomy above a certain level. All the Robotaxis have their manufacturers taking liability.
@b0rk Another one, there is a man page that explains all of the Unix signals (SIGTERM, SIGMIN+5, etc). However, there are like 8 man pages across different chapters that all are called signal and it's not obvious which one will describe the signals
@b0rk The problem I regularly have is I think "what are all the options for %f in printf?" Well first, I do `man printf` and get the page for the shell command, not the c function, and after I do `man fprintf`, I find out %f isn't even there

A deep dive into ASCII rendering

https://alexharri.com/blog/ascii-rendering

Most amazing thing I've seen in a while. A celebration of life.

ASCII characters are not pixels: a deep dive into ASCII rendering

A look at how I used shape vectors to achieve sharp, high-quality ASCII rendering.

SpringElectricalEmbedding—Wolfram Documentation

SpringElectricalEmbedding (Graph Layout Method) Vertex layout for GraphLayout. Use spring electrical embedding to lay out vertices of a graph. The spring electrical embedding is a graph-drawing technique to position vertices of a graph so that they minimize mechanical and electrical energy when each vertex has a charge and each edge corresponds to a spring. The spring electrical embedding is typically used to lay out complex large graphs. The layout x_i of the vertices v_i of the graph is calculated by minimizing the energy function UnderscriptBox[\[Sum], i]||f__i|| ^2 with f_i== -C UnderscriptBox[\[Sum], RowBox[{StyleBox[j, TI], !=, StyleBox[i, TI]}]] ( K^2 ) / ( ||x_i-x_j||^2 ) (x_j-x_i) +UnderscriptBox[\[Sum], RowBox[{StyleBox[ , TI], RowBox[{StyleBox[i, TI], StyleBox[ , TI], \[UndirectedEdge], j}]}]] ( ||x_i-x_j|| ) / ( K ) (x_j-x_i). C is a constant that regulates the relative strength of the repulsive force and K is the relative spring length. Vertices can be embedded in \[DoubleStruckCapitalR]^n. The following model parameters can be given: The following graph parameters can be given: Possible settings to control the energy minimization process include: Possible settings to control the layout include:

@runevision one approach I've seen is to make each edge a spring (attracting proportional to length, but then say each vertex is a charge which repels other vertices proportional to 1/distance^2
@mattgodbolt So I tried this out with Rust and saw the same codegen that you describe (kinda crazy!). However, I tried the -march=sandybridge thing, but it didn't emit the xor eax, eax you said. I did see it with C++, though.
How would one go about benchmarking if the sandybridge popcnt issue is real so that I might try to fix this in rustc?
@thinkygames wrong link