skysight-inc/HackerNews huggingface dataset:
> perhaps in the near future we'll have public wifi or free Google community wifi, and the new firmware will have the smarts to use that and bypass your wifi.

Xfinity WiFi has been around for at least 8 years. Amazon sidewalk has been around for over a year. Wanna bet those are or will be used by your smart TV producers to connect them to the internet via wifi?
If we would only fund projects that have an measurable value a lot of things wouldn't exist.
I’ve been using Chromecast for 7 years now. A lot of these built in UIs are a pretty miserable experience to muck around in.

To me, your phone is the only thing that should be controlling your TV or sound system. It’s nice, it’s clean, and I don’t have multiple remotes to flop between.

Who wants to deal with gimpy little Linux OS’s built into their tv? They’re getting too smart in a hyper 1980’s sort of way. They provide far more than anyone asked, my TV doesn’t need a browser. I can’t help but think TVs would be cheaper without them, but built in smart boxes are so run of the mill now that I’m sure it’s at most $50 extra.

Incase I come off as a luddite, I think smart ovens are a great idea.
Yeah, taking more about a 50"-65" 4K, with a price at $800 or below...

32"/720 won't cut it - that's what I already have, and have had for like a decade...
TVs also seem to consume way more power. I have 48" full hd Sony from 2016 that consumes max 58W. None of the TVs on the market come even close, some consume 3x as much! What happened? Is 4K really that inefficient?
yes, i noticed that when i looked up the term and saw what it meant, it helped my understanding of the topic.
Or as was put to me once, sales managers have no problem firing people. And that includes people who just had the bad luck to have their supporter at some company leave and be replaced by someone who favors a competitor. Or a project just gets put on hold because of budgets. I suspect many developers wouldn't appreciate being evaluated every quarter in no small part on factors that they have at best limited influence over.
Google Maps gets augmented reality search results
If you want to convince people to get invested in using PenPot, while you've also taken VC funding, then yes that is the way to go about it. The main way that open source projects continue if a company suddenly pulls out is if there is a robust volunteer community to be able to fork and continue. If you build that community, that would be able to continue maintenance and development if, say, your VC funders decided today it would be better to take the ball and sell it to Adobe for 8 billion dollars, then you will have built the contingency for when you inevitably lose control.
Show HN: All-in-one open source tool for data pipelines
Docusign is certainly managing many proprietary documents.

I agree that it is likely that they outsource like other organizations. I still don’t think it is a good idea.
End of the day. The hands don’t matter and pointing out that it’s worse because of that when the benefits of SD are so huge means absolutely nothing.

Dall-E can’t even do many of the images SD can so seems silly to hold hands up as the AI art tool Turing test.
The universal problem is "generating code from a formal spec" is extremely, maddeningly, pull-your-hair-outingly hard. A slightly easier thing, as you said, generating test cases, which is what the Mongo people have been advancing: https://arxiv.org/abs/2006.00915

