skysight-inc/HackerNews huggingface dataset:
To me, coding in imperative languages are one of the hardest things to produce an AI for with current approaches (CNN’s, MCTS and various backpropagation). Something like Cyc would seem to be a lot more promising…

And yet, I am starting to see (with GitHub’s Copilot, and now this) a sort of “GPT-4 for code”. I do see many problems with this, including:

1. It doesn’t actually “invent” solutions on its own like AlphaZero, it just uses and remixes from a huge body of work that humans put together,

2. It isn’t really ever sure if it solved the problem, unless it can run against a well-defined test suite, because it could have subtle problems in both the test suite and the solution if it generated both

This is a bit like readyplayer.me trying to find the closest combination of noses and lips to match a photo (do you know any open source alternatives to that site btw?)

But this isn’t really “solving” anything in an imperative language.

Then again, perhaps human logic is just an approaching with operations using low-dimensional vectors, able to capture simple “explainable” models while the AI classifiers and adversarial training produces far bigger vectors that help model the “messiness” of the real world and also find simpler patterns as a side effect.

In this case, maybe our goal shouldn’t be to get solutions in the form of imperative language or logic, but rather unleash the computer on “fuzzy” inputs and outputs where things are “mostly correct 99.999% of the time”. The only areas where this could fail is when some intelligent adversarial network exploits weaknesses in that 0.001% and makes it more common. But for natural phenomena it should be good enough !
I don't think this is OK with any language.
Nova Credit (YC W12) | San Francisco, CA or New York City, NY | Onsite or Remote (North America only) | https://www.novacredit.com

Despite having built substantial credit in their home countries, millions of immigrants have difficulty accessing credit cards, loans, mortgages, and leases without domestic credit. Nova Credit enables newcomers to share their credit history from their home country with financial service providers and others, unlocking new consumers for lenders, and new futures for immigrants. The team is 30 people and has raised $20m+ in funding from Index, General Catalyst, First Round Capital, Nyca, and Y Combinator.

To learn more about who we are, our engineering culture, and whether this is the right place for you, read our Key Values profile: https://www.keyvalues.com/nova-credit

Here are our open roles:

- Infrastructure Engineer (SF, NY, or Remote): https://jobs.lever.co/neednova/0dd2948a-507e-4cf4-88c0-3bd6c...

- Mid/Senior Software Engineer - Credit Bureau Integrations (SF, NY, or Remote): https://jobs.lever.co/neednova/79b7fb4c-efad-46f8-8e13-8b0f4...

- Senior Software Engineer - Cash Analytics (SF, NY, or Remote):
https://jobs.lever.co/neednova/cfdfbd7e-ddc0-48b7-a5b8-6278f...

- Senior Software Engineer - Fullstack (SF, NY, or Remote):
https://jobs.lever.co/neednova/9db63249-754a-4609-b064-97d9a...

- Product Manager (SF, NY, or Remote):
https://jobs.lever.co/neednova/c00bd5e2-5f0d-4401-aae5-52663...

Tech Stack: Node.js, Postgres, AWS, Terraform, Ansible, React
Maybe a bit like this? https://github.com/Lucretia/orenda/blob/master/samples/modul...
> that cloth masks have much more limited effectiveness than initially assumed

I recall multiple studies early on stating cloth masks were not effective and should be avoided if you have access to surgical or n95 masks.

My impression is that the (US) government didn't want to nuisance this discussion as it'd only open further criticism of mask mandates.
Luciole is a new typeface developed explicitly for visually impaired people
Well, if they're not going to use them to find and shut down the NK hackers, then they should step aside for those who will.

(Of course, there could be deeper ops from the CISA side, but if their only cost is having to lose older vulns, so be it.)
Casting spells on others in unpythonic.
right, no region is better than being tied to a specific region.

one-on-one requires everyone to speak. with more people some can listen and only speak when they have something interesting to add.

if the two people don't have a topic then there will be an awkward silence.
with more people it is also easier to find any topic to talk about.

for introverts getting started is difficult, but ending a conversation equally so.

