Skip to main content

2023-04-11

Microsoft korjaa 5 vuotta vanhan Defender-virheen, mikä vähentää Firefoxiin liittyvää suorittimen käyttöä 75 prosentilla.​

Original. Anteeksi, mutta annettu teksti ei liity artikkelin otsikkoon tai aiheeseen. Voitko antaa oikean tekstin?

Discussion Service. Microsoft korjasi 5 vuotta vanhan Defender-virheen, joka vähensi Firefoxin suorittimen käyttöä. Virustorjuntatuotteet aiheuttivat samanlaisen, mutta lievemmän CPU-vaikutuksen. Keskusteltiin pienten asioiden optimoinnista vs. CO2-jalanjälki. Discussion Service-käyttäjät keskustelevat selainten energiatehokkuudesta, mainosten estoista, selainten yhteensopivuudesta Windowsissa. YouTuben "ambient-tilan" sammuttaminen Firefoxissa säästää 30 % prosessoria Macilla. Keskustellaan Macin ja Linuxin välisestä vianmäärityksestä. Kritiikkiä ja ehdotuksia Firefoxin suuresta suorittimen käytöstä Chromeen verrattuna. ETW-virhe ja Defenderin suorituskyvyn lasku PowerShell-operaatioissa.

Jatkuvasti laajeneva animaatio avaruusaseman 796. kerroksen elämästä...​

Original. Avaruusaseman 796. kerroksen elämää esittelevä alati laajeneva animaatio on luotu. Floor796-nimisen projektin ovat tehneet taiteilija ja ohjelmoija, ja se on kuvitteellinen katsaus avaruusaseman arkeen. Animaatio kattaa muun muassa maanviljelyä, virkistystoimintaa ja tieteellisiä kokeita. Tekijät toivovat, että projekti innostaa ja rohkaisee tulevia sukupolvia tutkimaan avaruutta ja edistää optimistisempaa ja myönteisempää näkemystä tulevaisuudesta.

Discussion Service. Käsin animoitu, avoimen lähdekoodin avaruusasema-animaatio on saanut virallista huomiota popkulttuuriviittauksillaan. Discussion Service-käyttäjä huomauttaa historiallisista venäläisistä viittauksista. Animaatioprojekti on indie-yritys, joka välttää liiallista kehysten ja riippuvuuksien käyttöä. Käyttäjät ehdottavat parannuksia, mutta jotkut puolustavat taiteilijan luovuutta. Käytettyä animaatioeditoria suositellaan hyödylliseksi työkaluksi.

Night of the living brain fog dead tai miten hakkeroin itseni paremmaksi avoimen lähdekoodin avulla​

Original. Bloggaaja kertoo matkastaan avoimen lähdekoodin ohjelmistojen käyttöön vaikean uniapnean hallitsemiseksi kokeiltuaan erilaisia unihygienia-"hakkereita" ja saatuaan CPAP-valmisteen määräyksen. He löytävät avoimen lähdekoodin OSCAR-ohjelmistoa käyttävän verkkoyhteisön, jonka avulla he saavat syvällisempää tietoa unen mittareista ja ostavat laitteen, joka vie tiedot oikeassa muodossa. Toinen bloggaaja suosittelee adaptiivista servoventilaattoria (ASV) tehokkaampana hoitona keskushermostoperäiseen uniapneaan, ja myönteiset tulokset näkyvät palautuneina hengitysmalleina ja terveenä veren happipitoisuutena. Kirjoittaja kannustaa muita hakeutumaan hoitoon diagnosoimattoman uniapnean vuoksi.

Discussion Service. Yksilön matka terveysongelmien ratkaisemiseen korostaa tarvetta ottaa terveys haltuun sen sijaan, että tukeudutaan pelkästään perinteisiin lääketieteellisiin järjestelmiin. Discussion Service-käyttäjät keskustelevat ongelmista ja esteistä, jotka liittyvät terveydenhuoltojärjestelmän pitäytymiseen hyväksi todetuissa hoidoissa ja haluttomuuteen ottaa käyttöön uusia menetelmiä. Potilaiden ei pitäisi luottaa pelkästään todistamattomiin hoitoihin, vaan heidän olisi käytettävä perinteistä hoitoa. Käyttäjät keskustelevat eri toimialojen hyväksyttävästä riskitasosta ja avoimien lääketieteellisten laitteiden ja tietojen saatavuuden merkityksestä. Jotkut käyttäjät raportoivat vaihtelevista tuloksista eri unilääkkeillä ja -menetelmillä. Postissa keskustellaan "aivosumun" mahdollisista syistä ja avoimien lääketieteellisten laitteiden ja tiedon merkityksestä. Henkilökohtainen kertomus myönteisistä kokemuksista CPAP-hoidosta ja keskustellaan CPAP-hoidon vaihtoehdoista. YouTube-kanava, jossa tarkastellaan terveydenseurantalaitteita ja vaikeuksia saada lääkärinhoitoa ja unitutkimuksia. Uniapnean diagnosointi ja hoito voi olla pitkä ja kallis prosessi. Kielen asentoharjoitukset ja henkilökohtaiset palautumismenetelmät voivat auttaa oireiden hallinnassa.

RePalm​

Original. Dmitry.GR:n rePalm-projekti on uusi emulaattori PalmOS:lle, joka kattaa muun muassa virtuaalisen SD-korttituen ja ARM-käskyjen kääntämisen. Kehittäjät jakavat näkemyksiä laitteiston rajoituksista ja niiden voittamisesta, ja tarjoavat esikatselukuvan PalmOS 5.2.8:sta, joka toimii discovery boardilla. Tulevaisuuden suunnitelmiin kuuluu BT:n, WiFin, USB:n ja NVFS:n debuggaaminen. Päivitykset rePalmiin sisältävät korjauksia ja mikrofoni/Zodiac-tuen reSpring-laitteistolle v1.3.0.0. Teknistä luettavaa niille, jotka ovat kiinnostuneita aiempien laitteiden laitteistorajoituksista.

Discussion Service. Hacker Newsin uudessa kirjoituksessa käsitellään RePalm- ja Palm-laitteita, ja käyttäjät kertovat, miten he käyttävät niitä, ja jotkut kyseenalaistavat niiden käytön jatkumisen. Jotkut käyttäjät suosittelevat aivotulppien käyttöä koodauksessa keskittymisen ylläpitämiseksi, kun taas toiset muistelevat älypuhelimettomien PDA-laitteiden ainutlaatuisia ominaisuuksia. Asiantuntijat analysoivat PalmOS:n tuhoon johtaneita tekijöitä, kuten suunnitteluvirheitä ja teknisiä heikkouksia, ja keskustelevat samalla hitaasta edistymisestä ja vähittäisten saavutusten arvosta teknologiahankkeissa. Käyttäjät ilmaisevat nostalgiaa Palmin kaltaisia retroteknologisia laitteita kohtaan ja jatkavat niiden käyttöä uuden teknologian saatavuudesta huolimatta. Eräs käyttäjä kehittää nykyaikaista versiota PalmOS:stä, ja jotkut käyttäjät toteavat, että vastaavanlaisen teknologian kehittäminen on haastavampaa kuin tavalliset koodaustyöt.