(Another interesting approach in this space is P, which is lower-level than TLA+ but also can compile to C#: https://github.com/p-org/P)
There is a guy at work who paints sometimes presumptuous "# TODO: ..." comments all over the code base without ever actually doing anything about the issues, or discussing with anyone. Similar phenomena. Haha.
I hope you don't have some mental issue that doesn't allow you to discern differences. To support or like a programming language is not spamming or trolling.

I'm not running around HN posting that "Rust is lies", "Zig is fake", "C++ is dead", etc... To include, not here insulting or trolling the creators of other languages. Lastly, nor am I spamming people to visit my website or troll blogs, that contain resume and Patreon accounts.

If I don't like a programming language, I simply don't use it. Don't need to post hate spam everywhere or tell lies about it. If I like a programming language, I might post about it. And I'm not such a blind evangelist or fanatic, that I only have "one true language" and then crap and troll on all others.
ゐ (wi) 𛄟 (wu) ゑ (we) 𛄠 (yi) 𛀁 (ye)

ゐ and ゑ (these days pronounced the same as Japanese i and e) are known by all native Japanese speakers, were used historically, and actually still see some use in certain scenarios (like signs, or names of things). The other ones were never actually used much afaik and only recently were introduced to Unicode at all, and are probably unknown to most Japanese people except those interested in this kind of thing.
It seems at a minimum they could go through the same level of security as it takes to board a plane: remove shoes, back-scatter x-ray, etc.
I dont play chess that much but I think this discussion is somewhat interesting, because all the hobby analysts and human lie detectors come out with things like: look how this guy nervously swallowed, look at this timestamp what is he
doing why is he leaning forward and all that stuff. it goes up to the point where even intelligent people will believe that there must have been some device in his shoe, or elsewhere, putting a theory out there as the truth that, now, afterwards, can't be proved, but - more importantly - cant be disproved. That stuff is really dangerous.

It is dangerous, because people who do that know exactly they will not be able to provide evidence for their hypothesis to be true, but the other side won't be able to provide evidence either. So they rely solely on their convincing powers, and persuading others into their own belief system instead applying to reason.

I think, if at all, that all just proves one thing, something that scientists knew all along: if you want your thesis to be true, you will start interpreting reality in a fashion that supports your hypothesis. We don't do science like that for precisely this reason.

After all this, I think Magnus really ridiculed himself with this. His strongest evidence is "he wasn't tense"? Really, though?
The technical ingenuity is remarkable for the time period but I love how it still required social engineering to execute:

) we enticed the "unix support group"
) (precursor to usl) to pick it up
) from us by advertising some
) non-backward compatible feature."
Strange, I always shoot the computer first - only if it is invulnerable to bullets do I know it’s actually important.
Population growth since 1995: 30%

Computer/Online service usage growth: a lot more!
Google Will Alert You When Your Phone Number and Address Show in Search Results
I don't deny it, but I don't see ads.
Is it? It's not like the various intelligence agencies haven't had their share of on-the-payroll moles.
I left my Tizen based Samsung with my ex wife when we got divorced. This was a subtle troll because I am finally free of the fucking thing and she's not.

The last decade of ownership has been hell. Slow laggy equipment, HDCP problems, working but forcibly obsoleted hardware, bugs galore and ads stuffed in your face.

I now no longer own a television and will never own one again.
The engineering & tolerances to make a typical microswitch (what makes the pushbutton actually do anything) would make most peoples eyes water. (from boredom, perhaps...)

Fun fact - if you engineer the people facing mechanism to keep the switch pin from being depressed all the way flush to the switch housing, the lifetime of the switch increases by roughly a factor of 10. A 0.1 mm difference in pushbutton throw is the difference between getting maybe a million cycles, say 3 ~ 4 years of constant use, and the switch outlasting everything else in the product.
Ask HN: Program Analysis resources/online courses
Hello HN,
I have an idea around a project that involves static analysis and code analyzers and I'd like to implement it as part of an industrial Phd.

I took some courses programming language theory in university, but I'd like to build some stronger foundation before seeking a professor to pitch the idea.

Do you have any resources (papers, books, YouTube) or even better online courses to suggest on the following topics:
1) Code transformations
2) Type theory/semantics
Or find a reviewer who values the same things you do?

I have to think there's an acceptable oven on the market that doesn't have a Wi-Fi requirement. I bought a GE Adora oven a few years ago and it has been exactly as perfectly uncomplicated an oven as I've ever wanted; it was even easy to replace the handle when I broke it off in a moment of poor judgement. It looks like those are still available, and don't require any Wi-Fi access.
Can you link to the hundred-page document? I believe you are talking about prompt engineering, and I would love to get more information about it. I am struggling with figuring out good prompts.
No, a right, constrained by legitimacy.

The state's monopoly, qua Max Weber, is on the claim to the legitimate use of violence. That is, the right and legitimacy of that right, is restricted to the state, or an entity acting in the effective capacity of a state, whatever it happens to call itself.

