skysight-inc/HackerNews huggingface dataset:
I do agree with what I take as the general message: most people don't really understand how open source works and have unreasonable expectations. Maintainers don't owe users anything unless the user actually pays for it and the maintainer accepts the money for the task.

Developers should understand what it actually means to depend on a project. If one needs a fix or a change down the line, it could be that nobody will be there to do it for free, or at all. Therefore one should be ready to either pay or take over the maintenance. And this should be carefully put in balance every time: "Should I add this dependency, or should I write it myself?".

Modern language package managers like cargo amplify this problem by making it almost too easy to add tons of dependencies (and then be pissed at the maintainers who don't want to maintain for free or at all).
There's a middle ground, and that middle ground is just in a different place.

In most cases, it just means that if you're pointing your camera at specific people, you should just ask first. The activity of the photographer has zero bearing on that.

I've been in Germany for many years. If someone points their camera at me, it would be perfectly normal for me to walk up to them and ask them what the hell they're doing. In this case, the law has very strong cultural backing.

Case in point: for another guide on the same website, I needed a photo of a convenience store. I took one, and the man inside walked out and asked me why I was taking photos, saying that I shouldn't be doing that and so on. This was well within Panoramarecht, but I still had to reassure him that I needed a photo of a standard Späti to explain what they are, that the photo would be published on this specific website, that they were not visible in the photo and so on.

Germans take privacy seriously.
Cynicism is just giving yourself an excuse to be wrong because it sounds cooler.
> I think that object orientedness is almost as much of a hoax as Artificial Intelligence

Oof, killing two hypes with one stone!
That could dent Netflix revenues.
Honestly I though we would have switched to SD/MicroSD express by now.

I heard of the technology 4-5 years ago I think ?

But long story short it should me SD/MicroSD cards with PCI/nVME interfaces:

* https://blog.adafruit.com/2023/10/31/sd-express-memory-cards...

* https://www.sdcard.org/pdf/SD_Cards_8_0_WhitePaper20200515.p...
That is correct. A good example is if you are hosting a meetup, and want to share pictures of the people who presented on stage.
I mean, maybe on the plains of Africa, but would expect that wasn't much use with woolly mammoths or in jungles/forests.
“Abbreviated specs” have been available from SDA for at least a decade and have enough info to implement a working sd host or card.

Source: done both of those.
Show HN: Test Free SEO Keyword Tool from GG Rewriter
Hello, HN community! I've developed a feature for GG Rewriter, and I'm considering enhancing it with SEO keyword analysis capabilities. Before fully integrating this, I've launched a free tool to gauge whether this addition would be meaningful for our users.

The core idea is to demonstrate the SEO impact of word choices. For example, if you're adding a product to your e-commerce store, this tool could help you select keywords that enhance your product description's search visibility.

Key features of the tool:

Real-time Keyword Suggestions: Get immediate feedback on SEO-optimized terms.

SEO Impact Analysis: Understand how different keywords could boost your content's search ranking.

User-friendly Interface: Designed to integrate seamlessly into your rewriting process.

Here's where I need your input:
Does the combination of rewriting and SEO analysis make sense to you?

Would this tool be valuable to your content creation toolkit?

Are there specific features that are helpful for such a tool?

Your feedback is crucial and will directly influence my development decisions.

Try the tool here: https://ggrewriter.com/search-keyword-research, and let me know your thoughts! I appreciate any help you can provide.
There was a time when Medium was useful. But those days are long past.

I wonder whether the writers who still use Medium have assessed the trade-off between the minuscule revenue produced and the negativity that they engender. As a means for showcasing talents and expertise there are better options than Medium.
I don’t think they do whiskey yet, but ISH Spirits makes some tasty alcohol free products.

https://ishspirits.com/
State of HTML 2023 Survey Features Results
I’d say the telltale sign is picking SQL Server in the first place.

If you think there is a risk your database will grow to be enormous, it’s likely it’ll be the worst possible choice, with the possible exception of Oracle and DB2 on AIX (but, on the last two, at least you have fewer limits to scaling up).

Could also be a B-player hires C-players situation, with borderline incompetence trickling down from the C-level.
glad you liked it! you can also check out the telegram community i am building - https://t.me/teachyourselfmath
"ChatGPT" is like "Google". "Gemini" is never replacing that.
Most definitely, it's quite common to find people hanging around outside up towards Calumet whenever there's a night with a high KP Index.

I highly recommend checking them out if you're nearby, the recent auoras have been quite astonishing
I can confirm all of this. People get confrontational when a camera is pointed at them, and uncomfortable when they're in the frame.
GP was probably referring to the value of the land. There are very few places in the world where land is rented for ~$1500/sqm/month. I don't live in the US but took San Francisco as a reference for an expensive city in terms of land and parking.

A quick look on real estate websites [0] suggests you can buy land in San Francisco quite central for $10k-15k per square meter.

If we take the value of the service, parking prices for San Francisco [1] are as high as $7/h and as low as free (at night).

Unless I looked in all the wrong places or my math needs triple checking, the numbers you're very adamant about look wildly misaligned with reality even for peaks, let alone for average or median. That doesn't bode well at all for any opinion based on them. And it encourages the other side of the conversation to come with equally unrealistic claims about the cost and impact of "my biking lanes".

In your top comment you recommended the Not Just Bikes YouTube channel. But it either didn't correct these views or worse, it encouraged them. Not a stellar recommendation.

[0] Zillow but the URL us ungodly long. Easy to check it by yourself though.

[1] https://www.sfmta.com/demand-responsive-parking-pricing
Tech Lost Gen Z
Canada's skilled immigration policy is amazing. It is attracting some of the best talent in the world. What it is not able to do is retain the talent and is just ending up as a stepping stone to the US.
All it needs to do is two things:
1. Provide tax deductions for rent and interest on home loans for new home buyers. 2. Reduce the average taxes to just slightly less than the US tax rate by 5-10% upto 500k.
Then watch the magic happen.
MicroSD to (full-size) SD adapters exist.
I doubt you were old enough to be around and voting for councillors pushing for parking minimums back in the 1950s. You were born into a lot of rules you never chose or voted for. But you happen to like these parking rules.
I bought a co2meter.com model RAD-0301 ~6 years ago that was probably the cheapest prebuilt NDIR unit at the time. It just shows CO2 ppm and temperature.

It looks like they've slightly improved the features and dropped the cost more on their followup model https://www.co2meter.com/products/co2mini-indoor-air-quality... this is not going to be lab grade accurate but if it works as well as their old one it's great for the price and fits your requirement.
We found the "lots of small inserts" issue, and fixed it by just using the Buffered table engine[0]. Can create it as a replica of the destination table, and it stores inserts in memory until they cross a threshold and are written. Super simple and took 5 minutes.

[0] https://clickhouse.com/docs/en/engines/table-engines/special...
> We are long overdue for an external variant of NVMe

CFexpress, it's been around for a few years and already in a few major cameras

https://en.wikipedia.org/wiki/CFexpress
> It's not like someone is going to use insider OpenAI knowledge to build an LLM so advanced you switch email, phone, or ERP providers

If you mean the other kind of ERP they will definitely do that; it's basically all /r/localllama is about.
> AI researchers are literally in collaboration with other people in the field, publishing papers and reading the work of others to learn and build upon it.

When OpenAI suddenly stopped publishing their stuff I bet that many researchers now started feeling like it started to be a competition.

OpenAI is no longer cooperating, they are just competing. They still haven't said anything about how gpt-4 works.
Well we do have the Brain Fuck Scheduler

Frankly I'd welcome more rejection of corporate safetyism. We're adults, not kids in a "Christian Minecraft server"
I find it's best to treat this as a case of "cross-compilation to old glibc version".
That is, you don't want to just link against an old glibc version, you want a full cross-compilation toolchain where the compiler does not pick up headers from `/usr/include` by default (but instead has its own copy of the system headers), and where libstdc++ is also linked against that old glibc version.

We used https://crosstool-ng.github.io/ to create such a "cross-compiler". Now it doesn't matter which distribution our developers use, the same source code will always turn into the same binary (reproducible builds, yay!) and those binaries will work on older distributions than the developers are using. This allows us to ship dynamically linked linux executables; our linux customers can just unzip + run, same as our windows customers, no need to mess with docker containers.

The downside is that we can't just use a library by `apt install`ing it, everything needs to be built with the cross compilation toolchain.
Interesting! I'd swear that in the early days of OrbStack somewhere on their website I've read they're using native MacOS frameworks without the need of Linux VM, but I can't find that anymore (they don't mention Linux VM either, but the language still differs from what I remember).
Adam Selipsky, CEO of AWS, to step down
I genuinely don't get it. How is that a slur to non-trans people? Do you think that "non-trans" is a slur as well?
By chance, they are noobs but not idiots, because they ask me on everything - they don't need Google, I know everything hahah

I don't think it's a problem to find a word or a sentence or a story - whatever - that's commonly used by everyone on daily basis but in different context. That's not a problem by itself :) try it

For the idiots, it is still possible to find a word. They may be idiots, but still, they work and live on their own. They coming along in life. So, it's up to the smarter one to find a no-brainer solution.

I am confident and believe nothing and no one is stupid enough not to be able to adapt to something. Even if it's me, who'll need to adapt to members with less brain.
If you want Ubuntu use Hyper-V Quick Create instead of booting the .iso you downloaded. That takes care of the integration things.
See also: https://github.com/corsix/ffi-reflect/
Thanks. My ideal use case would probably involve a mini PC, of which I have a few spares and most of them are faster and can be upgraded to more RAM than the Pi5, which especially in this context would be welcome.
I'm a member and this is just saying "it costs $.79 / mo" but you pay in one payment.

There's no auto-renewal, you get an email telling you your membership is expiring and asks you to pay again.

What you've posted implies they're lying and they are verifiably not.
Struggle as a Service
>these sample videos are underwhelming

wow the speed at which we can be blasé is terrifying. 6 months ago this was not possible, and felt this was years away!

They're not underwhelming to me, they're beyond anything I thought would ever be possible.

are you genuinely unimpressed? or maybe trying to play it cool?
The lights near me were to tame chaos at an existing intersection.

A big roundabout I use semi-regularly does indeed handle 4 busy roads coming together well at night even if it’s a nightmare at rush hour.
You might be right but I've lost count of the number of startups I've heard of trying to do this for legal documents.
We used to have keychain lights that would start to blink whenever a nearby phone went off, I can imagine it could be set off by a device like this lol.
This looks fantastic, getting better at maths is something I have always wanted to do.

Also, some of the commenters have posted python code but it is not formatted/styled.
They are a nonprofit.
> The LAPD is not expected to like the existence of “Fuck the LAPD” merchandise. But their sole remedy is to not do things that result in people wanting to buy and wear “Fuck the LAPD” merchandise. I understand that would be a difficult task. But I promise you that it would still be easier than trying to get a court to rule that “Fuck the LAPD” shirts violate the LAPDF’s intellectual property rights.

Perfection.
Is there a Coq formalisation for enough of Rust that would be usable here? I thought people were still figuring that out.
Dick means fat/big in German
I guess he must have hallucinated that it was about LLMs
An even easier one would be a modified keyboard.

Anyone could fit an esp32 into a keyboard, swap it out, leave it lying around, sniff keystrokes, access with Bluetooth or WiFi, could have it only have the radio on for certain windows in time etc.
How does it keep the records up-to-date? An IP nowadays is highly elastic and can be relocated to different tenants on your cloud provider.
... by watermarking the generated content.
Yes, that is a limitation. But this limitation is not too bad.

In many cases, a bug in the translation simply makes the proof impossible. Somebody then investigates why the proof does not go through and finds the bug in the translation.

We only have a problem if the bug in the translation specificially cancels a bug in the original code. If there is no systematic risk, it is quite unlikely that two bugs cancel each other in this way.
> Alan Turing on why we should never ever perform a Turing test

Can you cite specifically what in the paper you're basing that on? I skimmed it as well as the Wikipedia summary but I didn't see anywhere that Turing said that the imitation game should not be played.
I'm curious, isn't the point of scientific papers for experts to give some information to non-experts?
Depends on the city. I run barefoot in Singapore and the places I go are all very well-maintained, smooth surfaces without much to cause trouble. You just look where you are running to avoid stepping on anything nasty. But I wouldn’t think about doing that in, say, Hanoi or Penang. Somewhere like Bangkok would be okay if you stuck to the big parks, but not if you were running along the streets.
I didn't touch on that, but I did assume trust of the Rust toolchain, verifying starting at THIR. Verifying rustc would be a monumental undertaking, though I think some people are working on it.

Since we don't have a verified rustc (a la CompCert [0]), I wonder if an approach like the translation validation of seL4 [1] would work. They prove that the artifact (ARM machine code) produced by an existing compiler (gcc) for a chosen program (seL4) matches the source semantics (C). Thus you could circumvent trusting rustc, but it only works to verify a specific output of a chosen program. If the chosen program was coq-of-rust, I don't think this would be easier than the approach I detailed above. The seL4 kernel is 9,500 lines of C, while their Isabel/HOL specification is over 200,000 lines, so the technique doesn't seem to scale to a large chosen source like rustc.

Isn't bootstrapping fun?

[0]: Xavier Leroy. 2008. “Formal verification of a realistic compiler”. https://xavierleroy.org/publi/compcert-CACM.pdf

[1]: Thomas Sewell, Magnus Myreen, and Gerwin Klein. PLDI 2013. “Translation Validation for a Verified OS Kernel”. https://sci-hub.st/10.1145/2491956.2462183
I think that Amdahl's law explains it much more succinctly.
No idea why you get downvoted... on one hand, a site like this one needs some revenue in order to keep up their work, I think we can all agree on that one. But unclear messaging about how much exactly you will be paying is not going to encourage anyone to sign up...
> My intuition is that as contexts get longer we start hitting the limits of how much comprehension can be embedded in a single point of vector space, and will need better architectures for selecting the relevant portions of the context.

Is it possible to explain what this means in a way that somebody only roughly familiar with vectors and vector databases? Or recommend an article or further reading on the topic?
I thought it was brilliant. Notice there’s no music. It’s one of the most brutal action scenes I know. Brutal in the sense of how honest it felt about direct combat.
Show HN: I built a changelog widget that pops-up new features on your App
I built a changelog widget which pop-up showcasing new features / bug fixes or improvements every time you publish a changelog post

i was finding it difficult to announce my new features to my customers and therefore I built this popper which shows my changelogs as soon I publish it
Many-worlds is not necessarily impossible to verify experimentally, because it predicts that there is no collapse of the wave function, whereas Copenhagen claims that there is. Many-worlds is not just an interpretation in that sense, it’s a theory that makes predictions (by reasoning about what happens when the wave function is all there is and always evolves according to the Schroedinger equation — it is a deterministic theory in that sense). I believe Einstein would have liked it, given the experimental evidence we have since.

Copenhagen, on the other hand, doesn’t offer a workable model of how and when the wave function collapses, and doesn’t offer any predictions in that way (there are theories of wave function collapse that actually make predictions — some of which have already been falsified by experiment). For that reason Copenhagen isn’t “least objectionable”.
I can't imagine the UK doesn't have laws to prevent anonymous SIM card purchases, because of terrorism fears.

Some duckduckgo-ing suggests it's possible, e.g. someone wrote just go to Tesco to get one and there are no ID checks (but this was written 6 years ago). In any case, just like teenagers buying booze, it's probably not that hard to pay someone off the street to buy one for you.
once again you're conflating censorship and retaliation. the censorship is still the same in both cases: unless you want to live the rest of your life in hiding and looking over your shoulder, you can't draw/share certain cartoons purely because it offends certain individuals.
Thanks, I read about the need of recalibrating sensors, although didn't imagine that would be needed so often. Thankfully I recently moved to a very clean air area with trees and such, so exposing the sensor to clean air would just involve moving it a few meters outside.
Show HN: I built my own "web ping" tools
hi! glad you like the site.

i have introduced a markdown editor in this release. that should fix the code formatting issues going forward.

thanks!
now try all the corporations together.
> In other words, how do we know that what we proof is still valid for the original code?

We don't. We will always have to trust _something_ (the hardware, the compiler, the specification, Coq's trusted kernel, ...). Formal verification is sadly often discussed as removing the possibility of bugs in their entirety. In practice, formal verification only makes bugs much less likey.