in small groups people can join, wait until they are asked to introduce themselves, listen until they have something to say and leave whenever they need to without inconveniencing anyone else who wants to continue to talk.
There seem to be a lot of extensions for this sort of thing. First one that came up was https://share-a-cart.com/
> no ads outside google search

There will be no content then, so the inside of google will be equally empty
Local [Canfield, Ohio] restaurant to close permanently due to staffing shortage
Who knows. It seems like anything can be interpreted as a crime these days. Hopefully he's got good lawyers advising him.
what other areas of the request process did you want to hook into?
I don't think this is correct at all, and this perception is probably largely due to survivorship bias.

I have several relatives who are home builders and have acted as my own general contractor in building a home, so this is an area of interest to me.

Comparing the average home today (yes that shitty McMansion included) to the average home 100 years ago, today's homes are way more efficient and comfortable in terms of amenities, climate control, being draft- and vermin- free, and safe.
Not working there doesn't mean he doesn't have shares in the business.
But that's just it - Google's business interest is always about protecting revenue from search advertising, which is never simply aligned with the search user or with search quality, but exactly as you describe it "a really complex system here with all sorts of incentives, variables, and issues on all sides".

It’s perfectly reasonable to speculate about whether search quality is sacrificed in the interest of some incentive Google is trying to balance in favor of its own revenue stream. The fact that it’s complex is immaterial.
When sharing I only got a '1' after the url, which doesn't seem to currently communicate anything about my attempt. With Wordle I get the guesses it took to complete at the top. The shared graph appropriately included the 3 tries it took me to complete.
This [1] is a good comment explaining why we will never know all the primes up to the largest known prime.

I am having a surprisingly hard time finding the answer to the second part of your question. This site [2] samples the first 50 million primes, and the OEIS tracks this sequence as A000040 [3] but they provide a very short list. No luck finding the longest computed A000040 sequence so far.

EDIT:

The research on the Golbach Conjecture summarized here [4] found all the primes up to 10^18, that is the most I am finding so far.

[1]: https://www.reddit.com/r/math/comments/21nclc/comment/cgepan...

[2]: https://primes.utm.edu/lists/small/millions/

[3]: https://oeis.org/A000040

[4]: http://sweet.ua.pt/tos/goldbach.html
At the risk of sounding relentlessly skeptical - surely by training the code on GitHub data you're not actually creating an AI to solve problems, but creating an extremely obfuscated database of coding puzzle solutions?
Does it really matter what the environmental impact is of a byte?

So far it seems that economic factors play a much larger role in the amount of energy produced and consumed rather than efficiency metrics ever did. The 35 watt tdp laptop I have now has much more performant and efficient than the same 35 TDP laptop I bought years ago. There's barely any reduction in TDP across the entire market. All that newfound computing power has been sucked up by innovations like compilers that are pushing new limits on the amount of optimizations they can do. Some tasks have had significant and permanent reductions in power usage but other tasks seem to use exponentially more energy as a result of innovations in hardware/software, profit and lower energy prices.

Google is a good example of a company that provides similar services yet uses more and more energy because they can and people desire that.
This speaks to a fatal flaw with the concept of cultural appropriation. Ok, so a "white" person can't "speak for Native Americans", but a Native American can? Can any, or just certain ones? Who wins if they disagree?
From their statement:

> It is a distressing time in our country when a very successful business must close its doors because people choose not to work.
The joke was on AdaCore's website.
Reminds me of https://www.npr.org/sections/thetwo-way/2016/04/07/473438101...
> in order to buy time for healthcare services.

By that part alone I'd call them a total failure: Healthcare didn't take advantage of it to prepare, instead the lockdowns just kept going on.

If anything the opposite has happened, with hospitals firing nurses and ending up with reduced capacity.
I wonder whether forcing yourself to breath a bit deeper during reading would increase comprehension. Or stopping after page or two for a couple of deep breaths. Most importantly, perhaps one can focus better when programming by controling own breath ?
1) SLAs are almost always customer initiated (see "Customer Must Request Financial Credit." in https://cloud.google.com/appengine/sla for example)

2) The SLA isn't tied to the status page at all, a customer can request an SLA refund for any reason provided they have proof of damages.

