skysight-inc/HackerNews huggingface dataset:
Yes for sure. Here’s an excerpt of mine from today. For this one the topic is GPT-4 and the sources are arXiv, Google, and HN

AI Generated News Summary for September 24, 2023

GPT-4

GPT-4, the fourth iteration of the large language model developed by OpenAI, has been the focus of recent research and discussions. One research paper titled 'LatEval: An Interactive LLMs Evaluation Benchmark with Incomplete Information from Lateral Thinking Puzzles' proposes a novel evaluation benchmark called LatEval to assess the lateral thinking abilities of language models. The study finds that even the advanced model GPT-4 struggles with lateral thinking and lags behind humans in this aspect. The benchmark aims to challenge language models with highly challenging tasks that are crucial for effective AI assistants. [Read more](http://arxiv.org/abs/2308.10855v2)
Another research paper titled 'Faithful Chain-of-Thought Reasoning' introduces the Faithful CoT framework for reasoning tasks. This framework combines a language model (LM) and a deterministic solver to ensure the faithful explanation of the reasoning process. The study shows that Faithful CoT outperforms standard Chain-of-Thought prompting on various benchmarks, including math word problems, planning, and question answering. The research also demonstrates the strong synergy between faithfulness and accuracy when using GPT-4 and Codex. [Read more](http://arxiv.org/abs/2301.13379v3)
SquadGPT is a chat interface to large language models (LLMs) developed by Sai_. It allows multiple people to participate in a chat with the LLM, providing a collaborative environment. The motivation behind SquadGPT was to address the challenge of limited access to commercial LLMs like ChatGPT Plus. By building a chat interface to the GPT-4 API, SquadGPT enables teams to leverage the LLM's capabilities without the need for individual accounts. The tool offers benefits such as enhanced visibility into AI costs, retained access to chat sessions, and better insights into users' guidance needs. [Read more](https://squadgpt.ai)
" open source AI ecosystem"

Would be incredible, but almost sounds too good to be true. OpenAI and equivalents already have so much money and momentum behind them.

Fully support the idea though!
Good news. Also, Mozilla should convert to a democratic (one person one vote) worker owned enterprise.
Like the ADA, one of those things that are so good for the public health (even if imperfect) that it's amazing to think that there was a version of America where it was capable of being considered, let alone passed. Consumers need information if they're going to have any hope of making informed decisions. Trying to eat healthily in our sugary wasteland would be an insurmountable task without having this information at my fingertips.
Money well spent haha
Go read Permutation City by Greg Egan.
The formatting isn’t that bad in the email though :)
> to reduce their vulnerability to enemy strikes during a Finnish exercise

No, it's the Swedes they need to watch out for: https://www.theguardian.com/world/2023/apr/25/norway-irked-o...
The one display I got takes about 2 seconds to cycle. You can make it shorter with partial redraws, but for my purposes, the cycle was the right thing to do.
A 233Mhz StrongARM coprocessor plugged into an Acorn RISC PC around 1994 was astonishing to behold. 233Mhz! RiscOS flew! That could have been the future.
It is if you care about ANC and convenience of use. At home wired is obviously king :)
I think it's important to distinguish between Covid and the absolutely irrational public policy response to Covid, because the latter is what really threw downtowns off. Pandemics will happen again; lockdowns don't need to, if we learn.
What is "trustworthy AI"?

Is that like "accurate AI"?

Or is there some notion of trust I'm missing?
> browser is completely ususable on my Linux Mint 20 with a high end graphics card

Wild. Graphics card model?

Firefox continues to be the most stable/performant browser on all of my devices. Some JS game demos run faster on chromium, yes, but the drop is not significant enough for me to permanently switch.
This was posted a few months ago. It's a short but fun read:

SR-71 Blackbird Speed Check Story

https://news.ycombinator.com/item?id=36041845

https://www.thesr71blackbird.com/Aircraft/Stories/sr-71-blac...
Thats fine and no one is forcing anyone to use a site. I personally don't think the offical app or website is that bad. I was just talking about moderators closing down subreddits for everyone.
This fills my heart with corporate responsibility and legal exposure management emotion.
> You’re right, the fact that America’s government-run single-payer healthcare system is so expensive is proof that the US government can’t do things efficiently. If only we let efficient private companies handle health insurance instead.

The claim was that the federal government does a competent job of regulating US healthcare. But US healthcare costs more than both public and private systems in any other country, so clearly they've messed it up pretty bad. And the high costs have quite a lot to do with the FDA, the tax code, the patent system, medical licensing boards and malpractice lawsuits, none of which is a private company.

> But the thing is, cities in the US are not evenly distributed—they are regionally clustered. Thus there are substantial regional HSR networks that do pencil out, even if the fantasy coast-to-coast ones do not.

Rail networks make sense in the North East Corridor or the coastal areas generally.

But meanwhile Amtrak is operating passenger rail through deserts and farmland, and overcharging passengers in other areas to do it.
"Demands" is not a legally defined term. Let me demonstrate my premise from another perspective: suppose the government created a reporting requirement that required you to divulge all your conversations with your mother yearly by April 20th. Would that be an unlawful search? If so, then how, qualitatively, is a requirement to divulge any other private information different? "Demand" for material details about your possessions and how you conduct your life is indistinguishable from a search.

I'd say, if my premise is correct that it is a search, then demanding information without any tangible evidence of a crime is unreasonable. So whether it is reasonable or not is not a fruitful topic of discussion. The only thing that matters here is if reporting requirements qualify as a search. I think I've made a pretty compelling case that they do.

By your logic, a cop could go get a warrant to search under your sheets for teddy bears. There must be tangible reason to believe a law was broken. You're not getting a warrant to search or probable cause to search on the grounds that someone is in possession of something lawful.

Participation in commerce with ones neighbor is not activity under the purview of the federal government under the constitution. Only participating in commerce with someone in another state or country is under their purview, and even then, that only gives them the power to regulate the activity within the confines of the constitution. Mandatory reporting is not regulation of commercial activity.

Requiring disclosure of private information under threat of civil or criminal penalty is a violation of the 4th. And 5th if that information is incriminating. You can declare "false" all you want, demanding private information is indistinguishable from a search.
GPT-4 Vision System Card
What does “unusable” mean? Slow (since you mention graphics card)? Unstable? You don’t like the UI?
Those low hanging fruit are useless in the face of much more advanced models and even agi coming in the next year or 2. Every effort spent implementing workflows for existing models is pointless when you can just make a better model that has the intelligence to do it automatically.
Is anyone working on vision-based navigation systems for drones, these days?
Fascinating, I would have thought it was the flickering of fluorescent that was getting you. I know CGA / EGA monitors with 60hz refresh rates really bothered me and gave me headaches and it was miserable to program at that time for me. It’s interesting that FL-41 glasses help you, I’m glad to hear you’ve found something that helps. That sort of pain awful and functionally frustrating.
The Museum of Flight also has an entire SR-71 cockpit (salvaged from a crash) that visitors can sit in. It's the only place I know of in the world where regular people are encouraged to touch one.
> Plus, I think it’s more like 2-3x, not 1000x

The most expensive Google Cloud option[1] gives 100,000 bytes free per month. This gives 10,000 chars per month.

The next tier is $5/month. With Google that gives you over 130K bytes.

And that's the most expensive model. With the moderately priced model $5 gives you 1.3M bytes.

With the cheapest model you get 5.25M bytes.

I use their service, so I know the economics. I pay nothing per month because I use the intermediate model, and I don't need more than 1M bytes per month. Switching to this, I will have to pay at least $5/month for a voice that's not really any better than Google's.

[1] https://cloud.google.com/text-to-speech/pricing
They hired a guy that is at best “mid” to replace guy that was proven terrible. It’s not looking great… Youll know it’s really gone downhill when they hire a woman to take the fall after a bunch of generic executives tanked the company.
Audacity made some bad decisions but the forks never got anywhere. That said, this particular issue was blown out of proportion, so the forks going nowhere isn't an issue.
You'll hear plenty of hikers complain about hikers if they are also creating unwanted noise (usually from portable bluetooth speaker).
> In my lay-man‘s imagination, there will only be a few of these highway airstrips

Not in Finland, where this military exercise occurred. See https://en.m.wikipedia.org/wiki/Bas_90 and the earlier https://en.m.wikipedia.org/wiki/Bas_60 . I don’t have an exact count, but the number of Highway runways available in Finland is on the order of like 50.

And sure, these are well known and mapped. And yes, an enemy could target each and every one of them. But to do so they would need far more ordnance to destroy all these highways instead of just a few runways. But there’s some additional context. So, the most efficient way to disable an air base (or improvised air base using a highway) is to destroy the runway, preventing aircraft from taking off. But, it’s also the easiest thing to fix. Just takes some bulldozers and engineers and you can get it fixed relatively easily. So runway cratering is more about suppressing an Air Force instead of destroying it. Generally, you want to follow up those runway strikes with additional strikes to target the aircraft on the ground. And that is a lot harder when they are scattered all over the country.
Don't forget the Space Shuttle Enterprise complete with its own separate pavilion; aircraft carriers are indeed ginormous, and that's just an ancient WWII model: https://www.intrepidmuseum.org/Space_Shuttle_Pavilion.aspx
> It seems to me that their company objective is just to play catch up with AMD and Nvidia.

And TSMC. Intel really wants to win in both the fab game and the chip game.
I have an Osmo action camera. Good camera and solid UX, but it forces you to make an account, install an app, and pair with your phone, only to lead you to an app that doesn't seem to do much of anything useful. A mountain of dark patterns, and a huge turn-off that will prevent me from buying another DJI product.
notification management on iOS is just different than on Android. It is a bit more hands off. Most recent notifications appear in your face and then they fall into the 'notification drawer' unless you take action on them, in which case they disappear. Once you adjust to it not behaving the same as Android, you get used to it.

On my android device, I never had many notifications as I would manage them and clear them. On iOS, I tend to clear them once a week, and the thought of returning to Android's notification system just seems like a lot of work.
I don't know why you come here and say something so obviously untrue.
The ratios of fats, carbohydrates, and protein should be instantly visually glanceable.

Not sold on this. Most people can't use ratios effective ime, and it's not obvious what 'good' or 'bad' ratios are, which means it'd mostly be ignored. I agree about fiber content. The most astounding thing to me about the existing label is that it uses metric units, a rare triumph of common sense over xenophobia.
From what I recall land missiles (minuteman) does its own alignment while in the silo to give it what it needs to hit that window in space where the RV detaches. There some documentation and YouTube videos depicting the alignment process.
They need to divert profits to stay valid on their non-profit tax exemption. Just a wild guess.
I see Mozilla has found yet another thing to focus on instead of building a better web browser.

Great.
you hire a lawyer to make inquiries with the patent owner to obtain a license. Terms can be all sorts of different things. some patent owners won't give licenses to anybody.
Fix the url to the root.

This is from at least 6 months ago. Anything new here?
AWS SDK can stub responses. In general, I usually recommend creating local/in memory implementations of infrastructure so you don't end up running a gigantic stack locally. You can write tests against the real integration that selectively run against a real environment and write contract tests that cover the real implementation and your local stubs (or maybe even interfaces is strongly typed languages are sufficient).

Some languages/frameworks have this built in (a lot of ORMs do this out of the box). A lot of frameworks also have facilities for conditionally wiring in different implementations based on runtime config.
"Mozilla has long championed [AI]..." - paraphrased

Corporations have a straight face saying this when essentially "long" is defined as "since OpenAI's ChatGPT3 blog post on November 30,2022."

https://trends.google.com/trends/explore?date=today%205-y&ge...

https://trends.google.com/trends/explore?date=today%205-y&ge...

The first link shows the Google Trend for 'chatgpt' and the massive spike November 2022. The second link shows the Google Trend of a quiet gentle arc upward in AI until a noticeable spike in Nov 2020 followed by clear explosion ever since
Amen.

'"Legacy" is not a pejorative. Do not use it as such.'

http://jdebp.info/FGA/legacy-is-not-a-pejorative.html
Math is integer, unless declared real.
>> How is this useful if you can’t refuel or reload ordnance?

You can. It is true that there are logistics challenges to provide fuel/ammunition to a vehicle that does not have a fixed base (such as an airfield). Similar logistic challenges are solved for tanks.

>> aren’t you a sitting duck for the enemy?

Only until you take back off again. In the event that your airfields have recently stopped existing, that will likely be as soon as you refuel/reload.
I either trust the judgement of someone who's out there flying a drone with binoculars, or I don't. If I do, I DGAF if they're using binoculars. If I don't, it's my opinion that they have no business flying a drone to begin with. But it's also safe to say that someone who is reckless with a drone and a pair of binoculars doesn't GAF about my opinion... or the FAA's.

In reality, rules this stupid simply get ignored with impunity. Which is fine by me.
Of course, I do think of math as a (meta)language. Maybe my phrasing does not convey that well. So much for using natural language instead of math... ;)
I’m skeptical of (3) as well, and yet I encourage students to study math through calculus, and to study Latin.