That said, yes, automatic translation between Rust and Coq massively reduces the complexity of the things you have to trust and should therefore be preferred over manual translation.
Your analysis overlooks a massive cost asymmetry[1] in favour of the spammer. THey only have to pay the LLM cost once to generate a message which they can use thousands/millions of times versus the receiving side would need to pay an LLM to check and classify each incoming message.

[1]Either you pay a SaaS LLM provider or you pay the cost of compute to run the LLM yourself
The 900MHz bands also have much better penetration. But even the 2.4 LoRa are a huge step up from the other chips I've seen eg. TI CC2500.
people with autobrewery syndrome come to mind immediately.
The world needs more walkable cities. What prevents more walkable cities form being built, is zoning laws, parking regulations, and industrialized housing production. Walkable cities is good for the economy, environment and people... in the long run. Too bad so few sees the long term business opportunity in building cities like this.
Windows DWM Core Library Elevation of Privilege Vulnerability New
Are you sure? I'm not French but according to French wikipedia "octet" means "byte" not "bit": https://fr.m.wikipedia.org/wiki/Octet
LOL! But I don't think that'll be the case, as Google is spending Billions on Gemini.
Spam evolved. The filters catch most of the egregious kind, but our mailboxes are still flooded with the rest: marketing of legitimate companies, which you likely interacted with at some point, however briefly, and often mixed into transactional messages. This consists the majority of most people's inbox; I bet it's the case for you too.
An open source RDS alternative on K8s
People can build parking if they want, but mandating it is a huge distortion.
I wish there was a site that ranks tire grip. Only way to know right now is to see who is rolling faster through the corners than you and word of mouth.
Ask HN: How to Improve My Product?
I developed a saas software (https://www.chatpapers.ai), aim to improve reading experience, which has two main features: chat with pdfs & generate mind maps.

The question is: Most of my users are interested in mind map generation but not chat with pdfs, many of them type commands in the input area (which is designed to ask questions about the pdf) and try to generate a mind map according to their commands, but this feature has not been developed. How should I improve it?

I have 3 options:

1. Add intent detection to the chat module, support both mind map generation with commands & retrieve information from the pdf in a same input box, which may increase the latency and take wrong actions.

2. Remove the chat with pdf feature and turn the product to mind map generation, which mignt strange because the product name is chatpapers.

3. Design a new product to focus on mind map generation, and keep this product as it is.

Which could be better? Or any other suggestions?
Difficult to quantify but as an example the 2017 scientific paper “Attention is all you need” changed the entire AI field dramatically. Without these landmark achievements delivered by highly skilled scientists, OpenAI wouldn’t exist or only be severely limited.
Niche website with extremely thorough and exacting analysis, that provides most of its data completely for free has a modest payment model. I'm shocked, but because of how strikingly reasonable it is.
Google's Broken Link to the Web
Why? There are many other types of AI or statistical methods that are easier, faster and cheaper to use not to mention better suited and far more accurate. Militaries have been employing statisticians since WWII to pick targets (and for all kinds of other things) this is just current-thing x2 so it’s being used to whip people into a frenzy.
> picking targets in military operations

I'm 100% on the side of Israel having the right to defend itself, but as I understand it, they are already using "AI" to pick targets, and they adjust the threshold each day to meet quotas. I have no doubt that some day they'll run somebody's messages through chat gpt or similar and get the order: kill/do not kill.