Forgot your password?
typodupeerror

Submission + - CERN Open Sources Its KiCad Component Libraries

ewhac writes: CERN, a long-time Open Source pioneer, has made several contributions over the years to KiCad ("KEE-kad"), an Open Source EDA (Electronic Design Automation) package widely used in the hobbyist and professional electronics communities. It's gotten so widely used that users can now submit their KiCad design files directly to several electronics fabricators (rather than the traditional step of converting the layouts to Gerber files). Over the years, CERN have also developed their own symbol and footprint libraries to support their own internal electronic designs. Last week, CERN released those KiCad component libraries, containing over 17,000 symbols, under the CERN Open Hardware License (permissive version).

Comment eBay is Now eStop! (Score 1) 97

Welcome to the all-new eStop! We know you have concerns, so let us put them to rest straight away.

The site will not change. We respect the investment you've made in learning and navigating the site. However, if you're feeling curious or adventurous, feel free to check out our [new site design prototype]. (This design will become the default landing page in mid-2027; the old site UI will enter maintenance mode for only the most critical bugs.)

To thwart LLMs and other bots, new default limits on bidding have been imposed. Accounts may only bid on a given item no more frequently than once every 20 minutes. If your circumstances require more frequent bidding, have a look at our [eStop Pro Membership Plan] for only $9.95/month (billed annually; no pro-rated refunds), which will allow unlimited bidding frequency. And for members who want to have more than 20 items on sale simultaneously, take some time to review our [eStop Bulk Vendor Programs], charging only 25% of gross sales, or $3600/year + 20% of gross sales.

And to help with "doomscrolling" for that one specific thing you're looking for, we've also partnered with Anthrop\c and X's Grok to help curate your buying experience, surfacing the items most likely to interest you.

(All terms are subject to change without notice.)

Comment What's the problem? (Score 1) 82

With all of GitHub's great new AI features, it writes all your code for you! It doesn't matter whether the site is up at any given moment; just download your newly completed app at some point then the site is online. You're free to kick back, relax and scroll your social feeds because you don't actually have to do anything anymore. This is truly a golden era!

Comment ISDN: It Still Does Nothing (Score 1) 95

(a/k/a Innovation Subscribers Don't Need)

It still amazes me that, as late as the 1990's, and well after 56kbit modems were prolific, ISDN was being offered up by the ILECs as "broadband," at metered rates that made Ma Bell's long distance charges look like spare change.

Happily, it wasn't too long before ISDN was put out of everyone's misery when DSL showed up. And now, finally, after fifty years of pissing about, fiber is finally being pulled to the premises.

If you really need ongoing ISDN support, you can pull the source code from an old Git commit and update it. But I feel quite comfortable in opining: ISDN support will not be missed.

Comment Re:We need humility, not arrogance (Score 1) 172

Formal verification mathematically proves code implements a specification. It does not catch bugs that are specified.
There are entire classes of bugs (logic bugs) that LLMs can find that formal verification literally doesn't even try to.

So you prompt the LLM to "find all the bugs".

Even if the LLM can find every last bug (which in turn assumes that this type of problem isn't NP-hard or has some issue that Godel would point out), just defining to the LLM exactly what a "bug" is seems to be pretty much the same thing as those formal specifications that you just convincingly dismissed as inadequate.

I don't think that there's anything magical about LLMs that would let them get around fundamental mathematical roadblocks.

Slashdot Top Deals

The first Rotarian was the first man to call John the Baptist "Jack." -- H.L. Mencken

Working...