skysight-inc/HackerNews huggingface dataset:
Ask HN: Can I check the connectivity of an ISP without being in its network?
Suppose I want to check whether the Vodafone network in the UK is having an outage or not. I don't have a Vodafone UK subscription, and possibly I'm not even in the UK. Is it possible to check for outage still?

P.S. I don't want to use any third-party service such as Downdetector. I'm looking for a "technical" solution.
I lost AirPods with an AirTag attached to them in my (now former) apartment complex's parking structure. It was Austin and so APD refused to help recover them despite me telling them there was an AirTag on them and they were still in the area, but moved to a vacant building leased by Google. Still no help from APD. Then, I watched them migrate to a residential address in another nearby town. Again, zero help from the Austin Police Department. Calling the police department in the other city was also of no help.

tl;dr: Don't live in Austin. That Google building's security people were thieves.

Reasons: Nonviolent crimes aren't policed in ATX because they're short ~300 officers. And, it also isn't prosecuted because the DA has the same views as other big cities, leading to more crime and a city death spiral.
Using make but don't have any artifact and dependency is just choosing the wrong tool for the job. It's the whole point of the tool.
Mathematics for the Impatient – Threshold Encryption (2021)
What I like about videos is that I can listen to them while doing other things (e.g., dishes, laundry, walking, or gardening). YouTube premium lets you switch the screen off. Annoying that you have to pay for this, but no ads is a nice bonus. Nebula also lets you do this.
A trottinette is actually called a scooter in english. I believe a "motor scooter" is what we in France call a scooter.
Whenever there is a 'big new AI model' launch, I try to build one of my side projects fully with the new AI. So I do not touch anything myself, I only talk english to it. I do read the generated code and instructions so I can correct them in English; no code at all. It worked twice; with chatgpt4 and the sonnet launch. All the others did not manage without significant code or ops help.

It is a very annoying experience even if you know what you are doing; it is still much faster than what you would get done writing code but it is very frustrating getting the last 10% right; you spend a day on 80%, two days on 10 and a week on the last 10%. If I just jump in and fix the code myself, it is about 1 day for the same project, which is still amazing (and not imaginable before).

People complaining that it sucks and it cannot figure things out often are right, however, it is a lot better than what we had before, which was doing all this by hand (causing many people to procrastinate over even starting a side project while have 1000s in mind every day).

These types of services are important and I like this val.town idea. Well done and keep going.
If it had the number of real users it says it has, would that really increase the chance of it being profitable?
I like the ribbon and find it's better suited for my casual use of Excel and Word.
I moved on reddit back in Digg exodus days. Been there more than 15 years. Got banned recently mentioning that some Palestinians are terrorists. Mods cursed at me in the PM when I reported them to admins, Admin permanently banned my account. It's just a radical left echo-chamber now, which sucks because there are lot's of interesting niche sub forums.

I wish someone would actually invest in competing product, with less censorship and no braindead mods.
"configuring a network interface"

Each network card configuration dialogue has a box for "default gateway". As a result an entire generation of people have some very strange ideas about how routing works for a host with more than one network interface. That UI has persisted since at least Win 95 and Win NT.
Add Ansible for flavor
Thanks, good to know. We have plenty of these false friends.
I like this approach. It makes me wonder though, what about <i>, <em>, <dfn>, <cite>, etc.? They all look the same by default and as far as I know there is no UX advantage to using them properly. Do screen readers differentiate them? It doesn’t seem necessary for accessibility when sighted users can’t tell the difference either.
I once tried out a screen reader out of personal interest but gave up after an hour or so due to how frustrating the experience was. I couldn't find the right key combinations or had a hard time remembering them because there are so many and none of them seemed intuitive. I also accidentally toggled some option using the wrong keys and then other basic things stopped working with no apparent way to recover from that. My suggestion would be to improve the UX of screen readers for sighted developers, e.g. by adding a little bit of UI to access the most important features without having to study the tool for days.
This is a great response and pretty much sums it up.