TL;DR: status pages are a helpful tool to let folks know something's wrong and that the team isn't asleep at the wheel, not a legally binding contract.
> It should be impossible for the phrase "the recent Firefox outage" to make sense.

I completely agree. We shouldn't encourage this term with Firefox too.
It is my personal client, not a global service.
Same. My desktop won't even currently power on after a move... Looks like I get to reseat all of my RAM tonight :)
The managers are the ones that should be worried.
Yep - great summary of my current position. I also use the Classic Editor plugin but still let users toggle the setting if they choose too.
We validated our performance using competitions hosted on Codeforces, a popular platform which hosts regular competitions that attract tens of thousands of participants from around the world who come to test their coding skills. We selected for evaluation 10 recent contests, each newer than our training data. AlphaCode placed at about the level of the median competitor, marking the first time an AI code generation system has reached a competitive level of performance in programming competitions.

[edit] Is "10 recent contests" a large enough sample size to prove whatever point is being made?
I think it’s common to underestimate the hidden complexity in things. Even the smallest widget can contain surprising amounts of innovation. Take the diminutive Apple iPhone Wall Charger - that little wart is the culmination of decades of safe and efficient AC/DC design.

A biggest in the world sailing yacht will have hundreds of innovations just in construction of the masts. All the rigging is likely custom materials and hardware, they are probably using exotic techniques in all sorts of ways.
SKIMS | Los Angeles - ONSITE (Temporarily Remote) | Full-time | SKIMS.com | US Resident

SKIMS is a solutions-oriented brand creating the future of underwear, shapewear, and loungewear. We're disrupting the industry with our game-changing product and culturally driven creative, and are looking for a DevOps Engineer to join us in building the next generation of intimates.

Stack:

● Python | Django
● AWS -- SNS | SQS | Lambda | API Gateway
● Docker
● Terraform

Job Posting: https://linkedin.com/jobs/view/2861630755
So what happens when OpenAI releases TicketFixer 0.8 which synthesizes everything from transcripts of your meetings to the comments to the JIRA ticket to the existing codebase and spits out better tickets to feed into the programming side?
Yeah, agreed. Enhances Autopilot does very well on the highway.

Though FSD does navigate onramps and off ramps better than autopilot did (I don't know how autopilot works now since I'm on FSD beta now).

With that said, though, I don't think you can buy just autopilot anymore.

My other car is a Volvo and using Adaptive Cruise Control with Lane Keep Assist is scary as heck, any more than slight turn in the highway and you have to correct to avoid leaving your lane. Tesla on the other hand can change lanes, and has no issues with even the most extreme turns in the highway. But off the highway FSD is definitely more stressful than just manually driving while it's in beta.
The 2nd amendment already has interpretation questions around the first half -- the "A well regulated Militia, being necessary to the security of a free State," clause. It could go in any number of directions, from expanding "arms" to include "digital arms" to reducing the right only to "as part of a well regulated militia." See: https://www.law.cornell.edu/wex/second_amendment

But I wouldn't bet money on the right expanding beyond firearms any time soon, given the glacial pace of constitutional law review.
Following that, the question is, will AI improve enough to pay off its own tech debt? If it can't, everyone will have to hire 10x the number of developers.
Whether designed by Garamond, Jannon or someone else, Garamonds share a few central characteristics. Their serifs — the little extra strokes on letters like “i” and “r” — are often sloped or slightly scooped. They have low “x-heights” — that’s the height of a lowercase letter like “e,” “a” and, obviously, “x” — and high crossbars, or horizontal strokes, on letters like “e.” Garamond’s strokes are widely varied and full of character — they were originally made, after all, to resemble handwriting. The italics tend to reveal some of their most idiosyncratic strokes, such as the loop on a lowercase “k,” or the upward flick at the bottom of a lowercase “h.”

