skysight-inc/HackerNews huggingface dataset:
Kaspersky took the US allegations very seriously, and moved all of their data collection and processing for the US (and quite a few other nations) to Switzerland. [1] They then made the facilities accessible to US and other "partners" to inspect the code at said facilities, compile it from source (to compare distributed binaries), audit their data handling/processing procedures, and so on.

It'd be pretty easy to see if the software was missing Russian state malware both by inspecting the code, or simply installing it on a test machine and then running the scan. If this were the case, it's highly likely the news would be repeating it 24/7. So it seems safe to assume it's doing its job well.

[1] - https://www.kaspersky.com/about/press-releases/2020_kaspersk...
This entire movie plot sounds like Eliezer Yudkowski's much more realistic "one day, everything ends in 5 seconds" but with extra steps.
Would depend on the implementation, I think. You could probably write one like that, but as usual there will be trade-offs. I suspect it would also matter if you're targeting booleans or numbers.

The typical, obvious case how these things work in Prolog is in list concatenation. If you only supply variables it'll start outputting lists of increasing length with placeholder variables. It's a somewhat simple engine for traversing a problem space and testing constraints that uses backtracking to step through it. Some implementations allow you to explicitly change the search strategy.
I'm in. They’re working on an open-source operating system (e/OS) that prioritizes privacy and digital freedom, which I know many here are passionate about. It’s based on the Android Open Source Project but without the Google integration.

Murena has some ambitious goals, like hyperscaling active users and selling nearly 20K phones by next year. They’ve also partnered with sustainable phone manufacturers like Fairphone and Teracube, which aligns well with their ethos.

They’re already in overfunding territory, having raised €534K+ against a €400K target, so there’s clearly some momentum here. Given the growing concerns around data privacy and the monopolistic tendencies of Big Tech, Murena’s approach feels timely and necessary.

Just thought I’d share since privacy-respecting tech alternatives don’t come around every day.
Thank you. I had missed that the grey icons are hyperlinks with interesting stories.
I don't know a thing about LangChain so this is a real digression, but I often wonder if people who are critiquing GraphQL do so from the position of only having written GraphQL resolvers by hand.

If so, it would make sense. Because that's not a whole lot of fun. But a GraphQL server-side that is based around the GraphQL Schema Language is another matter entirely.

I've written several applications that started out as proofs of concept and have evolved into production platforms based on this pairing:

https://lighthouse-php.com
https://lighthouse-php-auth.com

It is staggeringly productive, replaces lots of code generation in model queries and authentication, interacts pretty cleanly with ORM objects, and because it's part of the Laravel request cycle is still amenable to various techniques to e.g. whitelist, rate-limit or complexity-limit queries on production machines.

I have written resolvers (for non-database types) and I don't personally use the automatic mutations; it's better to write those by hand (and no different, really, to writing a POST handler).

The rest is an enormous amount of code-not-written, described in a set of files that look much like documentation and can be commented as such.

One might well not want to use it on heavily-used sites, but for intranet-type knowledgebase/admin interfaces that are an evolving proposition, it's super-valuable, particularly paired with something like Nuxt. Also pretty useful for wiring up federated websites, and it presents an extremely rapid way to develop an interface that can be used for pretty arbitrary static content generation.
> The moment some backdoor is discovered in Kaspersky

What do you mean as "backdoor"? Any anti-virus software is a backdoor.

Anti-virus software is rootkit on your system.

It can literally upload any file on your disk to the cloud.

This is by design and this is why you dont want to run Russian state-controlled company software on your system.
Verlinden's remarks are pretty galling. She wanted to push it through because it would have made her (and Belgium) look good. What an absolutely insane reason to nibble away at people's freedoms.

Her tenure as minister had been pretty underwhelming, notable only for her ineptitude.
Yes, in Poland we do the same (mandatory visit to Auschwitz)
legalese is a subset of English.

