skysight-inc/HackerNews huggingface dataset:
the poster is defending Twitter be able to lie on their public filings. If their bot % is materially higher then 5% they have committed securities fraud.

Twitter are stuck. If they admit a bot count of say 25% and say "sorry Mr. Musk but you committed to buy no matter what... buyer beware" then yes, Musk should be force to continue the sale but they can't because it raises much more serious questions.
I'm a bit surprised to not see RTP mentioned anywhere. It was a major standard for real-time voice last time I was looking at these things, and it was starting to get some use for videoconferencing.
I was hoping for a usb-c port on the other side. Also why did they move the speakers from the sides of the keyboard to the top? It looks like that space is just empty on the top of the case now.

The new charger is cool with two usb-c ports. I wonder if it's GaN.
The graphite piles in Hanford have literally nothing in common with PWRs or BWRs that are used for power generation.
On the other hand, with dozens of lines of Prolog you can solve some problems that would take many thousands of lines in other languages (and a lot of calm study before you can map them into a real logic or imperative algorithm).

I still avoid it, because yeah, once you solve that problem and avoid those thousands of lines, you are stuck. If you try make the rest of your system in Prolog, it will become a non-viable mess before you even finish it.

That said, I think the main thing that Prolog is missing is easy integration with other languages. If I could define some environment in Haskell, pack it with some Prolog predicate and get a list back, I would use it all the time.
> I've always wondered how far off we are from being able to "3D print" tastes and smells. I had a machine learning professor tell me that chemoreception is the only sense that can't be decomposed into "eigensmells" or "eigentastes" - not sure if that still holds true today.

This gets into an interesting and controversial (in that scientists will argue about it) domain.

Smell may be detecting the quantum vibrations of electrons.

2011: Flies sniff out heavy hydrogen - https://www.nature.com/articles/news.2011.39

2013: 'Quantum smell' idea gains ground
- https://www.bbc.com/news/science-environment-21150046

2019: Human smell perception is governed by quantum spin-residual information - https://aip.scitation.org/doi/10.1063/1.5121155

https://en.wikipedia.org/wiki/Vibration_theory_of_olfaction

And for the other take on it:

2015: What’s that smell? A controversial theory of olfaction deemed implausible - https://theconversation.com/whats-that-smell-a-controversial...

Tangentially to the fly test: 2021: Heavy water tastes sweeter - https://www.pnas.org/post/journal-club/heavy-water-tastes-sw...