Effective Spaced Repetition (Tehokas toistoväli)​

Original. Postaus spaced repetition tehokkuudesta kaiken muistamisessa korostaa, että on tärkeää noudattaa muistitikettien kirjoittamisessa sääntöjä, kuten ymmärtäminen ensin, rehellisyys, toistaminen, järjestäminen lähteen mukaan, atomisten muistitikkujen kirjoittaminen ja kysymysten esittäminen monin eri tavoin. Rajoittaviin tekijöihin kuuluvat tapojen muodostuminen ja kirjoitustaito. Tiedon säilyttämiseksi tulisi esittää kysymyksiä ylhäältä alas- ja alhaalta ylöspäin ja pilkkoa suuremmat flashcards pienemmiksi. Virka tarjoaa muistiinpanokortteja ja käsikirjoituksia muistamista varten ja kannustaa automatisointiin. Ankin muistiinpanotyypit ja Mochin tämän ominaisuuden puuttuminen ovat pääpaino, ja korostetaan selkeitä käsitteitä, atomisuutta, yksinkertaisuutta ja redundanssia flashcardsissa. Kirjoittaja kutsuu työtarjouksia kääntäjien kirjoittamiseen.

Discussion Service. Artikkelissa, joka käsittelee tehokasta tilavälistä toistoa, kehotetaan Hacker Newsin käyttäjiä jakamaan kokemuksiaan ja tarjoamaan vaihtoehtoisia työkaluja. Käyttäjät tarjoavat vinkkejä Ankin tehokkaaseen käyttöön ja keskustelevat menetelmistä, joilla tilavuutta voidaan hyödyntää eri aloilla. Jotkut käyttäjät etsivät neuvoja tiettyjen aiheiden muistamiseen SRS:n ja muistikorteilla. Jotkut pitävät valmiita flashcards-kortteja vähemmän tehokkaina, toiset taas kehittävät automatisointityökaluja. Muistamisprosentin merkitystä Anki-tilastoissa korostetaan ja tuodaan esiin riski, että flashcards-kortteihin sisällytetään liikaa tietoa. Lääketieteen opiskelijoiden jaettujen kansien tehokkuus todetaan, ja suositellaan kirjasintyyppiä, joka ei haittaa lukemista. Myös lukihäiriötä ja osittaista lukihäiriötä käsitellään.

Yhdysvaltain suurin sähköautojen akkujen kierrätyslaitos on avattu...​

Original. Ascend Elements on avannut Pohjois-Amerikan suurimman sähköajoneuvojen (EV) akkujen kierrätyslaitoksen Covingtoniin, Georgiaan, jonka kapasiteetti on 30 000 tonnia käytettyjä litiumioniakkuja vuodessa. Kierrätyslaitoksia voitaisiin käyttää sähköajoneuvojen akkujen kustannustehokkaaseen kierrättämiseen ja uudelleenkäyttöön, mikä voi tuottaa uusia akkumateriaaleja ilman uuden kaivostoiminnan kustannuksia ja ympäristövaikutuksia. Yhdysvaltain hallitus pyrkii tekemään maasta entistä kykenevämmän hankkimaan itselleen akkuja, jotka ovat olennainen osa liikenteen sähköistämistä ja sähköverkon hiilidioksidipäästöjen vähentämistä. Muut kierrätysyritykset, kuten Redwood Materials ja Li-Cycle, ovat liittyneet tähän pyrkimykseen.

Discussion Service. Yhdysvaltain suurin EV-akkujen kierrätyslaitos on toiminnassa, mikä luo kestävämmän vaihtoehdon uusien materiaalien tuottamiselle. Discussion Service-käyttäjät tiedustelevat kierrätysprosesseista, työvoimakustannuksista ja mahdollisuudesta korvata akku toisen käyttöiän kiinteissä varastointijärjestelmissä. Kommenteissa keskustellaan 20 vaunun junien liikennöinnin toteutettavuudesta, kauttakulkujärjestelmien taloudellisista eduista ja litiumin kierrätyksen nykytilasta. Asiantuntijat pohtivat sähköautojen akkujen pitkäikäisyyttä ja akkuteknologian kehitystä, kun taas Li-Cycle-yhtiön ainutlaatuinen kierrätysprosessi herättää kysymyksiä skaalautuvuudesta ja sivutuotteiden arvosta.

FTX säilytti kryptovarojen yksityiset avaimet selväkielisinä ilman pääsynvalvontaa.​

Original. Kryptopörssi FTX on ZenGon raportin mukaan säilyttänyt käyttäjien yksityisiä avaimia selväkielisinä ilman pääsynvalvontaa. Tämä tarkoittaa, että hyökkääjät, jotka pääsevät käsiksi FTX:n tietokantoihin, voivat helposti varastaa käyttäjien yksityiset avaimet ja päästä käsiksi heidän varoihinsa. ZenGo ilmoitti asiasta FTX:lle, ja pörssi on sittemmin korjannut ongelman. Tapaus korostaa yksityisten avainten asianmukaisen suojaamisen tärkeyttä, sillä niitä tarvitaan kryptovarojen käyttämiseen ja hallintaan. Se on myös muistutus siitä, että jopa vakiintuneissa pörsseissä voi olla haavoittuvuuksia, jotka jättävät käyttäjien varat vaaraan.

Discussion Service. Kryptopörssi FTX säilytti yksityisiä avaimia selväkielisinä, mikä aiheutti huolta turvallisuudesta. Discussion Service-käyttäjät ehdottavat, että FTX käyttää epäsymmetristä salausta ja vika perinteisissä pankkijärjestelmissä. Keskustelua kryptojen käytöstä hallituksen valvonnan ulkopuolella ja lakien tasapuolisesta soveltamisesta. FTX:n turvallisuusprotokollia kritisoidaan; asiantuntijat ehdottavat kuumia ja kylmiä lompakoita. FTX:n johtajien takavarikoidut kannettavat tietokoneet paljastavat jaetussa Google Drivessa olevat yksityiset avaimet selväkielisinä. Tapaus herättää kysymyksiä riskienhallinnasta ja ohjelmistosuunnittelijoiden lisenssivaatimuksista. FTX:n syytteet asiakkaiden varojen varastamisesta.

Korjasin autoni loisevaa viemäröintiä 408 päivässä...​

Original. Auton omistaja kertoo kokemuksestaan, joka koskee hänen 2013 Mazda3 hatchback -mallinsa akun jatkuvan loistyhjennyksen korjaamista, jonka diagnosointi ja korjaaminen kesti 408 päivää. Ongelma aiheutti sen, että akku tyhjeni itsestään muutamassa tunnissa tai päivässä, ja se diagnosoitiin mittaamalla jännitteet auton sulakkeiden yli, jotta löydettiin komponentit, jotka ottivat virtaa auton ollessa sammutettuna. Omistaja irrotti akun tyhjenemisen estämiseksi avaimenperän tietokonejärjestelmän, joka todennäköisesti toimi huonosti ja piti järjestelmiä, kuten vaihteistotietokonetta, vahingossa jatkuvasti päällä. Omistaja varoittaa, että ongelma oli ajoittainen ja ilmeni myös sen jälkeen, kun akku oli vaihdettu kahdesti, ja neuvoo olemaan tekemättä kokeita loisvirtojen etsimiseksi varmistamatta ensin, että auto on lukittu ja ovet suljettu.