With k8s you can easily install a bunch of helm charts and get a bespoke platform that becomes a full time role for multiple people.

There are pros and cons against this approach but you if you're worried k8s is complex, just use the cloud native integrations.
I wouldn't respond to their bullshit copy-paste email and definitely wouldn't used apologetic language nor phrases like "Legal Team, I hope this message finds you well".
Well, reddit became worse than that ~10 years ago because of the inconsistent, absurd, immature unreasonableness of a sizable fraction of mods who added suck and subtracted cool from the world. Maybe this is a pattern common to most all group-oriented social media platforms where community mods skew towards being drama-oriented, elitist, and/or crazy because no one else wants the job and so, like policing, it attracts certain personality disorder-like individuals.
It's not profitable enough. Investors all expect double digit continuous growth. No one seems happy anymore to "just" make a profit.

This results in companies rapidly growing until no more profit can be made in the short term at which point they start cutting costs to continue show profit. The cuts result in destroying the long term value (firing valuable know how etc.) for a short term profit. At the end the company dies or becomes a sad zombie.

Rinse and repeat.
Hmm I'm not into photography enough to follow the whole article, but what does this pixel shift mode have with "AI"?

Looks to me like nothing except a little clickbait in the title.
A good video about Datalog: https://www.youtube.com/watch?v=M5fwAkJqAVw
Spanish has rules for verbs ending with -ar,-er- and -ir save for few exceptions. Still, RAE should have accepted "conducí" as "conduje" long ago (and the rest of declinations/verbs such as traducir, reducir...) IDK about Greek.

If we are using two valid ending forms of Subjunctive (-era/-ese) since forever, IDK why couldn't we set these irregular verbs back to regularity.
This is wildly misleading as the benchmarks make use of batching. It will entirely fall apart in real workloads where each prompt is different. If you're doing batch processing with a fixed prompt, the results will be more applicable.
> I think we need more simple websites again, but I am not sure about the incentive structure.

Then go make one. It’s easier now than ever. The social media mistake was trying to make one site everything to everyone but the web is still there.
Consistently Making Wrong Decisions Whilst Writing Recreational C
Mostly because VM tooling is stuck in the past.
The code base I work on has more test code than production code.
---
Also, why pay to advertise when you can just make a shill account for free?
---

Because it does not guarantee visibility.

"Why pay for advertising on Facebook when you can have a Facebook page?"
ME was a rushed attempt at making DOS-based Windows less DOS-like, while Vista was perhaps too extravagant in its UI. 8 is when the nosedive started and things began getting really dumbed-down as they decided to rewrite huge swaths of previously working functionality and broke much of it in the process.

