skysight-inc/HackerNews huggingface dataset:
"If you ignore the part where it blatantly violates copyright, then it doesn't blatantly violate copyright" -- I really don't know what to answer to that. I have already argued that it is very easy to get it to regurgitate existing code, hardly an exceptional situation, and as usual, users will get zero feedback when it happens. I also don't see an easy way out of this situation; this "overfit vs something that is useful" is basically the eternal problem not only in ML but almost in every area of modeling; even the simple hack of putting a copyright/similarity checker on top of it is a harder problem than the model itself (detecting verbatim copies alone is not going to allay my fears).

And the Photoshop analogy _still doesn't work_ even if I were to assume what you suggest, because Photoshop was _not_ built using my artwork. They didn't even look at it while building my artwork. Copilot _is_ built using my copyrighted code. You cannot simply claim that despite being literally built from my code, it is free from my copyright, because that's already assuming the consequent, or what we are discussing here.

Why would their transformation be any different than an advanced compression algorithm? Why would Copilot "know" but another compression algorithm with a 5GB dictionary "not know"? Why should its 5GB dictionary not immediately be a violation since it is built from a lot of copyrighted works? Why would "knowing" magically release from copyright a software built _from_ other copyrighted software? This is already a shitton of assumptions that are not justified in any way, and by driving the conversation with works like "learning", "understand", "know", etc. you are just framing it in a one-sided way.

And the point is that you cannot simply ask those questions about Photoshop itself, because no one's copyrighted artwork was used during its construction. There's no discussion about the merits of Photoshop code "learning" from the artwork because there is no learning whatsoever. To try to jungle both things as the "same" is intentionally misleading.

The entire reason things like "clean room reverse engineering" exist is to allay fears. You don't need clean room to avoid coypright issues, and at the same time it doesn't fully protect you from copyright issues. But if you did use a clean room approach, you at least can demonstrate that you were not looking at the original code when you were implementing your version of it, which is likely to score big points in a trial, _even_ if the code ends up being somewhat similar. Here, Copilot has literally been built using a large corpus of existing copyrighted code, and it stores it with its clearly "super-human photographic memory" (i.e. a huge on-disk database whose size we cannot even estimate). There's simply no way to use a defense like the "clean room" defense. Thus even the _slightest_ similarity to my existing code is extremely likely to be regarded as a copyright violation.
> To transform women and clinicians’ experience in the exam room, American company Ceek Women’s Health has recently launched a speculum made of plastic.

I am not sure whether this is a new invention considering disposable speculums made of plastic already existed.
Indeed. The investors and boards care not about total amount od wealth a venture could generate, but about the amount they can capture. A $100B benefit to the world, of which the people involved can capture only $1K is useless, compared to $10M world benefit of which they can capture $9M (and the preferred one is the one which earns them $100M while giving the world negative $1B).
They Python part just generates Blender procgen specifications (compute graphs), that is probably relatively fast. But apparently the output graphs are huge and unoptimized, so generating the geometry takes a lot of resources (CPU bound). Rendering might also take a while if they don't have good ways to limit detail (something like Nanite would come in very handy here).
There are other comments saying it's brilliant idea.

Apple's new device will not fail because there was some comment in 2007 on HN related to dropbox that pointed out alternatives (but even that commenter said it's good idea for windows).
After seeing stacks of naked corpses when Ukraine retook Bucha, it became obvious that Russia would do that to the rest of the country too if Ukraine stopped fighting.

His opinion is as legitimate as saying the halting problem is trivially solvable.
From the slides on `conflict`/`vpcompress`, it says.

> In fact, we can re-use an existing structure with some minor changes

What is the existing structure that they reused? The slides don't seem to specify.
Against the Gods by Peter L. Bernstein is a fantastic book that has a few chapters about this family. It's worth the read if you're interested in the history probability and risk
This article seems directionally correct, but poorly written
Man I love that comment. Always makes me laugh.
Rainbows then? A pretty rock? A lone tree on a remote hilltop illuminated by a sunrise?
Beyer also recently release the DT 700/900 Pro X are someone of a spiritual successor to the classics. Importantly they now feature a detachable cables, includes a USB-C one with internal DAC and mic.
They only offer a very limited selection of the products but there is https://www.pine64eu.com
> The argument is that corporate lawyers exist (mainly) to satisfy a demand generated by their own profession.