Discussion Service. Hacker News -käyttäjä ratkaisi puoliksi suljetun oven aiheuttaman auton akun loisevan tyhjennyksen, ja muutkin kertoivat vastaavista kokemuksista. Elektronisten ongelmien korjaamiseen erikoistumisesta voisi olla hyötyä mekaanikoille, mutta sen liiketoiminnallinen arvo on vähäinen. Keskusteluissa käsitellään auton akkujen huoltoa käyttämättömien jaksojen aikana, sähköongelmien vianmääritystä sekä auton huoltoon liittyviä käytännön vinkkejä ja kokemuksia. Jotkut käyttäjät ilmaisevat turhautumisensa nykyaikaisten autojen monimutkaisuuteen ja elektronisiin komponentteihin, joiden korjaaminen voi olla haastavaa ja kallista. Käyttäjät tarjoavat käytännön ratkaisuja, pitkän aikavälin kestävyyttä ja vaihtoehtoisia kuljetusmahdollisuuksia kävelykykyisissä kaupungeissa.

Kuinka aloittaa juottaminen​

Original. Juottaminen on edullinen harrastus ja hyödyllinen taito, ja paras vinkki on saada rauta kuumaksi ja välttää komponenttien sulamista. Prosessi, tinaus, sisältää juotteen lisäämisen sekä juotettavaan johtoon että alustaan. Harjoittelu on avainasemassa, mutta virheet eivät vahingoita juotettavaa elektroniikkaa.

Discussion Service. Hacker Newsin käyttäjät keskustelevat siitä, onko juottamisessa parempi aloittaa halvoilla vai kalliilla työkaluilla, ja jotkut ehdottavat Adam Savagen "osta ensin halpa" -sääntöä, kun taas ammattilaiset suosittelevat joidenkin työkalujen pitämistä kulutustavaroina. Asiantuntijat neuvovat ostamaan halvimman työkalun, joka tekee työn, ja investoimaan laadukkaisiin työkaluihin tarpeen mukaan. He varoittavat käyttämästä halpoja vaihtoehtoja ja suosittelevat sen sijaan luotettavia tuotemerkkejä. Vinkkejä ovat muun muassa juoksevien aineiden käyttö ja lyijyttömän juotteen välttäminen, ja hyvä ilmanvaihto ja jätehuolto ovat olennaisen tärkeitä. Käyttäjät suosittelevat panostamaan laadukkaisiin juotosrautoihin, chipquik-juoksutteeseen ja pinnoitettuihin kärjiin. Käytännön taitoja ja paremmin valmistettujen tuotteiden edistämistä tarvitaan.

ChatGPT:n opettaminen puhumaan poikani keksimällä kielellä​

Original. Isä ja poika opettavat tietokoneelle ainutlaatuista kłeti-kieltä chatbot-teknologian avulla, mikä osoittaa teknologian edistymistä tieteiskirjallisuuden muuttamisessa todellisuudeksi. Kielessä on omat aakkoset ja SOV-sanajärjestys, joten kopulan ja partikkelin käyttö on ratkaisevaa chatbotin ymmärryksen parantamisessa. Kokeessa, jossa ChatGPT:tä käytettiin kääntämään englannista kłeti-kielelle, saatiin osittain oikeita käännöksiä ja pistemäärä 6,5 pistettä 12:sta, mikä osoittaa tekoälyn kielen kääntämisen mahdollisuudet tulevaisuudessa. Kirjoittaja toivoo, että tekoälyn kielikäännösteknologian kehittyminen tarjoaa huomattavia etuja.

Discussion Service. Discussion Service-käyttäjät keskustelevat ChatGPT:n kontekstinsisäisestä oppimisesta ja joustavuudesta ja tuovat samalla esiin rajoituksia ja mahdollisuuksia; Microsoft saattaa pystyä hyödyntämään ihmisen ja palautteen välistä silmukkaa. Asiantuntijat kyseenalaistavat ChatGPT:n kielen ymmärtämisen sekä tunteita ja pelejä koskevat rajoitukset. GPT-4 osoittaa potentiaalia kielen oppimisessa ja symbolien käsittelyssä. Käyttäjät raportoivat vaihtelevia tuloksia ChatGPT:n ja GPT-4:n käytöstä eri tehtävissä.

Al Jaffee, Mad Magazinen taiton kuningas, on kuollut...​

Original. Anteeksi, mutta tiivistettävää tekstiä ei ole, koska sen sijaan annettiin viittaus. Anna tiivistettävän tekstin sisältö.

Discussion Service. Al Jaffee, Mad Magazinen legenda ja taittolehden luoja, menehtyi 99-vuotiaana. Monet surivat muistellen hänen vaikutustaan kriittiseen ajatteluun ja huumoriin. Jotkut huomauttivat, että lehtiä oli tuhottu taittoa varten. Fanit muistelivat ohjeiden ymmärtämistä ja Donald Knuthin julkaisua Mad Magazinessa. Jaffien vaikutus populaarikulttuuriin oli laaja ja sitä arvostettiin maailmanlaajuisesti.

Hell Never Ends on x86: The Hyperspace Story, Continued, Sort Of​

Original. HP korvasi pikakäyttöisen Linux QuickWebinsä uudella Hyperspaceen perustuvalla versiolla. QuickWeb oli saatavilla kaikissa heidän koneissaan useiden vuosien ajan. HP:n kannettavissa tietokoneissa on erillinen painike, QuickLook, joka käynnistää sähköposti- ja kalenterisovelluksen. Sovellus perustuu kuitenkin Outlook-lisäosaan, eikä se pääse suoraan käsiksi Outlookin datatiedostoon. HP hyödynsi SMM:ää saavuttaakseen jotain, minkä pitäisi olla mahdotonta. Dell ja emolevytoimittajat eivät voi tarjota muita ominaisuuksia kuin standardoituja komponentteja. HP kamppaili erottaakseen tuotteensa toisistaan ja tarjotakseen "ominaisuuksia johtajille". Teknisen tuen työntekijä loi Linuxin efibootmgr-komennon avulla komentotulkin, johon on helppo päästä käsiksi järjestelmävian sattuessa. Useimmissa PC-emolevyissä on jotakin ainutlaatuista, mutta nämä ominaisuudet saattavat koskea vain kapeaa käyttäjäkuntaa. Artikkelissa tuodaan esiin käyttäjien turhauttavia kokemuksia tekniikasta, muun muassa HP:n vialliset näytönohjaimen tuulettimet.