> And in a taste test with noses plugged, over half did, suggesting that taste receptors on the tongue were indeed picking up the subtle flavor.
That's likely with the minimum ram and storage
Sounds like Elon shouldn't have explicitly refused the opportunity for due diligence then.
Perhaps would be an interesting read, but SciHub have not yet included the paper in the database :( Can anyone help out?
Archaeologists Uncover Hundreds of Colorful Sarcophagi at Saqqara
Any release date ? I can't see anything M2 on the US website.
Good story. I think this line was the most surprising to me:

> The SR-71 had a turning radius of about 100 mi. at that speed and altitude
Twitter wouldn't have agreed to the sale if they didn't want to sell.

I think it's more likely Musk is making up reasons to back out of the deal .
Plenty of civil rights activists were killed by the state or with the tacit approval of the state.
Depending on pricing (including base storage), I might get one instead of the Air. It gives you an SD slot, which allows you to seamlessly expand storage in the future. But I still want to see more details on the new base MBP...they rushed through that faster than any hardware announcement I've ever seen.
does magsafe mean it's not usb-c?
I like the postgres docs as much as anyone but those flow diagrams sqlite has for commands are incredible and I wish pg had something like them. I know postgres tends to have way more options and they'd be unwieldy in some cases but still valuable I think.
That’s the thing - I use Firefox, wife uses Safari.

One home page internal to our home is perfect.
Prolog always seemed to me like a database query language that can be tricked into computation.
Ugh, I'm still waiting on my M1 to ship. Maybe I can cancel it and order an M2 instead?
Dupe. Posted 4hrs before this post (1hr):
https://news.ycombinator.com/item?id=31639724
Most of what Manning released wasn't exposing crimes. Diplomatic insults via private internal communication aren't particularly actionable.
I don't, but I can see why people in/seeking power do: it's just another nebulous thing to point to as a distraction or scapegoat.

Like there's tons legitimate talking points that people can make for or against Kamala Harris' body of work as a politician, but once people start talking about the KHive on Twitter in those discussions, it totally distracts from those points.

So by pretending Tweets about someone matter more than what someone actually does, they can try to control or shift the narrative away from someone who actually has power (Harris) to something else that doesn't (people using a particular hashtag).
i really wished 13 inch pro refresh

14 inch is too pro for me

looks like i have to buy the air now!
Classification, at best, helps in developing heuristics. Such a classifying activity can never become a scientific theory. There are two things. (1) what makes some phenomenon, any phenomenon, into X? This is the identity question. (2) Given a group, how to classify some phenomenon as an instance of X or an instance of Y, etc,. This is the individuation question. When we do "folk" science, we conflate the question of individuation with that of identity.

It is like asking what makes something a cat, then coming up with a classificatory answer: oh, this image is a cat, that image, another cat, etc.
Yea it can definitely give me fatal burns, especially if I remove the shielding thing on the front of it.
it is truth that the origin of statistics was closely tied to eugenicist goals, but it can be completely decoupled (IE, in an alternate universe, statistics was invented and refined entirely on crop yield predictions). The general mainstream belief is that there is nothing truly technically "wrong" with the approach that was developed then, nor does the mainstream believe that fisher and galton were the last word in statistics.
Midnight looks gorgeous!
Definitively gonna buy this one.
Especially glad that they didn't used white bezels + white keyboard.
People keep stating that he can buy a $1B get out of jail card but AFAIK that's not true. He can only pay the breakup fee if he has financing concerns and/or regulatory reasons for not being able to close the deal. [0]

[0] https://www.cnbc.com/2022/05/13/elon-musk-cant-just-walk-awa...
Did I miss it or they didn’t mention when you could order it?
"Shown" is a placeholder for "recorded as shown". This is technically some async call to a metrics endpoint. There may be correlation in a processing pipeline with other metrics/pageviews but that's not something that can be assumed.

Ultimately, however they measure ads shown, they have some process to determine what they believe to be bot ad views. We can only discuss at that level without more information.
with the Pros, they support both. That would be my guess here as well.
I'm not taking sides either way, but Hitchens's Razor does still apply here (i.e. "claims made without evidence can be dismissed without evidence").
If any data is being collected and stored on servers, it would first need to be transferred off the installed client (the instance of Brave running on the user's device). Network analysis would capture this (as it does with Google, Bing, Firefox, and other browsers). But you don't see this with Brave, because it does not take place. Again, please consider the review of a reputable source: https://www.scss.tcd.ie/Doug.Leith/pubs/browser_privacy.pdf
Links to those multiple independent research studies?
yes your right, I can get external copy and paste working, I just have to switch key bindings mid-flight. Still, my main point is that LUA and Love conspire to make development of this kind of software difficult. IMHO. It's a suboptimal tool choice for the job. Its making the journey longer. The choice of using JSON over SVG is basically because you have no SVG facilities at hand. Please continue your good work on a better substrate, I mean this as constructively as possible.

It's very interesting that the article has resonated so well. I am fairly sure it means 99% of people have not tried it. People will not try it because the install process is painful, which is another issue with LUA/LOVE.
The problem here is there's not a clear value proposition. It seems like a really cool concept, but who is it for?

What situations exist where a potential user would have access to desktop peripherals, but also don't have access to a laptop?
I mean, it's still the same technique though. Just with automation.
Millions of C projects, yes.
“Active users” does not mean “users who tweet”

Majority of Twitter users don’t tweet, they’re still active
It's not on the list, but I used to take 5-HTP before bed for making my dreams more vivid.
TL;DR - Let me introduce spatial locality and cache.
The nice thing about this is that it's still tamper-evident, despite being opened non-violently. The PIN suddenly changed, so the owner knows that someone messed with their safe. Whether they did so by picking the backup lock or by using technology doesn't matter, the safe was obviously breached.

The safe would've lost its purpose entirely if it was possible to open the lock without resetting the PIN. I'm sure there's a vulnerability in there that allows for that (after all, the microcontroller allows for opening the safe without entering the right code, a very basic mistake to make!) but this project doesn't entirely defeat the safe yet.
Has both just like the new Pros. They didn't specifically confirm you can charge on USB-C, but my guess would be you can.
It is, you get USB-C - > Magsafe cable in the box and can use it with every USB-C charger and of course still can charge over normal USB-C if you left Magsafe cable at home.
The Importance of Truly Owning Our Devices
Reproduction is one if the most fundamental instincts ingrained in all of nature and you’re blaming people’s desire to have kids on some kind of capitalist conspiracy.

That’s an absurd take.
I think they said "Next month" for availability.
In large, high-end gun safes like Liberty, it is difficult to find them with mechanical locks anymore. They just don't make them.
Anybody hear any news on whether this can or cannot now support dual external monitors? That’s the only new feature I really want.
What's the max memory?
I had great developer experience with wundergraph. Best part of using wundergraph is it can take multiple data sources, generates graphql operations and Rest API endpoints. We can change / extend operation functionalities using hooks (preResolve, postResolve and custom). When sometimes none of the data source meets our exact requirement, we can create custom operations. It has one bonus feature for developers like me who use postman extensively for API testing, It generates postman collection with all api endpoints. Since now it is open source. I would like to contribute in codebse. Kudos team for great product.
I was hoping for the opposite: musk would finally destroy Twitter
> Been wanting to move to it for a while but kube (which I know best) is quite large and the idea of ensuring really solid data backups often has me on edge a bit when not using something like AWS (I have a small server at home I'd use).

One option would be opting for a more lightweight Kubernetes distro, such as K3s https://k3s.io/ or k0s https://k0sproject.io/ both of which have comparatively smaller resource requirements whilst still being certified and compliant.

Personally, I'd also use something like Portainer, Rancher or Lens, but that's just because I like UIs alongside my CLIs that are nice to look at.
The most important question for me is does the screen have PWM or not?
>> It is incredibly hard to get to the truths of these things,

> What are you a sock puppet?

In case you haven't seen the HN guidelines:

> Please don't post insinuations about astroturfing, shilling, bots, brigading, foreign agents and the like. It degrades discussion and is usually mistaken. If you're worried about abuse, email hn@ycombinator.com and we'll look at the data.

In addition to that, saying "It is incredibly hard to get to the truths of these things" is hardly a convincing argument that an account is a sock puppet, which I'm defining as "A pseudonymous online identity adopted to further the user's real-life interests or to agree with sentiments the user has already expressed online." (per Wordnik)
On any sort of list structure, a "find" operation generally means searching the list in order for an element that satisfies a predicate, usually equality to a given value. The article could be more clear about this, but in this context finding the last element in a list means calling find() on a list where only the last element of the list matches the predicate. This is almost the worst case scenario (the worst case being no elements in the list match). If you read the code in the article, you can see it's using https://www.cplusplus.com/reference/algorithm/find/ to find an element in the list of value 1, after inserting that as the last element in the list.

The point is, it doesn't matter if you know the length of the list, you still have to examine all the elements.
In which case “(funny joke)” was redundant…
The live stream mentioned it will be available next month.
My wife used to be involved with data center provisioning for what the NRO called "agency unique equipment." This was a facility and a contract that did centralized infrastructure procurement, installation, and tier 1-2 support for any NRO workloads that needed to use hardware not available in Amazon's classified GovCloud enclaves.

Full workflow was customer generated and provided the initial build spec, her program (called "Palinode") validate this spec, made the purchase, received equipment from the vendor, assembled it in test racks at a contractor facility, performed a physical inspection and validation of the build, then shipped it to the production data center, installed it, and performed final validation on-site, usually with a customer witness. For that, they used a suite of custom tools that matched the functionality your linked toolkit seems to be providing, and also had management and alerting tools all developed in-house.

I'd say the biggest pain points were not really something any third-party or software provider could alleviate, and that was the locked down firmware and NDA agreements with the network appliance vendors. They experienced so many bizarre appliance failure modes that could not even be debugged except with chip-level log access that required vendor reps to come on-site just to be able to read them. And there was a major fire-drill level issue with defective memory they couldn't even disclose to their customers because of the vendor NDA, and it took a really long time to address it. I was honestly pretty surprised by that, as the vendor is a publicly traded enormous company that you think would need to legally disclose product defects like this in components that could potentially power safety-critical devices, but for whatever reason, that wasn't the case, and remediation was seriously slowed down by all the need for secrecy.

The only thing I can see changing this is competition, but it largely doesn't exist at the chip level or for specialized hardware. Many components and appliances only have two or three vendors, and the levels of compliance you have to go through to host classified data combined with patent law make it nearly undisruptable as an industry.
> no more wedge design

That is unfortunate.

The wedge air design is the most comfortable macbook to type on IMO since it doesn't have the thick 90 degree metal edge digging into your wrist like the others.

One of the main reasons I got it
Yes it is. I do volunteer English / Japanese / Chinese translation editing for Watching America ; I am going to start working on Wikipedia articles in my subject areas.
The reason it's so prevalent online is because those people are gaming the system to appear prevalent. They talk up themselves and their brand/product to get likes, follows, and "engagement", which the social media algorithms use to rank and display content.

"Real life" doesn't have an algorithm that is so easily gamed, but there are still ways to "game" it. Going to popular locations (e.g. bars), looking presentable/knowledgeable, social engineering, buying advertisements, setting up seminars, etc. But in real life a lot of these are much easier to avoid because there's simply so much more to life that drowns them out. Real life doesn't have a front page that tells you what the most popular person said today -- that is the function of social media (or newspapers).

Of course, social media platforms could be built that don't prioritize content this way, either by using more complicated algorithms that are less easily gameified, or simpler algorithms that cannot be gamified (e.g. simple chronological ranking), or letting the user have more control over the ranking algorithm. But there is currently no simple market incentive for doing so.

That said, I could totally see that shifting even in the coming decade. I think people are getting tired of being advertised to, and transparently being treated as second-class citizen on these platforms. I could see a "premium" alternative to Facebook/Twitter becoming popular, with a small monthly subscription fee in exchange for much more user control and user-centric design.

Of course, more user control means more opportunities for filter bubbles and cultural fragmentation, which as we've seen are pretty bad for democracy. I suppose there is no easy solution to anything.
Apple’s macOS Ventura with new Stage Manager organization tool announced at WWDC
The store hasn't been updated yet, but it appears that the 13" MBP is the only way to get the Touch Bar any more. Which is actually a thing that might get me to buy it. I'm one of the six or so people who like the Touch Bar.
> I bought a house. The due diligence period to inspect the house, get a survey, etc. was after we entered into the contract and before closing.

I know with the crazy housing markets, this might not be something anymore, but in times past you would enter into a CONDITIONAL contract and set the price, with the stipulation that the inspection has to be satisfactory to remove the conditions. Otherwise, after you signed your contract, the house is yours, and the survey just tells you what you are obligated to fix.

Also, Business deals usually allow parties to enter into things like NDAs for due diligence, as well as signing things like Memos of Agreement to get a roughed out deal, pending a thorough due diligence.
I believe he's past (or waived) the due diligence. I'm sure there is a back-out clause, but that has $$$ attached and he's trying to wiggle out without paying, is what it seems like.
M2 slide said that it supports up to 24GB memory. No Air configs were announced yet, but I'd guess it will be sold with up to full supported amount.
The average gas-powered car has a 300 mile range.

I drive to remote areas fairly often. I cannot get to these areas in my daily driver because I don't have enough range!

It's an extreme outlier scenario.
2x thunderbolt, 1x magsafe and 1x headphone jack for the m2 air
The website gets updated after the event finishes and it's still ongoing.
some people still probably want the touchbar (and has enough support internally within apple)
An abstraction is something that can be made concrete. For example in OOP, Classes and Interfaces are abstractions.

An abstraction has no material presence, so in code, concretions are the actual data in memory in their exact place and precise arrangements and linking and all that on a precise machine.

Source code is an abstract representation of a running program for example. Everything in source code form is an abstraction.

Generally an abstraction has gaps, it can't actually be run into the exact behavior you want on its own.

A schema is an abstraction, because schema isn't executable into the concrete running behavior you're trying to implement. A schema or a data specification (which is just another word for schema), is definitely an abstraction. It abstracts over the actual concrete data you will have at runtime.

Everything that is not in the final concrete running form it needs to be at runtime is an abstraction.

A specification abstracts the implementation away, it's an abstract idea of what you want, but does not specify the implementation.

Unfortunately the concept of abstraction is itself very abstract, but one thing a lot of people don't realize is how many things are actually abstractions.

Even a simple function is an abstraction. It can only run once provided actual values to its arguments, it is but a template abstracting the idea of mapping inputs to outputs using some logic. You need an instance of it with actual values for its arguments to be able to run it, a function with concrete values provided as arguments is now a concrete thing, but the function definition, i.e, the code for it is simply an abstraction.

You can further abstract over abstractions, a function signature abstract further the implementation away, to be filled in later.

And generally speaking, even a running program is simply an abstraction of reality, a simulation of something real, but this is when you start to enter product design, how to best abstract over the real life use cases you're trying to have a program that can represent, model and simulate.

Programming Languages and other frameworks often provide you means of modeling abstractions, constructs that can help you define your own abstractions. Those tools will vary from language to language, in some OO language like I said you're given Classes, static types, Interfaces, inheritance hierarchies, etc. In some functional languages you'll be given abstract data types, functions, higher order functions, type classes, etc.

I could keep going on, but I find the concept of abstraction itself is often misunderstood.

P.S.: You can easily argue a different definition, arguing semantics has no definite truth, definitions of words are just axioms we define. I believe it is more useful and beneficial to define abstraction as I just did for being able to better reason about and make judgement calls as to how exactly to structure and design software code. I'd encourage others to give it a try, attempt to rediscover abstractions how I just described, and you'll learn a lot in my experience, and you might become a better programmer out of it.

Just my 2 cents.
125 million barrels that's like 6 days worth of US daily consumption. It's crazy how much oil the US consumes on a daily basis.
> The due diligence period to inspect the house, get a survey, etc. was after we entered into the contract and before closing.

Right, because thats what you included in your offer contract. Now, imagine that you didn't have anything in your offer about contingent on inspection. Do you think you would have standing to back out of the deal?
Between python, JavaScript, perl, c, c++, and Erlang... My money's on Erlang.

Note that Erlang has a two year head start on perl (and 5 on python), and Elixir has a hard Erlang dependency.