- from the article
I think Amazon already tried this and it had surprisingly racist results
OBL bombed more than just infrastructure. I wonder how the US/world would have felt about him if he decided to take out the Statue of Liberty or something like that (while it was closed for repairs).
Important to note that "digital arms" are not a real thing as far as anyone's rights are concerned. God given rights probably but as far as encoded in law, not the case.

Also, don't engage in cyber warfare against other nations because the feds will come down on you harder than your target could hope to[1]. Obviously because it's stupid to put your country at risk.

[1] Unless you live in the US and that country is Israel.
I have read the report multiple times trying to make an educated investment decision. As I mention in other comments, I was following the company way before this saga. Probably for similar reasons than Burry, Ryan Cohen and DFV decided to invest on it, although I admit what caugh my attention was their dividend years ago (no longer pays a dividend). I researched a lot of companies, GME happened to ended up with this craziness all around. I think this is not going be worth millions per share like Reddit says, but it will be worth way more than it is right now. I am far from a bagholder, I've earned a nice return and based on what I have seeing, things are going to be better for the company. The short part of investment is something I had to learn more thanks to the whole saga. I am always looking for bearish thesis about my investments and why this is not going to be worth more in 5 years. Watch DFV youtube videos, he is far from a meme, his videos are very informative about why it is worth it.
Wow, adjusted for driver age the difference vanishes.

That's quite an interesting observation, and it shows the importance of proper statistics. It also raises questions about companies producing their own stats, it's often only when someone takes the time to dig into it that we discover this kind of thing.

I am not holding my breath waiting for the common consumer to understand statistical critical thinking though. I sometimes catch myself forgetting the due diligence even after many years of forcing myself to think about stats.

Perhaps some sort of ombudsman could do this, pointing out when stats are lying to people.
I'm gonna stop the author right here:

> First of all, remind yourself that users love settings.

> Despite initially being born out of the absence of airplane WiFi, I actually enjoy discovering new settings on my iPhone that will make my life easier or improve my productivity.

> Just look at your own user behaviour:
What do you do when you set up your new computer?

> You change your background image.

> You adjust your mouse speed.

> You set a default browser.

> You make all of those rearrangements not because the operating system is badly designed. You make them to create a more comfortable environment. To feel more at home.

Because he is a designer, or a somewhat more technical person, he may love fiddling with settings, but the vast majority of people do not. They do not change their mouse speed, their background image, their default browser. That's why a meme exists of people thinking the internet is the blue E icon on their desktop.

As a corollary, that is why defaults are so powerful, as evidenced in the book Nudge [0]. If you have sensible defaults, you can make users do actions that you want them to do, such as putting out fresh fruit in a cafeteria closer to the reach of the user than junk food which might be farther away, which increased the number of people eating fruit.

[0] https://en.wikipedia.org/wiki/Nudge_(book)
GIMP 3.0 Roadmap
I imagine that even things that are nominally strong might be susceptible to things like UV. But IANAC.
~40 GB with standard optimization. I suspect you can shrink it down more with some work, but it would require significant innovation to cram it into the next largest common chip size (24 GB, unless I’m misremembering)
Tougher than diamonds and stronger than steel?
Webtorrent is using webRTC right? What does this use for signaling?
Are there any samples big enough to be seen without a microscope? After a decade or more reading about nanotubes and graphene I'm a little jaded about "easily manufactured in large quantities". How long does it take to create a solid 1-foot cube? If you are comparing a new material to steel or concrete "large quantities" means multiple tons per hour. I'm going to need to see a sample bigger than a doorstop.
I think there's still a distinction here.

I didn't specifically want instant noodle reviews. I just wanted sites about instant noodles. If they happen to be reviews, cool. If they are photo galleries, that's cool too. Message boards, also cool. But I don't want articles or encyclopedia or dictionary entries about instant noodles. I want full sites, or at least large subsections of sites, where the primary topic is instant noodles. This is what directories list. Sites where you open the site and ask "what's this site about" and the answer is clearly "instant noodles". Not at the page level, but at the site level.
Yes, there are ways. Human curators, network effects, transparency.