Discussion Service. Artikkelissa käsitellään UEFI-sovellusten kirjoittamisen monimutkaisuutta ja BIOSien käsittelyä lepotilassa. Jotkut käyttäjät vastustavat kirjoittajan väitteitä. Kannettavien tietokoneiden alkuperäisvalmistajat paljastavat arvokkaita toimintoja ennalta määritettyjen WMI ACPI -kutsujen kautta. Joidenkin mielestä Windows on paisunut, ja EFI-ympäristö muistuttaa epämääräisesti 32/64-bittistä MS-DOS:ia. x86-tietokoneiden käynnistysprosessi on edelleen hidas. Kannettavien tietokoneiden kapasitiivisia painikkeita kaivataan. HP on suunnitellut käyttöjärjestelmän ilman omaa ajastinta, joka ladataan TE:hen ajonaikaisesti. Jotkut Discussion Service-käyttäjät kiistelevät, onko kyseessä hypervisor vai keskeytyksen käsittelijä. Postaus herätti monenlaisia reaktioita.

Meidän on puhuttava Vercelistä​

Original. Viimeaikaisessa keskustelussa Vercelin ympärillä on korostettu sen AWS Lambdaan nähden raskasta lisämaksua, yllättäviä karkaavia kustannuksia ja sen Content Delivery Network -tuotteen teknisiä puutteita. Vaikka Vercelin lisäarvo voi olla joillekin sen arvoinen, sen tuen ja vastausten puute teknisiin ongelmiin on huolestuttavaa. Vercelin CDN mankeloi Cache-Control-otsikkoa eikä noudata määritettyjä arvoja kuten mainostetaan. Etulinjan tukivastaukset ovat suhtautuneet ongelmiin välinpitämättömästi, ja Vercelin toimitusjohtaja puolustaa käyttäytymistä tarpeellisena käyttäjien suojelemiseksi. AWS panostaa vahvasti asiakkaiden menestykseen, toisin kuin Vercel. Näin ollen kirjoittaja siirtyy pois Vercelistä.

Discussion Service. Verceliä koskeva tutkimus toi esiin huolenaiheita sen asiakaspalvelusta, hinnoittelusta ja skaalautumisongelmista, ja ehdotettiin vaihtoehtoisia palveluntarjoajia, kuten GitHub Actions, DigitalOcean ja Cloudflare. Kritiikkiä esitettiin harhaanjohtavasta viestinnästä, puutteellisesta dokumentaatiosta ja huonoista vasteajoista. Jotkut Next.js:n käyttäjät keskustelevat palvelinpuolen renderöinnistä ja staattisen sivuston luomisesta, ja kritiikkiä esitettiin Vercelin suunnittelusta ja siitä, että se ei tarjoa määrittelyä. Kritiikkiä esitettiin myös Vercelin hinnoittelusta, liiketoimintatavoista ja laskutuskäytännöistä, ja ehdotettiin halvempia vaihtoehtoja, kuten BunnyCDN:ää tai R2:ta. Vercelin tukea kritisoidaan heidän markkinointiponnisteluistaan huolimatta. Jotkut kehuvat heidän kehittäjäkokemustaan ja toimipistekohtaisia käyttöönottojaan.

Dashcam-materiaalia näyttää kuljettajattomat autot tukkivan San Franciscon.​

Original. Autonomiset ajoneuvoyhtiöt, kuten Waymo ja General Motorsin Cruise, ovat aiheuttaneet viivästyksiä ja mahdollisia vaaroja busseille, junille ja matkustajille San Franciscossa syyskuusta 2022 lähtien. 92 suunnittelematonta pysähdystä on aiheuttanut huomattavia viivästyksiä liikennöinnissä. Vaikka San Franciscon kaduille yritetään lisätä lisää robottiakseleita, kaupungin virkamiehet ilmaisevat huolensa autonomisten ajoneuvojen aiheuttaman kaaoksen lisääntymisestä ja vaativat, että vikojen korjaamisessa on edistyttävä ennen toiminnan sallimista. San Franciscon liikennöinnin puolestapuhujat ehdottavat toimenpiteitä, kuten vain läpikulkuliikenteelle varattujen kaistojen luomista ja viivytyksiä aiheuttavien yritysten sakottamista, jotta autonomisten ajoneuvojen vaikutuksia voitaisiin vähentää. San Franciscon kunnallinen liikennelaitos keskustelee autonomisten ajoneuvojen valmistajien kanssa häiriöiden minimoimiseksi.

Discussion Service. Dashcam-kameran kuvamateriaali näyttää kuljettajattomat autot aiheuttavan liikenneruuhkia San Franciscossa. Jotkut pelkäävät ruuhkamaksuja, kun taas toiset näkevät potentiaalia uudelle infrastruktuurille ja joukkoliikenteelle. Huolta herättävät ennakoimattomat tilanteet ja katujen tukkeutuminen liiallisista tyhjistä autoista; autonomiset ajoneuvot voisivat kuitenkin vähentää pysäköintimaksuja ja -kustannuksia sekä poistaa auton omistamisen. On olemassa ratkaisuja, kuten latausasemat ja ruuhkien rajoittaminen hinnoittelun ja sääntelyn avulla. Itsestään ajavien autojen mahdollisista vaikutuksista julkiseen liikenteeseen, kaupunkien tiheyteen, asumiseen, pysäköintiin ja työmarkkinoihin keskustellaan. Skeptisyyttä esiintyy, mutta mahdollisuudet ovat kiehtovia. Itsestään ajavat autot voivat johtaa siihen, että yksittäisten omistajien sijasta muodostetaan autokantoja, jolloin käyttö optimoituu ja autoista tulee kustannustehokkaita. Itseohjautuva teknologia voi parantaa julkista liikennettä ja vähentää päästöjä, mutta siihen liittyy myös mahdollisia haittoja. Reaaliaikainen liikenteenhallinta, saasteiden väheneminen ja halvemmat kuljetukset vaikuttavat lupaavilta, ja samalla tarvitaan turvallisempia ja tehokkaampia liikennejärjestelmiä. San Franciscon viranomaiset syyttävät kuljettajattomia autoja ruuhkista, mutta asiantuntijat väittävät muuta. Artikkelissa korostetaan niin bussisääntöihin kuin kuljettajattomaan teknologiaan liittyviä ongelmia.

OpenBSD 7.3​

Original. OpenBSD 7.3 -julkaisu sisältää ytimen parannuksia, järjestelmäpäivityksiä, lukitsemattoman mmapin ja laitteistotuen. OpenBSD:ssä otetaan käyttöön myös erilaisia verkon häiriöiden lieventämistekniikoita ja muutoksia verkkopinoon kaatumisten estämiseksi ja suorituskyvyn parantamiseksi. Julkaisu sisältää erilaisia userland-ominaisuuksia, bugikorjauksia ja tietoturvaparannuksia, kuten muistin lukemisen estämisen ja vain suoritettavat binäärit. Lisäksi uusia ajureita on lisätty, parannettu tai muokattu. Päivitys sisältää myös parannuksia nc:hen, LibreSSL:n versioon 3.7.2 sekä OpenSSH 9.3:een ja 9.2:een. Julkaisu tarjoaa tukea dynaamiselle etäporttien välitykselle ja valmiita paketteja eri arkkitehtuureille. Postitusosoitteessa listports@openbsd.org on lisätietoja käyttäjille.

