skysight-inc/HackerNews huggingface dataset:
That bsd analysis. There isnt a magical contract fairy that creates infinite contracts for every company.

Yes there are more fixed price contracts, but if you fuck up like Starliner you are less likely to get another one.

And even if you could get it. Boeing peadership has clearly stated they are basically not really interested in that anymore. The have lost billions on fixed price contracts in space and military.

Boeing has not been able to get much new from NASA. Their moon lander was basically embaracing. They are in the nee private station buissness much.

One SLS gets finally mercy killed they will not be a prime contractor anymore.
So much about it sucks. I am actually amazed when an app I want is actually on the app store.

It needs an iCloud log in, so you can't install free software on a kiosk without a throw away account. Which is hard to set up.

Why do you first need to 'get' an app and then install it?

How many affirmations do you need?
is it possible for copilot or say llama or gpt4o to suggest a piece of code and actually go and try to run a test that they design on an ide and see if there are any results and try to fix issues?

right now you ask llm to write a code to do basic web scraping for HN website for latest url and give username of the submitter. sure they will give you a code and give you a test script but you as the user have to run the script and give manual feedback to LLM.
if the testing step can be automated, user would give an input and desired output or a prompt and choose between the results, that would be good.

kinda like you do inpainting and outpainting and other painting stuff but for code.

feedback is the key here as you said
Yep, the video is split up in many tiny chunks, for example so the client can seamlessly change quality during playback in "auto"-mode.

So they'd just have to find a good spot between those chunks and start injecting different chunks (i.e. the ad) there before continuing with the actual video. This doesn't require any re-encode or other shenanigans on the server side.
Shhh! Don't give them ideas.
Possible. That's not uncommon for podcasts.

