skysight-inc/HackerNews huggingface dataset:
I don’t understand why a pipe network should even imply any authority at all. Modern subway construction in most western cities is routinely stalled due to finding some random victorian era pipe that isn't on any current utility map, probably built by whoever built that block of properties initially, and promptly lost to time in less than a hundred years due to there being no central authority for these things until the most modern cases.
So because things could get worse, there's no point in doing anything?
I don’t see anybody trying to make tobacco illegal.
Many municipalities have that issue. It's an issue where I live also. Here the county does the reassessments and does so at their own schedule. It's been 12 years since the last one.

But my point is that low property taxes create inequity because they are typically based upon "value to owner" and don't include "cost to society". The largest cost is unaccounted for - the cost to protect property rights. Your property is worth nothing to you if a thug could come and take it away.
>I don't have an exact timeframe for when surface contact was determined to be a much lower risk vector, but I seem to recall that info coming out within the first few months (early to mid spring) after the virus hit the US.

I was more interested in when plastic manufacturers were lobbying businesses to ditch reusable bags. According to this new york times article[1], the CDC only acknowledged it over a year into the pandemic. If the lobbying efforts were within the period, they could have been forgiven for not keeping up with the latest scientific literature and using the official government recommendations.

>At the beginning of the pandemic people were quarantining all of their groceries and/or wiping every single package down with sterilizing solution. Then we learned that the virus is not terribly transmissible from surface contact, the major risk by far is via particulates, and basically everyone stopped doing that.

Did they stop doing that because they were keeping tabs on the scientific consensus, or did they simply get bored?

[1] https://www.nytimes.com/2021/04/08/health/coronavirus-hygien...
It doesn't sound ideal, but I guess the risk of causing danger to third parties is lower driving through Alaska than round the M25 or the Périphérique, simply due to numbers and space. I've never been to Alaska, but in the lower 48 folks seem to treat truck drivers with more caution and space than we do in Europe, so I wouldn't be surprised if they're "safer" even with more fatigue.
Such services are useful (to me, for one), you're throwing out the baby with the bath water.
It is indirectly when there’s a federal deficit.
Thank you, indeed!
I am trying to avoid self management. Considering the complexity of a manual setup, I am looking for some abstraction; "managed" k8s solutions like mentioned above. I have two choices at the moment either go with more or less managed k8s or go with something similar to Heroku (but OSS) with build pipelines.
I'm sure there are solutions that I might be missing...
Police should not be able to lie without a warrant.
"Nah we were on it just trusting in the growth plan which hasn't come through. It's all good I know how to grow this business. But gotta get costs in line first."

- Flexport CEO
Let's hope it doesn't have the third movement in it or else we'll be needing new keyboards.
> It's a government mandated bullshit

Who says that, google?

To make an analogy, don't believe any EU country government when they blame some EU directive for a new law.
The reason eshell doesn’t feel like a proper terminal is because it’s a shell that doesn’t run in a terminal but in an emacs buffer. A down side is programs meant to display output in a terminal emulator won’t render properly in eshell. An up side is emacs commands meant to display output in an emacs buffer will work beautifully in eshell and the entire output will be editable.
I think many people on HN are used to throughput oriented horizontally scalable services, where GC is not particularly relevant because:

a) You don't care about pause times since latency isn't your key metric

b) You can almost always just throw more money at compute power to increase throughput

It's almost always the case in such a system that your bottleneck is on the databases that you're pushing data through, as your main approach of "scale horizontally" typically leads to those sorts of bottlenecks.
Fortunately English is not prescriptive and people can pronounce things however we like. There’s a Salina ‘sulaina’ KS, yet there is Salinas ‘sulinuz’ CA.

In any case I’m not in Madrid and the people saying ‘nweva joR’ may not be in New York either.