Absent this, one of three conditions exist;

1. There is no monopoly. In which case violence is widespread, and there is no state.

2. There is no legitimacy. In which case violence is capricious. This is your condition of tyranny (unaccountable power).

3. Some non-state power or agent assumes the monopoly on legitimate violence. In which case it becomes, by definition The State.

The state's claim is to legitimacy. A capricious exercise would be an abrogation of legitimacy

Weber, Max (1978). Roth, Guenther; Wittich, Claus (eds.). Economy and Society. Berkeley: U. California Press. p. 54.

<https://archive.org/details/economysociety00webe/page/54/mod...>

There's an excellent explanation of the common misunderstanding in this episode of the Talking Politics podcast: <https://play.acast.com/s/history-of-ideas/weberonleadership>

The misleading and abbreviated form that's frequently found online seems to have originated with Rothbard in the 1960s, and was further popularised by Nozick in the 1970s. It's now falsely accepted as a truth when in fact it is a gross misrepresentation and obscures the core principles Weber advanced.
A lot of things are sold cheaper than they would be otherwise (including at a loss) because they can make part of the money through ads/add-ons instead. It's customers who have shown they prefer those cheaper on the face of it options rather than those with much bigger up-front cost (which still exist but have been mostly left to business products since only there are enough of their customers fine with it).
One would think all of those ridiculous ticketmaster fees would make them be able to afford some sort of multi region/multi cloud setup...
For those interested in experiencing this developing experience firsthand, there is a Pharo MOOC: https://mooc.pharo.org/
On the contrary, I absolutely love the WebOS that came on my TV, and I use it (connected to the internet) regularly. I've often found myself watching YouTube and even browsing NPR and HN (using a TV remote as the only input device) on the TV rather than using my laptop, desktop, or even my iPhone. It's also open source [0] and you can develop your own software for it [1] without needing to submit that software to their app store [2] (though you can do that too [3]).

[0]: https://www.webosose.org

[1]: https://webostv.developer.lge.com

[2]: https://webostv.developer.lge.com/develop/getting-started/de...

[3]: https://webostv.developer.lge.com/distribute/app-approval-pr...
Yet they exist, with a whole industry built around them
Deadline is still January if you want the featured badge or if you want to work in all the channels of Chrome. Seems like for most developers the deadline is the same.
> needing to prepare a new TLA+ workshop from scratch,

I didn't attend your workshop at Strange Loop but I talked to a few people that did and all of them had good things to say about it.
Indeed as VOIP numbers are banned. However, I know a number of people that aren't using DALL-E because they only have VOIP numbers (This is an ever growing reality today). They got to the phone step and were unable to continue (and support never replied to their requests for help).
>Hilary ran a terrible terrible campaign strategy because she was sure, like many people, that it was in the bag, and she basically felt entitled to the position and didn't really think she had to earn it.

She still literally got millions more votes than Trump did, and the end result was almost a 50/50 split between them. That isn't the result of a terrible terrible campaign strategy, but bad tactics vis a vis the votes that actually mattered, and bad PR from the DNC leaks. Still hardly a slap in the face from the electorate.
B2B vs low-price B2C.

How many sales/support reps does your $5/month pay for?
I would really miss running my third party apps - especially Overcast.
Do you have links to blogs that show this happening, I see plenty of hearsay, but I know my LG doesn’t attempt to my honeypot wifi, I’d love to see proof.
In my interview for my current job, I was asked to implement an algorithm that finds the edit distance between two strings. This is a classic algorithm, one that I had learned and implemented about a year before in my algorithms class, and loved for its utility, but I could not remember a specific little detail!

However, neither did my interviewers! So we worked together trying to re-derive the algorithm from the problem, the expected output, and the rough idea of how it worked. We did not succeed, but we did demonstrate an ability to work through things together, an ability to stand up and point out incorrect things, an ability to reason through a problem, etc. I got the job.
Long time Figma customer. In the last week I've had major performance issues to the point my machine becomes unusable. Force quitting Figma is required to be able to save work in other apps before doing a hard reset.