Subscribe to an RSS feed and when you download the file the server based on some heuristic (I'm guessing most geo ip) sends you a file with ads targeted for you.
I've been blocking ads for over two decades at this point. In all that time I have not had any ads, apart from very recently when YouTube made some changes. I disabled the ad blocker for YouTube and was absolutely shocked at what I saw. It's like a cesspit with the ads on. I had been seeing a different version this whole time.

But here's the thing: I've never seen ads. Yet it's these companies, the richest in the world, that want me to. It's not about being unsustainable for them. It's about making even more money. Stuff I read and watch on the internet should be free. I don't want to pay for it. It's as simple as that.

Things I do pay for is quality long-form works. I have shelves full of books. I've bought video tutorials in the past and I would do it again. But I won't engage with DRM. All of my ebooks are DRM free. This is what I'm prepared to do. But the "town square"? Blogs, YouTube videos etc? No, that should be free. It's just sharing and being a part of a community. I will not pay any Google tax for the public town square.
There's a lot of complexity and effort going into this, but I wounder if anyone has ever stopped to ask why people are blocking ads in the first place.

As an avid ad blocker, I'll tell you, it is not because I hate ads in all forms. It is because they are invasive, they carry malware, they slow systems and sites down, they are glaring, obnoxious, and loud (visually and auditorily).

As an easy to understand example, think about when you watch TV (when people used to do that) and your show/movie would come to a break and then an ad would come on and blow out your speakers and ear drums because its volume was not normalized to the volume of the content you were previously watching (this is still a thing I've seen on YouTube and even a thing I see when going from one YouTube video to the next!). Sure, the ad became recognized, but you can sure bet that no one is associating that ad with any good feelings or anything else it is trying to accomplish.

The same is true for just ads in general. They are quite loud in many other senses of the word. That Google login that takes up a fifth of my screen on many websites I never intend to have an account on? Gets added to the block list. The half page Medium overlay that asks me to create an account? Blocked. That StackOverflow and other GDPR style cookie message boxes that take up large potions of the screen? Also blocked. How are these any different than the pop-ups of old that every browser, including Chrome, now blocks and will show a little message asking if you actually want to open a new window?

You can serve ads and people will be fine with it. But it you are trying to shove it in a person's face, yeah, people are going to say "fuck you." And guess what, the more you try to shove it down our throats, the more pissed off we will be. Google is missing the big picture, and not realizing that they are the ones actively creating those who are passionate about blocking ads. Because no one wants every fucking website on the internet to be the information overload of walking into a Vegas Casino. You are worse than that dude on the street corner who is trying to hand you cards, you're him if he chased you around and was throwing cards at you and trying to stuff them into your pockets, bags, wallets, etc. Back the fuck off.

Until they understand this, they will always fail. Because guess what, I'd rather watch a blank muted screen for 60 seconds than your ads if this is what you're to do. So how about instead of trying to make the internet worse, you try to make the internet better. And a better internet isn't necessarily an internet void of ads. And guess what, if you do back the fuck off, I'm sure those ads will be far more effective too.
As someone that builds in the video space myself (https://dopplio.com), these pure synthetic tools baffle me (though I do think they're cool)

They weren't realistic enough for sales (we tried), and all other use-cases seem a bit forced

But hey, they're growing and acquiring revenue (I think?) -- so who am I to question
Actually, it is possible to do a high level outline of a proof development and later fill in the details. This is done by starting out with axioms. I.e., don't define the basic types but state that they exist as axioms and also write down their basic properties as axioms. Then later, when you have some development going on, fill in the blanks by turning the axioms into definitions.
Show HN: Deckboard – Turn your old Android/iOS device into overpowered macro pad
Hi HN!

I'm really excited to show you the version 3 of the Deckboard app, the app I've been actively working on since 2018. Originally, I made this app to repurpose my old, dusty Samsung tablet into something like Elgato Stream Deck.

How it works:
1. The user install the server app on their PC (available for Windows, MacOS, and Linux)

2. Create macro buttons and specify its actions on the server app. Add image, icon, label to customize their looks.

3. Install the client app on the Android/iOS device and connect it to server app through WiFi or USB (Android only)

4. Voila! The custom macro buttons are displayed on the device's screen. Just tap them to launch the action on your PC.

On its first launch, several macro actions were introduced, like macro keypresses, OBS and Streamlabs control, Twitch chat integration, etc. Several talented third party developers also created extensions for Deckboard, like TeamSpeak and Discord integration.

Now in version 3, I want to introduce these features:
Resizable macro block
Slider input macro
Graph display
Twitch chat box

These features will help users achieve more customization. And guess what? These features are also available on the free, basic version of the app.

Hope you like it!
> which in my mind would have no problems skipping whatever "injected" ads show up since this is already what that application does

SponsorBlock contributors tag certain parts of the video where the video creators talk about sponsored products, or self-advertise. These timestamps are fixed, as the video creator uploads a single video for distribution.

If YouTube dynamically injects additional ads on a user-by-user or region-by-region basis, not only will these ads all have different lengths and timestamps, making SponsorBlock ineffective, but will also render existing tagged segments obsolete, as they are now offset by the length of any preceeding injected ads.
If youtube was a pure platform, personally I wouldn’t mind. But it is also politically militant and I don’t feel like giving money to militant organisations I disagree with. If they stayed neutral it would be very different.

I also object to the creation of a stasi-style file on my viewing habits. I don’t use google for anything else.
Semantic overload is a weird but effective attack on human thought.

Whenever I voice criticism of 'Clean Code', a lengthy, awkward and difficult conversation follow, where I must clarify that I don't dislike writing code that is 'clean', I dislike writing code according to the whims of some dude who wrote a bunch of random practices down in a book he titled 'Clean Code'.

It never goes over well, and my chances of success are inversely proportional to how technical the conversation partner is, and how much of an agenda has.

When a non-technical manager 'helpfully' suggest I adopt best practices from this book to improve code quality, a special kind of pain arises in my soul.

I know I'm not alone in this struggle, the ways of defeating this menace has escaped a generation of programmers.

Same goes for Agile.
To me, I always feel this disconnect when people from academia talk about programming. I guess this is just me because of my personal experiences as a coder though, andothers don't have this.
You trust Canonical, android users trust Google.

Binary blobs are an unfortunate reality and no amount of trust in a company or entity can really solve this.

For the record, Debian and Arch doesn't work very well on non standard hardware. I use arch on my desktop but gave up on using it productively on a new HP laptop.
The Linux kernel team has been hostile to binary drivers in the past. Is that not still the case?
That's not at all what Supreme Court ruled with regards to the 2nd amendment. They precisely said that contemporary laws related to firearms must be consistent with the centuries of jurisprudence we have on the limits and liberties enabled by the 2nd amendment. In your own words, states must not "throw out precedents from the most recent couple of centuries."

This law, by contrast, was enacted in 1789 but only invoked exactly twice until 1980. [1] Since then it seems to have been regularly enacted with very little in the way of jurisprudence to guide its purpose, limits, and overall meaning. It also suffers from an issue that it appeals to "international law" which is a term more subject to political than legal interpretation. Contemporary examples abounds.

[1] - https://en.wikipedia.org/wiki/Alien_Tort_Statute#History
>Copilot GPTs created by customers will be deleted.

For a technology that's arguably going to be very core to a lot of businesses down the road, vendor lock-in looks to be an unmitigable risk.
Even if they decide to take an aggressive approach of injecting ads into the video stream at unknown positions, there are still going to be ways around it.

For one thing, this approach seems to inherently conflict with the fact that you can link directly to a particular timestamp in a YouTube video, either in an external link using the `&t=...` URL parameter, or by just including a timestamp in a YouTube comment.

So unless YouTube is willing to break all those links or drop timestamp linking entirely, then it seems to me that they'll have to give clients a way to convert "original" video timestamps into corresponding offsets into the delivered video stream. And if you have that, you have enough information to locate the ad segments, at least to the nearest second.

Or, another option: Presumably the server is just muxing together pre-encoded video segments corresponding to either the original video or the ads. So one could create a database of segment hashes, look for identical segments that appear in multiple videos, and add them to a crowdsourced database of known ad content.

It might be difficult to use these strategies to block ads interactively in a browser, by patching the behavior of YouTube's player, but they ought to still be usable in non-interactive tools like yt-dlp.
Not only this, but the more successful you become at serving ads the more engineers you create that will passionately work against you.

There's an old saying:

How do you create a terrorist?
You kill his brother.

I think there's something to learn from that here.
The purpose of a system is not optimization.

Or as Stafford Beer would say - The purpose of a system is what it does.
It's amazing what a FAANG with tens of thousands of software developers cannot achieve.
continuing instead of editing:

I mean actually this is probably the rule for most countries regarding some laws at least - EU companies as I understand the law need to follow GDPR when outside EU, there are laws against bribery and money laundering that work across nations despite what the economic/legal circumstances are in play in other countries.

Luckily though I believe every country in the world that is not a fictional dystopia actually has laws against corporations paying to have people killed so it probably doesn't matter much in this case anyway.
100% agree. The value I get from YT is easily 10x any other streaming subscription (maybe excluding Spotify), probably a lot more than that actually. Particularly for the HN crowd I would assume, there's so much good and interesting content being made by very knowledgable and passionate creators on every topic imaginable. Great for WFH too, I put on a walking tour of different cities or an extended session recording from some deep house DJ in the background, perfect for coding.
If the kernel had a stable ABI and made it a bit easier for closed source drivers to access kernel APIs, yes.

That's how you can use a random 25 year old peripheral on multiple versions of Windows without anyone having to update a driver.
I find the idea pretty wild that we should be able to predict earthquakes within days. My understanding is that earthquakes can be predicted like bridge collapses can be predicted. You can collect signs of a developing fault, but the uncertainty of when it rips is measured in years. And if your model is lacking for the specific instance, you'll misjudge the chances by orders of magnitude.

So I read papers like this one as hopeless fishing expeditions. But if the fishing expedition turns up with a good catch anyway, people will look into it more. Unfortunately I'm not versed enough to asses their catch. Will wait for a geologist friend for context.
> will also render existing tagged segments obsolete, as they are now offset by the length of any preceeding injected ads.

By the same mechanic, it would also invalidate all the timestamps that people put in video descriptions and comments. Are you sure YouTube would do that?
Detecting these in-stream ads is perhaps finally a good use case for AI ;-)
100x was a demo, not an actual number. But please explain how does intracellular content with DNA, RNA, proteins, structural organoids and all of these metabolic constituents [0] is supposed to be the density of water. You want the cells in an endotelium of a blood vessel to float, allow the blood to get into the wall of the vessel and get hematomas and hemmorhages?

[0] https://en.wikipedia.org/wiki/File:Metabolic_Metro_Map.svg
are you using whisper at the backend
The current AI trend is running per the usual playbook. Before it was mobile apps, social media, crypto-currency and now AI.

Like the other trends we'll need for the marketing to die down and see what is actually real and useful. Once we hit that point the money is gone, no more crazy funding. It will also be interesting to see if we get helpful products that makes our lives better or if it's going to be damaging as we've seen with social media or relegated to the backrooms, like crypto-currency.

None of the technologies we've seen trending like this is good or bad on their own, but social media has been completely misused and rather than providing value and promoting human interaction it's used to track us and sell us stuff we don't need. Crypto-currency was, in hindsight, never going to be something that could be promoted to the average user, but is really useful as a backend technology. The current generation of LLMs have the possibility of been incredibly harmful, or extremely useful, but they aren't products in their own right.

Regarding the marketing hype, I think this video from der8auer at CompuTex was funny: https://www.youtube.com/watch?v=45CvTHmt_dI basically the AI label is just slapped on EVERY THING.
which makes sense? like i can’t expect the new ai intelligence (a 3B model) will run at all on iPhone X
I’ve applied for almost 120 knight jobs in the last two years. Several of them require 30 years experience at both swimming and poetry, which is absurd. It’s possible I’m being rejected due to my drunkard status tbh.
I did not find anything about their software. Is it open source? Is there an SDK? Can I use WhatsApp / Telegram / Signal?

How can I develop my own apps?

For me this is currently a hard no, because even though I like the UX, I will not buy a closed software product, as even Android is modable.
I don’t have a choice in where content creators will upload their videos.
It's very common in RTS. StarCraft 1 and 2 also use rolling lockstep.
It is operator overloading. Traits are just the mechanism to do operator overloading in Rust.

But I think what matters in this particular context is that Rust does not support function overloading and this restriction also applies to functions implementing operators. I think this may be why the parent comment claims that it is not really overloading. The meaning of "overloading" is a bit ambiguous here.

So for a concrete type vec3 you cannot define both <vec3> * <double> and <vec3> * <vec3>, which makes type inference a lot easier. It also makes Rust operator overloading less expressive.
This is cool! It works nice. Too bad the audio is only in English, even if you submit a PDF in another language
I disagree with the notion that power imbalance increases with technology. As time progressed and our technology evolved, the balance of power between a regular human and the human with the most power in the world have gotten closer, not further apart, in my opinion.
Stalin exiled Trotsky. They were both socialist.

Just because people or groups are enemies doesn't mean they disagree on everything.
I was imagining that some sys admin has to walk to the server, take out the GPU, blow against the PCI-E pins like a game cartridge, and put it back to try again.
I’d be willing to compete as a sybarite. Not in chess, mind you. Just plain… sybarition.
how this type of licencing affects people that are not google et. al. in big companies? e.g. I am bootstrap/indie dev doing a small SaaS? Should I be concerned?
> They want third-party developers to refactor their working and tested drivers every time they decide to change something.

no, they do it for you for free - you just have to make sure the quality is high enough to merge into mainline.
For one, corporate safety of the hoster/model creator. No one wants their name associated with racial slurs or creating material visually identical to CSAM - the latter might even carry criminal liability in some jurisdictions (e.g. Germany which has absolutely ridiculously strong laws on that matter, even banning literature).

Another very huge issue is public safety. During training, an AI ingests
lots of non-reviewed material, including (very) detailed descriptions on how to make dangerous stuff like bombs. So theoretically a well-trained AI model knows how to synthesize explosive compounds or drugs just from reading Wikipedia, chemistry magazines and transcripts of NileRed videos... but that's hard to comprehend and distill into a recipe if you're not a trained chemist, but an AI model can do that with ease. The problem is now two-fold: for one, even an untrained idiot can ask about how to make a bomb and get something that works... but the other part is much more critical: if you manage to persuade a chemist to tell you how the synthesis for a compound works, they will tell you where it is easy to fuck-up to prevent disaster (e.g. only adding a compound drop-wise, making sure all glassware is thoroughly washed with a specific solvent). An AI might not do that because the scientific paper it was trained on omits these steps (because the author assumes common prior knowledge), and so the bomb-maker blows themselves up. Or the AI hallucinates something dangerous (e.g. compounds that one Just Fucking Should Not Mix), doesn't realize that, and the bomb-maker blows themselves up or generates nerve gas in their basement.
> What does "server side injection" actually mean?

The way ads usually work is that they are separate video files that are fetched by the YouTube client (e.g., the browser) and then displayed to the user. Ad blockers modify the content of the web site such that the URLs to those ads (usually embedded in some JSON object from an API endpoint or something like that) get removed so that no ads are displayed.

Server side injection in this context means that the server renders a video file on demand that contains the original clean video plus a few ads here or there. Blocking the ads now is much harder because you cannot simply manipulate API responses containing refrences to those ads because there is only this one video file. Instead you would need to implement a mechanism that skips those ads in the player.

AFAIK server sie injection is already done on twitch for live streams where blocking ads is really basically impossible because you cannot skip anything in a live stream. I think the best solution for twitch to get rid of ads is to use a VPN/Proxy in a country where no ads are delivered for contractual reasons.
probably due to a combination of pricing, house size, and lack of air conditioning in the uk as mentioned.
If they inject video, I can skip ahead. If they lock playback for that time, I can skip ahead programmatically.
A technical solution that prevents the issue in the first place is better than a legal protection that slaps a company on the wrist if they are caught.
Neighbours [video]
They seem to be used for making cheap shitty music videos for bands I’ve never heard of mostly.
People keep claiming they can publish weights and also prevent misuse, such as spam and, a bit later on, stuff like helping people build bombs.

This is of course impossible, but that makes certain companies' approaches unviable, so they keep claiming it anyways.
The whole idea that memory is stored in a distributed, lossy, and redundant fashion is hardly a new one; I read about the concept of Sparse Distributed Memory in Science News as a youngster more than 3 decades ago, and it in turn was informed by earlier ideas of sparse and spatial-coded memory (e.g. holographic metaphors of recollection).

LLMs provide evidence that you can build systems with these exact properties; no individual perceptron stores a concept, and the encoding is extremely sparse and redundant.

Of course, LLMs don't demonstrate conclusively that the brain works this way, but given that this form of information storage and retrieval works across a real analogous system refutes those that said this would be impossible for the brain to do.
Android has been booting off mainline for awhile now, so what are you going on about?