skysight-inc/HackerNews huggingface dataset:
>Godel's incompleteness theorems state that there will always be statements that are true, but can never be proven to be true.

Not exactly. It says that incompleteness is always true for axioms of a consistent system. It does not have to hold for an inconsistent system of axioms.

>Fields should be as mathy as they can be, but no mathier. Otherwise it's just fake formalism, as you said yourself.

If I used the words fake formalism, i'm likely referring to the usage of big words and titles to falsley promote a sense of legitimacy. Like "System architect"

Fields should be as mathy as we can make them as developing a formal language around any concept aids in exact analysis.

>There are plenty of fields with "design" in the name that are quite rigorous: analog circuit design, digital signal processor design, microprocessor design, compiler design, etc.

Yeah but all of these fields involve intuitive guesses. Given specific requirements can you derive via calculation the optimal circuit design/digital signal processor design/microprocessor design/ compiler design?

These constructs are "designs" rather then calculations and they, as a result, reflect a lack of knowledge on how to calculate the best possible "design."
Unloved: Marketplace for pre-owned tech subscriptions
Imagine selling off all those annual subscriptions you don't use anymore and can't refund. We help you do exactly that. In a nutshell - unloved is a platform for buying and selling pre-owned tech subscriptions.
>general purpose Falcon Chip

general purpose embedded processor

All the example you sight are in embedded controller, where the author has been consistently comparing RSIC-V to General Purpose CPU ISA like x86 and ARMv8 / aarch64.

>The RISC-V BOOM has half the silicon area requirement of a comparable ARM Cortex CPU, is OpenPower based chips able to match that?

I did include the microWatts link in the post above.
The article doesn't give an explicit answer to why food production has gone down, but it alludes some reasons for it.

- Prioritizing on cash crops (corn, soy) instead of the traditional nutrient-rich crops which are more suited for the region

- Furthermore, the reduction of crop diversity might have lead to worsening of soil conditions

- Force-selling expensive equipment and materials (hybrid seeds, synthetic fertilizers) made farmers fall into debt, which could lead to a contraction of the farmer workforce

Although there needs to be a much more thorough study than this article to get the bigger picture, I think the main issue here is hamfisting American ways of mechanized farming to African land. With different soil, climate, and socialeconomic conditions, blindly modernizing agriculture might just not work on Africa.
The authors' argument fundamentally boils down to 'people want cutting-edge graphics and that always involves squeezing the last bit of performance from hardware with complex tricks'.

And while true for now, I think the title is plain wrong in the longer term. There will come a time in which hardware is sufficiently powerful that one no longer needs these tricks to create top graphics. And physically based raytracing absolutely will simplify all of rendering to a couple core components when that time comes.
It’s worth watching. Made me replace all our non-stick cookware with stainless steel
What a painful read. Im always surprised to find/meet these people who spend 20 hours per day, trying to make other people miserable. I guess I shouldn't be.
Can somebody explain the whole thing to me? I know how to programm on windows and linux, but thats basically at the level of calling the compiler and linker, and some parameters to sometimes build a dll. So what does this do, and how does it work? Does it apply to DLLs as well? Also, 'run anywhere' means on the same processor type?
Cyberpsychosis was straight from the Cyberpunk RPG that the video game is based on. That game is bascially Shadowrun without the dragons and magic and orcs. And Shadowrun went even farther, in that you'd literally die if you swapped out all your meat for robotics.

PS: I agree with the article. Even on meat-body point as far as cyberpunk the genre is concerned. But my feeling is that the dice game shouldn't have had it. Not that CDPR shouldn't have borrowed it.
AFAICS the argument is that the alternative approach of adding the most common instruction combinations to the base ISA (like base+index<<shift addressing mode) could have largely avoided the need for the C extension as well as macro-op fusion. This would have simplified the implementation of almost all cores, the exception being the smallest possible microcontroller.
Ashes of Star Trek’s Scotty Smuggled on to International Space Station
Blog post about Top level Await, with lots of Star Wars references
Dev.to: https://dev.to/puruvj/top-level-await-is-awesome-536d
My blog (read in dark or mid-day mode) https://puruvj.dev/blog/top-level-await
You are making the assumption that the actual science of Computer Science has anything to do with "Software Engineering". The formal theories of CS, eg proof of correctness etc, have very little to do with day to day programming. The only example I know of true software "engineering" was the NASA Space Shuttle software team.

