No, but they share logic as the foundation. A SAT solver merely solves a series of Boolean equations, typically in conjunctive normal form. Prolog has deduction capabilities that go far beyond that, where you can reason over a tree data structure, computing various parts of it according to a set of constraints. A SAT solver is not Turing complete. Prolog is. You could use Prolog to write a SAT solver (though it wouldn’t be very competitive with solvers written in C or other languages).
Major companies like that become infected with large hierarchies of scum sucking middle management that eat revenue with bonuses.
Of course they are obsessed with shrinking labor costs and resisting all downsizing until it reaches comical levels.
Take a company like health insurance that can't show a large dividend because it would be a public relations disaster. Filled to the gills with vice presidents to suck up extra earnings. Or medical devices.
Software is also very difficult for these hierarchies of overpaid management, because you need to pay labor well to get good software, and the only raison d'etre of these guys is wage suppression.
Leadership is hard for these managers because the primary thing rewarded is middle management machiavellianism, turf wars, and domain building, and any visionary leadership or inspiration is quashed.
It almost fascinates me that large company organizations basically are like Soviet style communism, Even though there are opportunities for internal competition. Like data centers and hosting and it groups. They always need to be centralized for" efficiency".
Meanwhile, they are like 20 data centers and if you had each of them compete for the company's internal business, they'd all run more efficiently.
> It almost fascinates me that large company organizations basically are like Soviet style communism, Even though there are opportunities for internal competition.
probably because continuous competition is inefficient within an organization and can cause division/animosity between teams?
> Why is there competition in the open marketplace? You have just validated my suggestion that internally companies operate like communists.
i am not an expert, but i think the theory of competition leading to better outcomes in a marketplace is the availability of alternatives if one company went bad (in addition to price competition etc)
inside a company you are working for the same goal "against" the outside, so its probably more an artifact of how our economy is oriented
i'd guess if our economy was oriented around cooperation instead of "competition" (while keeping alternatives around) that dichotomy might go away...
Look at that: a massive 15 deep precedence order for pulling just individual values (oh man, doesn't even touch things like maps/lists that get merged/overridden).
That includes sources like the OS, environment-specific, a database (the JNDI registry), XML, JSON, .properties files, hardcodes. Honestly, I remember this being even deeper, I suspect they have simplified this.
This doesn't even get into secrets/secured configuration, which may require a web service invocation. I used to also pull config via ssh, or from private gits or github, from aws web service calls (THAT required another layer of config getting a TOTP cycled cred).
Aren't websockets the only way to some sort of actual multi-core and threaded code in JavaScript, or is it still subject to the single background thread limitation and it just runs like node does?
I wrote a really long blog post about this once without the clock metaphor.
This is far superior in illustrating the slippery slope.
Aside from that slide too an inevitable dinner with Turing completeness, there's often the problem of sourcing information from multiple files overlaying it backtracking where it's sourced from.
Docker files are an example of this, as is the complete list of config values in spring framework (it's like 30 different sources).
In addition config starts getting into secured secrets, service invocations, database lookups, operating system commands, and who else knows what.
So not only is it really a touring complete problem, it veers into hellscape that is system integration.
"You are believing the trash talk and allowing it to intimidate you. You are helping them by spreading it and legitimizing it."
I take this as "Just ignore the rhetoric and threats from Republicans because they are empty and you're helping them spread the hate which gets more them support"
>Because if enough people chant that, then it will become a real possibility.
I'm not sure what you mean. Can you provide an example?
> "Just ignore the rhetoric and threats from Republicans
No, you need to stop them. You need a plan for victory. Testifying that they have unstoppable power is an indulgence in cowardice. At halfime, do athletes say 'we can't possibly stop them!' It's just someone acting out their fears.
Or are you dismissing overt signalling of fascism as "just owning the libs"? Are you just cherry picking communication you feel safe about and ignoring the huge glaring signs being flashed by dozens of appointees? Are you pretending Obama and bush established legal precedents for classifying citizens as enemy combatants for rendition, denial of due process, and murder by drone without trial? That we don't have a better than 1984 turnkey oppression and total.monitorinf infrastructure for any despot of sufficient motivation which this admin has amply stated affection towards?
Language is important from leaders. So is consistency and some degree of integrity. Even disingenuous cowtowing to appearances and political norms constrains power and abuse.
I'm not sure what you are saying, but I'm not dismissing it, I'm saying we need to stop repeating their propaganda of terror and intimindation as if it's true. Be effective, not spread the poison of helplessness and fear.
For a supposedly intellectual site that I clearly am at best in the middle tier of intellectual ability, this place is shockingly passive and accepting of the converging futures of authoritarian AI and the marked collapse of political discourse, if not rule of law.
Maybe I'm just a dumb one that speaks up, everyone else has gone dark forest.
Lets say that a ton of us got a leaky look at what the likes of thiel datamimed from the humanity dataset. The last mile of the enlightenment wrecks all those romantic ideas of eternal progress by technology, self actualizationa and retardation repair by education pretty thoroughly. Those that are not in the know mimic those that are or just develop a amoral stance to whether and survive the times which are a changing. It turns out the civil liberty lessons do not survive the contact with the lovecraftian reality beneath. This whole 10 year ride since 2016 was not foreseen, predicted, effectively countered and not even mitigated by protecting cultural artifacts and institutions against the decay. The science whose prediction power is zero, who has no eclipse to show, is not one.
Dictatorships tend to do worse economically, the biggest example was the Soviet bloc which fell for economic reasons mostly.
You can accelerate this effect by doing sabotage. The WW2 CIA sabotage manual contains a lot of ideas that have pretty good ratio of problems created to personal risk.
That’s the truth, if we remain silent we will be targeted eventually. I am extremely disappointed by the lack of tech colleagues calling this out. I took an oath of ethics to do no harm and I see many people willing to use technology to find and silence critics of the government.
Fuck Donald Trump and his gross, weird, pathetic mafia.
This regime is a rogue autocracy strangling anything good about this once great country.
I hope every single person responsible for the many crimes they have committed (and they have committed crimes) faces justice, if not in this life, then the next one.
IME the authoritarian politics had much more support here; I'd say it was the majority of voices heard. It diminished considerably when Trump was elected and then took office.
But the silence has been a long-standing problem: HN has long been largely silent on the social and political dangers of IT - really an outrage; here are the people most responsible, and the outcomes are predictable. That would include especially disinformation and misinformation, and propaganda more generally; and also the power of social media. Those are what makes it impossible to do anything.
When things became so polarized, years ago, shutting down discourse everywhere, HN didn't work to solve the problem - they stopped talking too. Again, a big failure of the people with the knowledge, skill, and power. But shutting down discourse is not politically neutral - it's a great help to the corrupt and evil to hide what they do and prevent people from responding to it. Democracy dies in darkness, I've heard.
There's this macrocycle of fatigue related to Godwins law for, what, 30 years of online discourse.
The undeniable long term trend during this period has been increasing surveillance, control, centralization of power in the executive, weakening of rights, due process, legal authority, politicization of the judiciary, and majority minority slowly building a core base of manipulatable populism.
Maybe I'm naive about the past, even the last 75 years of what was really going on in Washington, but a Seig heil on national television with no pushback or consequences beyond grassroot pushback (and it has been ALL grassroot) was a crystallizing moment.
This isn't stuff to roll your eyes over as just Godwins law style hyperbole.
The only in the I mean only saving grace, is that the stock market exists for immediate political blowback. But the fact that the only functional political bulwark against trump is the second by second ticker of financial health of the oligarchs is really depressing.
Desktops have been in a rut for a decade. Windows has sucked post Win7 in ways that are either conspiracy or the most stinging indictment of managerial incompetence possible. Osx is good except it's key bindings are alien and the hardware is closed and apple hasn't improved it really at all in ten years and it has loads of inconsistencies with Linux cli. Linux has been in a huge rewrite of the desktop and graphics lift for no real end user benefit and flubbing the opportunity to make ground on windows while it tried to commit market share suicide.
3d compositing, ssds, mega displays, massive multi core, all completely wasted.
You know what I should be able to do? Hot execute windows and Linux and Osx on the same desktop without containerization that leaves 3d as an afterthought or worse a never thought.
It isn't now. Tariffs (long-standing ones that have survived both parties in power) in fact are keeping byd from the US market to protect primarily Tesla.
In Tesla because of the brilliant behavior of its precious CEO, will likely be specifically targeted for exclusion from subsidies in the EU, and inevitably at home when this administration passes by
> It isn't now. Tariffs (long-standing ones that have survived both parties in power) in fact are keeping byd from the US market to protect primarily Tesla.
This is a bad take. Nobody can compete with BYD. This isn't a Tesla vs BYD issue, this is a Everyone vs Cheap labor and deregulation issue.
Byd is a product of CCP subsidies, of course they can be competed with
It would simply take a government capable of recognizing the multifold benefits of EV transition: environmental, geopolitical oil independence, energy efficiency, associated alt energy rollout and grid adaptation, lower total costs and associated economic benefits, reduced cancer and air pollution death rates, reduced logistics costs.
That's just off the top of my head and I'm not even that smart
reply