11 is, according to Microsoft in their official marketing material, "the most inclusively designed version of Windows". They sure are right about that -- they included a bunch of idiots in the design process.
This is the second to last phase of 'First they ignore you, then they laugh at you, then they fight you, then you win'. While these services are still relevant for you - and that is where the 'winning' starts, when their relevance drops below the level that makes it worth putting effort in fighting them - you can use proxies like libreddit for Reddit, Nitter for TwiXXer (it still works for reading single posts, no idea if it works for 'following' because I have never done that), Invidious for Youtube and (while you're at it) SearxNG for search engines. Once you have found or - better still - installed yourself some proxies of choice you can install a browser extension to automatically redirect any request for those sites to the proxies, two examples of such are Privacy Redirect and LibRedirect.

The advantage of going the proxy route is that you only have to do this once after which you can access those sites from all your devices without needing to install separate apps.
Yes, and after screening they had 84 recipients to contact.
Let me know how for-profit health insurance works out when they decide you're not worth giving a life-saving procedure.
> Sounds like you did not jump into the pool of flexibility and reusability.

Quite a good analogy: a pool is responsible for more drownings than you'd think.

Most people in the pool of flexibility and reusability are drowning in it.
That's deliberate. They chose to grow their user base instead and it worked.

2019 350 million users
2024 504 million users

Investors invest into future free cash flow.
As explained in the link, Vega uses many of the D3’s geometry and other utilities, but not the DOM manipulation that most people associate with D3.

So the layers are not even in this comparison - Vega is sort of on the same level as D3, and Vega Lite vs Observable Plot is a better comparison.
aider.chat

command-line driven, you give commands, the system directly changes your code and commits the changes so you can easily go back.
I automatically applied 1000 jobs in 24h and got 50 interviews (using AI BOT)
I learned from these comments Apple Vision Pro isn't intended for gaming. No wonder Buffet sold out of them. WTF are they thinking? Might have to transition to Linux fully at some point before I die if they continue doing stupid things.
Don't you care about whether it's an abandoned project, how many dependencies it has or its license?

Your simple heuristics seems like a bad approach to me.
Does this include Win 11 Enterprise?
Imagine an experience like that but on mars or the moon. With real footage. Now that would be something!
Videos take much longer to make [well], than equivalent text/image-based content.

But I’m a late boomer, so I come from the last century. I consume video content, but also, a great deal of written stuff.
Gotcha thanks for the info. It's funny, Apple's new OS is called Sequoia, yet there is no environment in the sequoias (aka redwoods)!

I did find some discussion about how they are made, but there does not yet seem to be a documented process.
https://www.reddit.com/r/VisionPro/comments/1am8e00/how_to_c...
I think there’s lower hanging fruit for reducing carbon emissions than swapping the annual family vacation for a bunch of VR headsets.

By all means if you’re willing to make that sacrifice be my guest, but I can’t imagine experiencing Venice through a headset.
There's so many worse things. Like how people think research can be measured by citations and h-indexes.

Yes, these things help, but if you're serious about hiring or promoting just read the god damn papers. The numbers are no substitute and it's insane that so many people outsource their thinking to numbers when there's such rich data within arm's reach. No wonder why people have hacked the metrics, no one vets them -__-

As for journals and conferences? Fuck em. Post to arxiv or better, open review. Engage with people who actually care about your work. The whole purpose of punishing is to make your work available and communicate with your peers. We've solved that. We don't need them (well it's still nice to physically meet with people. The conferences can stay, but they should focus on that. Not being "arbitrators of truth")
"Oh no!! ...Anyways" -Elon crying in to piles of $100 bills as he lands rockets worth 50 of our houses on the same square it blasted off from while plotting the next car he's going to launch in to outer space.
Because the advertising model is very weak on Reddit, it's just a sponsored post with no differentiation most people skip past. No video or image to catch interest.

Plus, the users are self segregated, what a dream.

Imagine you wanted to sell drop shipped backpacks. All you'd need to do is create and prime, or buy, a dozen or so accounts, and start recommending your own brand subtly in every recommendation thread in r/backpacks or whatever the most popular sub for it is.

People trust Reddit because they assume they're other real users. Many advertisers already know and take advantage of this. It's nearly impossible at this point to know who or what is authentic.
Thinking of TVs as size comparison is wrong thing... Think of laptops. How big laptops people want if they are going to move around with them?

Unwieldy gaming laptop are reasonable if you move them once a week or absolutely need them. But otherwise people would go for lighter and thinner devices.

And here the weight is carefully balanced on your head...
I wonder if you could almost add image-heavy social media to the list. I think the amount of tiktok and IG that boils down to looking at hot people is probably shocking.
Where's Gail's?
A month ago or so I helped a tourist rescue his iPad which was stolen and throw in a field of tall grass. I also found a pair of 1st Gen airpods who weren't his, and I guess they were stolen some time ago. The old models don't have this feature, and bringing them to the police won't do anything here, since someone should voluntarily go to the police and ask for a pair of lost airpods... I've looked for and there aren't alternative ways to localize them or to get back the owner, it sucks
Narrative shaping has become big business globally. That's why Reddit wants to force paying $30k/yr for their API. Twitter/X is doing the same thing for the same reason.
Read before left-wing authoritarians take down the copy as well: https://archive.ph/xf6ez

Paper link: https://psycnet.apa.org/record/2021-74485-001
Hello everyone,

I'm Devesh Pratap Singh, and I created an amazing AI software called Dev. Dev is always on your screen, watching what you're working on and which software you're using, so it can give you context-aware answers without needing any explanation.

The problem I faced with other AI applications was that I had to explain everything—like saying, "I'm working on Google Sheets, can you help me insert a chart for rows 1 and 2?" But since the AI didn't understand what rows 1 and 2 were about, I had to take screenshots of every step in the process and send them to the AI just to get the right answers. This process was time-consuming and inefficient.

To solve this, I built Dev. Dev stays right on your screen, so you don't have to visit AI websites. Just click the Dev button, and it instantly understands what you're doing, providing real-time, context-aware answers.

I originally developed Dev for myself, and after using it all the time instead of other AI applications, I decided to make it available to everyone at the lowest price possible. Download it, give it a try, and I hope you'll enjoy using our software!
Installing codecs, drivers (several times by different guides usually) and disabling Red Hat telemetry from command line is what user have to do to make it usable for something more than running neofetch
They want to own a successful app store.
Rereader can access NSFW if the logged in account is a moderator, even of a one person subreddit.
an AI knowledge base for ADHD founders at Saner.ai
Reddit was a cool place when I first discovered it during the Digg exodus. Sadly, it was too fragile to stay as good as it was, and the repeat drama caused by the admin's mismanagement took its toll on the goodwill. The company responded to this by becoming more adversarial to users, and there's no sign they will stop pinching users in some way, whether it be their free time, money, or otherwise. We just need a public way to talk to each other about niche topics without the toxic middle man.
an AI knowledge base for ADHD entrepreneurs at https://saner.ai/
I feel like this is another example of a problem that could be easily solved if we had integrated, anonymous and frictionless payments on the web. For example, imagine a Reddit clone, but every comment you want to post costs one cent. For a regular user it takes a while to build up even a hundred comments, meanwhile for a spammer, this could quickly become costly. The hurdle of course is that no one wants to put their credit card details into a bunch of random sites, or nearly any site for that matter. If we had anonymous payments integrated into our browsers, it would be very straightforward though, click a button and you give a site a dollar and you're good for a while. This would generalize and improve many other sides of the web as well, from sponsoring open source projects to creators. Removing the payment friction could help improve many things online, but I don't think I've ever seen a feasible, realistic path proposed towards that.
It's not just the app, the content itself has regressed. Where previously many subs actually had content related to their name, now it's 90% American political content. Evert r/pics is not immune. It's not just the posts, the comments too have political stances in them too, for many posts even unrelated to politics. It's tiring to read.
Acute effects of R-MDMA, S-MDMA, and racemic MDMA in healthy participants
To give you some insights from someone with a different starting point:

For context I'm a 22 year old CS student and part-time SRE working on everything related to kubentes (golang, scripting, yaml, ...).
I can assure you that reading the fucking manual isn't a thing my fellow students or I did when we could avoid it. I think that might be because university projects don't tend to be long lasting and finding quick pre build solutions - without understanding them - works just fine. There is no penalty for technical debt.

Now almost exclusively read the primary docs or code and I think that might (surprisingly?) be because of copilot.

The neovim copilot extension resulted in me not feeling the need to switch to my browser all the time. Not having to do this context switch and looking more at my code got me into reading the lsp provided symbol docs. After some time I noticed that copilot just made me feel like I know what I'm doing and reading the overlay docs provided a way deeper understanding.
Not really blaming, more like wondering how things would turn out.

Probably would only delay the move to the cloud a little bit, and perhaps make AI less capable.
Check out lemmy. Pick an instance: can start with https://lemmy.world or host your own. It's where everybody flocked to. It's decent, has decent content, decent users.

If you don't like the mods/censorship you can host your own or go choose a new instance. content will be the same, mods will be different and what they mod will be different
It's a rhetorical wedge trying to establish value without actually doing so. I'd assume they're a stakeholder of some measure.

People and their choices attribute that value. Not snide people judging the decisions of others.

Tesla or anyone will sell you a golf cart. Most of the decision is personal style, categorically subjective.

Nearly all of the people I know don't buy new cars or lease. They're at least five or more years from ever seeing an EV because of used car affordability.

Case in point: the boots theory. The car they have is better than the one they could maybe get.
> the JVM has no type safety whatsoever.

This is just partially true (or completely untrue in the mathematical sense since your statement is "_no_ type safety _whatsoever_" :P ). The whole purpose of the bytecode verifier is to ensure that the bytecode accesses objects according to their known type and this is enforced at classloading time. I think you meant type erasure which is related - generic types do not exist on the bytecode level, their type parameters are treated as Object. This does not violate the bytecode verifier's static guarantees of memory safety (since those Objects will be cast and the cast will be verified at runtime), but indeed, it is not a 100% mapping of the Java types - nevertheless, it is still a mapping and it is typed, just on a reduced subset.
Nice. Things are doing pretty well where people migrated to over on ..the other platform since the API app destruction days, you should join.

Honestly if they banned you it's because it threatened their IPO. Spez and co don't care about communities or the people. They never even gave mods their mod tools. They just left AutoModerator to sludge along laggingly on a single core after firing the creator of it that went on to create https://tildes.net - a better 'reddit'.

Reddit just sold everybody's data to google for the AI data and are going to sell the same data back to reddit users with walled gardens and its new 'search'. Fuck 'em.

I'm sure it's a decent app. I won't use reddit. it's an astroturfed left-swinging graveyard where even Alexis Ohanian quit its board and left completely due to its racism years ago.

There's libreddit and redlib for self hosted frontends similar to geddit, but yours as a mobile app I can see would be appealing since reddit's as I've heard is less than ideal.

You can slap on .rss and .json at the end of the URLs and get your favorite subs from a decent rss reader. No need to comment anyways.

With reddit, you're just commenting amongst bots such as these: https://www.youtube.com/watch?v=HU4sGCVZqWo

The dead internet theory I've found, isn't a theory.

Good on ya for making Geddit. Keep up the cool stuff.
My wish is that FOSS software test engineering approaches and tools evolve to appropriately model and formally-verify code behavior in the spirit of what the seL4 project did and maybe further. Similarly, system behavior should also be formally-specified and provable. Until we get there, it's one removed from whipping up untested code ad-hoc and then YOLO'ing to hope it all works out. It's going to take a lot more work and a new way of defining constraints, relationships, and nonvariants but it's unavoidable to prove that code behaves as intended.

PS: Neither "Just rewrite everything in X where X = Rust", "just use fuzzing", or "just use MISRA coding standards" doesn't get us there. Holistic improvements help, but not with the fundamental deficiency above.
I wrote something similar that uses Redis pubsub, so you can run the script somewhere to connect and then write simple clients just using Redis: https://github.com/dgl/redis-irc-bot

The neat thing about this is you can then extend it to other protocols. I have a (private) implementation using Apple's Shortcuts so I can also use the same "bots" with Apple Messages.
> DEUS FACTUS SUM

as opposed to Vespasian, who on his deathbed, is said to have said:

> Vae, puto deus fio.
> HTML content omitted because you are logged in or using a modern mobile device.

Weird message for a <noscript>...
I wouldn't even reply to them.

The only API you need is HTTP. Those who try to pervert you into thinking that they can decide what user-agent you can use are only trying to control more than what they own.
Albanian IPs don’t get ads on YT because of a law they passed apparently banning ads on YT.