My feeling is that the utility of higher math, Latin, history and literature comes every minute of every day, as you experienced life as someone who has familiarity those things and your life will be richer and fuller.

This is decidedly not testable. And yet I still believe it.
Sorry, didn't notice the reply in a timely way. I went back to the library, the book was "The Universe" by Andrew Cohen. It was indeed K2-18B, discovered by Kepler in 2015. It says that the water was discovered by Hubble later, so presumably 2019.
Google still thinks I want to click on the sites I haven't clicked on in a decade even though they are first results. Search engines have a long way to go to catch up to GPT
I'm stating a general fact that the patches in ACK are not needed for Android to work.
I'd really, genuinely be interested in reading more about this theory, and what your criticisms of kotlin are.

No, really, I'm interested!
That's not how a 501c3 charity works. There are very strict rules about what the charitable funds can be used for, and "software development" (let alone "AI development") isn't one of those, even if the software is given away for free.

"To establish 501(c)(3) status, your organization needs to be charitable (providing relief to the needy or distressed), educational (improving skills of individuals or providing useful information to the general public), scientific (research in a manner sufficiently in the public interest and not commercial), or in a few other categories (religious, youth amateur sports, etc.)."

https://www.mill.law/blog/more-501c3-rejections-open-source-...

The Mozilla Foundation, the charity part, uses its funds for education.
The new ideology of the ruling class
In all likelihood Intel would attack from the middle of the circle...
Haha yeah even with the very specific project of “build a reliable, privacy oriented browser”, you’re scratching your head at where the money went.