Discussion Service. OpenBSD 7.3 julkaistiin paremmalla bugien tunnistuksella, voidaan käyttää NAS/reitittimenä/kotipalvelimena; korjaus Unix-editoriin. Discussion Service-käyttäjän mukaan OpenBSD mahdollisesti päihittää Linuxin. OpenBSD:stä puuttuu .NET, Mono hakee BSD-tukea. OpenBSD:n pakettisuodatus on säikeistetty, vaatimaton laitteisto pystyy 1G reititykseen+PF+VLAN. Ei Bluetooth-tukea, ENA-ajuri puuttuu, OpenBSD:n julkaisuprosessista keskustellut Theo DeRaat.

Henkilökohtainen Concierge käyttäen OpenAI:n ChatGPT:tä Telegramin ja ääniviestien kautta.​

Original. Uusi Telegram-botti, joka hyödyntää OpenAI:n ChatGPT:tä, LangchainJS:ää, OpenAI:n Whisper API:ta ja Play.ht:tä, mahdollistaa henkilökohtaiset concierge-palvelut sekä äänen että chatin kautta. Käyttääkseen sitä käyttäjien on hankittava Telegram-botti-token ja OpenAI API -avain ja noudatettava sitten GitHubissa lueteltuja ohjeita. Botti on uusi ja jännittävä kehitys niille, jotka etsivät handsfree-avustajapalveluja, ja se on kerännyt huomiota sosiaalisen median sivustoilla, kuten Twitterissä ja Hacker Newsissa.

Discussion Service. ChatGPT:tä käyttävä henkilökohtainen concierge on saanut huomiota Hacker Newsissa, mikä on johtanut keskusteluihin tehokkuudesta, hinnoittelusta ja mahdollisista käyttötarkoituksista. Käyttäjät ovat kiinnostuneita tuottavuuden parantamisesta tekoälyn avulla, mutta tietojen tallentamisesta ja korkeista kustannuksista ollaan huolissaan. ChatGPT:tä ja vastaavaa teknologiaa integroidaan yhä useampiin projekteihin, mutta yksityisyyden suojaan liittyy huolia. OpenAI selventää tietojen säilyttämiskäytäntöjään ja pyrkii suojaamaan tietoja kuluttajatuotteita käytettäessä.

EditAnything: Segment Anything + ControlNet + BLIP2 + Stable Diffusion (vakaa diffuusio)​

Original. Käynnissä oleva projekti Edit Anything käyttää Segment Anythingia, ControlNetiä, BLIP2:ta, Stable Diffusionia ja muita välineitä kuvien "muokkaamiseen ja tuottamiseen", ja siinä keskitytään hauskoihin panoksiin ja ehdotuksiin. Ominaisuuksiin kuuluu hienojakoinen ohjaus esivalmistellun ControlNetin ja luokkiin liittymättömien SAM-maskien avulla sekä BLIP2-tekstin ohjausta sisältämätön ohjaus. Jatkuviin tavoitteisiin kuuluu vuorovaikutteisen ohjauksen lisääminen kuvankäsittelyyn ja chatGPT-ohjattu kuvankäsittely. Kiinnostuneet henkilöt voivat luoda ympäristön noudattamalla annettuja asennusohjeita ja kouluttaa omia mallejaan tai käyttää saatavilla olevia valmiiksi koulutettuja malleja. Hanke perustuu useisiin muihin uskomattomiin hankkeisiin, joista tekijät ilmaisevat kiitollisuutensa.

Discussion Service. 'EditAnything' käyttää Segment Anythingia, ControlNetiä, BLIP2:ta ja Stable Diffusionia. Discussion Service-käyttäjät haluavat ELI5-selityksen. Segment Anything on vaikuttava tarkkuutensa vuoksi. Kuvan segmentointi on vaikuttavaa. ControlNet tarjoaa uusia olosuhteita, tietokokonaisuuksia, ilman katastrofaalista unohtumista. Tietokokonaisuus on luotu ihmisten toimesta ja automatisoituna. Esimerkit eivät tee vaikutusta joihinkin henkilöihin. Segment Anything toimii tarkasti abstrakteissa kuvissa. Käyttäjät ylistävät teknologiaa. Koulutus-/hienosäätökoodista käydään keskustelua.

Generatiiviset agentit: Ihmisen käyttäytymisen interaktiiviset simulaattorit.​

Original. Tutkijat ovat esitelleet "generatiiviset agentit", laskennalliset ohjelmistoagentit, jotka simuloivat uskottavaa ihmisen käyttäytymistä käyttämällä arkkitehtuuria, joka laajentaa suuria kielimalleja tallentamaan täydellisen tietueen agentin kokemuksista luonnollisella kielellä, syntetisoimaan nämä muistot ajan mittaan korkeamman tason pohdinnoiksi ja hakemaan niitä dynaamisesti käyttäytymisen suunnittelua varten. Arvioinnissa nämä generatiiviset agentit tuottavat uskottavaa yksilöllistä ja emergenttiä sosiaalista käyttäytymistä interaktiivisessa hiekkalaatikkoympäristössä, joka on saanut inspiraationsa The Simsistä. Tutkimuksessa esitellään arkkitehtuuri- ja vuorovaikutusmalleja, joiden avulla ihmisen käyttäytymistä voidaan simuloida uskottavasti.

Discussion Service. "Generative Agents: Interactive Simulacra of Human Behavior' -julkaisu saa ssä huomiota käyttäytymisen vähentämiseen ja bottien ohjelmointiin. Keskustelua käydään muun muassa 'sisäisestä äänestä' ja syväälykkyyden riippuvuudesta ympäristöstä. Kielimallien rajoitukset mainitaan ja keskitytään korkeamman tason algoritmeihin ohjausta varten. Googlen "Dreamer"-tekoäly herättää keskustelua eettisestä päätöksenteosta. Tekoälykokeilussa simuloidaan LLM-käyttöisiä agentteja pienessä kaupungissa keskittyen muistin ja persoonallisuuden kehitykseen, mikä edellyttää kallista simulointia.

Tanssiva rutto vuonna 1518​

Original. Vuonna 1518 Strasbourgissa, Elsassissa, 50-400 ihmisen ryhmä alkoi tanssia viikkoja sen jälkeen, kun yksi nainen alkoi tanssia kadulla, mutta ilmiön syytä ei tiedetä. Historialliset lähteet kuvaavat tapahtumaa tanssihulluudeksi, kun taas nykyaikaiset teoriat viittaavat stressin aiheuttamaan joukkohysteriaan tai torajuurisienen aiheuttamaan ruokamyrkytykseen. On kiistanalaista, johtiko rutto kuolemantapauksiin, ja joidenkin lähteiden mukaan se tappoi noin 15 ihmistä päivässä tautipesäkkeen aikana. Tanssiva rutto on inspiroinut pop-kulttuurin teoksia, kuten Florence and the Machinen laulun.

