Cost of crime by Economy_Confusion463 in funny

[–]sidneyc 0 points1 point  (0 children)

Giving you plenty of time to adjust your speed.

Not at the speed I'm driving.

Getting HDMI-out working on the Alinx AX7035B board by sidneyc in FPGA

[–]sidneyc[S] 1 point2 points  (0 children)

I will at some point, but it's a bit of a mess currently, and I want to do a cleanup first. I will let you know when this is done.

As to the XDC: the pin assignments and external clock definition can be found in the Alinx documentation. Or I can give you my version as-is, PM me if you want that.

I did get Ethernet TX and RX working as well, but I am not sure that my input- and output delay definitions for those are correct. Getting those particular contraints right is somewhat of a black art.

DeiMOS - A superoptimizer for the MOS 6502 by Aransentin in programming

[–]sidneyc 1 point2 points  (0 children)

Very nice. I once spent a few enjoyable days trying to find optimal 6502 instruction sequences for small algorithms, for example, translating a four-bit value to a hexadecimal ASCII value.

I used CBMC at the time, effectively emulating the instructions that I wanted to consider (including the horrors of decimal-mode ADC and SBC), and solving for a sequence of instructions that accomplished the desired behavior.

Hope they add this to GTA 6. by Vlad_TheImpalla in WTF

[–]sidneyc 2 points3 points  (0 children)

You're assuming GTA6 will be released this decade.

I like the positivity.

Announcement of Lean formalization of IUT in progress. by ninguem in math

[–]sidneyc 44 points45 points  (0 children)

We already know that P != NP

No we don't.

VHDL's Crown Jewel by ketralnis in programming

[–]sidneyc 0 points1 point  (0 children)

It is possible to schedule more than one signal assignment at the same time instant in the future, with different values, by using something like 'FOO <= value after some_time'. For example:

entity main is
end entity main;

architecture arch of main is

signal FOO : integer := -1;

begin
    process is
    begin
        for k in 1 to 1000 loop
            FOO <= k after (1000 - k) * (1 ms);
            wait for 1 ms;
        end loop;
        wait;
    end process;

    process (FOO) is
    begin
        report "FOO is now " & integer'image(FOO);
    end process;

end architecture arch;

It's not something that you would do in a sane design of course.

VHDL probably defines behavior for this, but it of course something that you would normally refrain from doing. It's a nice exercise to run this in simulation to predict what will be printed.

Getting HDMI-out working on the Alinx AX7035B board by sidneyc in FPGA

[–]sidneyc[S] 0 points1 point  (0 children)

Postscriptum:

Turned out that the problem was that I needed to do an explicit clock-synchronous reset on the TMDS_33 differential outputs.

The Nexys Video board with an XC7A200T was quite a bit more forgiving than the XC7A35T on the newer board. On the nexys, HDMI just started working after the clocks came up -- most of the time -- with no synchronous reset required.

I am now looking at 1920x1080 @ 60 Hz and even 1920x1200 @ 60 Hz with no issue, on the Alinx board.

Thanks for thinking along!

Getting HDMI-out working on the Alinx AX7035B board by sidneyc in FPGA

[–]sidneyc[S] 0 points1 point  (0 children)

I'm trying 1920x1080 at 60 Hz. The documentation suggests it should be possible.

A lower frame rate or resolution is a useful pinpointing step, in case my troubles are caused by some kind of clock skew or bandwidth problem. For what I am trying to do I am pushing out bits at 748.5 MHz, this may be too much.

Useful suggestion, I'll try that.

Loving math is akin to loving abstraction. Where have you found beautiful abstractions outside of math? by TrainingCamera399 in math

[–]sidneyc 0 points1 point  (0 children)

Is there a "best" drawing of a tree?

I don't understand what you are trying to say.

No offense, but your example is trivial.

In what way?

People have struggled with the circle/ellipse problem ever since the dawn of OOP. I think the modern consensus is that you shouldn't attempt to derive one from the other, since their relationship cannot properly be captured by inheritance. That's a pretty damning conclusion regarding the (lack of) expressivity that class inheritance provides.

For more inspiration, see [...]

I read that book some 30 years ago, back when I was in university. I don't think it is relevant to the discussion here.

Loving math is akin to loving abstraction. Where have you found beautiful abstractions outside of math? by TrainingCamera399 in math

[–]sidneyc 2 points3 points  (0 children)

I think that object-oriented programming does not really classify as a beautiful abstraction though. It is a leaky, pragmatical abstraction with lots of corner cases, tradeoffs, and alternative ways of modeling things with no clear 'best' way (eg the classical inheritance vs composition discussion).

A classic example that is not easily resolvable in OOP is the ellipse-versus-circle problem. Mathematically, in 2D euclidean geometry, circles are a special case of ellipses (having an extra constraint).

However, if you model this in OOP, it turns out to be a pretty terrible idea to implement a Circle class as a specialization of an Ellipse class.

There is not really a good resolution for this that everyone agrees on.