And despite Erdogan’s pronouncements I’ll keep on saying Turkey.
Elevate load balancing with Private IPs and Cloudflare Tunnels: a secure path t
Microsoft details why your recent Windows 11 WinRE updates may have been failing
The problem is that when you are on it, you contribute to the network effect and make it more useful to others to submit themselves to surveillance in turn. You and your interactions with your friends becomes the honey in the trap.

I urge a visit to the Stasi museum in Berlin.
I write a lot of documents for my consulting work - technical due diligence, analyses, that sort of stuff. The kind of stuff where some hallucination I forgot to double check could cause bad business decisions. Until now it didn't occur to me that I should maybe proactively declare that I did _not_ use LLMs whatsoever in any stage of working on these. Does anybody here do that kind of thing?

Declaring usage is one thing, but I think declaring non-usage might be the more valuable thing in the end.
Not exactly. "riichi" comes from Mandarin, which might be related to "reach"[1] (can someone confirm?). It is an original word, although maybe a loan word, an the pronunciation might just have been kept faithful to the original because for all three languages (English, Chinese, Japanese) the length of vowels are sometimes meaningful (unlike e.g. in French).

[1] https://zh.wiktionary.org/wiki/%E7%AB%8B%E7%9B%B4
Microsoft: China stole secret key that unlocked US govt email crash debug dump
I missed that statement then... And my estimate was generous.
Engineering Windows 7: A view from the bottom (2008)
Aligning Large Language Models with Human: A Survey
A paper by researchers at Huawei - please a very good resource on GitHub of various survey papers (Git link is - https://github.com/GaryYufei/AlignLLMHumanSurvey )
Apple Issues Urgent iOS Patch for Major Security Vulnerability
> We have Maxima, Axiom and its two (!) forks, SymPy, REDUCE, Symbolics.jl, Mathics, SageMath, FORM, Yacas, Xcas, etc.

Can these efforts be combined into a high quality OS library? The license would permit use from commercial applications like MATLAB. There is precedent in libBLAS.
That being said, nequo's request is not unreasonable; given Lean's advanced metaprogramming facilities, their request should be easy to implement.

The nice thing nequo's example illustrates is rank polymorphism: list comprehensions work with lists, products of two, three, four,... lists with the same easy notation : `[n-ary function | x_1 <- List_1, ..., x_n <- List_n]`. It is quite nice to have this, especially for complex numerical operations.

Note also that unlike Lean 3, in Lean 4 `List` does not inherently implement `Applicative` or `Monad`, so your code cannot work as is.
If you have to listen to such an elevator pitch, you're not the target audience. This is bleeding-edge math/CS research. Talking about a "product" just shows that you have a fundamental misconception regarding what this is all about.
It's both of em, you can't top that off.
You don’t need central planning to have everyone making things the same style. Think ancient pottery. There wasn’t any authority there yet for generations in some cases potters styled their pots in the exact same way throughout the range of their culture.
I just got finished listening to the most recent episode of Darknet Diaries this morning on the way into the office! It was about similar companies to the NSO group: https://darknetdiaries.com/episode/137/
God I wish we could go back and do 1991 again. Unfortunately time travel is impossible so I need to stop ruminating on it.
Just yesterday I had noticed that, "Suggestions from sponsors" in the address bar had been turned back on after a recent Firefox update, and then installed Librewolf. I really want to use it as my main browser, but certain use cases such as online banking (at least with my credit union) doesn't seem to work properly, so I re-disabled "Suggestions from sponsors" in Firefox and went on with my day. Seriously, changing user settings with updates is a major dick move and something I'd expect from Microsoft and not Mozilla.

Edit: Turning off the anti-fingerprinting feature in LibreWolf is needed for online banking to work.
We know a few concrete things:

1. It parses 200gb at an average rate of 700kb/s

2. The job splits strings into a format that is loaded into mongodb

3. There where OOM errors that went away with a smaller workload

None of this points to an inherent issue with NodeJS and the way it references memory.

The speed issue alone points to a different problem root cause, and the post is completely lacking in concrete analysis.

If v8 is being dumb and retains references to huge strings, then understanding this is the case and forcing a copy (and thus enabling the gc to reclaim data) is quicker and easier than any of their attempts at fixing the issue.

Splitting a small TSV file and loading it into mongo can be done with even the most memory inefficient language without issue.
So the NYPD is getting into precrime "detection" like the PRC. Are they going to beat confessions out of "guilty" thoughtcrime "perpetrators" too?
Oh man, Cringely! There's a name I have not heard in a while. His tech journalism used to be literally everywhere.
> But if researchers delete the boilerplate ChatGPT phrases, the more sophisticated chatbot’s fluent text is “almost impossible” to spot, says Hodgkinson.

Well here is an idea - check the actual paper contents, rather than text patterns. If you still can't tell if it's made up by a bot, it's either not a paper worth of publishing or you're not much of a peer reviewer.
This is my perspective as well. I've spent weeks doing nothing really technical while trying to help other parts of the team.

Building the software is relatively simple when you factor in sales and customers. Code is easy. People and markets are not.
Forgive me for talking about single programs then.

Databases do typically have exactly the same memory problems though, again this time I mean memory locality rather than allocating it, obviously with the transactional elements on top.
And then you show them the black blues note...
Transform Software Teams with Feature Captains
TSMC warns AI chip crunch will last another 18 months
> Now I have to be careful because Dang gave me a chewing for talking about the podcast too much.

Less than 24 hours ago: https://news.ycombinator.com/item?id=37424978 "Can you please stop using HN to promote your podcast? You're doing it way too much and users are complaining."
Attackers leverage Windows Advanced Installer to drop cryptocurrency malware
> The UI is... I don't know, I can never predict where a buffer will appear. Emacs in general will pop up a lot of buffers. Sometimes you can close them with q, sometimes you will have to hide them. "Inconsistent" is the word which comes into my mind.

In my workflow I embrace the chaos: commands/mode open windows as needed and I use winner-mode to restore my layout.

For example, if I have two side-by-side code windows open and I open magit with c-x g, it will create a new vertical split. Once I'm done with magit, I can use winner-undo once (or thrice depending on what magit ops I did) and it restores the original layout.
Mozilla ships Firefox with telemetry (aka spyware, given that it operates silently and automatically without consent) enabled by default. They also ship closed source DRM in the browser which infringes on software freedoms.

Mozilla doesn't actually care that much about privacy or freedom, it's just marketing to make line go up and to the right while Mozilla staff can keep collecting paychecks for being "the good guys". There's a lot of money involved.

There is a big disconnect between what they say and what they do.

They're not an ad company, so Google/Chrome is obviously worse, but if you care about privacy you don't ship a browser with surveillance features in it (which is what Firefox is).

I am happy this project exists, and I will support them. This is how free software is supposed to work.
Yup, sure do. That's why I don't work in SV.

I personally would rather work for an energy or finance company (no retail consumer products) than for an SV company. I don't really find energy production or financial tools unethical, what I find unethical is addicting people to their phones for ad revenue, or building companies just to sell to someone who's going to do that anyway. Or trying to find out how people like to fuck so that they can be shilled a different brand of dog food or whatever.

I don't know what to tell you. In the professional world we are all assumed to be willing to do whatever for a paycheck as long as it's legal. A lot of jobs are going to try to get you to do shit that doesn't align with your values. The best I can come up with is work on mundane stuff like information processing tools or something, where you won't be expected to actually build unethical stuff. You could make games, but you'll probably be pressured to build slot machine level addictive pay to play mini games for kids. Building some back end software that performs a computation on a data feed for a financial services firm that helps increase 401k valuations over time doesn't really sound that unethical in comparison.
AI abuse grows beyond phishing to multistage cyberattacks
The goal of Lean is to be a programming language used to prove math theorems. Looking at a FizzBuzz implementation and balking at the complexity is utterly missing the point.
How is using Edge on websites working only in Chrome counts as doing something?
As if papers aren’t filled with filler BS anyway. This is kinda the perfect use case for LLMs. It’s not like the authors are using them for the actual results. It just helps when you need to turn:

“We can probably go deeper”

Into

“It is postulated that further inquiry may elucidate abstruse intricacies on the topic”
Summary: The website www.tandfonline.com is requesting to review the security of the user's connection before proceeding. This is likely due to concerns about the connection's safety. The website is utilizing Cloudflare for performance and security purposes. The Ray ID provided is 80346a40dbb01690, which may be used for tracking or troubleshooting purposes. It is important for users to ensure the security of their connection before accessing the website.
Honest question: How many people do you think avoid murdering others because there is a law against it? Or another way of putting it, do you think that the reason more people don't go around murdering others is because the government wrote down somewhere "this is illegal"?
> a) that doesn't excuse working on bad things.