Anything that is at the mercy of an algorithm will be gamed once they figure the algorithm out.
I think that's a reductionist viewpoint, both to say that if you're not a Zionist you're in favor of Israel being dismantled, and to imply that you can't be pro-Israel without being a Zionist. There's more to Zionism than being for or against the existence of Israel.

I'm a progressive. I have family in Israel. I would be very upset if Israel were to cease to exist. And yet I don't agree with all Zionist principles, eg I believe that a combination of a diaspora and a homeland makes our race more resilient to future pogroms defensively and more familiar and thus less easily Othered by other cultures, an idea more aligned with other schools of Jewish thought.
While you certainly could cobble together incident response workflows in something like Jira, I think it makes more sense to extend the monitoring and paging tooling (in large part due to the reason you mention— familiarity with the tools that you're using as part of that response).
This is so wonderful that two companies so focused on reliability and safety are teaming up!

> Ferrous Systems and AdaCore are announcing today that they’re joining forces to develop Ferrocene - a safety-qualified Rust toolchain, which is aimed at supporting the needs of various regulated markets, such as automotive, avionics, space, and railway.

Hoping for a long, fruitful relationship!

*edit, Yay!
No. I have worked as a programmer for 40 years. During that time predictions that programming would get automated away or made so simple anyone could do it have come around many times. Writing code that passes tests is just one part of programming, and not even the hardest part.

I wouldn’t worry about it. AI may simplify some tasks and give us new tools, but I don’t see human programmers going away. Demand for skilled programmers is higher than ever.
Its cute that people still think that all of the data that Google and Metabook are amassing is used to sell them toothpaste.
I am surprised, as recently OpenAI had ~25% of easy problems and ~2% in competitive problems. Seems like DeepMind is ahead in this topic as well.

Actually I think Meta AI had some interesting discovery recently that could possibly improve NNs in genral, so probably this as well.

I am not in field but wonder if some other approaches like Tsetlin machines would be more useful for programming.
Can a private citizen limit access of another private citizen's access without it being capitalism?
Hah! I saw that repo but there was only a README and I didn't dig deeper. Good job!
interesting research and not sure what to make of it. But did stumble on a more comical discovery by these MIT professors - heated covid masks lol : https://news.mit.edu/2020/heated-face-mask-coronaviruses-102...
The next Faker.JS would just hide the repo behind a $10000 sponsorship
I think the author might be concluding too much from a period of boredom. Shouldn't we design tools primarily for busy, distracted people who have better things to do than mess around with our UI?
I’m just noticing that my comment went from 5 points to 0 after your reply. I’m sorry if it was upsetting. Of course I know you are not the author of the benchmarks repo.

I made that comment in good faith pointing out that the author was not saying WASM is a catch all performance booster.

But I could get on board with your claim here that “almost always” is disingenuous (which wasn’t what you were saying in the previous comment).
Oh god I forgot about the SO scrapers. They seem somewhat recent, I don't remember seeing them not that long ago. They're usually completely broken. Or just made by someone with no sense of UI
Love this comment and the connection between UX and universal design. From a reductionist standpoint theres little value, from an expansive standpoint accessibility is literally how you make your product accessible to more customers
HN used to be terribly pro-Bitcoin; a decade or so of nothing-much presumably eroded it (though I think it's _still_ more Bitcoin-friendly than, say, a random sampling of the population).
Agreed. This is immensely foolish on his part. And he can rest assured that his identity is known.

One crime does not justify another.
The SLA in their generic terms states that the calculation is based on their monitoring: https://github.com/customer-terms

A process that involved arguing about what a status page said and when doesn't make a lot of sense if they have logs of what happened.
That's pretty shocking. At the same time: this is a pretty strong case for market response, some other company should be able to get a significant price advantage out of this and make minced meat of JD in comparative advertising.
Thank goodness - I was getting really bored of effortlessly using my mail client, and it has been far too long since some designers got promoted at Google.