BTW Rust (or any other so called "memory safe" language) is not the equivalent of legalese, it's the equivalent of using French because it's the "language of diplomacy" (that's why many English words come from French) instead of English.

If you're not proficient in French, French legalese won't save you.
The term "useful idiot" refers to Lenin - basically it is folks who might not be for the communist cause but are propaganda tools and usually ignorant they are being used.
> free energy supply is pointless when it occurs during times when nobody can use it

It’s useless if nobody uses it. The question is why the arbitrage, by way of storage or intermittent industry, isn’t happening.
The problem is you won't need to discover a backdoor. A security program can simply not catch a targeted set of threats.

Russia is the most sanctioned country in the world. That's economically bad for everyone; just less bad for the US than Russia. The argument that this is designed to help US companies is... crazy.
I've been waiting for this change for the last 40 years. It's about time.
I’ve never once heard this claim before. Where did you get that from? Seems entirely inconsistent with what Stuxnet was which is perhaps the most targeted hack I’m aware of in history. You don’t do that by loudly spraying and praying. Not how any of that works at all.
So, there was this one question "Can every map be colored with just 4 colors?"...

And there I sit, knowing that every map of CONTIGUOUS territories can be colored with 4 colors - but on real world maps, there are enclaves - little islands that belong to a country that they have not connection to. And if those shall have the same color as their parent country, then 4 colors is not enough...

So I pick the answer "NO".

> you are wrong!!!!! every map can be colored with 4 colors! it has been proven!!!!!
I'll take an alternative browser engine, even if it's written in C++.

> I'm curious

Is it really curiosity though? Because the answer is straightforward, the project started as a hobby, the developer picked whatever language they were proficient in. Andreas is open with the fact that he started Serenity OS and LadyBird as a rehab project. Put too much barrier in this setting (like learning a new language and all the ecosystem) and it might not happen at all.
I mean the AV software being used as a malicious agent.

> We fully believe that … the Russian government is either now using Kaspersky or certainly would be willing to use Kaspersky.

“Highly likely” is a shit of an argument that is exercised quite often lately.
> price of nuclear waste storage is usually not included

We don’t include the cost of disposing of spent panels and turbines either. Nuclear waste’s risks are hyped beyond reason. What kills nuclear is the capital cost of building it.

In the end, it’s fine. We’ll do gas + wind + solar and that will take us through 2050.
Their project life for solar and wind both seem to be 20 years to calculate LCOE.

That seems to be correct for wind that needs major refitting, but solar seems to be more durable.

Google suggests 10% loss after 20 years for solar.

Therefore, i have doubts that presented numbers are accurate. Solar will simply churn along for far longer, while wind will have to becreplaced.
You claimed there was zero evidence that the NSA was spying on illegitimate targets. Both articles emphasize there were numerous incidents of exactly this, both discovered and undiscovered. Snowden in particular emphasized the rather poor level of content auditing that was (and probably still is) going on.
At rhat point it's time to stock up on improvised explosives because you'd be fighting an authoritarian tyrant in a civil war.
First they came for my drug dealer…and I said nothing
5 Best Software Testing Outsourcing Companies Worldwide in 2024
Discover top-notch software testing and quality assurance services at your fingertips! Whether you're scaling your tech solutions or ensuring flawless user experiences, we've got you covered. Dive into reliable outsourcing with proven expertise. Click now to elevate your software quality seamlessly!
Studies are not ad tracking. It's worse and more like a backdoor for A/B testing of browser features. A few years back an update broke the Metamask extension and it was fixed by pushing via studies. At that point users weren't very aware the feature even existed and it caused some backlash since users realized there was a backdoor to push code into their browsers.

The backlash resulted in studies being opt-in, and I thought it still was but I don't know, I use "policies.json" to setup my browsers.
We also built our own system that caters for our customers' needs.
Because if you factor in the cost of storage there might not be arbitrage.
> the decision the Chinese government made to heavily subsidize solar manufacturing

This is often claimed, but does anyone have budget numbers or even a decent order of magnitude estimate for how much subsidy was applied here? Or was it actually the free market supplying compounding cost reductions through technological improvements?
> And as a bonus, those were added and activated as features via update, without telling. At least for me.

Ouch, they were new to me and also activated.
Excuse me, are you saying that teaching kids about past horrors including onsite visits to places where those horrors took place, with pictures and film and everything is "brainwashing"?
For me GPS definitely reduced my ability to find my way and the same should be true for AI. I think it could lead to reduced critical thinking. Frequent use of ChatGPT for quick answers may reduce opportunities to practice critical thinking and problem-solving skills.
Also passive learning might be an issue. Relying on AI for information without actively engaging with the material could lead to superficial understanding. Easy access to information might reduce the need to memorize facts, potentially affecting long-term retention. The same for writing and research. Generating text or conducting research might diminish one's ability to perform these tasks independently. On the other hand it's true for almost all technology so we might have more headspace for other problems.
> So if Superintelligence depends on AGI,

Not sure, is superintelligence generic, alive. Does it have motivation, goals? Sounds like a big calculator which he personally will control. Technically it's possible. LLMs aren't the end of AI evolution.

> To me, AGI still feels a long ways off.

It depends on how you define it. Just a couple of years back current LLMs' level was like from sci-fi. But here we are and progress is accelerating. I wonder how many labs and individuals are working on AGI trying to avoid any attention. It feels like any time now. May be something subhuman first.
Chat GPT is just GPT version 3.5. OpenAI released many other versions of GPT before that. In fact, Open AI became really popular around the time of the GPT 2 which was a fairly good chat model.

Also, the Transformer architecture was not created by OpenAI so LLMs were a thing way before OpenAI existed :)
> Plenty of people go out of their way not to harm ants

