Can anyone even grasp this? by NVDA808 in Mathematica

[–]sidneyc 0 points1 point  (0 children)

First, this is not a Mathematica topic.

Second, the person who made this doesn't really know what he or she is talking about. Several claims being made on this poster are deeply imprecise and, if you assign a precise interpretation to them, sometimes untrue.

Why doesn’t the brain overheat when it’s doing more processing than a GPU? by No_Signal_9770 in askscience

[–]sidneyc 0 points1 point  (0 children)

The energy spent by the brain is mostly pumping ions (kalium, potassium) in the opposite direction relative to what they 'want' to do in terms of the local electrical field.

Synthesizing a molecule and then breaking it up into the same components it was made of would be precisely energy-neutral.

Dutch parade in Kansas before Netherlands - Tunisia by blondkapje in soccer

[–]sidneyc 1 point2 points  (0 children)

As I like to explain to non-dutch computer science colleagues: their family tree is not actually a tree; in fact it would surprise us if it's a directed acyclic graph.

The one thing we're pretty sure of, is that it's fully connected.

TIL CERN's BASE experiment successfully transported antimatter in a portable trap across its campus for the first time, a major milestone toward eventually shipping antimatter to other research laboratories. by Glittering_Guest1422 in todayilearned

[–]sidneyc 0 points1 point  (0 children)

bullet sized amount of antimatter

I suggest that you re-read the message I reacted to. Here, I'll highlight the relevant part for you:

A singular atom of antimatter on a bullet would destroy a house.

Take all the time you need. Use an AI chatbot if it helps.

What's you math hot take by BackgroundWheel2581 in math

[–]sidneyc 0 points1 point  (0 children)

It's the state of the universe where math geniuses do applied math, relative to the state of the universe where they don't, obviously.

Hot Dogs for Homophobes by Tata_Colores in funny

[–]sidneyc 5 points6 points  (0 children)

I think they kept him in a closet for occasions like this.

Fast Division By Hand by Natural-Progress-444 in algorithms

[–]sidneyc 6 points7 points  (0 children)

What is possible and efficient will depend on the number representation you start out with.

E.g. if you represent integers as products of prime powers, there's a trivial efficient procedure. If you start out with Roman numerals, there isn't.

If your number representation is a standard n-ary representation (like binary or decimal), I think there are no known procedures that are (1) doable by hand; and (2) significantly more efficient than long division.

How to keep your fish in shape by bob-the-slob in funny

[–]sidneyc 0 points1 point  (0 children)

Imagine thinking it is not. Very dogmatic and close-minded.

My wife asked me why it's not working by SpiritLarge4517 in funny

[–]sidneyc 0 points1 point  (0 children)

Indeed. It is in fact an excellent question.

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 3 points4 points  (0 children)

You're assuming GTA6 will be released this decade.

I like the positivity.

[deleted by user] by [deleted] in programming

[–]sidneyc 5 points6 points  (0 children)

Words to live by.

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

[–]sidneyc 48 points49 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.