But they had the benefit of a fixed platform and total control of the software environment. Attempts to implement similar levels of "engineering" (eg CMMI etc) always fail unless they have similar constraints.

Software development is not "engineering" in the classic sense, where there are a set of formalized approaches, acceptance criteria etc to specific areas of implementation.

People wrap things up in "process" to try to present a picture of "engineering" but it's a Potemkin village.

On the other hand, software "architects" are doing what building architects do. They apply heuristic approaches, hopefully using patterns that have shown to be successful. The reason architectual patterns appealed to programmers is because both fields are not engineering.

The trouble is that many software architects are focussed on the low level engineering. Architects that draw "C4" diagrams that go lower than maybe 2 levels aren't being architects.

Design doesn't travel in circles, it learns from experience. It understands that there needs to be constraints, otherwise the problem to be solved is unbounded. It understands that the system or product has to interact with its users and that the interaction needs to be as seamless as possible, so affordances are vital.

Don't judge a professional field ("design") by empirical science standards.

Design is not engineering.
> their belief that women are inherently less intelligent than men

Let's assume that the normal distribution of certain psychological traits differs slightly but in a statistically significant way between the members of the population who share certain biological traits. Should the study of these correlations be allowed or not? It seems an unspoken consensus exists that it is negative, i.e. if you pursue the study of these you might face difficulties when receiving grants and so on.

Is it really good for the society, including the groups that something might be hurt by these studies? One could argue the opposite: only by rigorous studies we can arrive to definitive conclusion as to which correlations exist, and this could be a starting point for understanding better how to deal with them.
I am not British, but instead American. I can tell you that approximately nobody cares about a symbol hanging in the House of Representatives. There are plenty of problems and controversies in US politics, but this is not one of them. Further, Latin has no political cachet in America. None of our politicians have studied Latin in ages, and you never see it used in political speeches. Nor do you see classical references made by politicians: none of them are referencing classical myths. I think you're projecting these aspects of British education and culture onto America.

Also, it's very obviously not the case that studying classics makes you imperialist. I don't doubt that some right-wingers may like to add classics into their educational program, to create a link to the past, as you say, but that is not inherent in classical studies.

I studied classics (mostly Latin and Greek) at the university level, and not only was the phenomenon to which you refer not obviously part of the teaching, it wasn't there in the first place.

In any case, the problem isn't the substance of studying Latin, or studying history of any kind for that matter. It's about people who already have right-wing views liking to use classical aesthetics.
See also:

https://www.ibtimes.com/apple-airpods-repair-recycling-impos...

https://motherboard.vice.com/en_us/article/yw9qk7/macbook-pr...
"Run anywhere" appears several times in the page, but it seems to be a wild exaggeration, especially given the comparison to Java.
Read art of war daily
Transform a design into Responsive Webpage with just a few steps
John Carmark retweeted this.
I've tried a number of these activities. What I've found is that most if not all the ones I've tried require and imply screen time. I go down rabbit holes of scrolling phone for the perfect sofa, the perfect cycling jersey, the best mountain airbnb, and so on.

The only real way to escape smartphones is to live a 1970s life where the only things you know come from other people or the radio/tv. I have a slight yen to try this but I can't bear to actually try it. It would be like cutting off a limb. I'd be so information poor.
Sounds like communism to me.
Here's a version of the story without pay wall, The Times version was the original.