Yes, as an individual you can (and should) choose to not do bad things. But the original point being made was that this individual choice is not going to make any difference as long as someone else comes along behind you to do it.

And my point is that it's unrealistic to think that people are collectively going to stop doing "bad" things for money. We can't even expect to agree on what "bad" is, let alone expect people to throw their career in the toilet for it.

Should everyone working at Nike quit because of their objectionble practices? You may believe so. All I'm saying is that it's just not going to happen.
I mean, as long as he's sorry...

I get that they're in a bind, but I don't know why any potential employee would trust them in the future. I had considered applying there in the past, but now...

All of their applicants are now unemployed, and have potentially relocated on top of that.
> The big news here are that there are journals in the Springer and Elsevier network that do not read the papers they publish whatsoever.

This is only news to people outside of academia. Anyone who has ever submitted a paper has gotten comments that can be attributed to the reviewer either being braindead or the reviewer not actually having read the paper. Since it's safe to assume said reviewer actually tied their shoes and put on their underwear the morning they reviewed the paper, it's also safe to assume it's the latter and not the former.
oh how exciting :)
Imagine if we legalized all drugs. How much easier would it get and what message would it send to kids?
An easier job would be maintaing the habitability of the near-perfect planet we already have x) but it seems we can't even to that! Seems silly when SV tech bros say terraforming other planets will be what "saves humanity" or some such vs.
The truck driver makes two trips a week
There's no law against it in the US but it's uncommon for practical reasons. It essentially requires you quit immediately and without notice, which is bad practice and will burn bridges in ways merely quitting will not.
I don't understand the pricing. (Well, I do understand, I understand that it's the same anti-consumer gimmick as gym memberships.)