That would apply to any profession which involves competing in a zero sum game.

Zero-sum games exist, therefore these professions exist to enable players to win them
It’s a shame, it seemed to me at the time that the game had a lot of potential and the core systems were quite fun.
> Formalization? Like a computer checked proof?

Yes, that would be an example, though not all formalizations are written in software. I was originally talking just about standard formal logic, which is just first-order predicate calculus. Proof assistants use much more powerful systems in order to gain the same expressibility as the natural language which is used in informal proofs. (Which is kind of strange: In using natural language mathematicians don't seem to be using some advanced type theory.)

So I can't actually read these proof assistant languages, as they are using some advanced type theory based language. So just a few comments.

Lean: It looks suspicious that this seems to involve just one to two lines. Are they actually proving anything here? It doesn't look at all like Cantor's diagonal argument.

Coq: This looks better, at least from the description, and that it actually looks like a proof (Coq actually has a Qed keyword!). Though they, unlike Cantor, don't talk about real numbers here, just about sequences of natural numbers. Last time I read a discussion about it, it was mentioned that this exactly was a problem for the formal proof: Every natural number sequence (with a decimal point) corresponds to some real number, but real numbers don't necessarily have just one decimal expression, e.h. 0.999...=1. So real numbers and sequences can't straightforwardly be identified.

Isabelle: That seems to be a formalization of Cantor's powerset argument, not his diagonal argument.

Overall, this highlights a major problem with formalization of existing proofs. There is no way (at least no obvious way) to "prove", that a formal proof X actually is a formalization of some informal proof Y. X could be simply a different proof, or one which is similar but uses stronger or question begging assumptions, etc. One such example is informal proofs (like Cantor's) which didn't work in any axiomatized system, and where it isn't clear how much you can assume for a formal version without being question begging.
I got access right away through poe.com
Show HN: A CLI to manage virtual envs with pyenv-win for Python
Huge thank you for SerenityOS, Ladybird, and maybe Jakt at some point.

Did this sponsorship result from your presentation?
OMG you do not need this bloatload for just PG hosting. Just harden SSH, harden PG configs and voila :)
So hopefully in the future I can just inject an Apm agent once in my code and it will get the underlying traces?
same reason for a sit-in.

it doesn’t mean no one can make you leave.

it does guarantee a scene if they try.
Can't wait for a world in which opening a 15k SLOC crud app in vscode will max out my GPU, VRAM and do at least 50 api requests a second. We will truly have peaked.
not after the api changes
That thread [0] even misses some of the big links - like the fact that Maxwell's dad, who was in the propaganda business, literally owned Condé Nast at one point (and there are more links discussed here [1]). And it doesn't go into what happened to Swartz and all the Epstein / MIT links at all.

Don't get upset about it. Stay vocal and positive. Everything Swartz believed in and more is still possible, and Huffman's ilk would love for you to forget that.

There's also still the (tiny, imo) chance that all this circumstantial evidence is coincidental. I don't believe that, but it's helpful to remember that fact.

0 - https://www.reddit.com/r/conspiracy/comments/r45a5n/here_is_...

1 - https://www.reddit.com/r/Epstein/comments/ho3ye0/maxwell_red...
Twitter was used (and not a presidential alert) to warn people about an active mass shooting:

https://www.cbc.ca/news/canada/nova-scotia/rcmp-twitter-aler...
Show HN: A CLI for fanfiction downloads using the fichub.net API
Ask HN: Distributed M1/2 Training
Are there any good benchmarks or examples using Apple M1 or M2 in distributed training or inference? With the new M2 Mac Pro hardware it seems like there’s an alternative to H100s.
> For me basic formal logics means learning the symbols (conjunction, disjunction, implication, equivalency, not, etc.) and the rules of inference to maniuplate these symbols and using these rules to prove new things.

That's really only baby logic. Which, probably, is what will be sufficient for most mathematician most of the time.

A real first introduction to formal logic would introduce an actual formal proof system and go at least as far as proving completeness of first order logic.
Unlikely, since the replacement part is the same for both models. From the link:

> Quite a few people speculated in my Original thread that the more expensive HD595 headphones must also be using a more expensive driver. However, Head-fi member MCC posted the smoking gun; a picture of the original Sennheiser replacement driver labelled “HD 555 / HD 595”.
“Wearing it in public has, however, often brought me grief—usually from people objecting to what they think is a head-mounted video recorder.”

I think there is a shift in the public mindset about public and sometimes private spaces being under constant video surveillance. I am conscious of this every time I walk by one of my neighbors’ homes as many are using doorbell cameras, or other similar security systems facing the street. Practically every store and train station has multiple cameras.

In some countries the cameras are even more pervasive. For instance, the PRC government has gone full Big Brother, using cameras and facial recognition to track and control behavior.

Moreover, not only does every adult and many children carry a high-quality video camera in their pocket, they are becoming more comfortable using them to take video of what they’re seeing around them.

For these reasons, I believe if Google Glass were released today instead of 10 years ago, the reaction would be less hostile. I would be curious to know the author’s recent experience wearing DIY headsets and the public’s reactions/suspicions regarding video recording.
It depends on what consulting you are doing. You need to match the experience/expertise to the services. Most organizations need help on strategy, implementation, and hiring.
It is not poor engineering to prefer a statically typed language. If you want something exotic I would take Haskell over lisp any day.
Thanks for the link. Biased reference counting is a topic I've heard of in Python now too (the Nogil discussions).

However, HybridRc would still be as contended in the scenario in the blog post, wouldn't it (before the fix that solved it)? Just checking my understanding.
>There are privacy laws that prevent your bank from selling your financial history and details

There aren’t really. Banks and Visa/MasterCard are monetizing your data too. Even your phone and internet provider is selling whatever data they have on you.

https://mysudo.com/2021/03/shocked-or-not-your-bank-is-selli...

https://www.fastcompany.com/90490923/credit-card-companies-a...
Good to see your thoughtful and realistic response.

But I will still point to the way the two surviving OS's are not so interoperable with each other, and a sealed slab is mainly not just the embodiment of planned obsolescence, but disposable electronics by intention. Apple really doubled down as an anti-reuse/anti-recycling company along the lines of Microsoft's influence.

The experience from horses to cars is a good amount of accurate hindsight, and it was only the early adopters who got cars for quite some time. I would say some equivalence is like with the older technology horse the rider could go places the car never will be able to, but the car did get people where most wanted to go and that's where the roads were because people were already going there.

What really did it was getting there faster and the stimulating feeling of speed like never before.

With the iPhone it was bigger more flexible screen real estate and the stimulating ability to "watch TV" anytime on a device you were going to carry all the time anyway.

Once the mainstream saw what the early adopters were doing there was nothing but envy until they were doing it themselves.

Maybe one thing to agree about settling for is the initial neglect for the environmental effect of both transitions.
Are you measuring utility to people who were searching or watching YouTube in 2013 and 2023?

Or measuring the utility to advertisers on Google’s platforms in 2023 and projected into 2033, many of whom weren’t using Google ads in 2013.

Google didn’t give me individually a ton more utility (arguably less in search), but I think it did give their actual customers (advertisers) a ton more utility in aggregate.
CSS Houdini is (I think) still A Thing, but I believe the browser devs have (rightly!) decided to concentrate on fixing more important issues first.

I believe the CSS Painting API[1] is the most advanced of the set? It has shipped in Chrome, behind a flag in Safari, and there's a polyfill[2] that (may/may not) work for unsupported browsers.

But the key issue with Houdini is that it requires JS to be enabled before it can do its magic ...

[1] - https://developer.mozilla.org/en-US/docs/Web/API/CSS_Paintin...

[2] - https://github.com/GoogleChromeLabs/css-paint-polyfill
> China was not really a military threat to the US, particularly not in that era.

China was capable of forming a communist bloc in Asia, much like russia and the soviet union. They were the backers of the north vietnamese and north korean communists among other communist regimes. Real or not, US leadership believed China had expansionist aspirations. I suppose in their minds Mao was like Stalin or Hitler in his aspirations. Even today, that is largely what drives tensions with China, they are believed to be playing the long game when it comes to world domination. It's hard for me to reason and argue against that because of their belt and road initiative, building foreign military bases and aircraft carriers like US. They are not taking the economic powerhouse route like Japan but their own geopolitical adversarial trajectory.
The issue with Rust in particular is that the zero-cost fearless yadda yadda is real, but often not feasible in practice. Arc is this magical escape hatch which always appears like an uninvited guest in all non-trivial real-world programs. Heck, Arc is even part of the async specification itself.

It’s very complicated and I don’t blame anyone in particular. It’s an ok solution, but it’s definitely not in the zero-cost category. I’d rather accept that this is the state of things and working towards systemic solutions in allowing borrowing in more situations, but that requires a compile-time verifiable hierarchical thread- and task model.

Fun fact: Arc was partially the reason Rust disallowed borrowing across threads. Arc had already become popular and combined with thread borrowing someone demonstrated use-after-free. Borrowing across threads seemed less important at the time, so Arc was kept. This led to the famous “leaks are safe” rule, which was sold as a mere clarification of an inherent truth.

It’s possible that all that was inevitable and correct, but I was never convinced by the arguments made in those old threads or the subsequent writings about it. To me, it looked like details were glossed over in order to get to a swift resolution. I’m quite content waiting for someone else to figure out whether Rust could have gone down a different path. Worst case, I’ll come down peacefully from this tiny hill. Best case, there’s an alternate timeline where Rust could live out its full potential in concurrent environments.
Reminds me of the Mac Aquarium SereneScreen screensaver.

That was around for decades.

https://m.youtube.com/watch?v=Ws1zpk9GWkk

Much, MUCH more limited, but pretty cool.
Ruby 3.2 comes with YJIT which is a new JIT compiler Ruby totally rewritten in rust. Also native Ruby extensions can now be written in rust in addition to C. So the ecosystem here lets you write C, Rust or Ruby.

https://nithinbekal.com/posts/ruby-3-2/
Has a bit of the Blade Runner 2049 "interlinked: within cells interlinked" flavor :)
I am not sure what an Apm agent is, but you don't need to inject anything in your code to use the Go execution tracer today. In general, it's exposed through HTTP (though it needs to be explicitely enabled by the programmer).