https://io9.gizmodo.com/heres-how-the-ashes-of-star-treks-or...
45,000+ lines of Rust code later: An update on the Record and Debug Tool (rd)
> In fact, it's easier for AAA to become relatively irrelevant (compared to the overall market size - that expands faster in other directions than in the established AAA one) - than for it to radically embrace change.

This has already happened. AAA is now a small and ever-shrinking fraction of the overall games market.

Will raytracing the best engine that a 30-person team can build in 2 years any simpler? No, because "the best engine that a 30-person team can build in 2 years" is at a particular level of complexity by definition. Will it make the gap between the best engine that a 30-person team can build in 2 years and the best engine that one guy in his bedroom can build much smaller? Yes, yes it will.

Custom game engines are already dinosaurs; most of the money in games is elsewhere. I'm sure they'll continue to be produced, just like you can still pay a lot of money for a mainframe today. Mainframes were never defeated, not exactly - they can still do things that commodity hardware can't do. But they just became irrelevant.
I'm native American, visiting Sequoia national Park being among the ancient forests I literally start to hear the songs and the war drums of my people. One of the most amazing experiences of my life I always thought Richard fineman was crazy for beating a bongo drum. But he was on to something.
Cute trick, but probably fragile. It basically requires either writing functions like memcpy in assembly by hand or parsing the compiler-generated assembly post-codegen to determine the actual set of register clobbers. Otherwise it is bound to be broken as soon as the register allocator decides to clobber a different set of registers when generating the function.

Also, this effectively makes the body of the function a part of its public ABI, which makes it morally equivalent to inlining; it requires users of the function to be recompiled each time the body (and in consequence the clobber set) is changed. But since this seems to be static-linking-only library, this seems not that much of a problem in this case.

Still, I’m expecting improvements to whole-program LTO and inter-procedural optimisations to render this hack obsolete.
> The industry is ripe for formality in this area as we've been going in circles for decades. We are dealing with computers here: virtual idealized worlds ripe for systematic formalism.

The "industry" is not about computers, it is about the use of computers to solve people's needs. You're confusing the engineering with the need.

Sure, people wrap up stupid or simple ideas in layers of abstraction, usually because they want to sell consulting.

But this article was more about looking beyond the boundaries of simple software development, needing to understand the context of where these systems operate.

Essentially, your argument is proving the early part of the article, where the author is comparing how some juniors are excellent "engineers" but can't move up to higher levels of abstraction, vs others that might not deal well with individual details, but have a better understanding of how the systems they develop need to interact with the rest of the world.
Wow, it's really great doing so. Thank you for informing.
>There are tactics I call socialist tactics.

No, do not call them "socialist" tactics since it gives quite the wrong impression. They are just "Realpolitik". That said, i agree completely with your post, it is how people play games to get what they want. We just have to learn and beat them at it without moralizing.

Second Robert Ringer's books. A good follow up is his other book Action!: Nothing happens until something moves.
The Six-Lesson Schoolteacher, by John Taylor Gatto