Along with the Adobe news, it's perfect time for an alternative.
Some people are going to need more intensive (and possibly coercive) care and supervision than social housing provides, but it is not like they're struggling to fill social housing units. Backlogs are deep and competitive. We need a lot more of them.
With the way Facebook mixes ads with content, a more apt description would be "It's not really any different than going to a bar with 90% of the people present actually being paid actors there to promote something"

No one would go to that bar. The one cigarette rep at a busy bar of over 50 people is annoying enough...
So that's an IDE feature rather than a language level feature
> probably including most of the ones that you might ever be interested in.

That’s a really interesting question: how to determine videos that I might ever be interested in.

> whether there exist videos which will retrospectively have archival value which are not captured.

And that’s not really a question: there definitely exist videos that have a certain historical value which were deleted from YouTube, and most of them before I archived them cause I am lazy.

I would gladly pay for a personal archive.org - a solution that automatically archives each page I visited and video I watched. I guess the required storage amount will be pretty affordable.
It would be nice if all services had a great story. The guidance for how to make Cognito and SSO multi-region is laughable.
This is frustrating:

Consider this:

LeCun, 2022: Today's AI approaches will never lead to true intelligence (reported in the headline, not a verbatim quote); Marcus, 2018: “deep learning must be supplemented by other techniques if we are to reach artificial general intelligence.”

How can that be something that LeCun did not give Marcus credit for? It is borderline self evident, and people have been saying similar things since neural networks were invented. This would only be news if LeCun had said that "neural nets are all you need" (literally, not as a reference to the title of the transformers paper).

And furthermore, if LeCun had said that, there are literally dozens of people who have also said that you need to combine the approaches.

He cites a single line:'LeCun spent part of his career bashing symbols; his collaborator Geoff Hinton even more so, Their jointly written 2015 review of deep learning ends by saying that they “new paradigms are needed to replace rule-based manipulation of symbolic expressions.”'

Well, sure because symbol processing alone is not the answer either. We need to replace it with some hybrid. How is this a contradiction?

To summarize: people have been looking for a productive way to combine symbolic and statistical systems -- there are in fact many such systems proposed with varying degrees of success. LeCun agrees with this approach (no one has anything to lose by endorsing adding things to any model), but Marcus insists he came up with it and he should be cited.

Ugh.
You can do a lot worse than pizza, and unfortunately most do. Unless they're getting sugar added as a topping, relatively pizza is fairly healthy.
IIRC certain secrets are basically only available via strafing so the general concept was known.

There are other moves that developed much later.
I think it's hard to move fast and be the morality police at the same time.
Yea types are hard, but I think to write quality software types are really important, almost necessary. I guess starting in a foundation where types are minimal like Python would be good for learning, then adding static typing is just a level of abstraction above that. We have to learn programming gradually though abstractions anyways, so I don’t see a problem there.
Besides complaining on the internet, what can consumers do about this? All the TV brands do the same thing, and those that don't simply haven't gotten around to pushing out the firmware update that enables ads.
> Under the law, employers with 15 or more workers will be required to include pay ranges in job postings, and those with 100 or more employees or contractors will have to report median and mean hourly pay rates by job category and “each combination of race, ethnicity, and sex.”

In a company with just over 100 people, this could mean, in some cases, it's easy to figure out the exact salary of specific people in the organization. I'm skeptical this is at all good for privacy, but I know CA govt doesn't care about this.
And it may be worth noting that the alternative is often to go physically into an office someplace or get various notorizations or Medallion Signatures through your bank.
Countries, languages, fonts, internet speeds, 10 different platforms, abuse, scaling, infrastructure, testing, etc.
They're already forcing DRM on us, so why not add those features to the DRM?
Yup, we're trying to fix this here: https://www.awareops.com/
You can crack the things open and unplug the wireless module usually.