This design document is about improving the implementation of the Go execution tracer, but IIUC the user-level tooling and behavior will remain the same (except that the wire format will be documented).
Have you tried their shorts? Future of computing! :)

I don’t think the demo was pushing fitness games. I reckon Apple are comfortable leaving the $500 end of this opportunity for Meta and co.

I bet they included the power brick as a last resort and after thoroughly testing the weight of other mounted options. Insane to think otherwise.
How’s the battery life and noise cancelling?
Building Crypto Predictions Tracker: architecture and challenges
The market favors the market. Capital begets capital.

Humans are at best an afterthought.
You act like every single mod of every single subreddit is responsible for your grievances. What did they do to you?
https://archive.is/KhiDu
More than 60 days out of the 121 days centered on the ex-dividend date.

Your point remains/is even stronger: In the overwhelming majority of cases, dividends and long-term gains have been taxed similarly for the last 20 years.
I just think of how the nurse told me, the other day, of their struggles to draw blood from a finger prick test for many patients when the weather's cold and circulation is poor.

It may prove useful on some future study relating to it's efficacy on specific needs, where it may be good enough.
Sure but that's the question:

What consulting should one be doing, if the overall goal is to just "use AI to improve business results"?

And how to get there.
I created a tool called Playtext.app, a Pocket-like app that saves articles and converts into audiobooks.