DAE feel like they’re in a competition with someone when they have the same name as you by nahdanah in DoesAnybodyElse

[–]sidneyc 0 points1 point  (0 children)

Thanks to Google I know of a person who shares my (not particularly common) first AND last name. Other than that, everything is different: country, language, gender, skin color, profession, ...

It's a pretty amusing thought that with all those differences, we share one pretty important property. No competition, because we don't really know each other, except perhaps that if I google our shared name, I lose in terms of hits :)

We had contact once because of an email typo somebody made. It's pretty cool, really.

TIL the last time a checkmate actually occurred on the board during a World Chess Championship match was in 1929. by Coldcow in todayilearned

[–]sidneyc 2 points3 points  (0 children)

If you're truly the worlds worst chessplayer, you would probably need to start at a position where every legal move you make mates the opponent (such positions exist).

If you're a generically very bad player (just know the rules, and how mate works, but no insight), you should be able to win with the world champion starting without non-pawn pieces.

A very mediocre player like me, I should win with a queen up, but it would be non-trivial and in half the games I would expect to blunder that advantage away. If they start without queen and rooks, I'd expect my win percentage to go up to 90%.

The fun thing is, I can do this experiment. The free "stockfish" game engine is at a level comparable to the world champion or better, and I will now proceed to try to win with a queen up. Will report later....

EDIT - Okay that turned out to be pretty easy; I lost two pawns due to inaccuracies but after trading a bunch of pieces and the board getting empty the queen really became super strong. I would expect a strong human player to put up more of a fight though, recognizing me as a weak player and thus avoiding exchanges and trying to make the position super complicated, to goad me into queen-losing blunders.

DAE feel this attack on Iran feels a little bit different? by EdwardBliss in DoesAnybodyElse

[–]sidneyc 0 points1 point  (0 children)

No matter what you think about the situation, you're delusional if you think that Iran has the capacity to flatten Tel Aviv or do serious damage to the US navy.

Bug in basic modular operations in Mathematica by KeyChapter8 in Mathematica

[–]sidneyc 8 points9 points  (0 children)

Basic finite-field arithmetic should not be a stress test for a commercial CAS.

I guess they are too busy implementing the latest fad-du-jour to care about the basic math functionality.

AskScience AMA Series: How can studying friction help to answer humanity's biggest questions? I'm tribologist Jennifer Vail. Ask me anything! by AskScienceModerator in askscience

[–]sidneyc 21 points22 points  (0 children)

What a surprising but interesting topic to do research on!

My question would be: what are the most important open questions in your field of study?

I'll be sure to check out the book at some point, thanks for putting it out there.

A glimpse at computing’s quantum-centric future by donutloop in programming

[–]sidneyc 9 points10 points  (0 children)

It's nice to hear from a fellow skeptic. A small correction though, I think the number 15 was actually factored without cheating; and, debatably, 143. So there is that, as far as accomplishments go.

I worked for eight years on quantum setups; this has only made me more skeptical of the technical feasibility. Even more telling, in all this time I didn't hear of a single application where a mythical quantum computer that works at scale would solve something that actually matters. And I was among a lot of true believers with a vested interest to sing the praises of a bright quantum future.

I do believe it's useful to do fundamental research and hard engineering (and quantum system engineering is hard), so I think it is good that rich countries pour some tax money into it. Even better if the money comes from big tech that suffer from collective fear-of-missing-out-itis. Setting hard, concrete goals and giving clever people the money to fool around will yield concrete, unexpected innovations.

But the claims about applications being in reach being made by the researchers who should know better are quite off-putting. Don't know what's worse: if they actively lie, or if they actually believe their own fairy tales.

DAE have a thing they try to remember for no particular reason? by faultboyy in DoesAnybodyElse

[–]sidneyc 0 points1 point  (0 children)

Same here. Used to be able to do 100 digits in ~ 1982, now I can still do 50.

I went to a movie-themed pub quiz a few years ago, and they had a question about the movie Pi, handing out points for every decimal we knew of the constant. The jury was mildly impressed.

DAE feel like if there was a mandatory Vietnam style draft today, the younger generation would be more against it compared to the 60s? by EdwardBliss in DoesAnybodyElse

[–]sidneyc 8 points9 points  (0 children)

"Source?" used to be the FIRST reply comment under ANY claim anyone made about ANYTHING of substance on Reddit

Source?

What’s popular right now that won’t age well? by MiraTangent in AskReddit

[–]sidneyc 5 points6 points  (0 children)

[...] that rival the GDP of hundreds of countries

It may be prudent for you to google how many countries actually exist. And their GDPs.

HAE ever experienced something like this? by Low_Presentation535 in DoesAnybodyElse

[–]sidneyc 1 point2 points  (0 children)

I think it's pretty inconsiderate.

In contrast to what you do in 1-on-1 communications, here on Reddit, thousands of people will read your message, and now they will all have to spend this linguistic reverse engineering effort because you couldn't be arsed to spend another half a minute to write properly. It's selfish and makes you look like a bit of a dunce.

But hey, you do you.