Yes... I do that. But our family home was still built on ant-rich land and billions of the little critters had to make way for it.

It doesn't matter if you build billions of ASI who have "your and my" attitude towards the ants, as long as there exists one indifferent powerful enough ASI that needs the land.

> An ASI would have far greater cognitive resources to be aware of humans and factor us into its plans.

Well yes. If you're a smart enough AI, you can easily tell that humans (who have collectively consumed too much sci-fi about unplugging AIs) are a hindrance to your plans, and an existential risk. Therefore they should be taken out because keeping them has infinite negative value.

> But humans could potentially communicate with an ASI and reach some form of understanding.

This seems undily anthropomorphizing. I can also communicate with ants by spraying their pheromones, putting food on their path, etc. This is a good enough analogy to how much a sufficiently intelligent entity would need to "dumb down" their communication to communicate with us.

Again, for what purpose? For what purpose do you need a relationship with ants, right now, aside from curiosity and general goodwill towards the biosphere's status quo?
Makes sense, perhaps this is also why nursery rhymes chop up words into syllables following the melody.
The capital cost of arbitrage tends to be a lot. It's only economically viable if there's regularly a lot of free electricity.
I can only see tris. It's quite rare to see .obj files with anything except triangles.

Or do you mean something like "contains implied ngons because of the way coplanar tri faces are arranged"?
the more important question is usually whether people outside the core dev team can (practically and legally) rebuild from modified source
Wow these guys are horrible at this.
> I mean the AV software being used as a malicious agent.

See the problem: there is absolutely no way to tell whatever AV software uploading your sensetive documents to it's servers for legit reasons or because it's spying on you.
Yeah, the entirety of Chip's Challenge for Windows 3.1 was less than half megabyte.
The sarcasm is heavy in that phrase, because it's always been promised by nuclear advocates and never delivered.
game engines typically do a lot of dynamic allocation, even aside from loading new levels; tight control over where that allocation happens and what to do when it fails is maybe the most important reason c++ is so popular in the space

c++ is a good example of having tight low-level control without programming with a lot fewer abstractions. indeed, the abundance of abstraction is what makes c++ usually so painful