Discussion Service. Vuoden 1518 tanssiruttoon liittyi hallitsematonta tanssia, johon saattoi liittyä lääketieteellisiä ja sosiaalisia tekijöitä. Vastaavanlainen hallitsematon tanssiminen kautta historian on saattanut johtua psykogeenisestä joukkosairaudesta. Nykyaikainen lääketiede kamppailee tällaisten ilmiöiden selittämisen kanssa. Kommentit käsittelevät historiallisia viittauksia "tanssiin" ja spekuloivat sairauden syitä. Artikkeli tarjoaa linkin älyllisesti stimuloiviin historiallisiin tapahtumiin.

Amerikkalaisten älykkyysosamäärä on laskenut nopeasti, mikä todistaa "käänteisen Flynnin vaikutuksen".​

Original. Northwesternin yliopiston uusi tutkimus osoittaa, että amerikkalaisten älykkyysosamäärä on laskussa vuosikymmeniä jatkuneen tasaisen nousun jälkeen, joka tunnetaan nimellä "Flynnin vaikutus". Tutkimuksessa tarkasteltiin älykkyystietoja vuosilta 2006-2018 ja havaittiin, että tulokset kolmella neljästä "kognitiivisesta osa-alueesta" - verbaalinen päättely, matriisien päättely sekä kirjain- ja numerosarjat - olivat laskussa. Spatiaalisen päättelyn (tunnetaan nimellä 3D-rotaatio) pistemäärät osoittivat kuitenkin nousevaa suuntausta. Tutkijat eivät ole varmoja tämän suuntauksen syistä, mutta ehdottavat, että kyse voisi olla yhteiskunnallisten arvojen muutoksesta, STEM-koulutuksen vaikutuksesta tai kiinnostuksen vähenemisestä tiettyjä osa-alueita kohtaan.

Discussion Service. Amerikkalaisten älykkyysosamäärä on laskussa, mikä viittaa "käänteiseen Flynnin vaikutukseen". Älykkyysosamääräpisteiden vuosittaiset vaihtelut voivat viitata mittauksen validiteettiin liittyviin ongelmiin. Discussion Service-käyttäjät keskustelevat siitä, voidaanko älykkyystestien raakapisteitä verrata eri aikoina ja eri testeissä. Humanististen tieteiden akateemikot kamppailevat kriittisen ajattelun määrittelystä, ja sen opettamisesta kouluissa on siirrytty pois. ÄO:n periytyvyydestä keskustellaan kommenttiosiossa, ja jotkut käyttäjät huomauttavat, että periytyvyys ei välttämättä tarkoita, että kyseessä ovat geneettiset tai biologiset tekijät. Asiantuntijat keskustelevat ÄO:n roolista yhteiskunnassa ja tekoälytutkimuksessa. Älykkyysosamäärä on laskenut kehittyneissä maissa 1970-luvulta lähtien, ja mahdollisia tekijöitä ovat muun muassa videopelit ja tuloerot. Postauksen kommenteissa ei ole selkeää keskeistä aihetta tai merkittävää uutta tietoa.

RP2040 PIO:n käyttäminen huonosti suunnitellun displaa​

Original. Dmitry.GR on kehittänyt RP2040 PIO:lla varustetun CPU-vapaan ajurin useita tiloja ja kosketusnäyttöä tukevalle näytölle. Näyttö on kuitenkin huonosti suunniteltu ja esimerkkikoodi on haastava. Joistakin rajoituksista huolimatta kosketustiedot voidaan kopioida muistiin jatkokäyttöä varten. Artikkelissa käsitellään eri tiloja näyttöohjaimen avulla, DMA- ja PIO-koneistoja sekä DMA-ketjuuntumiseen liittyviä ongelmia. Kosketusnäyttö aiheuttaa haasteita kohinan ja vääränlaisen näytteenoton sekä SPI-väylän jakamisen SD-kortin kanssa. Asennus sisältää bittipainotteisen SPI:n, jossa käytetään GPIO:ta ja API:ta näyttötoimintoja varten, ja BSD 2-klausuulilla lisensoitu koodi on ladattavissa ja muokattavissa.

Discussion Service. Eräs Discussion Service-käyttäjä kertoi, miten RP2040 PIO:ta käytetään huonosti suunnitellun näytön ohjaamiseen kosketusnäytöllä samassa SPI-väylässä. Muut keskustelivat ajallisesta resoluutiosta, ylinäytteenotosta ja DMA:sta. Postaus tarjoaa ainutlaatuisia teknisiä yksityiskohtia ja uuden ratkaisun vanhaan ongelmaan. PIO:t voivat luovasti hallita erilaisia oheislaitteistoresursseja hyödyntämällä tehokkaasti suorittimen resursseja. Kommenteissa keskustellaan RP2040:n ylikellotuksesta ja ehdotetaan vaihtoehtoisia näyttöjä ja MCU:ita.

Hacker Newsin ranking-algoritmi​

Original. Kirjoittaja ehdottaa vaihtoehtoista ranking-algoritmia Hacker Newsille (Discussion Service), jossa nykyinen algoritmi ottaa huomioon vain linkin upvotes-äänten määrän, mutta uusi algoritmi ottaa huomioon myös kommenttien upvotes-äänet. Ehdotettu algoritmi käyttää PageRankia ja lippurangaistusta edistääkseen terveellisiä keskusteluja ja profiileja, joilla on korkeammat HackerRank-pisteet. Pääajatuksena on asettaa viestit paremmuusjärjestykseen linkin suosion lisäksi myös keskustelun laadun perusteella. Kirjoittaja kehottaa lukijoita jakamaan ajatuksiaan siitä, miten he olisivat suunnitelleet Discussion Service-algoritmin.

Discussion Service. Käyttäjät keskustelevat Hacker Newsin ranking-algoritmin ja PageRankin hyvistä ja huonoista puolista, ehdottavat uusia mittareita ja PageRankin personointia, varoittavat mahdollisesta manipuloinnista ja ehdottavat kaksijakoista graafia. Jotkut käyttäjät kyseenalaistavat ranking- ja äänestysjärjestelmän tarpeellisuuden ja ehdottavat korkealaatuisten ja suosittujen kommenttien priorisointia. Upvote-painikkeen epäselvä luonne ehdottaa kahta ulottuvuutta laadulle ja yhdenmukaistamiselle. Jotkut käyttäjät huomauttavat kommenttien luokittelun puutteista ja keskustelevat manipuloitujen kirjoitusten havaitsemisesta ja hallinnasta. Artikkelissa varoitetaan politisoinnista ja kannustetaan uteliaisuuteen; Discussion Service kannattaa jättää ennalleen.

Ydinvoiman alasajo voisi lisätä ilmansaasteita: tutkimus​