e.g. Try listening to this article here (8-min): https://playtext.app/doc/clj1b548r0000md0f4s62n8t7
Does this make the practice any better?
Trying to understand the document as a Go outsider, but it seems that the document is assuming that the reader knows what Ps, Ms, and Gs are? Anyone knows what they are? It seems that it’s a scheduling resource… but I can’t find any further info.

Edit: It seems like

- P: Logical CPU cores

- M: OS-level threads

- G: Goroutines
How much has been fixed for this, as of June 2023?

I quite like it has a Plex replacement, it passes the "partner test" AND the "parent test" - they can both install the app and watch what they want (as long as they turn off the android player default, which is a terrible default).

I have it behind a firewall so nothing can access it (it's just for home, or for those who need it, over Wireguard). When i have time, it could be a good experiment for Podman or some other way to run rootless containers/jails.
Build better ties instead of only asking for microchips, Taiwan tells Europe
Would the editor being snappier justify a switch?
If you buy a single they are not going to break up a matched pair and they will not refuse to sell you a single. The only way to really know is to sit down with a nice fresh and new pair of both headphones and compare the stereo image across the spectrum, but it is too late to do that for these unless someone happens upon some NOS examples.
Note that the customer headphones Sennheiser brand was sold to Sonova in 2021. Sennheiser company only makes professional equipment.
And that's going to be exact reasoning to get this level playing field going.
Space Engine[1] is another popular one

[1] https://spaceengine.org/
The perspective shared here seems to be very focused on fundamental difficulties with AR passthrough devices:

- lag is lower than other devices, perhaps low in absolute terms, but is it low enough? Perhaps not for all use-cases
- there are difficulties aligning virtual images (this part is very speculative as to how it relates to Apple’s headset design)
- difficulties tracking saccades - not sure under what use-cases this would show up as a problem, this hasn’t been mentioned in reviewers’ first impressions
- safety problems with obstruction of peripheral vision when moving around

Pretty interesting, but I think it reflects well on Apple that these are the class of problems being discussed. None of these things sound like absolute deal-breakers for a Gen1 device.

Will it be useful though? It doesn’t do games or “presence”, or indeed seem very focussed on any uniquely AR/VR experiences right now. It’s not as good a monitor as a proper monitor (this analysis of VAC and resolution is pretty convincing). But it is portable. Maybe that in itself is enough?
Yes, AFAIK in practice many architectures special case some ll/sc sequences to guarantee forward progress and fairness.
China is throwing away fields of EVs, letting them rot
Is it cooling for the person or for the processors? I don't want to sweat, but whatever silent fans close to my ears would be a downgrade for me.
I think that c-suite-shareholders and manager-shareholders generally make these decisions to pump their own investments in the company, and not directly for Tom, Dick, and Harry-shareholders. TD&H benefit, and will complain and drive the share price down if returns are not satisfactory, but the only effect of share prices being driven down is that c-suite-shareholders and manager-shareholders cannot cash out with as big of a sack of money.

So, I don't think that is how publicly traded companies HAVE to work, but yes that is how they do work. Managers do the best to pump the stock for their own personal gain, and who gives a damn if it fails long term because they want to be gone before then anyway.

Anyway, just my cynical view. I have no empirical evidence.
For many consumer products, the R&D cost is most of the cost. The actual parts and raw materials are normally only a small fraction of the cost.

Therefore, the $350.00 'rip off' may not in fact be a rip-off. In fact, with the quantity of them they sell, they may barely cover the R&D costs.
I would dismiss his expertise based on lack of evidence.
Sparse attention is lossy, not sure i would count it as a good trick
I've given jellyfin a test-drive a few years ago, it was nice but I ended up back with plex. Thanks for the link (and thanks to those who compiled it!). Enumerating all the potential security issues is important for something that runs 24/7 from the home network. That's a decent sized list, would give me pause on giving JF another test run.
“Use“ or “am the creator of”?