skysight-inc/HackerNews huggingface dataset:
What do you think of integrating propositional logic, first order logic and sat solvers in LLM output? ie forcing each symbol an LLM outputs to have its place in a formal proposition. And getting a prompt from the user to force that some parts be satisfiable.

I know this is not how us humans craft our thoughts, but maybe an AI can optimize to death the conjunction of these tools. The LLM just being an universal API to the core of formal logic.
Or worse a scam because it drives additional exploitation that would otherwise be uneconomic without government subsidy.

https://www.greenpeace.org/international/story/54079/great-c...
But you can do

foo=0 # true
bar=1 # false

[ $foo = 0 ] && [ $bar = 0 ]
baz=$?
echo $baz

The syntax is a bit unusual coming from more modern languages, as is the use of 0 as true. But you can express whatever conditionals you want. Remember that C originally had no dedicated boolean type either.

You could also use numerical expressions although I don't recommend it due to being even less readable (even more so if you have expression complex enough that you need to protect against overflow):

baz=$((foo + bar)) // foo && bar
baz=$((foo * bar)) // foo || bar
Just don't get a white cat with blue eyes (they're deaf).
Since this is based on a set of somewhat site-specific rules, perhaps they just have good coverage of websites typically visited by users in Germany so it's a good way to ship it to some users without disappointing others with a half-working feature?
While they were at it, just to be consistent, they should have added syntax for easy-to-use non-fucked-up less-arbitrarily-punctuated versions of control structures, too:

ifif [[ x == 1 ]] thenthen
echo "x is one"
elseelse
echo "x is not one"
fifi

forfor x in 1 2 3 dodo
echo "x is $x"
donedone

whilewhile [[ x == 1 ]] dodo
echo "x is one"
x=$((x + 1))
donedone

untiluntil [[ x != 1 ]] dodo
echo "x is not one"
donedone

The whole [[ ]] $(( )) ifif fifi dodo thing just seems like they're just doubling down instead of admitting they made a mistake.

And if they really wanted [[ ]] to seem like syntax instead of a shell command, they could at least allow it to be used without spaces on each side of it like $(( )) or parens or brackets in any other language. And every other language lets you use as many redundant parens as you like for clarity, without running twice as many commands or producing a syntax error or weird unexpected behavior. But I don't think clarity was ever a design goal with Unix shell scripting languages.
You can predict performance of certain tasks before training and it's continuous:

https://twitter.com/mobav0/status/1653048872795791360
What a shame, I was enjoying this blog. What's so controversial about these articles that they had such a problem with it?
I would argue this is obsolete technology (extremely high-res satellite cameras, low altitude drones) primarily intended for poaching of public funds.

Is there any indication this thing will be able to do anything current methods cannot for a fraction of a fraction of the cost?
It doesn't need to. It's only chromium that risks limiting extendability so much that ad blocking becomes impossible without changing core functionality of the browser.
Not sure what the seller would sell without the makers.
Do you think that somebody sold anything to 100M users? The above is correct if you are IBM or SAP, not in the case of open AI.
IE6 was the browser "most of the world used" too. But really, surely, there was absolutely nothing done well in it. The only reason it was the most used browser was monopoly abuse.
And while we can discuss the exact terminology of "a monopoly" and whether the Ie6 hegemony fit in there theoretically, that it came with the most used OS, really was the only reason it was popular.

With Chrome it is different. But at least a large part of its popularity comes from abused monopolies enforcing this software on people. Less than IE6 i'd say, but still a large part.
Here's a very brief description of two's complement that also happens to be a complete description:

Two's complement is ordinary integer arithmetic. There is no difference between two's complement arithmetic and unsigned arithmetic. All calculations are literally identical.

Unsigned integer arithmetic is modular arithmetic with equivalence classes having labels between 0 (inclusive) and 2^n (exclusive), while two's complement arithmetic is the same thing, but the equivalence classes have labels between negative 2^{n-1} (inclusive) and 2^{n-1} (exclusive).

Here's a table of three-bit values with "unsigned" and "two's complement" labels:

100 4 -4
101 5 -3
110 6 -2
111 7 -1
000 0 0
001 1 1
010 2 2
011 3 3
100 4 -4
101 5 -3
110 6 -2
111 7 -1

Note that when you're working in mod 8, 5 and -3 are the same value, so this is nothing but a labeling difference.
Sure but when you're out and about and don't have WiFi you'll be relying on your modem to send/receive pictures and all kinds of data.

Probably not an issue if you're all the time in cities with great coverage but you'll feel it when you go in "the woods" or well shielded buildings or basements.
It's only a temporary board.

Furthermore, being removed from the board while keeping a role as chief scientist is different from being fired from CEO and having to leave the company.
It's why, when we were full time in the office, I preferred the use of sticky notes. Physical task and progress tracking is great.
Chronotrains: Where can you go by train in 8h?
Let there be more Kindness... May one ask for an example of his kindness, if you would share?
RISC-V Vector Programming in C with Intrinsics
The article highlights one possible problem with carbon capture: that we can't capture enough.

But there is another problem with it. It's still a solution within the system of intense, worldwide consumerism. Therefore, if more carbon is captured, it will make fossil fuel use more attractive and so people will use more of it to consume more of Earth's other resources -- especially since carbon capture reduces the incentive to develop other green technologies.

I expect carbon capture to be much like other 'green incentives' like recycling and driving electric vehicles. Stuff is done but the CO2 keeps on goin', now at around 420ppm.

We need a new dimensions to these solutions: a more active attack against the capitalistic system that causes these emissions in the first place.
https://theaviationgeekclub.com/u-2-vs-sr-71-former-usaf-avi...

Why the SR-71 was retired over the U-2 which is still in service today:

> For a mission over a target in the Middle East with the planes based in England, [the SR-71] needed to have multiple airliner size aircraft in the air to support it.
> It was not capable of taking off with a full load of fuel (or rather, not advisable for many reasons), so in order to take off, there had to be a tanker waiting in the air to top it off once it got airborne.

> It would then make a high speed run to the target zone where it would meet up with another tanker before doing its Mach 3 run over the target. It would then need to tank up again once the recon run was done for the trip home, and then there would still be a tanker in the air on standby in case it needed gas before landing or in case it needed to divert for weather or something.

> So that’s a minimum of 4 airliner sized support aircraft, including all of their parts, fuel use, and crew, flying out of a minimum of 2 different bases just to make a single SR-71 operational mission happen.

> And that’s on top of all the crew, fuel, parts and mechanics just to operate the SR-71.