Original. Yhdysvaltain ydinvoimaloiden sulkeminen voi lisätä ilmansaasteita yli 5 000 kuolemantapauksella, varoittivat MIT:n tutkijat. Saasteiden lisääntyminen johtuu siitä, että niiden sijaan käytetään hiiltä, öljyä ja kaasua. Ydinvoimalat korvaavat uusiutuvat energialähteet voivat kuitenkin vähentää saasteisiin liittyviä kuolemantapauksia. Mustat altistuvat eniten lisääntyneelle saastumiselle, koska nämä ryhmät asuvat yleensä lähempänä fossiilisia polttoaineita käyttäviä voimaloita. MIT:n tutkimus osoittaa, että ydinvoimaloiden sulkemisesta käytävissä keskusteluissa ei ole otettu täysin huomioon ilmanlaatua.

Discussion Service. MIT:n tutkimus paljastaa, että ydinvoimaloiden sulkeminen voisi johtaa ilmansaasteiden lisääntymiseen. Hacker Newsin kommentoijat ovat erimielisiä ydinvoiman aiheuttaman ilmansaasteiden asteesta ja luonteesta, kun Yhdysvaltoja verrataan muihin maihin. Näkemykset ydinvoimasta polarisoituvat radioaktiiviseen saastumiseen, sääntelyyn ja turvallisuuteen liittyvien huolenaiheiden vuoksi, mutta jotkut pitävät ydinvoimaa puhtaampana ja tehokkaampana vaihtoehtona kuin fossiilisia polttoaineita. Uusiutuviin energialähteisiin ja pitkän aikavälin energiastrategiaan on investoitava. Fuusioenergian mahdollisuuksista keskustellaan, ja huolta herättää Kiinan suuri riippuvuus aurinkoenergian toimitusketjusta.

Applen PC-toimitusten romahdus on jyrkin suurista tietokonevalmistajista.​

Original. Applen PC-toimitukset laskivat 40,5 prosenttia, mikä on suurin lasku sitten vuoden 2000, johtuen vaisusta kysynnästä ja koko alan ylitarjonnasta. Tämä lasku vaikutti osaltaan siihen, että johtavien merkkien PC-toimitukset romahtivat yhteensä 29 prosenttia, kun pandemiarajoitusten aiheuttama etätyön kysynnän kasvu hellitti. Lenovon ja Dellin toimitukset laskivat yli 30 prosenttia, eikä yksikään merkittävä tuotemerkki säästynyt hidastumiselta. COVID-19-rokotteen käyttöönotto ja etätyön väheneminen saattavat helpottaa siirtymistä pois tietokoneista, mutta on epäselvää, jatkuuko tämä suuntaus pitkällä aikavälillä.

Discussion Service. Applen PC-toimitukset vähenivät merkittävästi, mutta M1-mallien kysyntä kasvoi pandemian aikana. M1-mallien suorituskyvyn kasvu oli asteittaista, ja Air-mallien suorituskyky kasvoi eniten. Käyttäjät olivat haluttomia päivittämään, koska M1-mallien akun kesto oli pidempi ja koska niitä ei tarvinnut päivittää vähään aikaan. Mac-toimitukset lisääntyivät, vaikka jotkut käyttävät edelleen ennen vuotta 2016 valmistuneita malleja tai korjaavat Catalinaa. Juotettu muisti parantaa suorituskykyä, kun taas juotettu muisti rajoittaa tallennustilaa. Stimulus-sekit korreloivat Macbook-myynnin hyppäyksen kanssa. Vaihtelevat mielipiteet siitä, kannattaako päivittää ja käyttää Applen tuotteita taloudellisten ja teknologisten tekijöiden valossa. Macbookien hinnoittelupolitiikkaa arvostellaan liian jyrkäksi. MacBooksin pitkäikäisyyttä kehutaan, ja Asahi Linux on hyvä vaihtoehto niille, jotka haluavat työpainotteisen käyttöjärjestelmän.

Jos olet hankkinut riskipääomaa, sinun on maksettava itsellesi...​

Original. Tämä ei ole oikeaa tekstiä yhteenvetoa varten, koska se on vain virheilmoitus. Yhteenvetoa ei tarvita.

Discussion Service. Discussion Service-käyttäjät keskustelevat perustajien palkoista pääomasijoituksen jälkeen. Ehdotetaan porrastettua palkkausjärjestelmää, joka perustuu liikevaihdon kasvuun. Muut kuin perustajat eivät välttämättä hyödy osakepääomasta yhtä paljon kuin vakiintuneet yritykset. Osuuskuntia ehdotetaan keinoksi jakaa palkkioita. Jotkut työntekijät yliarvioivat perustamispääoman. Startup-yrityksen toimitusjohtaja suosittelee, että itselleen maksetaan riittävästi, jotta voi keskittyä yrityksen kasvattamiseen. Perustajia kannustetaan maksamaan työntekijöilleen lähempänä markkinahintaa. Yrityksen taloudellisen vakauden ja kohtuullisen korvauksen tasapainottaminen on vaikeaa. Oikeudenmukainen palkkaus on välttämätöntä, mutta kannattavan yrityksen perustaminen on riskialtista. Perustajien olisi vältettävä loppuunpalamista maksamalla palkkaa, joka vastaa palkattua työntekijää. Varovaisuutta riskipääoman kanssa. Perustajille olisi maksettava avokätinen korvaus, jos palkka ei kuluta liikaa yrityksen varoja. Keskustellaan henkilökohtaisista kokemuksista korvauksista ja startup-investoinneista. Teknologiateollisuuden työntekijöiden olisi keskityttävä saamaan itselleen parasta.

Kissimmee-joen on herätetty henkiin, ja villieläimet kukoistavat -​

Original. Floridassa sijaitseva Kissimmee-joki on palautettu luonnontilaansa sen jälkeen, kun se oli vuosikymmenien ajan ohjattu suoraksi kanavaksi, mikä tuo mukanaan erilaisia villieläimiä. Joen mutkittelevilla tulva-alueilla oli aikoinaan kausittaisia kosteikkoja, joissa oli runsaasti elämää, mutta armeijan insinöörilaitos muutti ne 1940-luvulla kanavien ja vesiväylien verkostoksi. Sittemmin joki on kuitenkin palautettu alkuperäiseen muotoonsa, ja sen eri lintu-, nisäkäs- ja kalalajit palaavat hitaasti mutta varmasti.

Discussion Service. Kissimmee-joen kallis kunnostaminen onnistui, ja villieläimet kukoistavat. Käyttäjät suosittelevat 'Path of the Panther' -dokumenttia. Kuvernööri DeSantis on saanut kritiikkiä ympäristöä ja ilmastonmuutosta koskevasta politiikasta. Maakaasuntuotannosta huolimatta Florida priorisoi veden ja kosteikkojen hallintaa. Ydinvoiman menetykset Floridassa saavat äänestäjät varovaisiksi. FPL jäi kiinni epäeettisestä poliittisesta käytöksestä. Varallisuus haavoittuvassa osassa, resurssit puutteelliset. Floridan verotulot. Huoli talousarvion jakamisesta. EPA:n politiikka suosii suuryrityksiä. Maan kuivattamisen kustannustehokkuus tuntematon.