On the $5 tier it's 1.7 cents per search for the first 300, then 1.5 cents after that. As expected I blew past the 300 before the month was out and am currently sitting at a total of almost $9 for this month and there are still 3 more days to go, and this includes being away for labor day weekend and only using my phone (without kagi) for a couple days, and this is after populating and using a bunch of bookmarks specifically to cater to the fact that I now pay for searches. And this is only my laptop. I have not used kagi on my phone or anything else yet.

I haven't used bookmarks in 20 years and don't particularly want to. I normally don't even have the toolbar visible but now I had to un-hide it and add that clutter back to my browser.

So I'm both paying money and contorting my usage pattern.

I guess now that the first month is about done, I can say it looks like I should go up to the $10 plan, where the searches are only 1 cent, but only for the first 1000, and only if I actually use all 1000! If I pay $10 and only do 250 searches that month, then they weren't 1 cent were they?

As much as I like it, I don't know if I'm going to keep it.

I will not pay $10 or $25 just to have it sitting there available "in case", and I apparently will at least some times (who knows how often? every month? 3 out of 12?) will blow past the $5 an end up paying $10 anyway.

If I complicate my usage to cater to kagi so that my default is ddg and just invoke kagi sometimes when I feel like it would help, then I'll probably forget it exists most of the time and do about 10 per month and pay 50 cents each. Probably only one or two months of that and I'll just decide it's not worth $5 for a handful of searches and just cancel it.

