HN user

d_tr

966 karma
Posts31
Comments520
View on HN
flow.byu.edu 2mo ago

Making Julia as Fast as C++ (2019)

d_tr
86pts62
github.com 11mo ago

xbyak: A JIT assembler for x86/x64 architectures

d_tr
2pts0
shader-slang.org 1y ago

Slang Graphics Layer

d_tr
1pts0
francisbach.com 1y ago

The unreasonable effectiveness of Richardson extrapolation

d_tr
1pts0
scala-native.org 1y ago

Scala Native

d_tr
1pts0
github.com 2y ago

A proof that Meson is Turing-Complete

d_tr
11pts10
blogs.scientificamerican.com 2y ago

Evolution: Watching Speciation Occur – Observations (2011)

d_tr
1pts0
en.wikipedia.org 2y ago

Yutaka Taniyama

d_tr
1pts0
itzareyesmx.medium.com 2y ago

The Annual Cost of Technical Debt: $1.52T

d_tr
21pts37
www.europeanpharmaceuticalreview.com 2y ago

Positive results for mRNA vaccine in melanoma patients

d_tr
14pts0
tomverbeure.github.io 3y ago

Building Multiport Memories with Block Rams

d_tr
1pts0
news.ycombinator.com 3y ago

Ask HN: Choice of HDL for an FPGA Project

d_tr
5pts4
maiabiotech.com 3y ago

THIO: First-in-class cancer telomere targeting agent

d_tr
2pts0
onezero.medium.com 3y ago

We Can’t Upload You, Sorry – Why we can’t put your mind in the machine (2021)

d_tr
10pts6
www.bigfeels.club 3y ago

What to do when you’ve ruined your life

d_tr
110pts134
www.sciencedirect.com 3y ago

The spontaneous remission of cancer: Current insights, therapeutic significance

d_tr
2pts0
www.preposterousuniverse.com 3y ago

Why the Many-Worlds Formulation of Quantum Mechanics Is Probably Correct

d_tr
3pts0
pulsar-edit.dev 3y ago

Pulsar: A Community Effort to Revive the Atom Text Editor

d_tr
115pts86
www.theguardian.com 3y ago

Chemical pollution has passed safe limit for humanity, say scientists

d_tr
6pts0
pirsa.org 3y ago

Carl M. Bender's Course on Mathematical Physics (2011)

d_tr
2pts1
backreaction.blogspot.com 3y ago

What Is “Nothing”?

d_tr
2pts0
yhetil.org 3y ago

Tentative Release Schedule for Emacs 29.1

d_tr
1pts0
www.gnu.org 3y ago

My Lisp Experiences and the Development of GNU Emacs

d_tr
3pts0
www.charvolant.org 4y ago

An Unreliable Guide to XKB Configuration

d_tr
2pts0
news.ycombinator.com 4y ago

Ask HN: Fully Functional Xilinx Vivado on Arch Linux?

d_tr
2pts2
git.savannah.gnu.org 4y ago

Emacs 28.1 has been cut

d_tr
7pts0
www.phoronix.com 4y ago

Arch Linux Now Provides Debug Packages, Debuginfod Integration

d_tr
2pts0
stallman.org 4y ago

The origin of the name POSIX (2011)

d_tr
4pts0
en.wikipedia.org 4y ago

TRON Project (Japanese OS)

d_tr
4pts0
github.com 5y ago

RMS support letter signees receiving harassing e-mails

d_tr
17pts3

Not having an extra language to deal with and so many features being just a flag away is why I decided to go with QtWidgets for the GUI of a project I am working on at work. And it is so nice to use despite being very old. For the graphically intensive parts I am just using Vulkan. I understand this might not be enough for all types of GUIs though and just wish QtWidgets had some sort of GPU acceleration.

I thought that if you have some idea about how hardware works, it is kind of more or less obvious whether something is synthesizable or not.

We Need to Die 7 months ago

but we’d be ruled forever by ageless ghouls.

We all know what the ruled do when they get really pissed. The prospective ghouls know it very well too.

We Need to Die 7 months ago

Exactly... Nothing can stop the masses. Plus, we have laws that can change and adapt.

For me, being able to visualize 4D would imply that I can picture four mutually perpendicular axes, something which I find completely impossible for me to do. And I thought it is impossible for any human brain. It would be fascinating if I am wrong.

Linear algebra is pretty straightforward if you learn it properly. Lots of resources seem to confuse matrices with tensors and linear operators because the creators don't really have any idea what they're talking about. Do yourself a favor, get a proper math book and be done with it once and for all.

Thanks. Maybe I should have stressed this more, but what I had in mind was a more mainstream language suitable for everyday programming too. All the languages mentioned in this thread are great but they are not getting any more popular and you would not use them to build, say, a game or a linear algebra library, right?

Functions map members of a set A to members of a set B. These can simply be Cartesian products whose members are tuples. In my dream PL syntax a function call would be a function name followed by a tuple, and that tuple would be no different than the tuples you would use in any other part of the program (and so you could use all the tuple manipulation library goodies). If the function preserves any other structure of the type, like an identity element, that could be stated so you could have morphisms. And that identity element or other properties could be declared just as other stuff like 'const' are declared, and since the compiler can't verify all these stated properties, it's on the user to provide correct info, just like it's on the user to write a correct program, so nothing lost here, and anything more, like verification by the compiler, would be a bonus.

Mathematicians have been packing all this stuff nicely for a couple of centuries now, maybe we could use more of their work on mainstream computing, and it could also be a nice opportunity to get more people to appreciate math and structure.

Something that has side effects all over the place should just not be called a function, but something else, maybe "procedure" would be an appropriate, clear term.

Just wanted to apologize for the shallow dismissal and the snark. This is going to generate cash flows so the associated activities are totally legit and not parasitic and a waste of oxygen. My gut reaction was not civilized.

You'll have to decide this for yourself. For me it's good enough. I had a 200 GB FLAC collection many years ago. I can't tell the difference and I don't care to try.

Arch + i3 is what I used until a couple years ago, then decided to move to Wayland, and Sway was buggy on my system so I went vanilla Gnome. It does all I need and also I get to have my settings in a simple script file which is just a bunch of gsettings calls.

I still think that the i3 way of managing windows is amazing, but I actually rarely needed lots of windows in the same workspace tiled.

I only have one extension installed from the package manager for the tray and that's it. Also on Fedora now only because of some proprietary software I need to run, but I also like the distro.

I have never used Spotify so I have no opinion on it, but have you tried YouTube Premium / Music? You can find all the music plus other types of good stuff you might like.