https://www.cantrip.org/gatto.html
All of those were also part of my engineering uni days. I guess math & physics departments around the world are not so different
What about something like having fixed 64-bit instruction bundles, where the first 4 bits indicate if it contains 4x15-bit, 3x20-bit, or 2x30-bit instructions? This limits the combinatorial explosion in cases hardware needs to handle for variable-width decoding (effects don't cross 64-bit boundaries). One could reserve some of those 4-bit patterns for indicating instruction dependencies (a la EPIC/Itanium) and/or indicating extended functional units with completely different opcodes (similar to EPIC/Itanium opcodes having completely different meaning if marked as FPU instructions).

Presumably some of the 4-bit prefix patterns would indicate that the final instruction in the bundle was an immediate value instead of an instruction.

Alternatively, one could take a page form Sun's MAJC playbook and shorten the opcode of the first instruction in the 64-bit bundle by 2 bits to indicate 4x16-bit, 2x32-bit, 16+16+32-bit or 32+16+16-bit instructions in the bundle.
Thanks, that article is a great read. This was news to me:

Under the 1976 Toxic Sub­stances Control Act, the E.P.A. can test chemicals only when it has been provided evidence of harm. This arrangement, which largely allows chemical companies to regulate themselves, is the reason that the E.P.A. has restricted only five chemicals, out of tens of thousands on the market, in the last 40 years.
Thanks! Sorry for the delay in the reply.

I'm not sure if it will work in other recorders. I wrote them an email asking if the remote is compatible with various models. I'll post their answer in the GitHub repo (https://github.com/mattogodoy/h6/issues/1) as soon as they write back.
Ask HN: What have you automated on your phone?
Who knows, this might even persuade the "army of idiots" that wearing masks is a good idea!
What+Is+the+Mark+of+the+Beast?+(Revelation+13)+|+Gospel+Of+GOD
Are you happy with how it performs by comparison?
Lisp is imperative.

This is actual standard Common Lisp and basically the same (minus slightly different syntax) as the quicksort example from the link:

(defun qksort-inplace (a lo hi)
(declare (type integer lo hi)
(type (array float) a))
(if (>= lo hi)
(return-from qksort-inplace))
(let ((pivot (aref a lo))
(left lo)
(right hi))
(declare (type float pivot)
(type integer lo hi))
(loop while (<= left right) do
(loop while (< (aref a left) pivot) do
(setf left (+ left 1)))
(loop while (> (aref a right) pivot) do
(setf right (- right 1)))
(if (<= left right)
(let ((tmp (aref a left)))
(setf (aref a left) (aref A right)
(aref a right) tmp
left (+ left 1)
right (- right 1)))))
(qksort-inplace A lo right)
(qksort-inplace A left hi)))
Speaking of getting mileage out of a phrase, a related thing was discussed two days ago[0] - "anticipatory procrastination". I loved the following passage from the linked paper:

"For an early example, consider Fermat’s 1637 statement, “I have a truly marvellous proof of this proposition which this margin is too narrow to contain.” This statement incorporated a landmark proof technique. The ingenuity of this technique allowed Fermat to delegate his proof to 400 years of his students while keeping his name attached to the theorem."

--

[0] - https://news.ycombinator.com/item?id=25529126
Monitor resolution and frame rate inflation seem to have endpoints at 4K or 8K and 144Hz. Scene detail still has some way to go before diminishing returns and so that will consume years of hardware evolution. I agree with you in principle but I don't think we're within a decade of that yet.
There is another https://250kb.club/
If that's the case then Apple should not sell its devices where they can't deal with the climate.
It's a soundfield problem. This only works for wavelengths that are larger than the size of the emitters and the distance between them. And even then it only works well if you can get the emission pattern of your cancelling speaker exactly the same as the source.

So, assuming you had a magical beamforming speaker array around your circular saw, you'd still only be able to cancel frequencies around under 1kHz, because there's no way to get the thing in phase above that.

This is why noise-canceling earphones have much better active cancellation at high frequencies than headphones, which rely more on passive isolation until lower frequencies. They're smaller.
Would be nice with a TLDR on all links as many are not deserving of a click.
That's really badass, would def be interested to see the workings of this masterpiece
There is a typo in this fragment: "the following common fact about C which that's often overlooked". Just trying to help.
Thanks for the suggestion!
The `send` command is able to send any of the valid commands, but the library also allows you to do `recorder.rec()` and `recorder.stop()`.

Passing the time as an argument is a good idea! I'll take it into account.
Thanks for this! I just got a new phone with latest ios, and my HN reader (this one) was the one app that didn’t get transferred because “it’s no longer available in the App Store”. Even the in-app about links lead to “not available anymore” in app stores. Wonder if there is at least a PWA under the hood...
Thanks! That worked.

I also tried adding the line to a new file /etc/binfmt.d/APE.conf, but it didn't seem to work (after a reboot); after renaming the file to zz_APE.conf, it did work after a reboot. systemd's binfmt.d registers files in alphabetical filename order, so I'm guessing it's important that /usr/lib/binfmt.d/wine.conf is registered before the APE handler, meaning its filename must be alphabetically after "wine.conf".
"Shilling" rolls off the tongue better than "12 pence", but England still switched to decimal currency.

So make it 10000 bytes, then. That way it's easier to calculate how long it takes to transmit on the wire, since network speeds have always been 1000-based.

Edit: yes, I'm probably getting the pre-decimalization math wrong above, since I'm likely confusing pre-decimalization pence with post.
It was also originally Startup News, and changed names about (iirc) 12 months later.
Regarding consensus desktop APIs, maybe it's time to re-invent/-introduce Win32s ;)

(Although adding that to the library would add considerable bloat, and cross-platform runtime dynamic linking or a "dynamic polyfill" might be a bit beyond the scope of this)

Or raw X11 protocol, of course (WSL made X11 servers on Win10 quite common, and . If that wouldn't be so horrible, it would be interesting how small one could get basic widgets starting from scratch.
Yes I've had a similar idea with a condo neighbor with loud bass, it must be possible to have some attachment you put on the wall to cancel it out. That would sell well
Even still, artifacts don't last forever. The vast majority of the things our civilization has built would be destroyed or rendered unrecognizable within a few centuries of being abandoned. Even things specifically designed to stand the test of time are unlikely to last more than a few orders of magnitude longer than the civilization that produced them.
A new tool that helps daytraders enter and exit their trades better
They don’t call the F-22 and F-35 fifth generation fighters for no reason. There have been many iterative improvements since the ME-262 and Gloster Meteor that would not have happened without the intermediate steps.
TL;DR: out-produces by acre (and acre-foot), not by dollar.

I'm pretty sure we've already known for decades that there are few non-economic limits to intensification, but it's nice to have the (practical?) example.
Ranked by Alexa popularity.

How many HN readers are actually installing the Alexa plugin/extension?
Not the creator, but this was created 13 years ago.

It seems like it is about 8 scenes that spawns the next scene in the vanishing point of the current scene.
Wait, did the site go down again??
Talking about continued usage after his battery expanded was scary - they are dangerous!

Great link to resource https://www.ifixit.com/laptop-repairability to choose a repairable laptop.
> Related question: is it physically possible for DuPont to synthesize and release an amount of persistent environmental toxin sufficient to end all higher life on the planet within 500 years?

Never thought about it this way. Scary interesting.
> It hasn't worked — but it has upped corporate agriculture’s profits

Perhaps one conclusion to consider is not "it didn't work" but rather "the real objectives were different from the publicly stated ones."
Best AI&ML Tools When You Work with Projects for Telecom Industry (+Use Cases)
> The "problem domain" defined within a computer is NO different.

yes, you are correct, a specified problem domain within an implementation can be formalized, proved correct etc.

But that literally has nothing to do with the actual problem, which as Twisol said is about mapping the problem domain and the software domain so that both are supported.

Both hardware and software have moved in well known cycles. Processing has moved from CPUs to external processors (IO, then GPUs etc) and back again as hardware capabilities change. When comms are slow, its better to have two smart ends so that you minimize the information that needs to flow. When comms are fast, you can make one end "dumber".

Your entire premise is at a different level of abstraction than "software architecture" or "systems design". You haven't proposed a mechanism by which messy human problems can be formalized.

Software architecture and design is about dealing with non-deterministic, non-linear, fractal environments and the computer and systems science hasn't provided the theoretical frameworks that would allow the environments to be formalized so that they can be "engineered".

It's definitely not "science", either is it "engineering", but it is definitely a discipline. You are judging one field by the axioms of another and then declaring it invalid because it doesn't comply.
I like to visit hckrnews.com first, because I can quickly see what the most engaged topics were. The good thing is that it's just an alternative main site, it doesn't take over the comments section.
Resources to Crush the Technical Interview
PostgreSQL PubSub Video
If markets valued the low-CO2 nature of nuclear, they’d be doing better

https://whatisnuclear.com/economics.html