skysight-inc/HackerNews huggingface dataset:
I guess it depends on your document, but I'm surprised you only get that much compression. For scanned to pdf documents I often get orders of magnitude.

I'm not at my computer, but try messing with the `/printer` in the above command, there are other options, (possibly `/ebook`?) that control the compression ratio from memory.
If you value engineering time at zero you can spend months / years / decades / eons optimizing your solution for cost.
There's a difference between noticing latency and considering it a problem.

My car doesn't go at the speed of sound. That doesn't mean I think "man, this car is slow" each time I drive it.

But if the same car suddenly stops, and I have to open all the doors and close them again in order to keep going, that sure is a problem.
People don't seem to understand how ROCm fails. Some inaccessible list somewhere buried deep down or a GitHub issues says your card is dropped. Apparently the average user is supposed to spend ages researching this. When you try it out, as any sane person does, you don't get a nice "unsupported GPU" message from ROCm. The failure when you use ROCm is instability of your entire OS, not some clean crashing of the program you ran. This invites lots of messing around and desperately trying to get it to work and is a very frustrating experience and then all people do is say "look in this obscure GitHub issue they dropped support for you GPU, you're the one in the wrong".
They do address that and mention consumption, and the U.K. is down 32% including import, second to Italy.
Show HN: A web-app to explore topics using LLM
Lately, I've been tinkering with llama.cpp and the ollama server. The speed of these tools caught my attention, even on my modest 4060 setup. I was quite impressed with the generation quality of models like Mistral.

But I was a bit unhappy at the same time because whenever I explore a topic, there is a lot of typing involved when using the chat interface. So I needed a tool to not only give a response but also generate a set of "suggestions" which can be explored further just by clicking.

My experience in front-end development is limited. Nonetheless, I tinkered together a small web app to achieve the same goal. It is built with vuejs3+vuetify.

Code: https://github.com/charstorm/llmbinge/
Exactly this, if the networking is all handled automatically, the server is only relaying data so won't be able to validate things.

The update in TFA is interesting as well, they're worried about Amazon for some reason, hence not releasing some of the moving parts. There are open source licenses that prohibit cloud usage.
There is no support for redacting text properly on Okular.
> So let's discuss Prusa: The Bambu A1 competes with Prusa's MK4 model but is signficantly cheaper, faster and does more. For the price of one Prusa MK4 with shipping I could buy three Bambu A1 printers or two Bambu A2 printers plus the AMS addon which adds multi-color printing.

I would argue that was always inevitable, Prusas are laughably overpriced and it's not like they're open source in the sense that you can build your own. They took the RepRap idea and commercialized it with an insane markup, benefiting from open source much more than Bambu probably did. For the longest time their PrusaPrinters model hosting site only supported .gcode files for their printers which was just a large fuck you to anyone with any other printer. Hence why Thingiverse ran circles around them with a half broken site.

There is a lot more community value in providing hackable low cost hardware like Creality did with the Ender, becase then people that have time but not money can you know... buy it. And then develop open source software or make models for it with that time.
If google’s search is nothing special, why are all other search engines worse, including yours?
Yea, the contract you agree to in the terms and conditions before using those features, its a cop out.
It costs, I might aswell pay for Acrobat.
I’ve got a shitty laserjet from HP that’s approaching 20 years old and still working more or less. It doesn’t have WiFi so I’m not sure it’s ever received an update to its closed firmware.

Now, I know nothing about 3D printing, but I fail to see why a 3D printer needs firmware updates to remain functional five years down the road, if it’s working today and the hardware doesn’t break down.

If I understand TFA correctly, I can buy a largely equivalent model with closed firmware at 1/3 the price, or a better one at 1/2 the price. Choosing the closed firmware one would be a no brainer for me. Edit: Rereading the passage, it seems even the 1/3 price model is better.
None. At our current efficiency levels, 1T of us would destroy our home planet's ability to support ourselves in a week.

If we want to go multiplanetary and support populations of that kind of size, we have to get much better at optimising our footprint. Which probably requires ethical/philosophical innovation as well as hard science/technology. What we have now is too wasteful and inefficient to scale up in that way, indeed so much so that it risks poisoning itself before it's able to develop those capabilities.
Where in the world can you get a computer science degree without hearing about consensus algorithms?
DDoS Attack on Namecheap.com
There's a catch-22 in your wish. Nuclear is safe because of the regulations, and if you remove the regulations its not safe.
The regulations make it expensive, but the lack of regulations is very likely to make it much much much much more expensive, very suddenly.
That is the thing about AMD GPUs, nobody sane wants to own the GPUs that work with ROCm.
Wrong Flutter has beaten React Native in terms of developers and apps and firms using the framework.
- Static site generation is amazing. It produces super fast websites that run forever on simple infrastructure. The data is files that you can view and edit with the software you love.