Like, “no unsigned extensions” with “oops we forgot to renew the cert, and you can’t opt out, hope your life didn’t depend on any privacy extensions or anything!”
Right? Like who honestly cares.

I blame all the people who freaked out over making prompts like "create a python function to show me how much to pay employees based on their skin color. "Garbage in, garbage out" should have been the end of discussion there. Instead we have a whole era of useless AIs that give you pages of justification about meaningless "nuance" instead of an answer.
Entity Framework Core restore my faith in ORM approach.
A powerful new malware backdoor is targeting governments across the world
They do, and a first read at a young age (17-21) can be transformative.
It was a huge waste of money, the US was always a paranoid state which was extraordinarily secure. This is precisely what Eisenhower warned about, the rise of the MIC which has its own self-sustaining logic.
In turn, the nutrition label has inspired cybersecurity transparency labels for devices.

https://news.ycombinator.com/item?id=37392676

> [FCC] cybersecurity labeling program would help consumers compare IoT devices and make informed purchasing decisions, drive consumers toward purchasing devices with greater security, incentivize manufacturers to meet higher cybersecurity standards to meet market demand, and encourage retailers to market secure devices. The proposed IoT label would offer a trusted, government-backed symbol for devices that comply with IoT cybersecurity standards.
Love it.

This is exactly what somebody should do. Somebody needs to seriously fork Blink the same way that Google forked Webkit / KHTML way back when.
I've come to the conclusion that all numbers in the real world are integers and real numbers are a human construct necessary evey time we select a unit that is too large. There is evidence (e.g. quantization) that at the most fundamental level, reality is discrete. Math is layer upon layer of abstract toolsets to operate on integers. In that sense for me, it is very real, but invented.
They are so beautiful though:

https://en.m.wikipedia.org/wiki/LGM-118_Peacekeeper#/media/F...
The term I am using most often this year.

https://therightstuff.medium.com/the-trust-thermocline-expla...
We need to figure out how to get costs and permit times down if we want to build stuff again.
I don't doubt there are plenty of experiences that went the wrong way, but wanted to share an alternative anecdote that went well.

I bought a brand new ~$900 GE dishwasher last year (for a non-intended purpose) and needed to take it apart - for reasons.

IMO, the engineering in this thing was just marvelous. It was almost entirely tool-free click/snap fittings for full disassembly and reassembly. The parts were good quality molded, stamped or machined. It was clearly a master class in balancing competing trade-offs (price, assembly labor, reliability, noise, power, efficiency, etc). The simplicity of the thing was really remarkable.

Water falls into the side at whatever rate your tap delivers, and when a pressure sensor in the reservoir indicates enough volume to start, the thing begins. It does this a few times, pumping, re-pumping, heating and replacing that reservoir depending on the selected cycle, but overall, the thing is just incredibly simple and (hopefully, somewhat?) reliable.
> you'd just never ask this about consumer goods since you're not used to thinking about how LG or Kohler or Fisher-Price stay in business.

This is actually entirely backwards -- it's much more common for me to hear examples in informal conversation that show some understanding of how producers of household goods might want to avoid oversupply because it drives prices down and volume on smaller margins is a tough game, sometimes well worth the rewards, sometimes with its own undesirable consequences.