i think it's reasonable to describe game engine programming as systems programming. i mean some of it, like writing interpreters, persistence frameworks, drivers for particular devices, and netcode, is pretty obviously right in the core of systems programming, but plausibly all of it is in that wheelhouse
Looks great! Although with the example.. I couldn't get it to show the "you need to be 21.." message to appear as a state
Ikr. They're up to some questionable decisions since long.

- Acquire companies like Pocket, Anonym in multi-million dollar deals and also the millions in bonuses that the CEO likes to enjoy.

- At the same time, no significant expenditure towards developing its core software. Firefox is still ridden with bugs. They even went as far as firing the people that used to work on Servo, Rust, WASM, etc.

I think it's clear to them that there's not enough money to be made with small tricks like Pocket, VPN, Relay, etc. Firefox is still the only profitable product and contributes ~90% to Mozilla's revenue. Much of it coming from Google which is the one thing that people have been asking them to be less dependent on.

And we shouldn't be surprised if they double down on making more money off of Google and also introduce ads. Acquiring Anonym, an ads company, implies that it might have already started.
“Learn from the mistakes of others. You can’t live long enough to make them all yourself.”

That's some good advice.
Mostly OT but:

Consumer-facing simplicity please. Don't make me think.

Give me a solution I can buy at the hardware store, that has 1, 2, or 3 standard panels (300W-400W) and that I can connect to 1, 2, or more old gasoline-car batteries (or UPS batteries). With measurement outputs over wifi that I can capture with Home Assistant. And with an AC output that I can connect to a TV to watch football, or to a blender to mix daiquiris. After I get some experience with power storage, I can scale it up and integrate to the grid.
Not when any home/hobby based astronomy is off the cards.
Could you explain your thinking a bit more? To me the "language of diplomacy" equivalent for computers sounds more like C calling convention, HTTP and XML or JSON.
tl;dr: you should eat more potatoes, fresh are more healthy than frozen.
The author’s Australian so I couldn’t help but read it in the voice of Robert Hughes, to narrate this new shock of the new.

“‘This is the real thing, this deserves respect!’. It isn’t and it doesn’t, and no one cares.”
I don't like langchain that much either. It's not as bad as LLAmaIndex and Haystack in regards to extreme overengineering and overabstracting but it still is bad.
The reason I still use Langchain is that often times I need to be able to swap out LLM service providers, embedding models and so on for clients. Thats really the only part about langchain that really works well.

Btw. you don't have to actually chain langchain entities. You can use all of them directly. That makes the magic framework code issue much more tolerably as Langchain turns from a framework into a library.
Use openrouter. One OpenAI like api but lots of models
Actually I am convinced that everyone in kremlin have the Diplomacy skill set to ZERO, all of them and their ambassadors, local leaders, duma politicians.

And the regular citizens that I interacted with are similar, for example a guy threaten me " my cousin fought in such and such Ruzzian war, he is not with the mafia and drawn a guy because X, do you want to have my cousin kill you? "

No sane goverment should run Ruzziancontrol software, even if the guy is a saint(we know is a KGB close friend ) the KGB goons will force him to install spuyweare in an update.
I found it very frustrating that in the recent Belgian elections, because the EU and local elections were combined, there was very little debate on this subject and EU programs in general. Luckily it was finally brought up in the media (although way overdue IMO)
I believe the fact that V8 vulnerabilities are not "classic" memory corruption can be attributed to their developers' experience and review processes.

This doesn't imply, though, that another project in C++ will share these traits.
> project life for solar and wind both seem to be 20 years to calculate LCOE

Not disputing, but where do you see this?

> Solar will simply churn along for far longer, while wind will have to becreplaced

We don’t have good numbers for the longevity of wind turbines either, though it’s probably under 25 years [1].

> doubts that presented numbers are accurate

Unlikely. The terminal value of that residual at any reasonable cost of capital is, while non-negligible, not going to be significant. (See Slide 6 for how each source’s LCOE reacts to rates.)