This sounds like dev hell, and yet a viable dependable product.
I wonder how many big corps operate the same behind the scenes.
Robotic excavation and dry stone construction using on-site materials
Small nitpick about the website: I'm one of those people that randomly select chunks of text as I'm reading it. It seems that your website make the selection background and text the same color (#fff in the CSS) making it unreadable when doing that.

Therefore I must here control my weird urge to select text, which may be good in the end, but I don't think that's what you intended!
The problem is that without embedded human smarts such exploration is very limited, novel / unexpected situations are hard to predict or react to, and the latency between earth-bound command posts and non-orbital remotes makes that unusable for anything beyond batch orders.

While hardly trivial, remote control within earth atmosphere has much more reasonable latency, and thus applicability.
What makes you sure this isn’t a drone?

And while satellites have obsoleted spy planes for many purposes for a while now, one thing they can’t do is go on demand to any arbitrary location
Take capitalism out of it, do we really want to boil down intelligence to a calculation of expected economic value?

Why force the term intelligence into it at all if what were talking about is simply automation? We don't have to bastardize the term intelligence along the way, especially when we have spent centuries considering what human intelligence is and how it separates us from other species on the planet.
In case you're wondering why you're downvoted: This is a spy plane, not a delivery vehicle. The closest competitor would be satellites, but as the article mentions, there's limitations to those.
The majority representing non technical population, journalists and 50+ expert dependent bureaucrats (mostly law academics - never worked really) shitting their pants over alleged "ai" dangers indoctrinated by "ai" executives to push ahead regulation to secure their market position, or in the case of google because it makes their now shitty search business model obsolete in the long term, by creating entry barriers thus reducing competition.

Meanwhile a guy somewhere in Africa adjusting an answer probably stating that humans can do photosynthesis: bruh
Ask HN: Has the quality of Meta's social media products fallen?
Over the last year, I've noticed a number of bugs that should not be a thing for the major products of a massive tech company:

1. As I speak, I am unable to log in to my organisation's Instagram account because the security code I requested has not been delivered to me via SMS, WhatsApp or email. It's been almost 2 hours.

2. Since December last year, I've had a post pinned on another organisation's Facebook page with no way to remove it. We usually pin recent posts to increase visibility. We can't do that anymore.

3. The Facebook Business Suite mobile apps don't clear unread message and comment notifications after they're read. This has been the case for years.

Does anyone else feel like they're neglecting quality on their core products?
> vs expensive and overly complicated delivery vehicles.

Was the sr71 equipped with weapons ? If the sr72 also is a reco aircraft it wont deliver anything
I don't other than this list https://www.listmuse.com/greatest-irish-history-books.php but I haven't got around to ordering or looking for them locally.
https://nitter.net/louis030195/status/1727495156918861836

there is only his discord..
It seems to me like you are trolling given your low effort and inflamatory responses.

I didn't say they're perfect methods or systems. Intelligence operations have mixed outcones partially dependent on adversarial actions such as ops sec or counterintel. This isn't a new or unique phenomenon.
Pettoon - Long Live Pets and OpenAI
What an amazing week it has been with OpenAI, so glad they are back and as a tribute. As a small indie dev team in the UK, we've just released our latest pet product based on OpenAI tech.

Love to hear your feedback!
... died 16 September.

Should the title be updated?
So does this mean that whenever one is working in 8 bits that it’s taken for granted that the upper bounds represent negative integers? Or does it rather depend on the context?
> Every bit of innovation in the AI space today originated at Google.

It all originated at universities.
Oddly enough

Pinging abctaylor.com [82.71.78.1] with 32 bytes of data:

Request timed out.

Reply from 82.71.78.1: bytes=32 time=186ms TTL=55

Reply from 82.71.78.1: bytes=32 time=208ms TTL=55

Request timed out.

Reply from 82.71.78.1: bytes=32 time=200ms TTL=55
After decades of speculation turns out that JFK was killed in pursuit of the perfect shower
This is not an either/or situation. It's possible for both the USA and Canada to be stealing top talent.

Anecdotally, I have met many Indian people in IT and they have all been top talent.
This article is bizarre. ProPublica really took four trips to a town of 220 people with

> four journalists toting notebooks and a video camera, driving around town, flying a drone overhead, watching police officers wait for speeders.

and all they could dig up is "the mayor shouldn't be the judge of this traffic court"?

Sure. It's a town of 200 people. On the scale of abuses of power going on in hick towns, this doesn't even register.

Is this really what "holding power to account" looks like?
I'm guessing it will be a drone. So no reason to ask for a speed check:

https://news.ycombinator.com/item?id=36041845
Hi arran-nz, we plan to add batch-export in the near future. This how-to on how to export from the desktop clients will already help: https://tuta.com/support#generalMail

We also plan to re-build the search, as results on the browser are not good enough. In our apps (desktop & mobile) it works much better, please try search there!

Unfortunately, we can't build a bridge as this would leave your emails decrypted in a third-party client and open to tracking and vulnerabilities there. We can't allow that and promise maximum security at the same time... In the Tuta clients all your data is always encrypted.
Fair, I was grouping it with the new bomber (in terms of expensive airplanes when there are other effective yet kinder to the taxpayer solutions).
I understand it is a drone.

You have a point there, but only marginally, as current rocket tech is making rapid deployment of satellites a breeze. I'm not talking about Musks or the Chinese reusable rockets - the military doesn't care as much about economics and had the ability to rapidly launch satellites from planes for a long time.
> But once you achieve market dominance, your priorities have to shift. It's no longer "why wouldn't you try this" or "let's do the right thing." It's "why would you rock the boat and risk the nice thing we have?" It's not just about profit. Careers and incomes are at stake. People will get hurt.

Many will laugh, but I'd make the case that in general (of course there are some nasty exceptions), Apple has managed to keep prioritising its customers even after achieving their current market share.

It's a conscious choice by leadership, not some inevitable destiny.
Take a look at the highly conspiratorial website https://www.opensecrets.org for an example of how i enquire by looking at sources and money flow helping me realise most politicians are bought by lobby groups working for the owning classes and vote thereafter, not "sincere belief in ideology".

This "you're just a conspiracy nut" perspective for looking at actual networks of power and sources, became common after journalism pretty much died with local media as they shifted to ownership from a few parent conglomerates all working for elite interest.

Now news is about "ideas" and "events" not key players, money and networks of power ultimately benefiting the richest that kan in turn easily sway public opinion without resistance through PR, think tanks and media ownership.

I don't know when you think this rather beautiful "sincere belief in ideology" became the primary driver of history and politics, to me that's a highly naive after a bachelors in History and a love for the pretty standard historiographical realpolitical and resource oriented lenses adjacent to works like Guns, Germs and Steel.
If there's money to build a 5-lane road, there would have been money to build the footbridge or tunnel.

But more realistically, in other countries the 4-lane road would go around the village, and a 2-lane road with a low speed limit through it.
What is this? What does it do? It's just a login-wall.
I'm a 1024 kind of guy, so I should have used KiB. I like your attention to detail.
Either I've read a blog post you've written before or this is a common occurrence.
One thing I noticed is that many of the people I follow on X either moved to Bluesky (mostly artists) or to Mastodon (mostly programmers). So now I have the people I follow spread out between 3 different platforms, and that sucks. Are there any apps that can unify my feed?
#GenerativeAI #ai #aiautomation #naturallanguageprocessing #FutureOfWork #DeepLearning #NeuralWave #ArtificialIntelligence #WorkplaceRevolution #DigitalTransformation #ProductivityHacks #AIGameChanger #EfficiencyBoost #SmartWorking #MachineLearning #LLM #LargeLanguageModel #TransformerArchitecture #FoundationModel #GPT #PaLM #ActionTransformers #generativeai #IntellitentCoWorker #AICoworker #SmartCoWorker
Intelligence must inherently be a function unless there is a third form of cause-effect transition that can't be modelled as a function of determinism and randomness.
There's a heck of a lot fewer mods, and they're far less interesting. Not to mention its redstone leaves something to be desired.
What about this one? I think I found it in a Stack Overflow answer a year or two ago. I've used it, but haven't tested it for effectiveness in avoiding spam.

<a href="#" class="cryptedmail" data-name="david" data-domain="davidlane" data-tld="io" onclick="window.location.href = 'mailto:' + this.dataset.name + '@' + this.dataset.domain + '.' + this.dataset.tld; return false;"></a>

Paired with this CSS:

.cryptedmail:after {
content: attr(data-name) "@" attr(data-domain) "." attr(data-tld);
}

Which results in a clickable link that opens whatever is set up to handle mailto: links (1).

1: https://nexus.armylane.com/files/email-crypted.png
Most packets follows the same nodes in the graph. You have some divergence (eg. ARP packets vs IP packets to forward), but the bulk of the traffic does not. So typically the initial batch of packets might be split in 2 with a small "control plane traffic" batch (eg. ARP) and a big "dataplane traffic" batch (IP packets to forward). You'll not do much SIMD on the small controlplane batch which is branchy anyway, but you do on the big dataplane batch, which is the bulk of the traffic.

And VPP is targeting high-end system and uses plenty of AVX512 (we demonstrated 1TBps of IPsec traffic on Intel Icelake for example). It's just very scalable to both small and big systems.
What does accountability look like for those agencies or other government agencies in general? How can we achieve that?

The current paradigm is that agencies generally are accountable to congressional committees and the courts. I'm not sure how we would make them accountable to the public when there's very little accountability for elected representatives even.
Or make it completely disposable. If you don't worry about recovering anything, the amount of fuel needed is less than 1/2. Heck, send 2 and get it in stereo.
Thanks for comment. Can't reproduce on my M1 MacBook Air using Safari though.

Game is built with -O3 and -flto.
>reward system

Is a good idea if you need a (relatively) constant result because your brain adapts to the idea of getting a satisfying reward.

https://www.youtube.com/watch?v=s5geuTf8nqo (+ some other of his videos about rewards)
Yea, https://pbs.twimg.com/media/FpLhuguXsA8YE8V?format=png&name=...
sorry - wrong url: https://pettoon.aidraw.ai

How can I update the url (apologises I don't often post here!)
ICBM makes no sense to use. There are no targets suitable for ICBM.

Same for hypersonic reconnaissance airplane - expensive and no much sense to use. Either satellite or small slow low altitude reconnaissance dron, which could fly for hours to provide realtime image of the battlefield.
Only carbon capture keeping with the current level of emissions (from us and from the feedback loops that we are triggering is an illusion.

Is essentially taking water from a lake with an expensive dropper while multiple firehoses (making profit for doing that) are feeding even more water to it.

But, it is part of the solution. Even shutting down the firehoses from one day to the next won’t stop the cumulative effect of all the water that is already in the lake. Things will fall by its own weight. Anything that tries to be “solution” should target both things.
These guys smell so much like Tesla it's not even funny. Very impressive core tech, and genuinely advancing knowledge. But the hype train is just so powerful that the insane (to put it mildly) claims are picked up without any sense of critical thinking by seemingly intelligent people. They're both essentially cults at this point
Why... bhyve, there's 0 advantages to kvm.
I have an M1 MBP that from work an a M2 MBA for my home, I don't think I'll need to upgrade for the next decade
What does this about specialized AI vs AGI?

It would seem that an investor bet like with bitcoin would be on the specialized SoC not the tech above the chip itself.
You will notice that the parent article mentions "dash."

The dash shell is small and fast, but it does not allow any bash/korn language extensions beyond what was recorded in the POSIX.2 standard in the early 1990s.

Linux users should care because the Debian/Ubuntu family use dash as the system shell, so this problem is very real as many have learned.
Except FAANG, NSA, CIA and other 3 letter agencies and their clients.
This, especially given the timing. The drama must have quite disturbed the momentum they had, and this piece of prototype-teasing has all to reassure their market. It projects new advancements of untold impact, stoking the greed. And of course it is not verifiable. The show must go on.
The seller will always find a maker, but a maker won't be able to make without (being) a seller.

It's normal to sell without actually having anything. Like, famously, Bill Gates and DOS, and many other examples.

You can't rely on "build it and they will come" - that happens only in special circumstances (first mover in a new market).
For me two’s complement started making sense when I realized that for example when you subtract 1 from 0, regardless of using signed or unsigned, you get 11111111 (assuming 8 bits). Using two’s complement, we just interpret it as -1, but the binary arithmetic is the same.
All I see is a lot of cope and bickering about small things.

Fact of the matter is that google doesn't make good interesting and innovative products because it has started drinking it's own cool aid.

About at the same time as when they started becoming evil, getting political and influencing elections everywhere, they also stopped even trying to make innovative products and instead went full communist.

Everyone knows the effect that has on innovation but somehow SF techies and american wokies are unable to comprehend it, and vehemently deny it.
You might find it useful to play around with this:

https://thesis.laszlokorte.de/demo/number-circle.html

And notice how „just using the sign bit“ and the 2compl are just different ways to align interepretations with bit patterns.

But using the 2compl is the alignment that does not require special cases for handling the negative numbers as opposed to the positive numbers.
You don't need a cookie banner if you don't have 3rd party tracking cookies. It's really that simple.

The fact that all sites have them, shows us a terrifying truth: all websites are tracking us with 3rd party tools. "all" websites send our browsing habits off to (many) companies that will sell, mine or otherwise monetize our data.

Again: A cookie banner is not needed if you don't have 3rd party and/or tracking cookies. E.g. With matomo on your own domain, plausible analytics, or simply mining your servers logs with math, you won't need cookie banners.
Ah finally the engineers approach to the news. I'm not sure why we have to have hot takes, instead of dissecting the news and trying to tease out the how.
Ironic, given that they run the largest ad network on the planet. They could advertise others, but not themselves.