- Scripts over systems.

- Relationships and mutual support are incredibly valuable in business. Setting up a group chat for my small industry was a brilliant idea. I can't keep working alone in a bubble.

- I should have better awareness of the correlation between my actions and my well-being. It's crazy how much hydration, sleep and other little things affect my mood. Maybe carbs and fat for lunch, or tea after 2PM are a bad idea.
> If you want to call your product open source, you have to be OK with users taking your product, and running it themselves, and giving nothing back. They are not "freeloaders", they are normal users of your open source code.

The issue for me is that there is no term for what we do with the FSL. It’s much closer to open source than source available as it literally upgrades to open source after two years.

On the user definition: open source doesn’t draw a line between an end user and a competitor. That’s part of the challenge here.

> Compete with them!

Personally I rather compete in a level playing field.
Maybe because pronouns act as implicit identifiers? Kotlin goes a little way towards that by letting you use "it" to refer to the first parameter of a lambda (which are used extensively) without having to introduce a new noun.
Sentry is also not open source anymore, according to their license.
This is probably different for different people. People experience creative activities in different ways.

Programming, maths and computer games all feel about the same for me. Painting, prose or music are not the same activity in any sense. Might be worth noting that I scored poorly on language testing and highly in mathematics during education as some external validation that they aren't the same thing for me.

The author has generalised their experience to that of all people, possibly for dramatic effect.
Interesting list, I guess it depends on your personal inclinations and circumstances, but if you're looking for ideas, it's a good start.

I won't go to far as to tell what every programmer should try, just what were my personal choices.

Using the Sinclair ZX Spectrum:

- Music staff editor and tracker (very crude)

- 2D game - Space Invaders (only one invader)

That computer wasn't even mine. With my first computer (386):

- Huffman compressor

- B-Tree indexes (outperformed DBase/Clipper)

- OOP form generator

- Several DOS background programs, one of them was later used by a big company for installations

Years later:

- Email checker for dial-up

- Manual parser for syntax highlighting