[1] https://www.twi-global.com/technical-knowledge/faqs/how-long...
[t] is just the voiceless version of [d] and vice versa. The more lazily you pronounce the [t] between two vowels, the closer to [d] it becomes because it's less work to just keep the vocal chords vibrating.
It's crap programmers that write buggy code, and they will write similarly buggy code in any language. It's not hard to write memory safe code, most people are not skilled enough to do it. I doubt they will be skilled enough to write good rust.
Could you please make whatever argument you are trying to make directly because I have no idea what this fortune cookie nonsense is supposed to be saying.
My understanding is that the original Gmail team actually invented modern LLMs in passing back in 2004, and it’s taken outsiders two decades to catch up because doing so requires setting up the Closure Compiler correctly.
> The notion of open market, competition, democracy is only exercised when it is your products that should undermine the locals.

Russia is no longer part of open market and it's not a democracy. There is absolutely no reason to make business with any of companies based in there just like there is no reason to work with companies from North Korea.

Companies from Russia like Jetbrains that wanted to work on global market left the country, relocated their staff and closed offices. Kaspersky choose to stay so his company can now work for local market instead and might be sell some AV to North Korea.
There was a Reddit thread in langchain sub a while back basically saying exactly this (plus same comments as here)
Show HN: Freecurve Labs – Advanced molecular simulation engine on AWS
Freecurve Labs (www.freecurve.com) is thrilled to announce the launch of our first cloud-based product on the AWS Marketplace. This offering is a streamlined Amazon Machine Image featuring our advanced simulation engine. We invite everyone with an AWS account to explore this tool using this link (https://aws.amazon.com/marketplace/pp/prodview-6nykrcbkcd5os). Freecurve Labs is creating the gold standard in molecular simulation, supported by our extensive research and recent publications. You are welcome to tryout our engine and leverage its capabilities in your research and projects. To discover more about our achievements check our publications (https://www.freecurve.com/science/publications)
About the company:
Freecurve Labs is a San Francisco-based startup founded to commercialize a fundamental breakthrough in molecular modeling. Freecurve is the result of 10 years and $40M of research to make nano-world computer models predictive and accurate. Electrical, Aerospace, Automotive, and Civil engineers have used physics models to build bridges, design and improve computer chips, construct complex and reliable airplanes and reusable rockets. Freecurve's breakthrough technology will now, instead of experimental trial and error R&D, give chemical engineers and drug developers the same predictive modeling as above in areas like battery chemistry, biotech, catalytic design, and others.
I still havent spend a dollar on any of it...
Well that's a shame, I don't have a new phone at the moment but was assuming it was at least somewhat fast on newer hardware.
If this is presented at programmers, why not just say "Here is a cool practical case of a knapsack/bin packing problem."? The article seems to be intentionally avoiding this.
sorry! Got you crossed up w sapling-ginger above and thought I was talking w the same person.

agree that htmx has a regular language core for config options but, as hyperscript indicates, I’m not afraid of even a recursive language when I think it’s useful.

Hopefully we can get some of the ideas into HTML in a more standard form!
it's limited by the mechanism of diffusion.
this is interesting if it's true

https://www.youtube.com/watch?v=nSBwJNDDUfc
Entertaining idea, the panel with a 50Hz fan blade in front of it, but in practice it's much better to not compromise the beautiful simplicity of the photodiode and just stick an inverter on the back.
Kotlin’s approach was a necessity to interact with a Java convention. Java instead tries to move away from that mutable convention to an immutable-preferring one with clearer rules (e.g. what is the correct setter and getter for an `IP` field?).
"They even went as far as firing the people that used to work on Servo, Rust, WASM, etc."

And at the same time greatly raising compensation for the CEO, despite shrinking numbers.
The Internet in Greece
Have you tried AI porn ? There's something in the fact it's fake uncanny characters that makes it non-exciting. Like, jerking off to a toaster basically, and I assume it'd be the same for a social network with no human ?