adwn

82 ms·

961.
by adwn 6y ago
Okay, nice rant, but are too many layers of abstraction the actual cause for Wayland's (alleged?) slowness compared to X? From what I understand, no.
962.
by adwn 6y ago
> My point is that turing-completeness is not necessarily a desirable aspect of a language. Ah, okay, I see. > For some use-cases, like seting up a mainloop, you need an escape hatch because that mainloop is not going to be total.
963.
by adwn 6y ago
Maybe you mean optional totality? As in, a function can be declared to be total and the compiler tries to prove it? A language cannot be Turing-complete if it completely forbids non-termination, there is no way around this. Or stated diff
964.
by adwn 6y ago
> It was always about programming with pure and total functions in their mathematical version. Are you sure about this? A total function is defined for all of its possible inputs, i.e., it must always terminate. A functional programm
965.
by adwn 6y ago
> Yeah me too, Eliezer Yudkowsky comes to mind - there may be others but I think they're quite rare. Yudkowsky is not an entrepreneur, he's primarily a philosopher (regardless of his disdain for other philosophers) and second
966.
by adwn 6y ago
The German word for "self-employed" is "selbstständig", which can also mean "independent". That would be the perfect word for describing nih's situation.
967.
by adwn 6y ago
> Yes, hence the widespread criticism of capitalism. Social classes and social immobility are millenia-old phenomena and are completely independent of capitalism.
968.
by adwn 6y ago
> [...] how gpus subdivide work. That's a bad example: GPUs are all about shared memory, concurrently accessed by many threads. It's up to the programmer to make sure that there are no read/write or write/write data
969.
by adwn 6y ago
> Locking is a performance [...] destroying operation That is incorrect. Properly designed and implemented mutexes (like in the parking_lot crate [1]) are extremely fast in the uncontented case, and need just one byte of overhead (an
970.
by adwn 6y ago
This is not a radio broadcast, you can skip ahead to the interesting stuff (there's an outline with timestamps lower on the linked webpage). You can even download the episode and listen to it in your favorite player.
971.
by adwn 6y ago
> Sometimes I wish for a techless cloudless revolution when we just go back to the foundations of computers and is use plain text wherever possible. ... because software in the 60s/70s/80s was so reliable and bug-free?!
972.
by adwn 6y ago
> Why would you design one from scratch? The hardware out there is excellent and inexpensive. I thought the discussion was about open source printers , not about open source printer firmware ? Sure, you could probably reverse enginee
973.
by adwn 6y ago
> An open source 2d printer would allow for a lot of things commercial printers don't allow for. For example, I'd like to be able to print on things which are not paper. Those kinds of printers already exist commercially. The
974.
by adwn 6y ago
I think you're missing the main argument: It would take a lot of money and cross-domain knowledge to design and build a passable printer from scratch. Contrast that with software, where all you need is time and a low to medium power co
975.
by adwn 6y ago
The root causes of many (but not all) of our major problems are political or social in nature and can't be solved by throwing money or engineers at them. Also, there are many people on Earth, "we" can work on multiple probl
976.
by adwn 6y ago
> Treating otherwise unsafe code as safe because nontermination makes it dead doesn't strike me as particularly useful. It doesn't matter whether it's useful or not. What matters is that the compiler can't determi
977.
by adwn 6y ago
> I don't see what the halting problem has to do it. Is the following code safe? function_xyz(); let p = 0x1234 as *mut u32; p.write(5); It is safe iff function_xyz() does not terminate. To determine whether the c
978.
by adwn 6y ago
> I guess so, but I'd kind of prefer to be able to do everything I want in safe mode. Different people have different needs and want to do different things. It is impossible to satisfy everyone's needs – "do everything
979.
by adwn 6y ago
Judging by that user's other comments, you're probably right.
980.
by adwn 6y ago
> Vivado is a mess. I recently encountered a bug in the Vivado IP integrator packaging whatever crap where if you left the "Vendor name" field at its default value '(none)', the packaging aborted with an error becau
981.
by adwn 6y ago
> a small increase in temperature in the ocean, [...] or an increase in above-surface CO2 levels Those are permanent, globally occuring, chemical phenomena. A sonic boom is a very temporary, very local, mechanical phenomenon. You canno
982.
by adwn 6y ago
I don't think the fish below the surface of the ocean are going to notice some noise originating from 10-15km above the surface.
983.
by adwn 6y ago
> And because there are no people in a place, it's completely OK to pollute this place with noise, by burning bunker fuel, dumping unused munitions or mabye even nuclear waste there Boom won't burn bunker fuel, nor will it du
984.
by adwn 6y ago
> I'm curious to see how you'd describe this distinction though. One kind of "doing nothing" frees your mind to discover solutions and interesting ideas in a background process. Examples include talking a walk, ta
985.
by adwn 6y ago
> It's proven that "doing nothing" helps with creative thinking. The inventions you are talking about are a product of both hard work and laziness. The kind of "doing nothing" that helps with creative thinking
986.
by adwn 6y ago
> But 0.01% of one million is ten thousand 1,000,000 USD * (0.01 / 100) = 100 USD, not 10,000 USD. The company would have to be worth 100M USD for 0.01% to be worth 10,000 USD. > Disclaimer: I am not good at math [...] Indeed
987.
by adwn 6y ago
You can turn off alien attacks when you start a new game.
988.
by adwn 6y ago
> Not sure if this is sarcasm or not. It almost certainly is. > if there ever was a place where someone would say this with a straight face it would be HN. This is not my impression of HN at all. It might have been true, what, a d
989.
by adwn 6y ago
> I would expect a computer to see through that. If you actually look like you're 21 , then how is an AI supposed to "see through that", when all it has is an image of your face?
990.
by adwn 6y ago
> Given that most of the computationally expensive work in Python is usually offloaded to C extensions That only works if your application's hotspots are in a few, decoupled parts of your code – good examples are FFTs, data compre

More ›