I literally never hear this from anyone who talks about housing supply, to the point where I'd be willing to bet the majority of people talking about it online are only tangentially familiar with the concept of diminishing marginal returns at all and the other 90% it just never occurred to them it relates.

> Today they have no incentive to actually compete.

As long as you've got competition you have incentive to compete. Along with the incentive that cutting production costs in the world we have produces greater margins as surely as in some imagined counterfactual world where there's no zoning or something.

> Without zoning

Without zoning you might get out of having to account to a municipality, but nothing changes about the demand for different kinds of use in a given area or the economics of providing it.

> Modular buildings explode. People come up with shit you cannot possibly think of today.

because markets, right?

Modular design and prefab have been a thing for decades. Where they have advantages, they should (and in some cases are) already thriving.
I was admittedly being a bit tongue in cheek about it.

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

The DVDs avoid all the licensing issues that properly licensed streaming media has because the profit and control for the rights holder ends when the sale of the media happens.

Similarly, the profit and control of the media ends for the rights holder when it enters The Scene for release amongst their myriad distribution channels.
We won't learn. On the contrary, we have actually become stupider about handling disease: Hospitals are even more understaffed now than they were before the pandemic, and anti-vaccine hysteria has gone mainstream.

If we get hit with another major pandemic in the relatively near future, we will be even less prepared for it now than we were with Covid, and I predict our lockdowns will be even worse because of it.
Barycentric coordinates in a triangle wouldn't be a bad visualization...
I'm trying to read between the lines. Their name suggests to me that they're trying to accelerate the development of AI but here they suggest AI safety. I think it's moar AI but with Mozilla's privacy values that so far amount to advertising for Google while keeping the syncing outside of Google, while a lot of users are still drawn to Google with their search partnership.

If they're about AI Safety in the MIRI sense, this doesn't indicate that to me very strongly.
Noise cancelling isn't incompatible with wires...

And both wired and wireless have their own convenience problems. But the wireless ones are more frustrating in my experience.