If the TV stops working then, well you solved the problem anyway :)
I remember seeing a post on MathOverflow, the OP asked about the consequences of using malicious code to fool a theorem prover to certify lies and falsehoods.

It's a valid question and has deep philosophical implications. Unfortunately, mathematicians are not tech workers, so they were not impressed, and closed the question as off-topic. I personally think the main reason resposible for the lack of enthusiasm from mathematicians is that formal methods are rarely used in our society, and mathematicians in general (with the exception of logicians) also do not really value formal axiomatic systems as the something especially important for setting a standard of truth. If formal methods are used in decision and policymaking in the far future, the picture will be different. Nevertheless, right now, malicious proofs are just a hypothetical thought experiment.

https://mathoverflow.net/questions/63816/consequences-of-tec...
The East India Company did, when ruling India, with its own private armies.

See also private militia and police services, e.g., the frequently-renamed Blackwater / Xe / Academi / Constellis.

<https://en.wikipedia.org/wiki/Blackwater_(company)>

There are of course a vast number of other examples.
Why anyone would go to the effort of dicking with a pi-hole cat-and-mouse game is beyond me

Fun way to pass the time for some folks, I assume.
Yup. Devs like to think that sales people don't contribute real value and are basically just marketing, and that's true to a degree, but it's also true that sometimes the entire product doesn't contribute real value either. A senior dev building Uber/delivery clone #1745 run by VC funny money is "contributing" the same as a sales person, no matter how many frameworks and algorithms he uses. (Unless, of course, that algorithm is itself contributing to some efficiency in the deliveries.)
So put it on a VLAN with no egress. Smart TVs are annoying but there’s ways around it.
Citizenship is a totally separate topic.
The fine print that we never read may well vary ... of course you are an attorney, so maybe you do read it!
Ask HN: Examples of high-value specialised consulting?
Are you doing consulting at $250k+ a year? What is your niche? How did you find it?
I am always amazed when I hear company x laid off 600 workers and I"m like, "how did they have that many people working there?" I know it is probably sales and stuff but it it still seems unreal.

I've never had an office job and so it is like some kind of urban legend for me (Like I grew up in the country so I never knew anyone that actually went to summer camp, so I thought it was a fake thing made up for movies and tv.) Even though I'm nearly 50 I still relate to that tiktok of the woman asking what people do in an office all day https://www.tiktok.com/@mads.ringswaldegan/video/70920553756...
Unemployment is that foreign to tech people.
I've made my professional career out of rejecting false dichotomies and I've made sure to be surrounded by like-minded people, they'd had to remove everyone I guess, including the community. I understand where you're coming from and all I can say at this point is that I also write comments like yours elsewhere.
Which is a pretty effective way to advertise to developers.
> In a room where participants are verified with each other, you'd be warned of this with a loud red shield with an exclamation mark in the room header.

Really? Are you sure there would be this banner in the case of a malicious device being added to an existing user in the room rather than a malicious user?
In my experience, Samsung TV's are atrocious garbage. LG has been great for me tho
Does having the Featured badge actually change anything meaningfully for your extension?
I did okay in my interview with google but was passed over. The truth is they are always interviewing, so I think being hired has more to do with the timeframe of your interview than anything else. It's very similar to how the military drops many "requirements" of a soldier when what they need are bodies.

At some points, google is spinning something up, and at those points they need more devs, so they hire more of the interviewees. I think the rest of the process is basically random, based on the gut feelings of an entire team of random people.
IMO building an artificial language should have been an opportunity to simplify phonemes and writing. Did Esperanto really need "g" and "ĝ" phonemes? Did it really need more diacritics than the simplest accented letters?

Spanish is surprisingly close to "one letter one sound" for being an organic language. If you see "papa" and "papá", and know the rules of syllabic stress, you can pronounce them without ambiguity. And it only uses acute diacritics on vowels, and the letter "ñ".

I acknowledge that I'm probably biased towards Spanish because it's my native language. And honestly, languages heavy on diacritics, like Vietnamese, spook me.