Käytä GitHub-toimintoja GitHub-profiilin dynaamisuuden lisäämiseksi.​

Original. GitHub-käyttäjät voivat tehdä profiilistaan dynaamisen GitHub Actionsin avulla luomalla arkiston, jossa on README.md-tiedosto, joka sisältää halutut profiilitiedot, lisäämällä kansioita dynaamista sisältöä varten ja lisäämällä uuden alikansion komentosarjalle, joka kaapii tietoja verkkosivustolta ja muokkaa sitä README.md-tiedostossa; profiilin sisältö löytyy menemällä githubiin.com/[käyttäjätunnus] verkkoselaimessa, ja arkisto on profiilisivun lähde; uusi alikansio työnkululle asennetaan [workflows]-kansioon juurihakemiston sisällä, ja asetetaan aikataulu skriptin suorittamiseksi kerran viikossa; käyttäjät voivat käyttää eri kieliä, kuten Rubya, TypeScriptiä, JavaScriptiä ja Pythonia, dynaamisen profiilin tekemiseen; tämä tekniikka parantaa yksilön GitHub-profiilia tehden siitä dynaamisemman ja jatkuvasti muuttuvan esimerkin.

Discussion Service. Hacker Newsin kirjoituksessa käsitellään dynaamisia GitHub-profiileja GitHub Actionsin kautta. Kommentit vaihtelevat skeptisyydestä ylistykseen.

Mitä olen oppinut muodollisista menetelmistä puolessa vuodessa​

Original. Kirjoittaja kertoo kokemuksistaan muodollisista menetelmistä ja matemaattisten tekniikoiden käytöstä ohjelmistojen ominaisuuksien todentamisessa. Artikkelissa käsitellään formaalien menetelmien etuja, mukaan lukien kevyet menetelmät kuten Alloy ja Forge, ja annetaan esimerkki, jossa käytetään Alloyta tiedostojärjestelmän toteutuksen tarkistamiseen. Artikkelissa tarkastellaan erilaisia lähestymistapoja todistusavustajiin, kuten Leaniin, sekä niiden käytön hyötyjä ja haittoja. Artikkelissa käsitellään myös ohjelmointikielen semantiikkaa ja hienosäädön merkitystä ohjelmistojen todentamiseen liittyvässä matematiikassa, ja siinä esitellään kirjoittajan tietämystä ja Leanin käyttöä. Lisäksi kirjoittaja selittää formaalien menetelmien käsitettä ja antaa yleiskatsauksen korkean ja matalan tason järjestelmiin soveltuvista verifiointitekniikoista. Kirjoitus saattaa kiinnostaa ohjelmoinnin ja tietojenkäsittelytieteen asiantuntijoita.

Discussion Service. Discussion Service-käyttäjä jakaa kokemuksiaan muodollisista menetelmistä, ja kommentoijat kertovat kokemuksiaan ja mielipiteitään. Frama-C:tä ja SPARKia suositellaan, samoin TLA+:a pikakäynnistystä varten. Formaalit menetelmät ovat hyödyllisiä laitteistojen verifioinnissa, mutta ne eivät sovellu useimpiin ohjelmistoihin. Sopimustestit ja tietovirta-analyysi auttavat ehkäisemään virheitä aloituksessa. ChatGPT:n kaltaiset tekoälyjärjestelmät voivat validoida koodin järjestelmävaatimuksia vastaan. Matemaattinen merkintätapa on tehokkaampi kuin luonnollisen kielen ilmaisut muodollisissa todisteissa. Tietämyksen demokratisointi on elintärkeää teknologiateollisuudessa.

Avoimen lähdekoodin LLM kaupalliseen käyttöön?​

Eräs Discussion Service-käyttäjä kysyi, voiko hän laillisesti käyttää avoimen lähdekoodin LLM-työkalua kaupalliseen käyttöön. Jotkut käyttäjät suosittelivat tarkistamaan työkalun erityisen lisenssin. Toiset suosittelivat ottamaan yhteyttä lakimieheen tai käyttämään vaihtoehtoista työkalua, jolla on kaupallinen lisenssi. Eräs käyttäjä huomautti, että avoimen lähdekoodin käyttäminen kaupallisiin tarkoituksiin on mahdollista joidenkin lisenssien kanssa, mutta on tärkeää noudattaa lisenssin ehtoja.

Discussion Service. Discussion Service-käyttäjä etsii kaupallista avoimen lähdekoodin LLM:ää ML-projektiaan varten. Flan-mallit suoriutuvat hieman huonommin kuin GPT-3/4. Muita avoimen lähdekoodin malleja on saatavilla, mutta koulutus on kallista. Nvidian odotetaan julkaisevan ensimmäiset LLM:n perusmallit. Yritykset voivat julkaista perusmalleja, mutta todellinen arvo on 5-10 kerrosta ylempänä. OpenAI ei käytä asiakastietoja mallien kouluttamiseen, mutta jotkut yritykset tarvitsevat salassapitovelvollisuutta. Koneoppimismalleilla ei todennäköisesti ole IP-oikeussuojaa. GPT-vaihtoehtoja, kuten BERT ja opt-sarja, voidaan hienosäätää halvalla. GPT4all-tiimi työskentelee GPT-J:n kouluttamiseksi avoimena vaihtoehtona. LLM:ien vastuullisuudesta ollaan huolissaan.

Selaimessa zoomattavat, animoidut hajontakuviot, jotka skaalautuvat yli miljardiin pisteeseen.​

Original. Deep Scatterplots for the Web on kehittyvä kirjasto suurten tietomäärien näyttämiseen suurella suorituskyvyllä käyttäen Apache Arrow feather -formaattia ja WebGL:ää. Kirjasto käsittelee myös useimmat grafiikan kieliopin muunnokset GPU:lla, mikä mahdollistaa interpoloidut siirtymät rinnakkaislaskuilla. Esimerkkeinä ovat muun muassa yli miljoona asiakirjaa arxiv.com-sivustolta ja jokainen henkilö Yhdysvaltain vuoden 2010 ja 2020 väestönlaskennoissa. Kirjasto toimii täysin staattisissa asetuksissa, joita voi isännöidä Github-sivuilla. API jäljittelee Vega-Liteä, ja kirjasto tarjoaa jitterimenetelmiä, kuten circle, spiral ja time.

Discussion Service. Nomic AI:n zoomattavat, animoidut scatterplotit skaalautuvat selaimessa webGPU:n kautta yli miljardiin pisteeseen, ja GitHub-kysymykset ovat tervetulleita; taustakartta ei kuitenkaan välttämättä ole aina tarkka, ja Highchartsilla on samanlainen moduuli, mutta vähemmän pisteitä. Nomic AI julkaisi myös gpt4all, ja GRAPEn ja nodevectorsin kaltaiset kirjastot voisivat tuottaa parempia tuloksia upotuksille mittakaavassa. Visualisoinnin ystäviä saattavat kiinnostaa Galapix, Pix-image-viewer ja GGVec, mutta mobiililaitteilla voi esiintyä renderöintiongelmia.