- Spreadsheet (something like that, I'm on it now)

Sure I forget someting.
It's easy to google this data, see Figure 1 on this link, from official UK statistics: https://www.gov.uk/government/statistics/uks-carbon-footprin...
In general, this isn't as big a difference as many claim. On the other hand, the UK is probably an outlier in this regard and exhibits one of the largest such effects, so the reduction given as 50% in the article is more like 35% once imports are accounted for.

Some comparitive graphs in this article:

https://ourworldindata.org/co2-gdp-decoupling
Pretty much everywhere below country's top3, top5?

I've got masters degree and I don't think anyone even mentioned word "paxos" or "raft" during my 5 years there.

Fortunely internet is a thing and I could read something about this topic.

I know graduates from various public schools and people who heard about paxos (let alone can implement it) are tiny %.
Is the data in the blockchain?
If you really want to get into the details, effectively all modern CPU chips does have some firmware in ROM on-die. (I'm sure you know this but I'm writing it out here for the benefit of others)

As the name Read-Only Memory implies it is immutable, unchangeable. These are the first machine instructions executed by the CPU once it comes out of reset. It is the ultimate Core Root of Trust for Measurement and Verification.

In my opinion the industry should move away from embedding verified boot (digital signature verification) firmware in this ROM. What I would like to see instead is the ROM stage doing unconditional measured boot a la TKey / TCG DICE. The second (mutable) stage could be loaded from Flash, and include the preferred verified boot policy for verifying the third stage. This has several advantages:

* It reduces the software complexity of the immutable firmware on-die. This reduces the likelihood of vulnerabilities that can only be fixed by creating a new mask set.

* It reduces the size of the mask ROM.

* It causes the identity / attestation of the device to change if the second stage is modified, allowing some attacks to be detectable that are not detectable today.

* It allows the manufacturer and its customers more flexibility in upgrading the verified boot policy. Intel BootGuard is stuck on single RSA 2048 bits. Why not m-of-n signatures, or m-of-n Ed25519 with a transparency log requirement? As we've seen from several firmware vendors they don't seem to protect their signing keys very well. How many of them are compromised? Having transparency log verification very early in the boot process, and thereby making key compromise discoverable, would be fantastic. This type of experimentation / innovation / improvement, or post-quantum verified boot for that matter, is very unlikely to be placed in the mask ROM of an IC anytime soon. That's another reason to change to the TKey / TCG DICE approach.

* It allows more flexibility in deciding how to enforce owner control and how to do ownership transfer. Intel BootGuard blows fuses that represent a hash of the RSA key. The same can be done by the measured boot firmware in ROM, effectively making the second stage immutable as well. Some will want that, while others are satisfied with something equivalent to a fuse but reversible through physical access, allowing for easier ownership transfer.
According to different page in wikipedia, Peano axioms is second order but "Peano arithmetic" is first order.

> The ninth, final axiom is a second-order statement of the principle of mathematical induction over the natural numbers, which makes this formulation close to second-order arithmetic. A weaker first-order system called Peano arithmetic is obtained by explicitly adding the addition and multiplication operation symbols and replacing the second-order induction axiom with a first-order axiom schema.

[1]: https://en.wikipedia.org/wiki/Peano_axioms
Can you give the path for those interview questions?
Can I just say I love how 1995 the HTML for APOD is?
AI expert warns against telling your secrets to chatbots such as ChatGPT
it exposes an Arm serial wire debug port, which is and isn't a JTAG port. Specifically, it's a different layer 1 interface, using a 2-wire serial port instead, but it uses the JTAG protocol on top.
My perspective as an open source developer of txtai (https://github.com/neuml/txtai).

When you get started in open source, it's a great way for a small team to get the word out. Conversely, when starting as proprietary software or SaaS, you're looking at advertising, websites, sales calls and so forth. If an open source company is lucky enough to be successful, the next phase is having users and perhaps even funding. When the team grows and/or others put their own money or career into the company, they want an outcome. It becomes hard to ignore that there are thousands of people using the software and inevitably it becomes an exercise on how to claw back from the group of "free" users. There is also the fear that a big company will undercut the open source company by offering the software as part of a cloud service. This is my opinion on how we got here with confusing licensing changes.

Most don't have the means to accept little to no income from their work. But there shouldn't be a "fixed pot" mentality. In order to be a successful open source company, one has to see the "free" users as beneficial. Think of it as a big wide open world and that while some will never pay, if you add value in other ways on top of your open source offerings, there will be significant income opportunities. Could be consulting projects, hosted/cloud/SaaS versions or specialized components.

One should also look at operations. There will be a new wave of companies, especially in the AI space, that are lean and using automation to build great things with a very limited amount of resources. Perhaps they don't even need funding and can build a profitable company without it. In those cases, they won't have those internal pressures and hence likely to be more competitive. Something to watch in 2024.
> The act of writing Code and writing Prose is the same. They both use the same mental processes, have language constructs and audiences

They don't use the same mental processes (do you code 3 characters per second for extended periods of time?), the language constructs are very different (just one example: no ambiguity), and your audience is not in a social relation to you. So no.
The inputs into meat today are things like soy and feed corn, which aren't particularly good for people. It's not quite as easy as just not eating meat. Many of the farms need to switch to other crops that are healthy which requires different machines, more labor, or other factors. You probably aren't going to see too much drop in other food prices since much of the cost of foods (especially corn and soy related) is in the processing and distribution, not in the actual growing. Then you need to convince people they want to eat whatever the new product is. You could give people something made from scraps similar to dog food, but that's not going to go over well for a bunch of reasons.
As noted in another comment, some of this can be attributed to manufacturing being done elsewhere and the UK becoming more of a service economy.

Though there are indicators like emissions per kWh of electricity generated that show promise. https://grid.iamkate.com/ ... over the past 10 years the value has went from 475g of CO2 per kWh to ~153g. A contentious part of that value no doubt is that biomass imported from North America is considered carbon neutral. Add in the complications of new growth vs old growth, transportation and the time-sensitive nature of man-made climate change it can perhaps be seen as less advantageous as figures may suggest.

All the same I'm optimistic, particularly in Scotland where a disproportionate amount of green electricity is harvested by population. Our National Grid is playing catch up trying to accommodate intermittent sources and price accordingly.
Such as great classics like:

Let me go take a sheet.

I really like that beach.
Prepend archive.is/ to the URL. The images are cut off but you can open them in a new tab to see the whole image.

I would also recommend https://ourworldindata.org/co2-emissions . You can compare the UK to other countries. It seems to be doing rather well (though it has huge historical emissions), e.g. the UK is at 4.6 tonnes CO2 per person, while Germany is at 8.
Show HN: Bullseye Trends — Visual ETF & Stock Analytics Platform for Investors
We offer more detailed insight into ETFs than Yahoo Finance, Schwab, Google Finance, or even CNBC!

Unveiling the latest breakthrough in stock and ETF investment analytics: Bullseye Trends. This advanced platform emerges from stealth mode, offering an unprecedented glimpse into the world of ETFs (Exchange Traded Funds) and global stock markets. With five years of daily institutional data at its core, Bullseye Trends is not just a tool; it's your strategic ally in navigating over 2,700 U.S.-based ETFs and more than 30,000 stocks worldwide.

Distinguish yourself from the masses with insights that platforms like ETFdb, VettaFi, and ETF.com haven't even begun to explore. Bullseye Trends is the first to meticulously track the ebb and flow of ETF transactions, offering a unique window into what's being actively bought and sold. Our platform revolutionizes how investors view ETFs' individual holdings, especially when it comes to understanding commonalities across multiple funds.

Key Features:

1. *ETF Venn Stock Visualization*: Discover a dynamic, real-time Venn diagram that illustrates up to three ETFs' stock holdings. This feature doesn't just show you which stocks are shared — it ensures your investments are diversified and uncovers potential new opportunities in the stock market.

2. *Tracking ETF Buying/Selling Trends*: Dive deep into the daily nuances of ETF portfolios. Find out which stocks are being accumulated or offloaded with our unparalleled tracking across a five-year trading spectrum.

3. *Stock to ETF Lookup*: This four-step feature allows you to input stocks and discover which ETFs hold them. Further, select ETFs to view collective holdings and understand the weightings of each stock within these funds. For instance, input popular e-commerce stocks, and Bullseye will reveal which ETFs hold these stocks, their weightings, and values, offering a comprehensive view of mutual holdings.

Join us on this exciting journey with Bullseye Trends. As we continuously evolve and add new features, your feedback and ideas are invaluable. Experience a new era of market analytics and investment strategy with Bullseye Trends.

Check it out: https://bullseyetrends.com/account/register

Would love to hear what you think!
> this is why AGPL should be what programmers are using. It doesn't discriminate, but it does make sure that any entities that use Free Software contribute back to the commons.

A competing vendor could offer the software verbatim and still profit due to marketing and network effects (AWS has multiple products that work better together than using disparate vendors for each product), and AGPL would not help in that case.
You claim here that there is a cost to creating the domain but rule out Ens because it has a cost? You can't make both claims. You can generate Ethereum and buy domains with it much in the same way you do here.

You rule out DNS as it doesn't have a standard registration but IRC doesn't have a standard way to register channels nickserv isn't on all IRC and they have different implementations.

IRC is not distributed it's owned by a centralised provider who has complete control, they can trivially take over any domain they want.

IRC has no consensus mechanisms a netsplit would make it trivial to create duplicate channels on the same IRC network.

You check channel availability then register, this by definition isn't atomic, it's a race condition between check and register. You need a way to wrap this in a transaction to prevent the race condition. IRC provides no way to do transactions. Even registering a channel on a network is not atomic because of the potential of netsplits, which is stated in the rfc.

How are networks choosen and distributed? You picked 11 random servers that meet your requirements. If I pick 11 random servers how are their ips shared? Traditionally this is done with DNS but since you are trying to replace this requiring it is odd, how do you stop some one just hijacking your DNS once that problem is solved your scheme becomes pointless.

If you expect everyone to use the same 11 servers this isn't distributed, it's centralised to 11 servers you can't trust.

I think you are under the impression that IRC is distributed and so if you build a secure system on top of it, then the system as a whole will be secure and distributed. The problem is that IRC isn't secure or distributed it's centralised with no Byzantine fault tolerance.

I understand you check multiple channels/networks in an attempt to provide this protection but the underlying servers can do anything they want and there is nothing you can do about that. Finally getting to the point of being on IRC and checking a channel has a lot of attack points none of which are accounted for.

The difficult part of any distributed bysentain tolerant system is the distributed bysentain problem IRC doesn't solve this problem and your scheme outsources it to IRC.

Charcircuit is just telling you the truth you don't want to accept.
https://archive.is/AHFlh
Ask HN: What is the current state of "logical" AI?
The kind of AI that gets the public attention right now lacks a quality that can be described as "formal correctness", "actual reasoning", "rigorous thinking", "mathematical ability", "logic", "explainability", etc.

This is the quality that should be studied and developed in symbolic AI approach. However, the actual symbolic AI work I know of seems to fall in one of the two buckets:
1. "Let's solve a mathematical problem (e.g. winning at chess) and say that the solution is AI" (because humans can play chess, and now computers can too!)
2. "Let's make something like Prolog but with different solver algorithm / knowledge representation". Products like Cyc and Wolfram seem to work essentially in this manner, although with lots of custom coding for specific cases to make them practical. There's lots of work on separate aspects of this as well, like temporal and other modal logics.

I see the first bucket as just applied maths, not really AI. The second bucket is actually aimed at general reasoning, but the approaches and achievements in it are somewhat uninspiring, maybe because I don't know many of them.

So my broad question is: what is happening in such "logical AI" research/development in general? Are there any buckets I missed in the description above, or maybe my description is wrong to begin with? Are there any approaches that seem promising, and if so, how and why?

I would be grateful for suggestions of the books/blogs/other resources on the topic as well.
Not read past the paywall. Could anyone let me know if this statement is clarified?

> no politicians likely to trumpet it

Irrespective of whether or not it's outsourcing to China and so not quite the truth, I can't see why politicians wouldn't lay claim to it. Isn't it their modus operandi to find positive news they could attribute to their own efforts?
There are of course better softwares than the Preview.app, but that's if you are willing to pay for it. Preview.app is free.
Profile setting