The only way it will be useful for me is if it can just be the default search that I don't have to worry about.

They should just figure out whatever the fair per search price is and bill that.
The stupid tiers are probably going to drive me off.
I agree in principal, but they first put it in k8s and then split it into a job queue. They even state that it took over a day to run at one point, implying a lengthy and prolonged attempt at fixing the issue.

If you’re working on something and it’s slow, and during some iteration cycle you find that changing some lines makes it fast, cool. No need to debug it or spend time digging into it.

And it’s good that it’s faster, the post screams “we don’t know how to debug these issues” rather than “we don’t care why it’s slow”.
I found it ironic that the app recommends chrome, while track selection only worked in Firefox for me.
Want to Know About, Using Jupyter Notebook with Big Data, Check out this Blog Post.
I have become jaded with most news, specially with those that are unable (refuse?) to link to the basis of their claims.

"Documents obtained by ...shared with the Guardian"

"Internal documents [...] obtained and shared with the Guardian in 2021"

The only external item I found was NYPD "Social Network Analysis Tools: Impact And Use Policy" from April 2021 which does state how they collect and use social media data.

Similarly described & linked LAPD behavior also lacks evidence.

Anyone have links to these documents?

(I do not want to do this. Why do I have to do the work of investigative journalist? I just want to be able to trust them; alas trust is built over time and broken in seconds. [insert lamenting grumbling])

edit: documents can be redacted.
If you're using this, you should be aware that the Homebrew package manager also includes the kind of nonconsensual surveillance features that this software patches out of Firefox.

For this reason I switched from Homebrew to Nixpkgs.
I use LLMs some for background information, parenthetical detail, etc. It's all stuff I know, double-check, and edit as I see fit. It does sometimes save some time but you raise an interesting point. If using LLMs becomes sort of a scarlet letter, I guess I'd just forgo the tool? I'm not going to lie and the benefits aren't really that great.
I have trouble parsing your sentence, so hopefully what follows will help.

- Lean has always been open source.

- Lean 4 has been in development for a while, with the first milestone (alpha version) published in January 2021.
Learned this lesson with my first job out of college as an audit associate at KPMG. One of my coworkers found out I was interviewing and told me:

"...You should really let the partners know so they don't schedule you dates"

Me: "But I don't have a new job yet"

Them: "They'll keep you until you find something"

Nope. As soon as I told them I was interviewing they were like you have two weeks. I waited to interview until our main annual engagements were over as I didn't want to leave them in a lurch and I guess they saw it as a good time to cut costs in a low period.
Hey fellow travelers and city explorers!

Ever been overwhelmed by the sheer number of sights to see in a city? Or maybe you've been on those generic city tours that don’t really match your interests?

I want to introduce you to CityWalks.live/planner.html - a game-changer in personalized city walking tours.

Features:

Personalized Routes: Just input your start and end points, your interests (be it history, art, food, or nature), and how long you have.
ChatGPT Enhanced: Our planner uses advanced AI to curate a perfect route just for you.
Save & Share: You can save your walking plans online and share them with fellow travelers or local friends.
Affordable: We operate on a freemium model. The first 5 plans are on us, and after that, it's just $2 for every 5 plans.
Whether you're a seasoned traveler, a local exploring your own city, or someone planning their next trip, this planner can help you make the most of your time, seeing things that truly resonate with your interests.

Give it a try and let me know your thoughts! Always open to feedback and keen to hear about your experiences.

Walk on and explore at your own pace!
This is one of those "it depends" areas.

For example, if there is a specific advantage to using fluent English text, and the submitters are not fluent in English, then using ChatGPT seems like a fairly natural way to handle that. I'll bet that Google Translate is already being used for it.

Not sure that AI is quite up to actually falsifying the research (although I'll bet it will allow fakers to do much more realistic fake data).
Same. I try to mute all the ads, especially if they're loud. It doesn't make sense to stand out from the content in my view.