{"aura-ask-grid.af0854de67":"Aura","aura-business-sides.a0853da24b":"Specifikāciju lapa","aura-business-visuals.40417391c5":"Aura · atrisina","aura-business-visuals.271973aefe":"xMidYMid meet","aura-business-visuals.3e91add48a":"BOARD","aura-showcase.eyebrow":"Dweve platforma","aura-showcase.subtitle":"Kodēšanas aģents un operatora palīgs. Demonstrācijas rādītāji ir ilustratīvi.","aura-showcase.pillTools":"25+ rīki","aura-showcase.pillRunning":"darbojas","aura-showcase.pillAnalysing":"analizē koda bāzi","aura-showcase.capabilityToolsTitle":"25+ rīki","aura-showcase.capabilityToolsBody":"Terminālis, meklēšana, lint, testi, git un vairāk.","aura-showcase.capabilityMemoryTitle":"Semantiskā atmiņa","aura-showcase.capabilityMemoryBody":"Atceras jūsu koda bāzi un komandas kontekstu.","aura-showcase.capabilityAgentsTitle":"Daudzaģentu orķestrācija","aura-showcase.capabilityAgentsBody":"Specializēti aģenti sadarbojas dažādās jomās.","aura-showcase.guaranteeAuditTitle":"Revīzijas žurnāls","aura-showcase.guaranteeAuditBody":"Katrs solis tiek ierakstīts ar laika zīmogiem.","aura-showcase.guaranteeGuardrailsTitle":"Aizsargmargas","aura-showcase.guaranteeGuardrailsBody":"Politikas, pārbaudes un testi vienmēr tiek izpildīti.","aura-showcase.guaranteeApprovalTitle":"Koda izmaiņas ar apstiprinājumu","aura-showcase.guaranteeApprovalBody":"Pārskatiet diff, pieprasiet izmaiņas, galīgais apstiprinājums.","aura-showcase.guaranteeReplayTitle":"Deterministiska atkārtošana","aura-showcase.guaranteeReplayBody":"Atkārtojiet jebkuru sesiju bitu pa bitam, kad nepieciešams pārskats.","aura-showcase.workflowUnderstand":"Saprast","aura-showcase.workflowUnderstandCaption":"Izlasi retry.ts, atrasts taimauta bug","aura-showcase.workflowPlan":"Plānot","aura-showcase.workflowPlanCaption":"Izvelc guard + ierobežo atkārtojumus","aura-showcase.workflowImplement":"Īstenot","aura-showcase.workflowImplementCaption":"Salabots retry.ts + types.ts","aura-showcase.workflowTest":"Testēt","aura-showcase.workflowTestCaption":"28 testi, 94% pārklājums","aura-showcase.workflowVerify":"Pārbaudīt","aura-showcase.workflowVerifyCaption":"Darbojas lint & typecheck...","aura-showcase.workflowAudit":"Revīzija","aura-showcase.workflowAuditCaption":"Gaida kopsavilkuma uzrakstīšanu","aura-showcase.footer":"Autonomi aģenti, kas raksta kodu un saglabā pierādījumus","aura-showcase.testsPassing":"iztur","aura-showcase.testsFailing":"neiztur","aura-showcase.modified":"modificēts","aura-showcase.af0854de67":"Aura","aura-showcase.73989d9c59":"Darbojas","aura-showcase.f9e94338d0":"Analizē koda bāzi","aura-showcase.d7a484140f":"Darbplūsma","aura-showcase.287fda8114":"Vienota","aura-showcase.80e13549b4":"Pārklājums","aura-showcase.b71cc78b34":"Izveidots isRetryableError","aura-showcase.c37a8a9e2b":"lai apstrādātu\n                    tīkla taimautus, 5xx atbildes un idempotentus drošus\n                    nosacījumus. Tīrs palīgs, pilnībā vienību testēts.","aura-tech-middles.7fba7d244f":"Karstais ceļš","aura-tech-middles.1be47ef71c":"Šķērsgriezuma","aura-tech-middles.92096d78df":"Ienākošais","aura-tech-middles.8e05a902ed":"Izejošais","aura-tech-middles.49a66c994d":"Iebūvētie aģenti","aura-tech-middles.a60792e996":"Ārējā cilpa","aura-tech-middles.0dfd4db698":"Iekšējā cilpa","aura-tech-middles.bbd88bff92":"Ienākošais pieprasījums","aura-tech-middles.a618b4be8d":"Vaicājums","aura-tech-middles.a4942c26d0":"SELECT","aura-tech-middles.2cb479aa15":"* FROM","aura-tech-middles.1c255b91e7":"WHERE","aura-tech-middles.2164bde64d":"ORDER BY","aura-tech-middles.82dd2cdf36":"Bloks","aura-tech-middles.271973aefe":"xMidYMid meet","page-breadcrumb.c766e66518":"Atpakaļceļš","page-toc.7e439c353e":"Šajā lapā","res-forge-action-instrument.089b6f0342":"Izraisīja","res-forge-action-instrument.97c89a4d66":"Darbība","res-forge-ambiguity-board.af13a94202":"ir rezultāts, un tas tiek reģistrēts\n          kā viens.","res-forge-ambiguity-board.e9a46a96e9":"Neskaidrs","res-forge-ambiguity-board.1ee9387ca8":"Trīs veidi, kā cilvēks var atbildēt. Meklēšana pati par sevi neņem nevienu no tiem.","res-forge-ambiguity-board.f275049b4b":"Kuru jūs domājāt?","res-forge-ambiguity-board.e1f6a95de4":"tukša secība","res-forge-ambiguity-board.39f54f4f92":"Ievade nav sniegta","res-forge-ambiguity-board.3636a0be7f":"piekrīt","res-forge-ambiguity-board.140f86aae5":"ievade","res-forge-ambiguity-board.5a3eea8643":"Katrs sniegtais piemērs","res-forge-ambiguity-board.fd50372bde":"Pieci sniegtie piemēri un kā abi kandidāti uz tiem atbild","res-forge-ambiguity-board.86c03753f3":"ziņot par mazāko summu secībā","res-forge-ambiguity-board.e9c366b4f3":"Prasība","res-forge-ambiguity-board.957a3c6b10":"sašaurināt domēnu","res-forge-ambiguity-board.b0567c7519":"pievienot nosacījumu","res-forge-ambiguity-board.7713f29af2":"pievienot piemēru","res-forge-ambiguity-board.5472c41b95":"lasa tukšo secību kā ārpus atļautās ievades","res-forge-ambiguity-board.2597c3398a":"kļūda","res-forge-ambiguity-board.9adfc74130":"2. kandidāts","res-forge-ambiguity-board.72e8350f75":"lasa tukšo secību kā neitrālu summu","res-forge-ambiguity-board.170d4a4827":"1. kandidāts","res-forge-assurance-ladder.7607387940":"ko tas nenosaka","res-forge-assurance-ladder.204b9b0c88":"ko tas pieņēma","res-forge-assurance-ladder.f03d859ccc":"kas tika pārbaudīts","res-forge-assurance-ladder.6b3fa46450":"divi kandidāti, divi godīgi apstāšanās punkti, abi ziņoti tādi, kādi tie ir","res-forge-assurance-ladder.ed682e5934":"NAV SECINĀTS NO Q","res-forge-assurance-ladder.bdad2aeeb8":"Pārliecības pakāpes","res-forge-assurance-ladder.9a9f9e5d26":"NEVIENS PAKĀPIENS NAV SECINĀTS","res-forge-assurance-ladder.8259f9a8e2":"formālā teorija ārpus pašreizējā līguma","res-forge-assurance-ladder.4f7ee515f7":"ziņots kā saistīts ar izpildi","res-forge-assurance-ladder.0d9389b742":"Jebkāda uzvedība uz mērķa, kuru ieraksts nenosauc.","res-forge-assurance-ladder.246b796ef8":"Ka ierakstītās identitātes ir tās, kuras izpilde radīja.","res-forge-assurance-ladder.69ded617f9":"grafs, plāns, artefakts un rezultāts dalās vienā ierakstā","res-forge-assurance-ladder.5102f2ad33":"identitāte saistīta no gala līdz galam","res-forge-assurance-ladder.49d89b6ce4":"SAISTĪTS AR IZPILDI","res-forge-assurance-ladder.a1cce5c1a6":"Jebkāda īpašība, kuru līgums neiekodēja, un jebkurš izstarotais artefakts.","res-forge-assurance-ladder.a7d0feec4e":"Semantika, kas tika iekodēta, un pieņēmumi, kurus pakete nostiprināja.","res-forge-assurance-ladder.fce451ff2c":"pieņēmumi ir nostiprināti un uzskaitīti","res-forge-assurance-ladder.c830a6c3be":"pierādīta simboliska īpašība","res-forge-assurance-ladder.da528b9287":"FORMĀLI PĀRBAUDĪTS","res-forge-assurance-ladder.d4c1c6915e":"Uzvedība ārpus robežas, kas nekad netika meklēta.","res-forge-assurance-ladder.99d127dcae":"Ka deklarētā domēns ir tas, kurā rezultāts tiks izmantots.","res-forge-assurance-ladder.d8a8ea038d":"domēns ir deklarēts kopā ar apgalvojumu","res-forge-assurance-ladder.4538c7d77c":"ierobežots domēns, pilnībā aptverts","res-forge-assurance-ladder.dfa6e659c8":"IEROBEŽOTI PĀRBAUDĪTS","res-forge-assurance-ladder.1412ce6f4c":"Uzvedība uz jebkuru ievadi ārpus ierakstītās kopas.","res-forge-assurance-ladder.a1fde5a17c":"Ka deklarētie gadījumi atspoguļo uzvedību, par kuru pētnieks rūpējas.","res-forge-assurance-ladder.df4854fc18":"gadījumi ir ierakstīti kopā ar rezultātu","res-forge-assurance-ladder.36cba7e6ad":"konkrēti gadījumi","res-forge-assurance-ladder.b5516f2280":"PĀRBAUDĪTS","res-forge-assurance-ladder.c0169d217f":"Nekas par uzvedību uz jebkuru ievadi.","res-forge-assurance-ladder.da65feb01c":"Tikai tas, ka pakete nosauca valodu, no kuras kandidāts tika izveidots.","res-forge-assurance-ladder.6903a5abc9":"deklarētā valoda ir slēgta","res-forge-assurance-ladder.676886a349":"strukturālā derīgums","res-forge-assurance-ladder.68d222a4f0":"LABI IZVEIDOTS","res-forge-assurance-ladder.85e08ba525":"Ka pierādījums, grafs, Kera plāns un rezultāta identitāte attiecas viens uz otru.","res-forge-assurance-ladder.5e68702137":"Atbalstītā simboliskā īpašība, pierādīta pār iekodēto semantiku.","res-forge-assurance-ladder.9c8a0471a5":"Katra vērtība ierobežotā deklarētā domēnā, bez kļūmes.","res-forge-assurance-ladder.77345a75bc":"Katrs konkrētais gadījums, ko pakete deklarēja, izpildīts un salīdzināts.","res-forge-assurance-ladder.8c4857d4f9":"Tipi, formas, efekti, īpašumtiesības un deklarētais interfeiss.","res-forge-badge-opened.9a3d81d562":"Šī nozīmīte pieder tieši vienai programmai","res-forge-badge-opened.3d1307a7ff":"Atpakaļ pie vienkāršā strukturālā marķējuma","res-forge-badge-opened.bac2685fbc":"Viens solis mainīts","res-forge-badge-opened.aed3b8c6a7":"Pārbaudīts","res-forge-badge-opened.bf2bc5e115":"Tā pati nozīmīte pēc viena soļa maiņas","res-forge-badge-opened.d62d8e0dde":"Ja noņemat jebkuru no šiem pieciem, tas ir cits apgalvojums.","res-forge-badge-opened.eb38f1807a":"Nozīmīte un piecas daļas, ko tā apliecina","res-forge-badge-opened.98987f9e01":"atgriezt rezultātu","res-forge-badge-opened.613ac981db":"noapaļot to citādi","res-forge-badge-opened.25f1a0d208":"veikt mērījumu","res-forge-badge-opened.16b22f5e52":"Neko nepasaka par decimālo aritmētiku.","res-forge-badge-opened.349be220c7":"Formāls rezultāts un atsevišķa tā pārbaude.","res-forge-badge-opened.17b29d4546":"Tikai veseli skaitļi, un nekas ārpus programmas.","res-forge-badge-opened.7d77d99854":"Attiecas uz katru veselo skaitli norādītajā diapazonā.","res-forge-badge-opened.7112a3df4e":"Šī precīzā programma, soli pa solim.","res-forge-boundary-instrument.e29c5de6a0":"Viena rinda ir koplietota. Katra cita atbildība atrodas tieši vienā robežas pusē.","res-forge-boundary-instrument.c6dda4f283":"īpašumā","res-forge-boundary-instrument.d18aac96b9":"koplietota","res-forge-boundary-instrument.1ac443dbd4":"nav īpašumā","res-forge-business-glyph.161d1b9d9a":"Viena specifikācija","res-forge-business-glyph.ab98f5b857":"Fiksēts","res-forge-business-glyph.82b6d04b0e":"Prasība, kas nemainās","res-forge-business-glyph.b5bf8067cf":"Kandidāti","res-forge-business-glyph.7e1d88fa7c":"mērķa vektors","res-forge-business-glyph.45d74a7136":"dominēts","res-forge-business-glyph.239aff5852":"uz robežas","res-forge-business-glyph.f476109f39":"neskaidrs","res-forge-business-glyph.473161067f":"Atlases politika","res-forge-business-glyph.7eff74a5a8":"reģistrēts, nevis slēpts","res-forge-business-glyph.c3b9a01442":"latence","res-forge-business-glyph.b727a735e7":"kustība","res-forge-business-glyph.1a7d89d441":"mērķa atbilstība","res-forge-business-glyph.ef64363d23":"pierādījums","res-forge-business-glyph.efe124888c":"nosaukta garantija","res-forge-business-glyph.b086634a92":"redzami kompromisi","res-forge-business-glyph.ca2bc19088":"Kera izpilda","res-forge-business-glyph.f735a5ba22":"Pētniecības programma, nevis programmatūras piedāvājums","res-forge-candidate-fan.b6871fa0fc":"Silhouetes ir strukturālas, nevis avots. Lentes garumi ir relatīvas pozīcijas uz vienas\n            robežas.","res-forge-candidate-fan.8641796596":"Kandidāts E ir dominēts ar kandidātu D aktīvajā mērķu kopā","res-forge-candidate-fan.d769ded7e8":"Kandidāts","res-forge-candidate-fan.45d74a7136":"dominēts","res-forge-candidate-fan.100ec4462d":"pierādījums","res-forge-candidate-fan.1a7d89d441":"mērķa atbilstība","res-forge-candidate-fan.b727a735e7":"kustība","res-forge-candidate-fan.714eea0f4c":"laiks","res-forge-candidate-fan.73ea3f356f":"Dominēts","res-forge-candidate-fan.82f8a46f55":"ligzdots koks","res-forge-candidate-fan.416bfd329b":"Uz robežas","res-forge-candidate-fan.00c93cd155":"divu joslu sadalījums","res-forge-candidate-fan.a70e321a36":"kompakts bloks","res-forge-candidate-fan.f259a41862":"plats vēdeklis","res-forge-candidate-fan.8503665914":"Pirmais atrastais","res-forge-candidate-fan.e2a3a58a40":"viena gara ķēde","res-forge-choice-board.2f98d2f5be":"Līdzsvarots ir arī priekšroka, un tas tiek reģistrēts kā tāds.","res-forge-choice-board.ce025222b1":"Katrs no šiem četriem ir pareizs, tāpēc tā ir priekšroka, nevis vērtējums.","res-forge-choice-board.48e09e45c5":"Pareizi","res-forge-choice-board.13f66243ef":"Dod priekšroku","res-forge-choice-board.55559438c9":"B upurē vismazāk jebkurā atsevišķā rādītājā.","res-forge-choice-board.03342dbb85":"Līdzsvarots","res-forge-choice-board.3cd298fe82":"D ir visīsākais pārbaudes ceļš.","res-forge-choice-board.baf123fc17":"Skaidrākais","res-forge-choice-board.58adc98abc":"C darbojas visplašākajā atbalstīto iekārtu komplektā.","res-forge-choice-board.b2df292ee2":"Plašākais","res-forge-choice-board.7987c4ffa8":"B pārvieto vismazāk datu un prasa ilgāku laiku.","res-forge-choice-board.4e76f5796f":"Vismazāk resursu","res-forge-choice-board.cda4a6b217":"A pabeidz visātrāk un darba laikā saglabā visvairāk datu.","res-forge-choice-board.4cb3bb0fc4":"Ātrākais","res-forge-choice-board.ed798211fb":"D atsakās no vienas pārrakstīšanas, lai saglabātu vienkāršību pārbaudē.","res-forge-choice-board.2a318223e9":"Programma D","res-forge-choice-board.69a71f0df6":"C pārvieto vairāk datu, lai tur nokļūtu.","res-forge-choice-board.d7782ce200":"Programma C","res-forge-choice-board.018761680d":"B prasa ilgāku laiku.","res-forge-choice-board.d2307ff43a":"Programma B","res-forge-choice-board.4c06d2baf8":"A darba laikā saglabā visvairāk datu.","res-forge-choice-board.2be70eef66":"Programma A","res-forge-choice-board.97876b8380":"Pārbaude","res-forge-choice-board.2940ff1e5f":"Iekārtas","res-forge-choice-board.89c8a2851d":"Atmiņa","res-forge-choice-board.6c82e6dd86":"Laiks","res-forge-choice-instrument.e786244260":"Izmaksas, ko tas pieņem","res-forge-choice-instrument.fd9a9f965e":"Relatīvais modelētais latentums","res-forge-choice-instrument.24d3e4fdd9":"Stiprums","res-forge-choice-instrument.6853c98a6f":"Dalībnieks","res-forge-conflict-board.0e565b0b3e":"Neviena josla šajā dēlī nebeidzas ar ģenerētu rezerves kodu. Katra beidzas ar nosauktu rezultātu\n          un personu, kurai pieder nākamais gājiens.","res-forge-conflict-board.bb54db510a":"Pieņemt","res-forge-conflict-board.09c3f0d154":"nav apliecināts ar verifikācijas līgumu","res-forge-conflict-board.75e6b42fc5":"Ārpus darbības jomas","res-forge-conflict-board.281dd83602":"Paplašināt","res-forge-conflict-board.8a97b9af81":"teorijas un budžeta ierobežojums","res-forge-conflict-board.bc7819b34f":"Nezināms","res-forge-conflict-board.3e0fb17cab":"Noskaidrot","res-forge-conflict-board.7835f9c578":"noraida partiju","res-forge-conflict-board.9522606498":"atgriež neitrālu kopsummu","res-forge-conflict-board.e9a46a96e9":"Neskaidrs","res-forge-conflict-board.d36f29cacf":"Saskaņot","res-forge-conflict-board.9a064eb243":"valodā L nepastāv neviens kandidāts","res-forge-conflict-board.5f20d0f3ac":"Neizpildāms","res-forge-conflict-board.151864867d":"Sešas vienas prasības klauzulas","res-forge-conflict-board.426475873e":"rezultāts pienāk fiksētā sienas pulksteņa laika logā","res-forge-conflict-board.6933c35154":"koriģējošs ieraksts var samazināt kopsummu","res-forge-conflict-board.4bf7985a78":"rezultāts ir precīzs līdz pēdējai vienībai","res-forge-conflict-board.55dca06fb3":"tukša partija tiek pieņemta","res-forge-conflict-board.5b3e0d86e8":"kopsumma nekad nesamazinās, pievienojot ierakstus","res-forge-conflict-board.33f78f4681":"katra summa paliek deklarētajā diapazonā","res-forge-consumer-glyph.9154742cfc":"Darbs vienā teikumā","res-forge-consumer-glyph.b7d5d68aa8":"Saglabājiet katru rādījumu drošā diapazonā","res-forge-consumer-glyph.5a29585e3f":"Mēģinājumi","res-forge-consumer-glyph.6bd1f59b85":"divi neizdodas vienā gadījumā","res-forge-consumer-glyph.059c3755e1":"divi ierodas","res-forge-consumer-glyph.d3f5d23e46":"viens nes zīmogu","res-forge-consumer-glyph.6bb9173137":"tas meklē","res-forge-consumer-glyph.50814a267d":"daudzas iespējamās programmas","res-forge-consumer-glyph.64c675f85c":"tas noraida","res-forge-consumer-glyph.7403925825":"jebko, kas neiztur vienu gadījumu","res-forge-consumer-glyph.c1a77ef9ed":"tas norāda, cik stingri pārbaudīja","res-forge-consumer-glyph.691b10181f":"un kur pārbaude apstājas","res-forge-consumer-glyph.100ec4462d":"pierādījumi","res-forge-consumer-glyph.88acf54a65":"dažreiz nav programmas","res-forge-consumer-glyph.72dc433046":"Atbilde var būt bez programmas","res-forge-cost-vector.140b63310c":"Kandidāts C","res-forge-cost-vector.2437a7ecbd":"Pierādījumi katram mērķim","res-forge-cost-vector.25b7302067":"Salīdzinājums, kas pārnesas uz citu eksperimenta kopu.","res-forge-cost-vector.26d24d71f0":"Atmiņas datu plūsma","res-forge-cost-vector.3e39972526":"Latence","res-forge-cost-vector.405bdec664":"Nav veikts mērījums","res-forge-cost-vector.4b1dda27e1":"Kas vektors nav","res-forge-cost-vector.555486354d":"Koda lielums","res-forge-cost-vector.5d0b1f6647":"Abas līnijas krustojas, tāpēc neviens kandidāts pats par sevi nav atbilde.","res-forge-cost-vector.66374d941d":"Mērīts uz aparatūras","res-forge-cost-vector.89a596e251":"Tukšā šūna ir apgalvojums: pierādījumu sarežģītība tika modelēta, bet nekad mērīta.","res-forge-cost-vector.8a4da1dcc8":"Vieta, kur modeļa izvade var aizstāt mērījumu.","res-forge-cost-vector.ab8dd4df08":"Dārgāks","res-forge-cost-vector.ac46a8c74c":"Pierādījumu sarežģītība","res-forge-cost-vector.ad638eff4a":"Četri mērķi, divi kandidāti, viens eksperiments","res-forge-cost-vector.b0b01215a0":"Kandidāts D","res-forge-cost-vector.bf8197e03c":"Relatīvās pozīcijas vienā eksperimentā, augstāk nozīmē dārgāk.","res-forge-cost-vector.cd05967fea":"Modelēts pirms jebkuras izpildes","res-forge-cost-vector.ec8e6defbf":"Viens rādītājs, pēc kura var sarindot abus kandidātus.","res-forge-cost-vector.f4cfc474fa":"Lētāks","res-forge-counterexample-loop.aca21ce064":"izveido jaunu specifikācijas identitāti","res-forge-counterexample-loop.fb8953469c":"PIEVIENOT PRIEKŠNOSACĪJUMU","res-forge-counterexample-loop.7e5559029b":"izpilde turpinās ar to pašu identitāti","res-forge-counterexample-loop.89ad46cbd8":"PIEVIENOT GADĪJUMU","res-forge-counterexample-loop.9001aab10f":"DIVAS LEGITĪMAS ATBILDES UZ KĻŪMI","res-forge-counterexample-loop.8888c622ac":"kas tika prasīts no verificētāja","res-forge-counterexample-loop.ec6e54733d":"kolonna nekad nezaudē rindu","res-forge-counterexample-loop.2a117d0937":"PIERĀDĪJUMS, KAS JĀIZPILDA NĀKAMAJAM KANDIDĀTAM","res-forge-counterexample-loop.da7195483c":"Izvēlieties precizēšanas cikla iterāciju","res-forge-counterexample-loop.a0c4d76862":"Trešais kandidāts izpilda visas reģistrētās saistības. Verificētājs atbalstītajā domēnā neatrod pārkāpjošu ievadi un atgriež pierādījumu ar tā pieņēmumiem blakus uzskaitītiem.","res-forge-counterexample-loop.f4800df8d1":"ārā","res-forge-counterexample-loop.2c3cbd53a7":"reizināt","res-forge-counterexample-loop.d052634571":"paplašināt","res-forge-counterexample-loop.c7e42d43b0":"aizsargāt","res-forge-counterexample-loop.11f6ad8ec5":"x","res-forge-counterexample-loop.fcdd12a167":"FORMLI VERIFICĒTS, pieņēmumi uzskaitīti","res-forge-counterexample-loop.02b8a8db00":"visiem x i32, plus abi reģistrētie gadījumi","res-forge-counterexample-loop.30f7f19326":"Otrajam kandidātam ir jāizpilda piemēri un pārpildes gadījums kopā. Tas paplašina starpvērtību pirms reizināšanas, un verificētājs atgriež otru gadījumu, ko specifikācija nekad nebija fiksējusi: tukšu ievadi.","res-forge-counterexample-loop.02dc309df7":"APSTRĪDĒTS, atrasts pretpiemērs","res-forge-counterexample-loop.9ab3ad07a9":"visiem x i32, plus reģistrētais gadījums","res-forge-counterexample-loop.47d7508d9a":"Pirmais kandidāts izpilda trīs sniegtos piemērus. Verificētājs pārmeklē visu i32 un atgriež vienu konkrētu ievadi, kur mērogotais reizinājums atstāj deklarēto diapazonu.","res-forge-counterexample-loop.ad5fa3b2c6":"visiem x i32","res-forge-counterexample-loop.d1c8b37b24":"x = tukša ievade","res-forge-counterexample-loop.b412089d87":"x = 2147483647, pārpilde","res-forge-counterexample-loop.1bac5f43a1":"f(120) = 100","res-forge-counterexample-loop.49ed87614a":"f(40) = 40","res-forge-counterexample-loop.14d8b8d361":"f(-9) = 0","res-forge-decision-record.623b533bbb":"šajā lapā nekas nesapludina četrus mērķus vienā skaitlī","res-forge-decision-record.d327f7b3ba":"Nav viena ranga rezultāta","res-forge-decision-record.6a7eee59c0":"Nav atlasīts, un kāpēc","res-forge-decision-record.3e7c118949":"Atlasījis","res-forge-decision-record.1918daaba9":"Atlasītais dalībnieks","res-forge-decision-record.974ff8bb6e":"Mērķu kopums","res-forge-decision-record.e38c2194b4":"formāli verificēts","res-forge-decision-record.ea2dfcc9cc":"Pārliecības slieksnis","res-forge-decision-record.1ccf5d25df":"Specifikācija","res-forge-decision-record.5a445661ea":"dominē","res-forge-decision-record.f950982dd0":"Identisks visās politikās","res-forge-decision-record.e6f8a915dc":"Robeža","res-forge-decision-record.473161067f":"Atlasīšanas politika","res-forge-decision-record.1a7d89d441":"mērķa atbilstība","res-forge-decision-record.b3c5533e86":"atmiņas pārvietošana","res-forge-decision-record.544852fd7a":"vienkāršākais pierādījums","res-forge-decision-record.6bf0b2c0d8":"garāks audita ceļš, iegūstot plašāku mērķa atbilstību","res-forge-decision-record.fdd18306eb":"Dalībnieks C","res-forge-decision-record.ee96b43256":"garāks audita ceļš, iegūstot mazāku pārvietošanu","res-forge-decision-record.1e19ce513c":"Dalībnieks B","res-forge-decision-record.7ad441b0c0":"garāks audita ceļš nekā atlasītajam dalībniekam aktīvajā kopā","res-forge-decision-record.d04e27e317":"Dalībnieks A","res-forge-decision-record.fec4a6c489":"Regulēta programma nolasa to pašu robežu pa pierādījumu asi un izvēlas dalībnieku D.","res-forge-decision-record.32cba0b9da":"vistiešākais audita ceļš","res-forge-decision-record.f88efb9bc7":"Dalībnieks D","res-forge-decision-record.47942077ae":"Vienkāršākais pierādījums","res-forge-decision-record.e9647ad29d":"darbojas uz mazāk atbalstītiem mērķiem, apmainot plašumu pret audita ceļu","res-forge-decision-record.baede38a31":"darbojas uz mazāk atbalstītiem mērķiem, apmainot plašumu pret pārvietošanu","res-forge-decision-record.7b357b2d93":"darbojas uz mazāk atbalstītiem mērķiem nekā atlasītais dalībnieks","res-forge-decision-record.2a6987fbaf":"Īpašums, kas izplatīts pa jauktu aparatūru, nolasa to pašu robežu pa mērķa asi un izvēlas dalībnieku C.","res-forge-decision-record.462746df39":"plašākā mērķa atbilstība","res-forge-decision-record.ad59e3b102":"Plašākais","res-forge-decision-record.6235c63244":"pārvieto vairāk datu un saglabā īsāku atvasinājumu","res-forge-decision-record.709e1b623c":"pārvieto vairāk datu, izplatītus pa vairāk atbalstītiem mērķiem","res-forge-decision-record.7efb4f14c6":"pārvieto vairāk datu nekā atlasītais dalībnieks aktīvajā kopā","res-forge-decision-record.26929cd71c":"Izvietojums, ko ierobežo atmiņas trafiks, nolasa to pašu robežu pa pārvietošanas asi un izvēlas dalībnieku B.","res-forge-decision-record.993033f0b5":"zemākā atmiņas pārvietošana","res-forge-decision-record.4e76f5796f":"Vismazākais","res-forge-decision-record.344f41f998":"augstāks modelētais latentums, un tā īsākais audita ceļš nav ass","res-forge-decision-record.ed3d6e1e77":"augstāks modelētais latentums, un tā plašums šeit netiek apmaksāts","res-forge-decision-record.0be3560065":"augstāks modelētais latentums nekā atlasītajam dalībniekam aktīvajā kopā","res-forge-decision-record.b8b9888522":"Inženieru komanda ar vienu mērķa mašīnu nolasa robežu pa latentuma asi un izvēlas dalībnieku A.","res-forge-decision-record.ffefb7fa98":"zemākais modelētais latentums","res-forge-decision-record.4cb3bb0fc4":"Ātrākais","res-forge-equivalence-space.638d0226a9":"tikai relatīvās pozīcijas, bez izmērītiem skaitļiem","res-forge-equivalence-space.b727a735e7":"kustība","res-forge-equivalence-space.e8c39c4d7e":"operācijas","res-forge-equivalence-space.4619486033":"iegūtā forma","res-forge-equivalence-space.f42512d469":"Iegūšanas mērķis","res-forge-equivalence-space.92149cf8ce":"SEED","res-forge-equivalence-space.217cb1c2eb":"Viena izteiksme izvērsta četrās ekvivalentu formu klasēs, ar ceļu uz izvēlēto iegūšanas mērķi izgaismotu un vienu atteiktu malu uzzīmētu, bet nekad neizgaismotu","res-forge-equivalence-space.ccce87f620":"Izteiksme izvērsta ekvivalentu formu tīklā, ar nosacījumiem uz malām","res-forge-equivalence-space.27fa456ce7":"Iegūšana pārnesamībai ņem stipruma samazināšanu un izkārtojuma maiņu. Tā veic vairāk operāciju nekā algebriskā forma un sasniedz visplašāko atbalstīto mērķu kopu.","res-forge-equivalence-space.27d7e452b1":"(a << 1) + a, iepakots","res-forge-equivalence-space.feba5b9c56":"Iegūšana kustībai nes to pašu algebrisko soli tālāk sapludināšanas klasē. Tā veic mazāk operāciju nekā izkārtojuma forma un saglabā zemāko atmiņas kustību no trim.","res-forge-equivalence-space.37226e169c":"fuse(a + a + a)","res-forge-equivalence-space.a2f4cd4d38":"Iegūšana latentumam ņem algebrisko formu un apstājas tur. Tā veic vismazāk operāciju un pārvieto vairāk datu nekā sapludinātā forma, un tai ir tiesības uz pierādīto platuma nosacījumu.","res-forge-equivalence-space.4b10d3e274":"3 * a","res-forge-equivalence-space.dfb1d5b6c2":"PĀRNESAMĪBA","res-forge-equivalence-space.37f756c7d0":"KUSTĪBA","res-forge-equivalence-space.49d6c10ece":"LATENTUMS","res-forge-equivalence-space.8e43c13f74":"f32 pārgrupēšana atteikta","res-forge-equivalence-space.13d2c4a154":"i32 platums pierādīts","res-forge-equivalence-space.dcc4e6c574":"IZKĀRTOJUMA KLASE","res-forge-equivalence-space.69688a961b":"SApludināšanas KLASE","res-forge-equivalence-space.16cbdc05fc":"STIPRUMA KLASE","res-forge-equivalence-space.dbb0f90765":"ALGEBRISKĀ KLASE","res-forge-equivalence-space.bc109fb076":"pārnesams","res-forge-equivalence-space.7aca22de0b":"iepakots","res-forge-equivalence-space.1f08a3216a":"sapludināts","res-forge-equivalence-space.b0c659fe95":"straumēts","res-forge-equivalence-space.28e1e451f0":"f32 pārgrupēšana","res-forge-equivalence-space.231627027e":"(a << 1) + a","res-forge-equivalence-space.62865e04db":"a + a + a","res-forge-equivalence-space.2f65736593":"(a * 2) + a","res-forge-evidence-cards.4a1c00ad00":"Akcijai ir vajadzīgi pierādījumi, nevis kontrole. Šī iespēja nav pieejama nevienā\n              šīs tāfeles stāvoklī, un tas ir noteikums, kas tiek izcelts.","res-forge-evidence-cards.61c57736e7":"Veicināt","res-forge-evidence-cards.7d903d3344":"Veicināšanas noteikums","res-forge-evidence-cards.8fc2a131ae":"viens mezgls mainīts, un etiķete atgriežas labi veidotā stāvoklī","res-forge-evidence-cards.4acf3ac41d":"Kandidātu lietas","res-forge-evidence-cards.65748fb5d3":"tā paša grafa peldošais apgabals, ko šis kodējums neatspoguļo","res-forge-evidence-cards.d274f5b4e3":"Kas nav noteikts","res-forge-evidence-cards.8f4f743d7f":"precīza veselu skaitļu semantika un apgabals, ko pakete pasludina par tīru","res-forge-evidence-cards.7d37b7550c":"Pie kādiem pieņēmumiem","res-forge-evidence-cards.2bae06de12":"katrs ievaddatu kopums, ko formālā teorija var izteikt","res-forge-evidence-cards.e700afa7f9":"Pār kādu domēnu","res-forge-evidence-cards.8be740fd8c":"kodētā attiecība visā atbalstītajā domēnā","res-forge-evidence-cards.b76e542d96":"Kas tika pārbaudīts","res-forge-evidence-cards.906c590060":"atbalstīta universāla attiecība tika pierādīta saskaņā ar norādītajiem pieņēmumiem","res-forge-evidence-cards.ea66d3cd71":"Formāli pārbaudīts","res-forge-evidence-cards.b7330133c1":"Kandidāts R","res-forge-evidence-cards.8e950fc545":"jebkurš ievaddatu kopums ārpus norādītās kopas, ieskaitot kvantificēto nosacījumu","res-forge-evidence-cards.72d0fc35c6":"atsauces uzvedība, kas piegādāta kopā ar paketi, tās pašas domēna ietvaros","res-forge-evidence-cards.2c8e59076b":"norādītie ievaddati, pa vienam","res-forge-evidence-cards.961d36c1e2":"konkrētie gadījumi, kas ierakstīti specifikācijā","res-forge-evidence-cards.593aeb47dc":"norādītie konkrētie gadījumi tika izpildīti, un nekas vairāk netika apgalvots","res-forge-evidence-cards.919003799d":"Pārbaudīts","res-forge-evidence-cards.24f43cdd11":"Kandidāts Q","res-forge-evidence-cards.8af32eb207":"uzvedība uz mērķa profila, kuru izpildes saite nenosauc","res-forge-evidence-cards.d7201bf2e3":"skaitļu saime un efekti, ko pakete atļāva, abi fiksēti","res-forge-evidence-cards.dfaa1686c4":"norādītais ievaddatu diapazons vienā atbalstītā mērķa profilā","res-forge-evidence-cards.707e2a56c9":"pierādītā attiecība, tad plāns un artefakts, kas to nogādāja izpildē","res-forge-evidence-cards.f092d6fe39":"grafa, plāna, artefakta un rezultāta identitāte paliek saistīta kopā","res-forge-evidence-cards.32d888fecc":"Izpilde saistīta","res-forge-evidence-cards.0483882b1c":"Kandidāts P","res-forge-experiment-packet.7a6aad1d4c":"jauns eksperiments, atsevišķs ieraksts","res-forge-experiment-packet.aad6b5ae20":"PAKETES IDENTITĀTE","res-forge-experiment-packet.bbcc172a1e":"JA MAINĀS KĀDS LAUKS","res-forge-experiment-packet.f5ca7850da":"aizzīmogots izpildes sākumā","res-forge-experiment-packet.1f7febf95f":"DEKLARĒTĀ POLITIKA","res-forge-experiment-packet.39b2c01e18":"VALODA SLĒGTA","res-forge-experiment-packet.c2bb6fa0c5":"SPECIFIKĀCIJA NEMAINĪGA","res-forge-experiment-packet.4484cb6fa9":"ziņot nezināmu","res-forge-experiment-packet.feaf4dd4e6":"ierobežojums: izmērs <= 6","res-forge-experiment-packet.5aa50aebf7":"formāls, kur atbalstīts","res-forge-experiment-packet.31be469709":"POLITIKA","res-forge-experiment-packet.e1e3e98714":"koda lielums","res-forge-experiment-packet.b3c5533e86":"atmiņas pārvietošana","res-forge-experiment-packet.e64e22b150":"MĒRĶI","res-forge-experiment-packet.48aef70526":"pilnīga secība fiksēta","res-forge-experiment-packet.294793bfad":"divu komplementa, 32 bitu","res-forge-experiment-packet.1e9edfb9ee":"SEMANTIKA","res-forge-experiment-packet.9c5c96b457":"bez ārējas ietekmes","res-forge-experiment-packet.d835dab5b4":"precīzs vesels skaitlis","res-forge-experiment-packet.2a3ffd9ebb":"VALODA","res-forge-experiment-packet.486c4f6f95":"1 skice, 2 caurumi","res-forge-experiment-packet.9254dc6ec8":"1 universāla attiecība","res-forge-experiment-packet.dbeac903da":"4 piemēri","res-forge-experiment-packet.32082e06e3":"SPECIFIKĀCIJA","res-forge-forms-instrument.b050566d50":"nemaz","res-forge-forms-instrument.d680340c0b":"daļēji","res-forge-forms-instrument.ad22e7e15b":"to izšķir","res-forge-forms-instrument.7cb8793606":"to neizšķir","res-forge-forms-instrument.ed5a4b874a":"to daļēji izšķir","res-forge-four-silences.a2b701e0b3":"Programma netiek izveidota, un iemesls tiek nosaukts.","res-forge-four-silences.5faa59d4bc":"Rezultāts","res-forge-four-silences.5647cada0f":"Kas to mainītu","res-forge-four-silences.7661e6591f":"Kas notika","res-forge-four-silences.1189b54fc7":"Kas tika prasīts","res-forge-four-silences.c648f0b37b":"Četri iemesli, kāpēc atbilde ir bez programmas","res-forge-four-silences.2637ce69f5":"PROGRAMMA","res-forge-four-silences.f61fa98a3b":"MODELIS","res-forge-four-silences.cbbef8ce7e":"ĀRPUSĒ","res-forge-four-silences.ce75fc2aec":"DOTĀ ROBEŽA","res-forge-four-silences.3a339a1749":"NOTEIKUMS 2","res-forge-four-silences.35a7d11e05":"NOTEIKUMS 1","res-forge-four-silences.8cc9c3c016":"Atpakaļ pie tā, ko apgalvojums aptver","res-forge-four-silences.971c87e299":"Ievietojiet pakalpojumu modelī vai sašauriniet apgalvojumu.","res-forge-four-silences.88868a0c58":"Daļa uzvedības atrodas ārpus robežas, ko pārbaude spēj aprakstīt.","res-forge-four-silences.181032c74d":"jautāt ārējam pakalpojumam par robežu","res-forge-four-silences.407dfebcf1":"Atgriezties ar vairāk vietas","res-forge-four-silences.97cd9b5795":"Ilgāks izpildes laiks vai cita metode.","res-forge-four-silences.33af89d7fc":"Meklēšana sasniedza tai doto robežu un apstājās, pirms jautājums tika atrisināts.","res-forge-four-silences.086f7cbb23":"viens noteikums par katru atbalstīto ievadi","res-forge-four-silences.74864a1ff8":"Atpakaļ uz vienu lēmumu","res-forge-four-silences.7c78667c01":"Sniegt vēl vienu piemēru.","res-forge-four-silences.fd58916c0c":"Divas dažādas uzvedības sakrīt visos trīs piemēros un atšķiras ceturtajā ievadē.","res-forge-four-silences.96dee44862":"3 dod 9","res-forge-four-silences.9179befc0c":"2 dod 4","res-forge-four-silences.3d47eae588":"1 dod 1","res-forge-four-silences.35f6e4ab6c":"Atpakaļ pie tā, kurš uzrakstīja noteikumus","res-forge-four-silences.5c332290c5":"Atvieglināt vienu no diviem noteikumiem.","res-forge-four-silences.ece7f203f5":"Abi noteikumi saduras. Negatīva ievade nevar apmierināt abus vienlaikus.","res-forge-four-silences.b25d65ea16":"atgriezt ievadi nemainītu","res-forge-four-silences.a4d3a2c877":"vienmēr atgriezt pozitīvu skaitli","res-forge-four-silences.20cb7eef2c":"Ārpus modeļa","res-forge-four-silences.c439038abe":"Nav aptverts","res-forge-four-silences.04ae6467a0":"Nav secinājuma","res-forge-four-silences.280c5e7fc6":"Divas interpretācijas","res-forge-four-silences.3fe459f958":"Nekas neatbilst","res-forge-graph-asset.49281c01cf":"garantija atgriežas pie labi veidota","res-forge-graph-asset.670f6bdd9a":"jauna kandidāta identitāte","res-forge-graph-asset.197e419ad3":"JAUNS GRAFA IDENTITĀTE","res-forge-graph-asset.33dd31d4b3":"NOMAINIET ATZĪMĒTO MEZGLU","res-forge-graph-asset.d7b94d76cf":"VIENS MEZGLS, ATZĪMĒTS VISOS TRĪS ATVEIDOJUMOS","res-forge-graph-asset.990742f8b4":"buferi","res-forge-graph-asset.1bdbf6a26d":"saspied, saglabā izejā","res-forge-graph-asset.e9e90fc64f":"mērogo, reizini, saskaiti","res-forge-graph-asset.851967b4a3":"ielādē x, k, lo","res-forge-graph-asset.46599c6b1e":"operatoru nosaukumi sakrīt ar mezglu nosaukumiem","res-forge-graph-asset.59cfc3e2d4":"out = clamp(add(m, lo))","res-forge-graph-asset.c73bb57286":"m = mul(s, k)","res-forge-graph-asset.bdc36b0a67":"s = scale(x)","res-forge-graph-asset.2cef65c1d0":"PATS OBJEKTS","res-forge-graph-asset.31e8d812fa":"DATU PLŪSMA","res-forge-graph-asset.891bbd450e":"IZTEIKSME","res-forge-graph-asset.e7bd56e1ec":"GRAPH","res-forge-graph-asset.30a5d0d91f":"Tas pats semantiskais grafs attēlots kā mezglu grafs, kā izteiksme un kā datu plūsma,\n              ar vienu mezglu, kas atzīmēts visos trīs atveidojumos un savienots ar vienu noteikumu","res-forge-graph-asset.0be82d1c87":"Viens semantiskais grafs uzzīmēts trīs veidos, kā grafs, kā izteiksme un kā datu plūsma, ar saspiešanas mezglu, kas atzīmēts visos trīs","res-forge-graph-asset.da528b9287":"FORMIĀLI PĀRBAUDĪTS","res-forge-graph-asset.894f6d1562":"GRAFA IDENTITĀTE","res-forge-graph-asset.33daecb09d":"out : i32","res-forge-graph-asset.a4ab4f2116":"clamp","res-forge-graph-asset.58d1bbce29":"add","res-forge-graph-asset.2c3cbd53a7":"mul","res-forge-graph-asset.60020d1b19":"scale","res-forge-graph-asset.cf023c3538":"lo : i32","res-forge-graph-asset.643ea229e1":"k : i32","res-forge-graph-asset.d14f7f166c":"x : i32","res-forge-intent-cards.398168fe2d":"Nav, ar ko to salīdzināt","res-forge-intent-cards.f2b3a1f895":"Rakstīts tieši no teikuma","res-forge-intent-cards.8af3e09e73":"Uz to pašu teikumu atbildēts tieši","res-forge-intent-cards.ee3c9325a5":"Šie var neizdoties, un tas ir mērķis","res-forge-intent-cards.a014f9c662":"Forma tiek saglabāta, spraugas tiek meklētas.","res-forge-intent-cards.d40fae93b9":"Divas spraugas","res-forge-intent-cards.32fd056d3d":"Skice","res-forge-intent-cards.5b6d56b37e":"Pārbaudīts katrā lasījumā, ko noteikums spēj nosaukt.","res-forge-intent-cards.43a980aaf8":"lasījumā atbilde paliek no 0 līdz 100 un nekad nepārvietojas vairāk par vienu\n                  soli.","res-forge-intent-cards.d8784ae2ea":"Katram","res-forge-intent-cards.57f6dcedb1":"Viena rindiņa","res-forge-intent-cards.78e1790e29":"Noteikums","res-forge-intent-cards.85ee9e64bf":"Pārbaudīts uz jūsu sniegtajiem lasījumiem.","res-forge-intent-cards.ef73fdd1c8":"Četri gadījumi","res-forge-intent-cards.eb01bf04c9":"Piemēri","res-forge-intent-cards.77d979bc52":"Trīs formas, kādas teikums var pieņemt","res-forge-intent-cards.b784f64740":"Tas sadalās trīs formās, un katru var pārbaudīt.","res-forge-intent-cards.6802fdd79e":"Tas, kas tika prasīts","res-forge-intent-cards.650c85708e":"trūkstošais solis","res-forge-intent-cards.d2fb792999":"ierobežot, cik tālu tas var lēkt ar","res-forge-intent-cards.d2fde1a28f":"noturēt to diapazonā ar","res-forge-intent-cards.25f1a0d208":"veikt lasījumu","res-forge-intent-cards.94407bb3ee":"“Saglabā katru lasījumu drošajā diapazonā un nekad neļauj tam lēkt.”","res-forge-intent-modes-instrument.fd197e80cc":"Veidlapa tiek izvēlēta, nevis apvienota. Ieraksts saglabā, kura no tām saturēja prasību.","res-forge-intent-modes-instrument.a6c44a9033":"Pārklājumi","res-forge-intent-modes-instrument.abd6628786":"Trīs veidi, kā norādīt, ko programmai vajadzētu darīt","res-forge-intent-routes.5170330dcc":"Abas joslas izvirza vienu un to pašu prasību. Tikai viena no tām zīmējuma apakšā joprojām ir atvērta.","res-forge-intent-routes.544852fd7a":"vienkāršākais pierādījums","res-forge-intent-routes.3e7c118949":"Atlasījis","res-forge-intent-routes.9a976fc228":"Atlasīts","res-forge-intent-routes.239aff5852":"uz robežas","res-forge-intent-routes.be601df25e":"Pētniecība","res-forge-intent-routes.f577430e54":"jauns projekts","res-forge-intent-routes.f6ef754e2d":"Fiksācijas punkts","res-forge-intent-routes.7b2d03931b":"Tradicionāls","res-forge-intent-routes.f18b41890d":"uzvedība, ierobežojumi un riski, kas vienreiz aprakstīti","res-forge-intent-routes.e9c366b4f3":"Prasība","res-forge-intent-routes.eb9ceb1149":"pretpiemērs","res-forge-intent-routes.462746df39":"plašākā mērķa saderība","res-forge-intent-routes.120e0af75a":"vismazākā kustība","res-forge-intent-routes.cd3e7bf034":"optimizācijas projekts","res-forge-intent-routes.92be6abbc0":"viena koda bāze","res-forge-intent-routes.9732c542fc":"uzrakstīta ieviešana","res-forge-intent-routes.27df60a6a2":"izvēlēta arhitektūra","res-forge-kera-boundary.1ccf5d25df":"Specifikācija","res-forge-kera-boundary.29a184b65c":"grafs","res-forge-kera-boundary.2fa9505626":"artefakts","res-forge-kera-boundary.37a5301a88":"rezultāts","res-forge-kera-boundary.3bd7b119dd":"katrs nedominētais elements","res-forge-kera-boundary.4aca16af35":"Verifikācijas rezultāts","res-forge-kera-boundary.61792020d0":"Mērķa fronte","res-forge-kera-boundary.646e287869":"pierādījums un tā pieņēmumi","res-forge-kera-boundary.6f8f7df48d":"FORGE","res-forge-kera-boundary.700bb94783":"redukcijas","res-forge-kera-boundary.7bc555991d":"fiksēts","res-forge-kera-boundary.7c1df38fca":"VERIFICĒTS SEMANTISKAIS GRAFS","res-forge-kera-boundary.807a40a32f":"norāda atpakaļ uz grafu","res-forge-kera-boundary.8b36233e89":"verificēts semantiskais grafs plus saistības","res-forge-kera-boundary.8cd3def21e":"neviena mērķa emitētāja neatrodas šajā pusē","res-forge-kera-boundary.970c175475":"mērķa profils","res-forge-kera-boundary.9c31467d05":"Noturēts šajā vārtu pusē","res-forge-kera-boundary.a30f1285d5":"IZPILDES SAITE","res-forge-kera-boundary.b727a735e7":"kustība","res-forge-kera-boundary.bed97175b0":"plāns","res-forge-kera-boundary.c9ff38c8bb":"piespraustā pētniecības problēma","res-forge-kera-boundary.cce55e4309":"secība","res-forge-kera-boundary.d4f766efab":"Trīs turējumi, viens objekts šķērso","res-forge-kera-boundary.efe0c41bcb":"KERA","res-forge-loop-instrument.1e76c7e5b8":"Viena kontrapiemēru cilpa, četri posmi","res-forge-pareto-frontier.e2ee360818":"PIEVIENOT ENERĢIJAS MĒRĶI","res-forge-pareto-frontier.b0e56d1efe":"līkne ir fiksēta, kamēr mainās tikai politika","res-forge-pareto-frontier.787ca603fd":"robeža pieder mērķu kopai","res-forge-pareto-frontier.d0eeccbe8d":"atlasīts pēc","res-forge-pareto-frontier.173d916846":"enerģija","res-forge-pareto-frontier.1a7d89d441":"mērķa atbilstība","res-forge-pareto-frontier.b727a735e7":"kustība","res-forge-pareto-frontier.c3b9a01442":"latence","res-forge-pareto-frontier.3404b13cac":"mērķu kopa","res-forge-pareto-frontier.e38c2194b4":"formāli pārbaudīts","res-forge-pareto-frontier.bf984aca27":"pārliecības slieksnis","res-forge-pareto-frontier.03d6a194f4":"specifikācija","res-forge-pareto-frontier.33ca7f61b6":"ENERĢIJAS ATDEVE","res-forge-pareto-frontier.0acbd1c769":"ATMIŅAS KUSTĪBA","res-forge-pareto-frontier.4b93d5e7ea":"LATENCE, AUGSTĀKA PA LABI","res-forge-pareto-frontier.43bf415954":"Kompromisa grafiks, kurā attēlota latence pret atmiņas kustību, ar mērķa atbilstību attēlotu kā marķiera izmēru, četriem nedominētiem locekļiem, kurus savieno robežlīkne, un septiņiem dominētiem kandidātiem, no kuriem katrs savienots ar locekli, kas to dominē","res-forge-pareto-frontier.f2b023979d":"xMinYMid meet","res-forge-pareto-frontier.473161067f":"Atlases politika","res-forge-pareto-frontier.7c1e368123":"Līdzsvarotā ceļgala politika arī atlasa kandidātu C, bet ar citu argumentu: tas ir punkts, kurā, upurējot vairāk latences, vairs netiek iegūta liela kustība. Divām politikām izvēloties vienu un to pašu locekli, tas ir fakts par šo robežu, un ieraksts joprojām norāda, kura politika to izvēlējās.","res-forge-pareto-frontier.b7aedb3b70":"Vienkāršākā pierādījuma politika atlasa kandidātu D. Tā atsakās no vienas agresīvas pārrakstīšanas, tāpēc tās verifikācijas pienākums ir mazākais no četriem.","res-forge-pareto-frontier.5614e2e73d":"Vismazākās kustības politika atlasa kandidātu B. Tās kritiskais ceļš ir visgarākais no četriem, kas ir cena par vismazāko datu pārvietošanu.","res-forge-pareto-frontier.14826696ec":"Ātrākā politika atlasa kandidātu A. Tā notur lielāko darba kopu uz robežas, un ieraksts to saglabā kopā ar atlasi, nevis slēpj to punktu skaitā.","res-forge-pareto-frontier.c65681bb2d":"mērķa atbilstība: visplašākā","res-forge-pareto-frontier.b097d0ac54":"kustība: vidēja","res-forge-pareto-frontier.05da02c2f2":"latence: vidēja","res-forge-pareto-frontier.d0b64e1eec":"mērķa atbilstība: vidēja","res-forge-pareto-frontier.144e5e5e83":"kustība: zemāka","res-forge-pareto-frontier.aa828b0585":"latence: augstāka","res-forge-pareto-frontier.e3a088e260":"mērķa atbilstība: šaura","res-forge-pareto-frontier.6fc0d51b39":"kustība: zemākā","res-forge-pareto-frontier.1b565dbd5d":"latence: augstākā","res-forge-pareto-frontier.79c0f24c30":"kustība: augstākā","res-forge-pareto-frontier.83504b708a":"latence: zemākā","res-forge-pareto-frontier.37671e6ba6":"Līdzsvarots ceļgals","res-forge-pareto-frontier.47942077ae":"Vienkāršākais pierādījums","res-forge-pareto-frontier.8703111807":"Plašākais mērķis","res-forge-pareto-frontier.0b2147fd0a":"Vismazākā kustība","res-forge-pareto-frontier.4cb3bb0fc4":"Ātrākais","res-forge-pareto-frontier.7e6396c2ce":"Plašākā mērķa politika atlasa kandidātu C. Tā darbojas uz visplašākās atbalstīto mērķu kopas un atrodas starp abiem galējiem punktiem uz abām attēlotajām asīm.","res-forge-programme-boundary.97af50dd3d":"Vārti šķērso trīs publicētos gredzenus un apstājas pie kodola robežas. Ārējos trīs\n          var izpētīt, neatverot iekšējo.","res-forge-programme-boundary.9ba1f67469":"Pētniecības programma, nevis programmatūras piedāvājums","res-forge-programme-boundary.f72e361ba7":"Publikāciju kontrole","res-forge-programme-boundary.108e9b7f90":"uzturēta kā pētniecības metode","res-forge-programme-boundary.88306943fe":"Metode","res-forge-programme-boundary.68836c550e":"Kodols","res-forge-programme-boundary.175267da12":"teorijas maršrutēšana","res-forge-programme-boundary.15e58bec8d":"budžeta sadale","res-forge-programme-boundary.b32f31d61d":"robežpozīcija","res-forge-programme-boundary.6f3c47977c":"noteikts mērījums","res-forge-programme-boundary.ff7fc62f3f":"nodrošinājuma stāvoklis","res-forge-programme-boundary.500aadccf6":"izvēlētais kandidāts","res-forge-programme-boundary.5faa59d4bc":"Rezultāts","res-forge-programme-boundary.6840659e94":"nezināmā apstrāde","res-forge-programme-boundary.3404b13cac":"mērķu kopa","res-forge-programme-boundary.78a3386c55":"resursu ierobežojums","res-forge-programme-boundary.90f54b8f1b":"atļautā valoda","res-forge-programme-boundary.c445f7aab5":"specifikācijas korpuss","res-forge-programme-boundary.1ed77c3f7f":"Protokols","res-forge-programme-boundary.aba4559466":"nosaukts iepriekšējais mākslas darbs","res-forge-programme-boundary.0c447c79ec":"pētniecības jautājums","res-forge-programme-boundary.002ff59811":"Jautājums","res-forge-programme-instrument.a725020675":"Stāvoklis","res-forge-programme-instrument.dc4e08a408":"Prasība","res-forge-proof-parts-instrument.ba3fef96ae":"Pierādījums piecās daļās","res-forge-provenance-chain.040c236a24":"četri no deviņiem mezgliem, un starp tiem nav neviena aizzīmogota soļa","res-forge-provenance-chain.0ca6a997b6":"KAS JĀATVEIDO ATSKAŅOŠANAI","res-forge-provenance-chain.7c0a292070":"ZĪMOLS PUNKTS IEZĪMĒ MEZGLU, KUŅAM ATSKAŅOŠANAS CEĻAM JĀPIESKARAS","res-forge-provenance-chain.763ad25abd":"aizzīmogot r:1c62e08","res-forge-provenance-chain.da528b9287":"FORMLI VERIFICĒTS","res-forge-provenance-chain.9106ca2738":"IZVĒLĒTS","res-forge-provenance-chain.416eb4fbb0":"robeža","res-forge-provenance-chain.8e016346a6":"EKIVALENCES KLASE","res-forge-provenance-chain.97d9eb838e":"cx 2","res-forge-provenance-chain.21fedfd21e":"kandidāts 2","res-forge-provenance-chain.2ce3ff82d2":"izeja: kandidāts 2","res-forge-provenance-chain.656b15a358":"ieeja: kandidāts 1 plus cx 1","res-forge-provenance-chain.a65edb573d":"PĒTNIECĪBAS SOLIS","res-forge-provenance-chain.b0b7ba4666":"PRIVĀTS","res-forge-provenance-chain.6495ecf841":"cx 1","res-forge-provenance-chain.7312546346":"kandidāts 1","res-forge-provenance-chain.32082e06e3":"SPECIFIKĀCIJA","res-forge-provenance-chain.4ee56d08c0":"Atvasināšanas grafs no kreisās uz labo: specifikācija, divi kandidāti, divi kontrpiemēri,\n              viens aizzīmogots iekšējais solis, ekivalences klase, robeža un izvēlētais verificētais\n              rezultāts","res-forge-provenance-chain.e259f512bc":"Atvasināšanas grafs no specifikācijas līdz izvēlētajam verificētajam kandidātam, ar vienu iekšējo soli aizzīmogotu, bet savienotu","res-forge-provenance-chain.191f8b1087":"IZPILDES SAISTĪBA","res-forge-provenance-chain.88be68d35d":"VERIFIKĀCIJAS REZULTĀTS","res-forge-provenance-chain.bdd7fdaa13":"KANDIDĀTS 2","res-forge-provenance-chain.608c5b40ac":"SPECIFIKĀCIJA v1","res-forge-record-timeline.0794c4ea35":"Pieņemts lēmums","res-forge-record-timeline.0f9c9e32f9":"Versija, nevis filiāles nosaukums","res-forge-record-timeline.314d8e79c0":"Kāpēc netika izvēlēts kandidāts B?","res-forge-record-timeline.39ab49c337":"Precīzs neveiksmīgais ievads, saglabāts labam nolūkam","res-forge-record-timeline.4868056615":"Nekas šajā rindā netika iegūts no commit ziņojumiem.","res-forge-record-timeline.4bd9342a8a":"Trīs ieraksti atbild uz to, un neviens no tiem nav jārekonstruē.","res-forge-record-timeline.59d432b5cb":"Salīdzinātas alternatīvas","res-forge-record-timeline.6546ec1158":"Recenzents ierodas ilgi pēc tam","res-forge-record-timeline.6833948a23":"Uzrakstīts tajā laikā","res-forge-record-timeline.7d1e2e97e8":"Prasība izteikta","res-forge-record-timeline.90726e413a":"Atbild uz jautājumu","res-forge-record-timeline.aaddcdd4a5":"Pētījuma metode, aizzīmogota","res-forge-record-timeline.ccf3d548fe":"Nolasīts atpakaļ","res-forge-record-timeline.de805f67e3":"Pieci kandidāti, viena dominances attiecība","res-forge-record-timeline.e4a8371aea":"Ieraksts, lasīts no kreisās uz labo","res-forge-record-timeline.e8412cdd3e":"Politika un autoritāte, kas to pamato","res-forge-record-timeline.eeb026e98f":"Pretpiemērs ierakstīts","res-forge-record-timeline.f4452aa131":"Pakāpiens un tvērums, ko šis pakāpiens aptver","res-forge-record-timeline.f65fb0cd45":"Sasniegta pārliecība","res-forge-search-field.f6d08e6875":"Relatīvie garumi, nevis skaitļi","res-forge-search-field.e9fd9a1eaa":"Kas atrodas laukā","res-forge-search-field.fbd8250bed":"UNCHANGED FOR THE WHOLE RUN","res-forge-search-field.6a38722b12":"THE REQUIREMENT","res-forge-search-field.dbd3e24a6c":"Kandidātu programmu formu lauks trīs stāvokļos ap vienu fiksētu prasību rāmi centrā","res-forge-search-field.0c596f1034":"xMidYMid slice","res-forge-search-field.7be0fdc4e0":"Uzbūvēts, pēc tam noķerts","res-forge-search-field.9545c5f30a":"Neizturēja gadījumu","res-forge-search-field.e247bbc42c":"Vispār netika uzbūvēts","res-forge-search-field.3d7da15c51":"Noraidīts pēc tipa","res-forge-search-field.70c98ed3c6":"Atļauts pārbaudīt","res-forge-search-field.35633f30dd":"Atbilst noteikumiem","res-forge-search-field.50c026300b":"Pieņemts","res-forge-silence-instrument.3bc40f4b2a":"Četri rezultāti, kas atgriežas bez programmas","res-forge-size-lattice.a82ce62110":"PLAŠĀKA VALODA, JAUNS EKSPERIMENTS","res-forge-size-lattice.74ed41aa02":"MINIMĀLS VALODAS L IETVAROS, IZMĒRĀ 5 VAI MAZĀK","res-forge-size-lattice.4ca63f9c2e":"NAV MEKLĒTS, NAV PRETENDĒTS","res-forge-size-lattice.b79d0fac18":"DEKLARĒTA ROBEŽA","res-forge-size-lattice.5e265fa4aa":"PIRMO REIZI PĀRBAUDĪTS","res-forge-size-lattice.92664d7dff":"novērojums, nevis pierādījums","res-forge-size-lattice.950b23b925":"sakļauts kā novērots dublikāts","res-forge-size-lattice.a615e7ad1a":"noraidīts pēc veida, pirms izvērtēšanas","res-forge-size-lattice.6f389bc568":"pieņemts","res-forge-specification-desk.65d9989d71":"PIERĀDĪJUMU VEIDI NAV SAVSTARPĒJI AIZSTĀJAMI","res-forge-specification-desk.166b5a63b2":"iztur visus četrus piemērus","res-forge-specification-desk.26a9ba5602":"x = -9","res-forge-specification-desk.5099050f90":"GADĪJUMS, KAS TOS NOŠĶIR","res-forge-specification-desk.561f36ce2f":"izpildāma atbilde ar saviem ierobežojumiem","res-forge-specification-desk.ca24d384c1":"orākula domēns: tikai no 0 līdz 100","res-forge-specification-desk.3cee30a3ad":"ATSAUCE","res-forge-specification-desk.0d99250013":"struktūra fiksēta, divi tipizēti caurumi atvērti","res-forge-specification-desk.c1dc5611bb":"atgriezt clamp(t,","res-forge-specification-desk.2e5baed7cb":"lai t =","res-forge-specification-desk.b3274ca07a":"lai s = scale(x)","res-forge-specification-desk.ebdeb573df":"SKICE","res-forge-specification-desk.c597bbdbc1":"katrs ievaddatu veids, ko teorija var izteikt","res-forge-specification-desk.15ac2f23db":"visiem x atbalstītajā domēnā:","res-forge-specification-desk.61ed10966f":"IEROBEŽOJUMI","res-forge-specification-desk.0ec3e255af":"četri gadījumi, pārbaudīti precīzi","res-forge-specification-desk.9659699670":"PIEMĒRI","res-forge-specification-desk.191f4bd034":"ierobežot mērogotu vērtību deklarētajā diapazonā","res-forge-specification-desk.4ad49a4ec4":"VIENA TRANSFORMĀCIJA","res-forge-specification-desk.d9b48caf78":"pārkāpj monotonitāti ārpus orākula domēna","res-forge-stack-path.4d5fa1b006":"Katra sistēma nolasa to pašu objektu, nevis tā kopiju, un tieši tas notur specifikāciju, pierādījumu, plānu un rezultātu uz vienas identitātes.","res-forge-stack-path.86506efb99":"rezultāta identitāte atgriežas pie tās grafa identitātes, no kuras tā sākās","res-forge-stack-path.c83a5945cb":"kur programma glabā verificētu stāvokli","res-forge-stack-path.55561848ab":"Aion","res-forge-stack-path.17ed2b5e88":"kur fiziskās sistēmas modelis ir daļa no specifikācijas","res-forge-stack-path.1699ca16fb":"FMI un Twin","res-forge-stack-path.d5f412e831":"Kera","res-forge-stack-path.3ab11b75ca":"Forge","res-forge-stack-path.11e7686a81":"Grafa identitāte","res-forge-stack-path.8e246a1e8d":"Uz Forge plāksnes nav redzams neviens mērķa emitētājs.","res-forge-technical-glyph.be601df25e":"Pētniecība","res-forge-technical-glyph.91a9d5d08f":"Specifikācija nemainīga","res-forge-technical-glyph.c2237a2d15":"Eksperimenta pakete","res-forge-technical-glyph.03d6a194f4":"specifikācija","res-forge-technical-glyph.e11523c5ff":"valoda","res-forge-technical-glyph.7b7f9366a3":"mērķi","res-forge-technical-glyph.f3753f1b6b":"nodrošinājums","res-forge-technical-glyph.9d78bc179c":"tipizēts grafu apgabals","res-forge-technical-glyph.2b90fe2fea":"laiks, kustība, izmērs","res-forge-technical-glyph.a8a172a738":"apstrīdēts","res-forge-technical-glyph.e1d96de67b":"Kandidātu kopums","res-forge-technical-glyph.6f389bc568":"pieņemts","res-forge-technical-glyph.a503bc1da2":"noraidīts","res-forge-technical-glyph.880949479a":"pārbaudīts","res-forge-technical-glyph.ec734b6515":"verificēts","res-forge-technical-glyph.61792020d0":"Mērķu fronte","res-forge-technical-glyph.096280facb":"viens atlasīts","res-forge-technical-glyph.9985d73a38":"Nodrošinājuma kāpnes","res-forge-technical-glyph.83ced341c8":"labi veidots","res-forge-technical-glyph.e38c2194b4":"formāli verificēts","res-forge-technical-glyph.275ed0c2c7":"izpildei saistīts","res-forge-technical-glyph.49794a5e29":"Atlasītais kandidāts","res-forge-technical-glyph.9e955c5620":"pretpiemēri saglabāti","res-forge-technical-glyph.74ef6c0061":"Nodošana Kera","res-forge-technical-glyph.bed97175b0":"plāns","res-forge-technical-glyph.37a5301a88":"rezultāts","res-forge-technical-glyph.96a6bf1d97":"verificēts grafs","res-forge-technical-glyph.b8d8aaff0a":"pierādījums pievienots","res-forge-technical-glyph.100ec4462d":"pierādījums","res-forge-technical-glyph.416eb4fbb0":"fronte","res-forge-technical-glyph.dd4fb84f32":"nezināmais ir rezultāts","res-forge-technical-glyph.3137db7c8b":"Nezināmais, neapmierināmais un neskaidrais ir rezultāti","res-forge-technical-glyph.d5f412e831":"Kera","res-forge-technical-glyph.00f6d27f5f":"DWEVE FORGE","res-forge-three-tries.ca6f569d32":"No kreisajā sarakstā nekas nekad netiek noņemts","res-forge-three-tries.48fce8a80b":"Trīs mēģinājumi ar vienu un to pašu problēmu","res-forge-three-tries.8805376577":"3. kārta ietver visu, ko atrada pirmās divas kārtas, un vēl vienu gadījumu.","res-forge-three-tries.da17ea9bb5":"Gadījumu saraksts, kārta pēc kārtas","res-forge-three-tries.8cc87a2190":"nav ko piebilst","res-forge-three-tries.36d5623704":"un pēc tam pierādīja","res-forge-three-tries.0f0b41cfe8":"Izturēja visus gadījumus","res-forge-three-tries.1e35a52de1":"3. mēģinājums","res-forge-three-tries.3b26ea5e3d":"tukšs saraksts","res-forge-three-tries.b8575badd2":"uz tukša saraksta","res-forge-three-tries.09fef5d8d9":"Neizdevās","res-forge-three-tries.969a17cecc":"2. mēģinājums","res-forge-three-tries.15d3c90fb9":"lielākais iespējamais skaitlis","res-forge-three-tries.f88b9a4765":"uz lielākā iespējamā skaitļa","res-forge-three-tries.ff31d219ef":"1. mēģinājums","res-forge-three-tries.f65e38d46b":"saraksts ar vienu vienību","res-forge-three-tries.e8741ca2e3":"saraksts, kas jau ir sakārtots","res-forge-three-tries.9450ac4e17":"īss saraksts","res-forge-three-tries.4d944a9d7e":"3. kārta","res-forge-three-tries.fa2b87ffe2":"2. kārta","res-forge-three-tries.f7648d3834":"1. kārta","res-forge-type-sockets.13fff86afe":"Divas darbības, viens savienojums","res-forge-type-sockets.2251b5f821":"Neierobežoti veseli skaitļi","res-forge-type-sockets.338ce27565":"Trīs kompozīcijas piedāvātas vienai tipizētai valodai","res-forge-type-sockets.3d7da15c51":"Noraidīts pēc tipa","res-forge-type-sockets.50c026300b":"Pieņemts","res-forge-type-sockets.5e5da2cd3c":"Tīkla piekļuve","res-forge-type-sockets.681bcaf5e4":"Atteikums uz šīs tāfeles neko nemaksā, jo nekas uz tās vēl nav novērtēts.","res-forge-type-sockets.7303a0d112":"Noraidīts pēc iespējas","res-forge-type-sockets.73841deb9d":"Slēgts šai izpildei","res-forge-type-sockets.76123e0c4c":"Otrajai darbībai nepieciešama iespēja, ko pakete nepiešķīra, tāpēc tā ir ārpus meklēšanas telpas.","res-forge-type-sockets.93c6a1f183":"Ligzda","res-forge-type-sockets.a1369155ac":"Failu piekļuve","res-forge-type-sockets.b4ae90c7f4":"Abas ligzdas nesatiekas, tāpēc no šī pāra nekad netiek salikts neviens kandidāts.","res-forge-type-sockets.b957ab83e5":"Izejas tips atbilst ieejas tipam, tāpēc kandidāts tiek salikts un var tikt novērtēts.","res-forge-type-sockets.c7303935a3":"Nepārbaudīta aizstāšana","res-forge-type-sockets.d3f0610632":"Rezultāts","res-forge-type-sockets.dbe18d2e48":"Valoda tiek izvēlēta kopā ar paketi un nemainās, kamēr notiek meklēšana.","res-forge-type-sockets.eb8606da6a":"Piedāvātā kompozīcija","research-forge.00274e0e63":"atteikts, kļūdas līgums","research-forge.002ff59811":"Jautājums","research-forge.005a8c4891":"Ieviesiet domēna nolūku, formālās metodes, aparatūras mērījumus vai neatkarīgu pārskatu. Forge nodrošina kopīgu pētniecības objektu programmu atklāšanas, pierādījumu un izpildes salīdzināšanai.","research-forge.008fef2a92":"Meklējiet atļauto darbību iekšienē.","research-forge.01038388dc":"Neatbildes paliek redzamas","research-forge.0109e7127b":"NEIESPĒJAMS","research-forge.0143790011":"plānošana un izpilde","research-forge.019d4e8e82":"Kas paliek patiess","research-forge.01f66c63e3":"Divus no pāriem nevar salikt, un valoda ir tā, kas to pasaka.","research-forge.01fc285874":"Atbildības pret Forge un Kera","research-forge.02ff5bf386":"Politikas pārskats","research-forge.0303c4bacd":"pieci lauki, kas fiksēti pirms pirmā kandidāta","research-forge.030afc5361":"Forge var saglabāt prasības versiju, svarīgos kandidātus, pretpiemērus, nodrošinājuma pārejas, mērķa fronti un politiku, kas izvēlējās vienu dalībnieku. Pēc diviem gadiem ieraksts joprojām atbild uz jautājumu, ko recenzents patiešām uzdod, proti, nevis kas tika uzbūvēts, bet kāpēc alternatīvas tika noraidītas. Taka ved vienā virzienā, un katru soli uz tās var izstaigāt atpakaļ: prasība, kas noteica panākumus, pārbaudītie un noraidītie kandidāti, kam bija nozīme, pretpiemēri un nodrošinājuma pārejas, mērķa vērtības, kas novietoja katru kandidātu uz frontes, un autoritāte, kas izvēlējās vienu no tiem. Nekas no tā nedzīvo blakus lēmumam. Tas ceļo kopā ar to.","research-forge.03102018f1":"Kandidāts ir strukturāli derīgs.","research-forge.03128bed90":"Verifikācija","research-forge.0393c06f67":"KANDIDĀTS","research-forge.0397a076c3":"Priekšnosacījuma pievienošana ir leģitīms solis, un tā rada jaunu specifikācijas identitāti, nevis rediģē veco. Agrākais eksperiments paliek ierakstā ar tam pievienoto neveiksmi. Pētniecības kopiena vispārējo ierosināšanas, izaicināšanas, precizēšanas modeli sauc par CEGIS.","research-forge.03bec6ab74":"Trīs formas","research-forge.04126cee0d":"Četri satiekas vidū, tāpēc virzīšanās uz vienu no tiem parasti kaut ko maksā uz cita rēķina.","research-forge.0428abce3e":"Ierobežoti pārbaudīts","research-forge.0432a371aa":"Nodrošinājuma politika","research-forge.04731f0ef3":"Tikai viena ass, relatīvais modelētais latentums. Joslas garums nav vispārējs rangs.","research-forge.04ae6467a0":"Nav secinājuma","research-forge.04bf9ee3c6":"nav izlaists no uzskaites","research-forge.04e9b5cd14":"šeit līdzās pastāv daudzi atvasinājumi","research-forge.04fa443e7b":"Garākais kritiskais ceļš","research-forge.05005f366c":"Forge pētniecība","research-forge.05625954d2":"lai kā meklēšana noritētu","research-forge.05d1c23f1f":"neveiksme sašaurina meklēšanu","research-forge.05db5a7f8a":"Specifikācijas versija, kurai bija jāatbilst katram kandidātam","research-forge.065d4a5b25":"Visi rada viena veida tipizētu kandidātu un nonāk vienā salīdzinājumā. Organizācija tāpēc salīdzina programmas, nevis meklēšanas metodes, un metode, kas atrada kandidātu, nedod tam nekādu priekšrocību lēmumā.","research-forge.07a688568e":"Mērķa artefakts","research-forge.0820b32b20":"Testēšana","research-forge.08b22e1ba0":"Viens līgums","research-forge.08cfb3e0f2":"Specifikācijas pārskats","research-forge.09496b01f9":"Nodošana","research-forge.09a3354e63":"Blakusnosacījumi","research-forge.09d053226c":"Sekojiet vienai meklēšanai","research-forge.0a3eb3abd3":"Iekšējā kalibrēšana","research-forge.0a5e7a0583":"Robeža","research-forge.0a799711ad":"Normalizēšana ietaupa meklēšanu","research-forge.0ab39d71e2":"Ekvivalence","research-forge.0ade2ace0d":"Katrs pretpiemērs","research-forge.0ae18773cb":"Pētniecības asistents","research-forge.0b101a23a3":"Asociatīvā pārgrupēšana","research-forge.0b81fbebb5":"Optimizācija vēlāk","research-forge.0ba4e46484":"Viens grafs","research-forge.0bc357c912":"NAV SEGTS","research-forge.0c19b6603f":"Nākotnes recenzents pārskata lēmumu no ieraksta, nevis rekonstruē to no commit ziņojumiem.","research-forge.0c6c9b91c5":"Jūs zināt to sajūtu, kad uzdevumam varētu būt vienkāršāka implementācija? Forge pārvērš šo jautājumu pētniecības darbplūsmā: dodiet tam ierobežotu specifikāciju, meklējiet kandidātu programmas un ierakstiet pārbaudes un mērījumus. 2025. gada ziņojums dokumentē eksperimentu, nevis ražošanai gatavu rezultātu vai publicētu etalonu.","research-forge.0d358c9749":"Divi testi, divas stiprās puses","research-forge.0db809cc66":"Nodrošinājums","research-forge.0e26aaf414":"Modeļa pārskats","research-forge.0e3c434842":"Testēts, ierobežots, pierādīts","research-forge.0ef3858209":"Ierobežotās pārbaudes ierakstītas","research-forge.0f1e49f0bf":"Piemēri ierobežo uzvedību uz ievadēm, ko jūs sniedzat. Loģiskie nosacījumi ierobežo katru ievadi, ko formālā teorija var izteikt. Skice saglabā arhitektūru, ko pētnieks nav gatavs nodot meklēšanai, un atstāj tajā tipizētus caurumus. Atsauces uzvedība nodrošina izpildāmu orākulu un nes sev līdzi paša orākula domēnu. Forge ieraksta, kura forma atbalstīja katru secinājumu, tā vietā, lai katru ievadi uzskatītu par vienādas stiprības specifikāciju.","research-forge.109bff6e75":"Specifikācija, nevis koda bāze","research-forge.1178a4ffb4":"Meklēt vēlreiz","research-forge.1181c3f399":"Pakešu pārraide arī norāda, kad apstāties: resursu robeža, nodrošinājuma slieksnis, kas kandidātam jāsasniedz, lai iekļūtu frontē, un ko palaišana ziņo, kad nekas to nesasniedz. Meklēšana, kas beidzas bez programmas, joprojām beidzas ar rezultātu.","research-forge.11c14ce16a":"Organizācija tad pieder nolūkam, nevis vienai tā izpausmei, un var pateikt, kāpēc tika izvēlēta konkrēta implementācija. Prasība kļūst par ilgnoturīgu aktīvu, un implementācija kļūst par rezultātu, ko tā var pārrēķināt, kad prioritātes mainās.","research-forge.11dd823248":"Šim ievades datam izveido šo izvadi.","research-forge.12c8d914cc":"Ko rezultāts nenosaka.","research-forge.13792d7c2a":"PIERĀDĪJUMAM IR ROBEŽA","research-forge.140b63310c":"Kandidāts C","research-forge.1462811ad5":"kandidāts, kas izskatās pārliecinošs","research-forge.151978bff3":"ieraksts katru reizi nosauc specifikāciju, slieksni un politiku","research-forge.15c2d33108":"Pētniecības integrācija izvērtēšanā","research-forge.15f1b08e56":"pierādījums, robeža vai noteikts ierobežojums","research-forge.16181ed76f":"Atļautās darbības, veidi, efekti un skaitliskā semantika","research-forge.161fa759f7":"Galīgā deklarētā valodā meklēšana var veidot kandidātus, palielinot izmēru, un noraidīt nederīgas kompozīcijas, pirms kāda no tām tiek palaista. Kandidātus, kas uz pašreizējiem pierādījumiem uzvedas identiski, var apvienot, lai ietaupītu darbu, kamēr ekvivalences apgalvojums gaida verifikāciju. Ja metode aptver visus labi veidotus kandidātus līdz noteiktajai robežai, pirmais verificētā programma nosaka izmēra minimalitāti šajā valodā un šajā robežā. Darbību kopas paplašināšana rada citu eksperimentu ar savu atbildi.","research-forge.169f619e4f":"Godīgā nozīmīte nes savu robežu, un robeža ir tās visnoderīgākā daļa.","research-forge.16a3fa00e3":"Atbalstītā simboliskā īpašība tika pierādīta saskaņā ar norādītajiem pieņēmumiem.","research-forge.16ec74fc0a":"CLEAR","research-forge.171ca0385a":"Uzvedība","research-forge.173315f506":"neviena josla šajā dēlī nebeidzas ar ģenerētu rezerves kodu","research-forge.17405ade0e":"Pārliecība ar tvērumu","research-forge.17a86caa5b":"Saistība","research-forge.17b8b28e9e":"nekad netiek traktēti kā savstarpēji aizvietojami","research-forge.17ecf461a5":"Problēma ir atrisināma","research-forge.1822a38ec8":"četri iemesli turpināt meklēšanu","research-forge.189ee02d36":"Godīga nepiegāde","research-forge.18d60fce22":"Nosaukta pārliecības pakāpe un tās tvērums","research-forge.18dd2ccb59":"Piecas daļas","research-forge.18e9128279":"Rezultāta nosaukšana notur problēmu tur, kur tai jābūt. Pretrunīgas prasības tiek atgrieztas tam, kurš tās uzrakstījis. Neskaidrs gadījums tiek atgriezts lēmuma pieņemšanai. Neatrisināta meklēšana tiek atgriezta ar lielāku budžetu vai citu metodi.","research-forge.18f906f6da":"Saglabāts uz visiem laikiem","research-forge.192ad837e6":"Fiksēta politika, nevis slēpts rezultāts","research-forge.19626a1e65":"Viss, kas neiztur vienu gadījumu","research-forge.1a23a7cddc":"Forge atrod","research-forge.1a66b5eeb6":"Partnera piekļuve","research-forge.1bb360f468":"Ierobežots","research-forge.1bb90c04d2":"Neveiksme, kas rada konkrētu ievadi, meklēšanai ir vērtīgāka par neveiksmi, kas rada rezultātu.","research-forge.1bf39cee63":"Ātrāks, mazāks, liesāks","research-forge.1bff62bf9b":"Metodei pietrūka vietas. Cita metode vai ilgāks izpildes laiks var to atrisināt.","research-forge.1c013851a3":"Ko ieraksts satur","research-forge.1c56ea452a":"Četras specifikācijas kartītes, kas apraksta vienu un to pašu mazu transformāciju, ar vienu gadījumu, kur divas no tām atšķiras","research-forge.1c56fd19d7":"Viens atklāts gadījums","research-forge.1c82340479":"apgalvojumu var rūpīgi izvērtēt","research-forge.1c875de71f":"Tā ir pārvaldības īpašība tikpat lielā mērā kā tehniska. Brīdis, kad divi prasības lasījumi atšķiras, ir tieši tas, kur nepieciešams ieinteresētās puses lēmums, un tas ir daudz lētāk, pirms implementācija ir uzbūvēta ap vienu no tiem.","research-forge.1c9bbc4b77":"Saglabā alternatīvas, līdz politika ir pierakstīta.","research-forge.1cb61a389f":"mainīts lauks ir jauns eksperiments, nevis labots","research-forge.1ccf5d25df":"Specifikācija","research-forge.1cdd46cd0e":"Lasīt pētniecību","research-forge.1d17812687":"Četri ievades, četras dažādas garantijas","research-forge.1d2c6fe888":"visi pieci vai neviens","research-forge.1d444e826a":"Kera darbības","research-forge.1d9b3bd5d3":"Zemākā latentums","research-forge.1d9d3e69fa":"Rust, C, Verilog","research-forge.1e269ebac7":"Viena transformācija","research-forge.1e748c3e4b":"maini mezglu un tev ir jauns kandidāts, pierādījuma saistībai sekojot mezglam","research-forge.1ecdc691a8":"pelēkotais maršruts rada kaut ko lasāmu, un neko, ar ko to pārbaudīt","research-forge.1ed77c3f7f":"Protokols","research-forge.1fd9da00a7":"Politika un autoritāte, kas izvēlējās vienu kandidātu.","research-forge.2030fae2a7":"Trīs veidi, kā to pateikt","research-forge.2040757c11":"Cranelift, vietējā veiktspējas mērīšana","research-forge.2041447f84":"tikai meklēšana","research-forge.206009c4a7":"Piecas politikas","research-forge.20cb7eef2c":"Ārpus modeļa","research-forge.2154ca1eb7":"Katrs no tiem ir rezultāts ar citu nākamo soli. Forge ieraksta spēcīgāko stāvokli, ko tas var pamatot, un nosauc, kam būtu jāmainās, lai to pārspētu.","research-forge.21a0ffd68c":"atklātie jautājumi ir lapā","research-forge.21efbc283d":"Ātrums, atmiņa, sasniedzamība un pierādījumi","research-forge.220b9c622c":"Sintezēt","research-forge.2354ab0ba0":"pirms programmas ierosināšanas","research-forge.235bfff3a2":"Pētniecības programma","research-forge.236656bf91":"Pilnvaras","research-forge.23d4ef785c":"5. izmērs","research-forge.243dcbef8c":"plānošana un emisija zem","research-forge.24a264b83c":"Divi kandidāti, četri mērķi","research-forge.24c0bda2ba":"Vistiešākais audita ceļš","research-forge.24cb5be0b0":"lēmums saglabā savus pamatojumus","research-forge.24d50592b7":"Mērķi","research-forge.2550b1dcad":"Atbildība","research-forge.25754f1c93":"pētniecības programma, nevis programmatūras piedāvājums","research-forge.258195bb3d":"Viena identitāte","research-forge.25c843b80e":"Tas padara valodu par divām lietām vienlaikus. Tā ir efektivitātes mehānisms, jo lielākā daļa telpas nekad nav jāvērtē. Tā ir arī robeža ap nodomu, jo tā jau iepriekš nosaka, kam mašīnai ir atļauts piekļūt.","research-forge.25fa97aa1a":"Tas nenorāda, vai šis ceļš ir ātrākais, visefektīvākais, vispārnēsājamākais, visvieglāk auditējamais vai tāds, ko organizācija spēj uzturēt. Tie ir atsevišķi jautājumi ar atsevišķiem pierādījumiem.","research-forge.261c22b85c":"Inženieru organizācija parasti apņemas vienu ieviešanu ilgi pirms tā var pateikt, vai šis dizains ir ātrākais vai visvieglāk pārbaudāmais. Forge pēta secību, kurā specifikācija ir ilgnoturīgs aktīvs, bet ieviešana ir meklēšanas rezultāts, starp kuru izvēlas noteikta politika.","research-forge.26369471c9":"Precīza ekvivalence, ierobežota skaitliska sakarība vai efekta ekvivalence, katra noteikta ar verifikāciju.","research-forge.267f81bab8":"Kam programmai ir atļauts piekļūt","research-forge.277b67c1e8":"un kas tai būtu nepieciešams","research-forge.27f11f9fe1":"aizzīmogots mezgls joprojām publicē savus ievades datus, izvades datus un savu identitāti","research-forge.27fab35201":"Nosaukta neatbilde ir noderīgāka par ticamu programmu.","research-forge.280c5e7fc6":"Divi lasījumi","research-forge.281dd83602":"Paplašināt","research-forge.282bd862f4":"Kandidāts B","research-forge.2877a09f30":"vairākas atbildes var būt pamatotas","research-forge.287b80caae":"pareizība neizvēlas","research-forge.294b4c06ac":"Kandidātu telpa","research-forge.296e71a0fb":"Kandidāti pēc izmēra ierobežotā valodā, parādot pieņemtos, noraidītos un sabrukušos stāvokļus, pirmo verificēto kandidātu un deklarēto robežu, ko apgalvojums nes","research-forge.297f419e18":"Tas nedrīkst vājināt uzvedību, pievienot efektu, ko pakete nav deklarējusi, vai pārvērst neatrisinātu pierādījuma stāvokli par panākumu. Optimizācija ir brīvība robežas iekšienē.","research-forge.29c69b4a35":"vai vieglāk pārbaudāms","research-forge.29fea3a06d":"Ko tas nosaka","research-forge.2a03a4b73a":"Neizlemts","research-forge.2a729227ad":"Viena izteiksme paplašināta par ekvivalentu formu tīklu ar nosacījumiem uz malām, un trīs ieguves mērķi izvēlēti pēc tam, kad telpa pastāv","research-forge.2a965a37b7":"Tas ir politikas lēmums, un tas ir jānorāda, nevis jāsecina.","research-forge.2a965accf1":"Mazākā programma, ko valoda atļauj","research-forge.2ad40f7952":"Kompromisi kā pārvaldības objekts","research-forge.2b27b7aec8":"Pierādījumu vadīts","research-forge.2b3a5e307c":"Semantisks","research-forge.2b7d95b8c6":"Kuru kompromisu vēlaties","research-forge.2b9c801e9e":"atlase paliek skaidra politika","research-forge.2bdb5e4d73":"Forge beidzas ar izvēlētu semantisko grafiku un tā pierādījumiem. Dweve Kera saņem šo grafiku, plāno atbalstītu izpildi un izstaro mērķa artefaktu, ar darbības nozīmi, efektiem, īpašumtiesībām, skaitlisko līgumu un pierādījumu saistībām, kas pievienotas pārejas laikā. Tā pati disciplīna savieno Forge ar pārējo Dweve steku: Aion, kur programma saglabā verificētu stāvokli, Reed un Selvedge apkārtējās sistēmas darbam, FMI un Twin, kur fiziskās sistēmas modelis ir daļa no specifikācijas.","research-forge.2c8c94c95f":"ne tikai tas, kas tika uzbūvēts","research-forge.2c9ebecf8b":"Meklēšanas orķestrēšana","research-forge.2cb597863b":"Ātra programma, kas ir nepareiza, joprojām ir nepareiza.","research-forge.2cd3174fc9":"rezultāts nosaka nākamo jautājumu","research-forge.2cff331976":"Atklāšana un pierādījums augšpusē","research-forge.2d24e0a549":"Un dažreiz","research-forge.2d3231ce48":"Neskaidrība","research-forge.2da600bf94":"Versija","research-forge.2daa013c1b":"Tipēts semantiskais grafiks, nevis avota teksts","research-forge.2dd3547872":"pilnīgs robežās","research-forge.2dfcf898a3":"Salīdzinājums","research-forge.2e140f6f42":"Politikas atlase","research-forge.2ea3bb9377":"Pievienojieties pētniecības partneriem","research-forge.2f24ebaee0":"Apcirpt","research-forge.2f65736593":"(a * 2) + a","research-forge.2f81a22de0":"Piekļuve","research-forge.2f89346f05":"Peldošā pārgrupēšana","research-forge.2f906454d9":"Katra forma atbild uz citu jautājumu, un pētniecības ieraksts norāda, kura nes apgalvojumu.","research-forge.30833f759b":"Plānošana un samazināšana","research-forge.3107902192":"Pieci kandidāti","research-forge.310e8151df":"no apraksta līdz pierādījumam","research-forge.31139f400a":"minimāli <= 5","research-forge.3146c89579":"kura atbildība gulstas uz kuru pusi","research-forge.3179a54130":"Piemēri, noteikumi un daļēja programma, nevis soļi","research-forge.31c2157a1c":"Viens semantisks grafs, parādīts kā grafs, kā izteiksme un kā datu plūsma, ar identitāti nemainīgu visās trijās, un viena mezgla maiņas ietekme","research-forge.320ce22925":"Spēcīga, attiecībā uz apgalvojumiem","research-forge.3218fcc602":"Pierādījumu kompozīcija","research-forge.32438a2b70":"Liec automatizētai atklāšanai strādāt","research-forge.32d888fecc":"Izpilde saistīta","research-forge.32ec2eb506":"Tipu vadīts","research-forge.32fd056d3d":"Skice","research-forge.32fe9f5bda":"Sēkla","research-forge.331a390a95":"Ieraksti, ka garantiju nevar pamatot tā, kā tā formulēta.","research-forge.332fafafd4":"Vairākas programmas ir optimālas","research-forge.337cd4ef85":"un aizsargāt pēc tam","research-forge.3407af8c74":"Formas viena otru pastiprina. Piemēri padara loģisku līgumu lasītājam saprotamu. Ierobežojumi neļauj kandidātam pārmērīgi pielāgoties parādītajiem gadījumiem. Skice notur drošības struktūru fiksētu, kamēr aritmētika vai datu plūsma vienā reģionā paliek atvērta atklāšanai.","research-forge.3554ae9f37":"Grafs pierādījums nav automātiski pierādījums patvaļīgam kompilatora izvadam, tāpēc izpildes saistība reģistrē grafu, plānu, artefaktu un rezultātu kopā. Forge tad var pētīt atklāšanu, neapgalvojot, ka pieder emitētājs.","research-forge.356258d8cf":"Pareizība iegūst vietu kompromisa diskusijā.","research-forge.357a580465":"paplašināšana ar nosacījumiem","research-forge.3631815377":"kas saglabā","research-forge.3647998e09":"relatīvais modelētais latentums vienā robežlīnijā","research-forge.3662b6cd93":"Optimizācija ir brīvība robežās, kas vispirms tika pierakstītas.","research-forge.3678b75177":"Pierādījuma enkurs","research-forge.3697e2badd":"Tā pati robežlīnija, četras aizstāvamas atbildes","research-forge.3750b1e26e":"Viena prasība","research-forge.378b19c94c":"un universālas īpašības","research-forge.37a1d3ddee":"Meklēšanas mērogs","research-forge.37b658da82":"kas ir noteikts un kas paliek atvērts","research-forge.37d9b94afa":"Recenzents var sekot ķēdei no gala līdz galam, neatverot nevienu aizzīmogotu mezglu.","research-forge.37e5ec20ed":"Klusums skaitās","research-forge.37e8f995e7":"Nosaukta neatbilde arī dod iestādei konkrētu punktu, uz ko reaģēt. Tā norāda, kura klauzula konfliktē, kura uzvedība bija nenoteikta, kura teorija nebija pieejama vai kurš budžets beidzās, un tātad, kam būtu jāmainās.","research-forge.3856f4eb7c":"Metode nesasniedza secinājumu savās teorijas un resursu robežās.","research-forge.387b54720d":"Pakāpiens, kas rezultātam jāsasniedz, pirms tas skaitās","research-forge.38b07c05cf":"Viena garantijas kāpnes ar diviem kandidātiem, kas atrodas dažādos pakāpienos, un atvilktne, kas parāda, ko katrs pakāpiens pārbaudīja, pieņēma un nenosaka","research-forge.391bc6cb44":"Pierādījums saglabā savu robežu","research-forge.396c19de10":"Četri veidi, kā prasība pretojas programmai","research-forge.39727bd48f":"atpakaļ uz sintēzi","research-forge.3977816414":"pierādījumi izšķir","research-forge.39d6a0ddc5":"Kādus lēmumus meklēšana drīkst pieņemt tavā vietā?","research-forge.39fdec1194":"Testi","research-forge.3a06f841f3":"Tas ir pārbaudīts ārpus dotajiem piemēriem.","research-forge.3a4be7155b":"Alternatīvas","research-forge.3ab11b75ca":"Forge","research-forge.3b08754530":"Forge sākas no uzvedības apraksta, nevis no pieprasījuma pēc koda. Tu vari dot tam piemērus, noteikumus, kam jāpastāv vispārīgi, vai daļēji uzrakstītu programmu ar atstātām atvērtām sarežģītajām daļām. Jebkurš no tiem dod mašīnai kaut ko, pret ko to var mērīt, un kaut ko, ko tā var redzami neizpildīt.","research-forge.3b0896e4b0":"Atbalstītajiem Kera līgumiem tīra izpilde atkārto bitus identiski bez sēklas, ieskaitot aptvertos peldošo ģimeņu ceļus. Ja programma apzināti patērē nejaušu stāvokli, šis stāvoklis ir deklarēta ievade, un tā atkārtota izmantošana reproducē visu izpildi.","research-forge.3b8be5e1a9":"pierādīts platums","research-forge.3bb1fa9d93":"ir viens punkts telpā","research-forge.3bb59d3903":"Noteikts","research-forge.3bcf82f6df":"Latentums ir dimensija","research-forge.3bdab018c4":"Pārbaudīts vienmēr ir ar otro pusi: saskaņā ar šiem noteikumiem, šīm ievadēm.","research-forge.3bf08a84f1":"MOVE","research-forge.3bf4aa62c6":"Viens grafs, divi plāni, viena identitāte","research-forge.3c37add762":"Labi veidots","research-forge.3d3349e560":"ko iestāde izlemj pirms meklēšanas","research-forge.3d85b7b35e":"Četri mazi gadījumi, katrs beidzas bez programmas cita iemesla dēļ, parādot, kas tika prasīts, kas notika un kas to mainītu","research-forge.3d8dc8dd37":"Nes vienkāršāku pārbaudes ceļu","research-forge.3d9d45c6fc":"un pierādīt nepareizo modeli","research-forge.3dbbac272c":"Pretpiemēri un pierādījumu stāvoklis","research-forge.3e0fb17cab":"Noskaidrot","research-forge.3e39972526":"Latentums","research-forge.3e9492ab1e":"Grafs, plāns, artefakts un rezultāts paliek saistīti.","research-forge.3f1ea4240e":"Pieņēmumi ir daļa no rezultāta, nevis sīkais drukāts teksts zem tā. Pierādījums par precīziem veseliem skaitļiem neko nepasaka par decimāldaļām. Pierādījums par pašpietiekamu aprēķinu neko nepasaka par pakalpojumu, par kura esamību tas nekad nav informēts.","research-forge.3f2151a870":"Izmēri no viena līdz sešiem","research-forge.3fd8fb2e1a":"Darbības, veidi, formas, efekti un iespējas, ko kandidātam ir atļauts izmantot.","research-forge.3fe459f958":"Nekas neder","research-forge.40100e1934":"Nedominējošie kandidāti","research-forge.4025ca409c":"Pārvaldi savu sniegumu","research-forge.408f0af557":"Atvasināšanas grafs no specifikācijas līdz izvēlētajam pierādījumam, ar iekšējām metodes darbībām aizzīmogotām, bet savienotām, un īsākais ceļš, kas atskaņošanai faktiski jāatveido","research-forge.40d33b38ad":"Neviens no tā nav vēlāk pievienots izņēmums. Tas ir rezultāta saturs, tāpēc ieraksts liek pakāpienu un tā darbības jomu vienā vietā un tāpēc neviena kontrole nevar to paaugstināt.","research-forge.40f800b699":"Robeža pieder mērķu kopai, kas to radījusi. Pievienojot enerģiju paketei, var atgriezties kandidāts, kas iepriekš bija dominēts, un tā ir jautājuma īpašība, nevis izmaiņas kādā programmā.","research-forge.4141bac3ca":"un ļauj programmai mainīties","research-forge.418cdd48b7":"Novērotie gadījumi","research-forge.41978064b8":"Apspriest sadarbību","research-forge.41a3ff09e5":"Norādīt uzvedību","research-forge.4288fa85e0":"Kas ir noskaidrots un kas ir atklāts","research-forge.42c7f4ea4d":"Rāmis nekustas","research-forge.42e742546a":"un pārbaudīts nav pierādīts","research-forge.43093ca0db":"Pierādījuma darbības joma, strukturālā vienkāršība, pierādījumu izmaksas","research-forge.435e8ecece":"viena programma reti uzvar visās četrās","research-forge.436fb3032c":"Secināt","research-forge.437b348524":"Secība, kādā tie notiek","research-forge.437bcb1511":"Enerģija","research-forge.439f7b365e":"Pētniecības dokumenti","research-forge.43d54e530d":"Vai kodētā prasība atbilst tam, ko organizācija patiešām vēlas?","research-forge.43d8879a8c":"izpildes saite ir tas, kas saista pierādījumu ar to, kas faktiski tika izpildīts","research-forge.4412dd5d66":"Neiespējamais un neizlemtais tiek ziņots, nevis pārvērsts kodā.","research-forge.4475dded01":"Viena implementācija","research-forge.44ab85a252":"Izcelsme","research-forge.450d52d3ef":"Meklēšanas","research-forge.4585404748":"kandidāts, kas apstājas pie pārbaudīta, tiek ziņots kā pārbaudīts","research-forge.45aaefd6f4":"Četri pārskati","research-forge.4646f9193d":"Labi veidots nav pārbaudīts","research-forge.4651a34e4d":"Darbības joma","research-forge.466fc49274":"Saglabāt","research-forge.46ed5f573e":"Skatīt pētniecību","research-forge.4719d38f14":"Vairākas uzvedības atbilst sniegtajiem pierādījumiem un atšķiras citur.","research-forge.472643c4ca":"Viens kandidāts dominē pār citu tikai tad, ja tas nav sliktāks nevienā aktīvajā mērķī un labāks vismaz vienā. Dominējošie kandidāti atstāj aktīvo robežu. Tie, kas paliek, ir visi aizstāvami atbildes uz vienu un to pašu specifikāciju, un izvēle starp tiem ir politikas lēmums, ko ieraksts saglabā, nevis aprēķins, ko meklēšana veic klusi.","research-forge.472bff45c9":"Viena forma lielākā vienādas uzvedības telpā.","research-forge.473161067f":"Atlases politika","research-forge.47942077ae":"Vienkāršākais pierādījums","research-forge.47b74866d6":"Pārbaudīt pareizību","research-forge.47bcc2a36a":"Dažreiz divas lietas, kas tika prasītas, nevar abas būt patiesas. Dažreiz piemēri pieļauj divas dažādas uzvedības, un nav iespējams noteikt, kura bija domāta. Dažreiz problēma ir vienkārši grūtāka, nekā metode var atrisināt dotajā laikā. Forge ziņo par katru no tām tādu, kāda tā ir, un saka, kam būtu jāmainās. Neskaidrs gadījums parasti prasa vēl vienu piemēru, nevis lielāku budžetu.","research-forge.47cda15a5a":"Kera: kā","research-forge.47da6f0838":"Sastādīt","research-forge.48298eb992":"Meklēšana var aizstāt darbības, pārstrukturēt datu plūsmu, sapludināt reģionus, noņemt pārvietošanu un nonākt pie implementācijas, kas nevienam pētniekam nebija prātā. Viss tas ir atļauts, un lielākā daļa no tā ir būtība.","research-forge.483bf2075c":"Publicēts","research-forge.4901e146cd":"Salīdzināt izmaksas","research-forge.490d255908":"prasība paliek stabilais objekts","research-forge.49df3ec7de":"Darbojas uz vairāk atbalstītām mašīnām","research-forge.4a828b8ab7":"Pētniecība, Forge","research-forge.4ab1a4f190":"Kandidātam, kas ieradās pirmais, nav nekādas nozīmes lēmumā, izņemot tā paša pierādījumus.","research-forge.4aebc33326":"Četri pārskati pirms apgalvojuma","research-forge.4b01608cdc":"Meklēšana nekad nerediģē paketi, lai glābtu kandidātu.","research-forge.4b1960c2fb":"Sistēma, kas ir spiediena apstākļos ražot kodu, ražos kodu. Tas pārvērš neatbildētu jautājumu par programmu, kas kādam tagad jāuztur, un nenoteiktība nepazūd, tā pārvietojas uz vietu, ko grūtāk saskatīt.","research-forge.4bca6a7cdb":"Kur programma sākas","research-forge.4c175158a6":"Saistīts rezultāts","research-forge.4c1e9313aa":"Viens baseins","research-forge.4c39a99d3d":"Pieci pakāpieni","research-forge.4c6bdedadc":"avots paliek projekcija","research-forge.4cb3bb0fc4":"Ātrākais","research-forge.4d0ff72eb2":"Kādam testēšanas vai pierādījuma līmenim rezultātam ir jāsasniedz?","research-forge.4d6864f9a3":"Četras robežizvēles","research-forge.4d7f210eef":"Trīs kandidāti pārbaudīti pret gadījumu sarakstu, kas katrā kārtā papildinās ar vienu neizturētu ievadi, un nekas no saraksta nekad netiek noņemts","research-forge.4db6c46b80":"katra sistēma lasa vienu un to pašu objektu, nevis tā kopiju","research-forge.4e4bed5372":"Nekad ieslēgts","research-forge.4e76f5796f":"Vismazāk apjomīgais","research-forge.4e90808185":"Četri veidi, kā izpilde var beigties","research-forge.4e9a44aeb4":"Pasakiet, kam būtu jānotiek","research-forge.4ec9cc4f2f":"Pārbaudīta programmu atklāšana","research-forge.4f9c4e1fdb":"Pirmais pareizais kandidāts pierāda, ka problēma ir atrisināma. Tas var būt arī liels, lēns, atmiņu ietilpīgs, grūti pārbaudāms vai piesaistīts vienai izpildes videi. Forge to uzskata par pierādījumu, nevis par atbildi, un turpina meklēt tās saimes, kuras cita meklēšanas uzvedība būtu sasniegusi vispirms.","research-forge.4faae9b4e9":"ir atšķirīgi apgalvojumi","research-forge.4fe6240efb":"Vai izpildes mērķis atbilst semantikai, kas tika pierādīta?","research-forge.500d19ed3e":"Nākamajam kandidātam jāapmierina stingrākā kopa.","research-forge.505ddba0dc":"mašīna pasaka to, ko tā zina","research-forge.506f370762":"malu nosacījuma nozīmīte nosaka, vai ieguve drīkst to izmantot","research-forge.50e944749f":"WIDE","research-forge.50f771745f":"Vai tas ir labs risinājums","research-forge.512f83ac42":"Trīs kandidāti pārbaudīti pret pieaugošu saistību kopu, ar pretpiemēru, kas katru beidza, un divām leģitīmām atbildēm uz neveiksmi","research-forge.516f075235":"Četras pareizas programmas, četri veidi, kā vienai dot priekšroku","research-forge.5183317474":"Brīvība","research-forge.52550c8d07":"Ieraksts atbild, kāpēc","research-forge.528d188e2a":"Nepieciešamais pierādījuma līmenis","research-forge.52e68a873a":"Ierobežojumi","research-forge.531e01782f":"Atrisiniet konfliktējošās prasības, ko pierādījums identificēja.","research-forge.536a08d31b":"FAST","research-forge.541a19b522":"Robeža ir tas, kas padara apgalvojumu precīzu. Grafa pierādījums ir šī grafa pierādījums, tāpēc izpildes saistība reģistrē grafiku, Kera plānu, artefaktu un rezultāta identitāti kopā, nevis pieņem, ka pierādījums ceļoja līdzi izvadei.","research-forge.546130711a":"Dweve pētniecības programma","research-forge.54a351154f":"Minimālums ir ierobežots apgalvojums. Tas attiecas uz darbībām, tipiem un struktūrām, ko pakete atļāva, līdz izmēram, ko izpilde sasniedza. Tas neko nepasaka par valodu, ko eksperiments nedeklarēja, un darbību kopas paplašināšana rada jaunu eksperimentu ar savu atbildi.","research-forge.550d4ccba7":"Skaitliskā saime, secība, stāvokļa modelis un ārējie nosacījumi, ko izpilde pieņem.","research-forge.551fea67e6":"Apraksts nāk pirmais, un ieviešana paliek atvērts jautājums pēc iespējas ilgāk.","research-forge.5521ea4314":"mērķa pievienošana var atgriezt dominētu kandidātu, kas ir fakts par jautājumu","research-forge.5549dc87d0":"Ne katra specifikācija","research-forge.5601f89af7":"kandidāts, kas vienkārši izskatās pareizs","research-forge.563591cebc":"Cik ātri programma pabeidzas","research-forge.56abd17a41":"Kad nekas neatgriežas","research-forge.577d56824d":"TRĪS GĀJ IENI","research-forge.58357eb5f1":"stingrāki apgalvojumi prasa stingrākus pierādījumus","research-forge.584e0ea86c":"vektors apraksta kompromisu","research-forge.58c379fdea":"Izmēra ziņā minimāls","research-forge.59df8e27c4":"Saglabājiet prasību","research-forge.5a0ba3bb83":"Līgums","research-forge.5a2827f530":"Četri gredzeni","research-forge.5a314063cc":"kā vājš kandidāts asina jautājumu","research-forge.5ab1aaea94":"NESKAIDRS","research-forge.5b1142d090":"Budžeta sadalījums","research-forge.5b141d8cb7":"Pārbaudīts saskaņā ar šiem noteikumiem","research-forge.5b2a7fb11c":"Atklāt","research-forge.5b3facb840":"Četras vienāda svara saimes, un pakete nosaka, kuras ir aktīvas.","research-forge.5b5d8a5af8":"Ierakstiet konkrēto gadījumu un īpašību, ko tas pārkāpa.","research-forge.5b6a58fb9f":"Lēts, meklēšanai","research-forge.5b78187e47":"nav pareizs visās pasaulēs","research-forge.5b8955c7bc":"Programmas atrašana","research-forge.5b92885b2d":"Inženiertehniskā komanda var izvēlēties locekli ar zemāko latentumu. Regulēta programma var izvēlēties tīrāko apliecinājuma ceļu. Izvietojums, kas izkliedēts pa jauktu aparatūru, var izvēlēties visplašāko mērķa atbilstību. Visi trīs izvēlas no vienas pārbaudītas kopas.","research-forge.5c1be9b227":"Apgalvojums ir atkārtojams","research-forge.5c262f33db":"Beidzas","research-forge.5c46a60955":"Kā darbs tiek sadalīts","research-forge.5c9d4874c3":"Kurus ievades un kuru apkārtni apgalvojums aptver.","research-forge.5ce01f3b67":"Programma publicē to, ko tās pierādījumi atbalsta, un patur savu pētniecības metodi kā pētniecību.","research-forge.5dfcf1dcc0":"Viena identitāte, trīs attēlojumi","research-forge.5dfe750940":"Pārbaudāms","research-forge.5e0d7f4f07":"Forge ir Dweve pētniecības projekts. Tā iekšējais meklēšanas portfelis, formālās spriešanas ieviešana, transformācijas zināšanas, mērķu kalibrēšana un orķestrēšana ir daļa no šīs pētniecības. Programma publicē jautājumu, protokolu, rezultātu un tā apliecinājuma stāvokli atklāšanas līmenī, ko pierādījumi atbalsta. Sadarbība sākas ar ierobežotu sintēzes jautājumu. Tiek izsekoti pieci apgalvojumi ar to stāvokli, trīs no tiem atrisināti un divi vēl atvērti, un atvērtie ir lapā, nevis izlaisti no pārskata.","research-forge.5e22dbb195":"Trīs pāri","research-forge.5e3db9c4c0":"Pretpiemēra vadīta pilnveide","research-forge.5eb51a7a2a":"Sekojiet pierādījumiem, ne tikai programmai, kas iznāca.","research-forge.5eede4abda":"Plašākā mērķa atbilstība","research-forge.5f174de1cc":"Pierādījums","research-forge.5f20d0f3ac":"Neizpildāms","research-forge.5f94916c54":"Skatiet institucionālo gadījumu","research-forge.5faa59d4bc":"Rezultāts","research-forge.5ff1729499":"pirms teikt, kā","research-forge.603a007e8b":"un alternatīvas aizveras","research-forge.60508aeb3d":"Kur uzdot jautājumu","research-forge.60539e2c57":"Kur atrodas risks","research-forge.6066a49124":"Šī ievade pievienojas kopai, kas katram kandidātam jāizpilda.","research-forge.60e5c23b14":"Tipizēts","research-forge.616d1d1b2a":"Piecas preferences","research-forge.61792020d0":"Objektīvā robeža","research-forge.61988aaea3":"Eksperimenta pakete","research-forge.61a0ae3b84":"Ierobežojumi","research-forge.61ad50a9b9":"Mērķis","research-forge.61c2d00a1e":"Specifikācijas formas","research-forge.61d0fdeb05":"Deklarētā saskarne, tās tipi un formas.","research-forge.61e2187199":"Pēc pirmās derīgās programmas","research-forge.625ba6f153":"FIT","research-forge.62c4bc1315":"Divas joslas no vienas prasības","research-forge.6320f96544":"ļaujiet mašīnai atrast, kā","research-forge.636f4e740e":"reti ir pilnā atbilde","research-forge.63ed4981dc":"Pareto","research-forge.63f0dfcfef":"Prasība, kas sadalīta klauzulās, ar četrām joslām, kas parāda, kuras klauzulas radīja neizpildāmu, neskaidru, nezināmu vai ārpus darbības jomas rezultātu, un darbību, ko katra prasa","research-forge.64269f9bd2":"TIME","research-forge.647c656679":"Divi kandidāti var sakrist kā teksts, sakrist pēc grafiku normalizēšanas vai apmierināt to pašu novērojamo uzvedību saskaņā ar deklarēto līgumu. Tie ir trīs dažādi apgalvojumi, un tikai pēdējais kaut ko saka par to, ko programma dara.","research-forge.649ed30fda":"Darbības joma ceļo kopā ar apgalvojumu. Pierādījums par precīzu veselu skaitļu semantiku neapliecina peldošā komata uzvedību. Tīras funkcijas pierādījums neaptver ārēju pakalpojumu, kas nekad netika deklarēts. Pārbaudīts grafiks, kas modificēts pēc pierādījuma, ir jauns kandidāts, kuram vēl nav pievienots pierādījums.","research-forge.64bcb871de":"Pretpiemērs var atklāt vairāk nekā ieviešanas defektu. Tas var atklāt izlaistu priekšnosacījumu, malas gadījumu, par kuru neviens nebija izlēmis, vai divus prasības lasījumus, kas abi bija saskaņā ar piemēriem. Ieraksts nosauc, kuru no tiem pētnieks pēc tam mainīja.","research-forge.64c0978f0e":"Atvērts, un iemesls, kāpēc programma pastāv: cik liels pārbaudīts grafu reģions var lietderīgi kļūt, kuras specifikācijas formas ir precīzas mašīnai un praktiskas cilvēkam, kā daļēji pierādījumi komponējas caur optimizāciju un plānošanu, un kuri mērķi prasa izmērītu aparatūras atgriezenisko saiti.","research-forge.64d22c2e4e":"Forge nosaka pētniecības problēmu, pirms pastāv kāds kandidāts. Viena pakete nosauc specifikāciju, atļautās darbības un tipus, efektus un skaitlisko semantiku, mērķa dimensijas, meklēšanas robežas un nodrošinājuma politiku, kas rezultātam jāsasniedz. Kandidātu var vērtēt tikai pret jau izteiktu problēmu, kas padara paketi par pareizības daļu, nevis konfigurāciju ap to. Pakete arī saka, kad apstāties: resursu robeža, nodrošinājuma slieksnis, kas kandidātam jāsasniedz, un ko izpilde ziņo, kad nekas to nesasniedz.","research-forge.64f4056c85":"Politika redzama","research-forge.657c02a2ae":"Prasība paliek fiksēta","research-forge.664243d1c2":"Specifikācijas formas pret to, ko katra nosaka","research-forge.66b4132999":"Apspriest sintēzes jautājumu","research-forge.66c7af05f3":"Forge padara pieņēmumus pārbaudāmus, un cilvēki joprojām tos pārvalda.","research-forge.66c95e7fc7":"Aizzīmogots","research-forge.66cd84bcef":"formas nāk un iet, un rāmis vidū ir tas pats visu laiku","research-forge.6703a68b0c":"politika nosauc dalībnieku","research-forge.6767e55d00":"Pirmais derīgais","research-forge.681b5b5ae1":"Pieejamība","research-forge.6848ce552e":"Iznākumi","research-forge.68ad9d9693":"Kas paliek fiksēts","research-forge.693f74e1e9":"Forge un Kera robeža","research-forge.6978e0d16d":"Nekāda programma vispār var būt godīgs rezultāts","research-forge.6989b87ddb":"Tāpēc cilpa kļūst tikai stingrāka. Katra kārta sākas ar visu, ko iepriekšējās kārtas noteica, plus jauno gadījumu, tāpēc kandidāts nekad nevar uzvarēt, aizmirstot agrāku neveiksmi.","research-forge.699425d26b":"Izlasi metodi","research-forge.69da6fa492":"Piemēri izskaidro","research-forge.6a33efdc4e":"Eksperimenta pakete salikta lauku pa laukam, ar identitāti, kas to nosauc, un sekām, mainot jebkuru lauku","research-forge.6a455d1ff6":"Katram atbalstītajam ievades veidam saglabājiet šo patiesu.","research-forge.6a54f54941":"Meklēšana atbild","research-forge.6aa0b7e952":"dažādas institūcijas izvēlas atšķirīgi","research-forge.6ab0b8903c":"Skaitliskā nozīme","research-forge.6b1716c3e5":"nekad nepiedodošāks","research-forge.6b2284f302":"Līkuma punkts","research-forge.6b6ae4c323":"saistību kopa tikai aug","research-forge.6b6f62925d":"Dažreiz pretpiemērs kaut ko saka par pieprasījumu, nevis programmu. Divi noteikumi var izrādīties pretrunā viens otram, vai malas gadījums var izrādīties tāds, par kuru neviens nebija izlēmis. To ir vērts zināt agri.","research-forge.6b7b6dcbaa":"Viens grafiks, četras lomas","research-forge.6bc457b374":"Atrodiet kandidātu, kas apmierina katru zināmo gadījumu.","research-forge.6bcf5a7776":"Robeža, nevis viens rezultāts","research-forge.6c4b5393b9":"un ierobežojumi izlemj","research-forge.6c61bbcebe":"Pierādīts","research-forge.6c82e6dd86":"Laiks","research-forge.6c8dd48ed8":"Mērījumu plāns","research-forge.6c9b8325ab":"neviena pakāpe nekad netiek secināta","research-forge.6c9c88fe2f":"Uzvedības izmaiņu apraksts maina šīs attiecības. Tas meklēšanai dod mērķi, kas tai jāsasniedz, veidu, kā tikt pieķertai, kad tas netiek sasniegts, un pēc tam ierakstu par to, pret kuriem gadījumiem rezultāts vispār tika pārbaudīts.","research-forge.6cc1fdfb05":"Testēts, ierobežots un pierādīts ir dažādi apgalvojumi par vienu un to pašu programmu.","research-forge.6cd40b6ae3":"Prasības sākas kā vēlamā uzvedība, ierobežojumi un riski. Izstrāde tās pārvērš vienā arhitektūrā un vienā ieviešanā, un no šī brīža katra alternatīva ir pārrakstīšanas, migrācijas vai optimizācijas projekts. Izvēle, iespējams, bija saprātīga, kad tā tika izdarīta, un tā tika izdarīta, pirms kāds varēja to salīdzināt ar izvēlēm, kuras tā izslēdza.","research-forge.6d058a6f22":"nevis vispārējs solījums","research-forge.6d3a0e2f30":"Tipi vispirms apgriež","research-forge.6d525b7156":"Izpilde","research-forge.6d5ef04ce2":"pierādījums, robeža vai deklarēts ierobežojums","research-forge.6d84ceaf60":"Izvilkt","research-forge.6db87cb08f":"Ātrākais modelētais","research-forge.6dfe9d2cfa":"Forge, vienkāršais skats","research-forge.6e3f1d3672":"Četri veidi, kā izteikt nolūku","research-forge.6ef75c79a0":"Atkārtojumam nav jāatveido katrs izpētes atzars. Tam ir jāatveido pierādījumi, uz kuriem balstās apgalvojums: specifikācija, izvēlētais kandidāts, verifikācijas rezultāts un izpildes saistība. Viss pārējais ir meklēšanas vēsture, nevis pierādījums.","research-forge.70bcce6545":"Vairāki ceļi","research-forge.70cbd1d6b1":"Ierosināts","research-forge.7173d0cb0f":"nezināms, neapmierināms un neskaidrs ir rezultāti","research-forge.718eb2ad28":"Stiprības samazināšana uz nobīdi","research-forge.71e541f178":"Tests palaiž programmu ar ievadi, ko kāds izvēlējies. Pierādījums spriež par katru ievadi, ko aptver rakstītā specifikācija. Abi ir noderīgi, un tie atbild uz dažādiem jautājumiem. Kad Forge saka, ka kandidāts ir verificēts, teikumam ir otra puse: verificēts pret šo īpašību, šīm ievadēm, šiem pieņēmumiem. Piecām daļām ir jāceļo kopā, lai šim teikumam būtu jēga: precīza programma, kas tika pārbaudīta, īpašība, kas par to tiek apgalvota, pieņēmumi, pierādījumi un ierobežojumi, ko rezultāts nenosaka.","research-forge.722e234a05":"Atrast kandidātus","research-forge.72637278c6":"ko Forge nodod tālāk","research-forge.729c82e196":"Viens objekts šķērso visu dzīves ciklu, tāpēc nekas nav jāatvasina no teksta katrā posmā.","research-forge.72aeb780b2":"Kur meklēšana virzās tālāk","research-forge.72e6f70d7c":"rezultāts norāda atpakaļ uz grafiku","research-forge.7305b76252":"spēcīgāki pierādījumi nopelna spēcīgāku etiķeti","research-forge.73128a8f5b":"prasība ir pirmajā vietā","research-forge.734e643f73":"Četras asis","research-forge.734ee26abf":"Daudzas ģimenes","research-forge.736500a024":"atklāšana un pierādījums","research-forge.73710d0053":"Četras lietas nemainās atkarībā no iznākuma, un tās ir iemesls, kāpēc rezultātu var lasīt kāds, kurš nav palaidis meklēšanu.","research-forge.73e5abe068":"un metode paliek privāta","research-forge.740141dd76":"Ierobežotas pārbaudes un īpašību testi","research-forge.746a18b508":"Formatēšana, operandu secība un normalizētais grafiks. Pietiekami, lai apturētu meklēšanu no tā paša darba veikšanas divreiz.","research-forge.757b8815d3":"Viens rāmis","research-forge.75be5b7552":"Ko ieraksts publicē","research-forge.75c9be68d0":"Noraida","research-forge.75e6b42fc5":"Ārpus darbības jomas","research-forge.762b81621f":"Pakāpe, kas kandidātam jāsasniedz, lai iekļūtu frontē.","research-forge.7701124587":"Pierādīt, ka deklarētajā valodā nepastāv mazāka pareiza programma, ir jautājums, ko pēta superoptimizācijas pētniecības tradīcija. Šī ierobežotā meklēšana ir šī jautājuma gadījums, ko Forge var veikt un pārbaudīt.","research-forge.7777053d27":"Tīša kļūdīšanās","research-forge.77809a4225":"x86-64, RISC-V, WASM, Vulkan GPU","research-forge.779df62acf":"Četri pastāvīgi apņemšanās","research-forge.77e466696d":"Neviena programma atļautajā telpā to nevar izdarīt. Mainiet atļauju vai pieprasījumu.","research-forge.77ed933da8":"Objektīvais vektors un frontes pozīcija","research-forge.7800ae62d5":"Ne tikai nepareizi","research-forge.78546ce4c3":"Pieprasītais efekts nav attēlots verifikācijas līgumā.","research-forge.79919ce9fd":"Efekti un iespējas","research-forge.79b38792f6":"Četras objektīvu ģimenes","research-forge.79b3e4bb6e":"Daudzi kandidāti","research-forge.7a36809fc6":"Forge pēta citu secību. Saglabājiet prasību skaidru ilgāk. Ļaujiet vairākām ieviešanām sacensties deklarētajā valodā. Nosakiet atbalstītos uzvedības apgalvojumus pirms izvēles starp veiktspējas un izvietošanas kompromisiem.","research-forge.7a67d7aba8":"Vai vide, efekti un skaitliskie noteikumi ir attēloti?","research-forge.7b2d03931b":"Parastais","research-forge.7ba8740951":"Kura politika izvēlējās vienu locekli un kurš par to stāvēja","research-forge.7bec3a8510":"Aptur pie","research-forge.7c04a5cf0e":"Izmaksu vektors rada fronti, kas ir atšķirīgs objekts no ranga.","research-forge.7c1e14bb08":"tas nenoņem cilvēka spriedumu","research-forge.7c3f4fda21":"izmērs 1","research-forge.7d448f8882":"Viens kandidātu kopums","research-forge.7d58a74832":"Kandidāts var izpildīt visus piemērus, kas tam ir parādīti, un tomēr būt nepareizs kaut kur, kur neviens neskatījās. Forge meklē konkrētu ievadi, kas atklāj atšķirību. Šī ievade ir pretpiemērs, un, tiklīdz tā pastāv, tā pievienojas pastāvīgajai gadījumu kopai, kas jāizpilda katram nākamajam kandidātam. Cikls aiz tā ir īss. Tiek ierosināts kandidāts, tas tiek apstrīdēts ārpus tam dotajiem piemēriem, viena ievade atklāj nepareizo uzvedību, un šī ievade tiek saglabāta. Tad meklēšana sākas no jauna pret lielāku kopu. Tā beidzas ar pierādījumu, robežu vai noteiktu ierobežojumu, un nekad ar kandidātu, kas vienkārši izskatās pareizs. Nekas nekad netiek izņemts no šīs kopas, tāpēc trešais mēģinājums nozīmē vairāk nekā pirmais.","research-forge.7d5f9141fc":"Mērījums vēl jānosaka","research-forge.7db1bb6632":"Atvasinājums kā pierādījums","research-forge.7df7e32344":"nozīmīte nosauc tikai pakāpienu","research-forge.7e2e54dae8":"Var ieteikt līdzsvarotu lēciena punktu. Ieteikums tiek reģistrēts kopā ar normalizāciju, kas to radīja, lai recenzents varētu redzēt, ka tā ir politika, nevis aritmētiska neizbēgamība.","research-forge.7e309ec303":"Veiktspējas hipotēze, nevis etalons","research-forge.7e5a975b6a":"Identitāte","research-forge.7e826f7af3":"TRUST","research-forge.7ea014de7b":"Pierādījumi","research-forge.7ea35b3515":"Viens un tas pats objekts pilda četras lomas, nemainot kategoriju. Tas ir kandidāts meklēšanas laikā, ekvivalences klases loceklis izpētes laikā, subjekts, kuru nosauc pierādījums, un ievade, pret kuru Kera plāno. Viena identitāte nes visas četras.","research-forge.7f2b6cf0fd":"Kandidātam jāatbilst līdz šim apkopotajiem pierādījumiem. Pēc tam verifikators meklē atbalstītajā domēnā ievadi vai stāvokli, kurā tas pārkāpj pilno specifikāciju. Jebkurš pretpiemērs, ko tas atrod, pievienojas pierādījumu kopai kā pastāvīgs pienākums, tāpēc nākamajam kandidātam jāatbilst visam, kam atbilda iepriekšējie, un arī jaunajam gadījumam. Cikls kļūst tikai stingrāks. Tas apstājas pie pierādījuma, robežas vai noteikta ierobežojuma, un nekad neapstājas pie kandidāta, kas vienkārši izskatās pārliecinošs. Priekšnosacījuma pievienošana ir atļauta, bet tā atver jaunu specifikācijas identitāti, nevis rediģē veco.","research-forge.7f59a1f1d5":"Lēmums","research-forge.7f5e7b5182":"Četras institucionālas darbības","research-forge.7f87260e69":"Rakstīts uz priekšu, lasīts atpakaļ","research-forge.7fc3a8b99e":"Pētījuma dizains apvieno DSL pār tipizētām izteiksmēm ar enumeratīvo, CEGIS, ģenētiskās programmēšanas un MCTS meklēšanu, e-graph vienlīdzības piesātinājumu, Cranelift balstītu mērīšanu un Z3/CVC5 pārbaudes ierobežotiem pienākumiem. Daudzmērķu meklēšana ņem vērā latentumu, darbību skaitu, atmiņu un reģistru spiedienu; mērķa koda ģenerēšana ietver x86-64, RISC-V, WASM, Vulkan GPU un Verilog. Uzdevumu un testu skaits, starpplatformu paātrinājumi un ražošanas veiktspēja paliek validācijas darbs.","research-forge.7fda8c3a33":"Trīs kandidāti, trīs godīgi marķējumi","research-forge.7fdf663e3a":"Veiktspējas hipotēze, nevis etalons","research-forge.7fef09721e":"Dweve Forge, verificēta programmu atklāšana","research-forge.80302bf5ea":"Ierobežotas pārbaudes un meklēšana","research-forge.80446347ed":"Forma","research-forge.80d70e543d":"Robeža un atlase","research-forge.814de3b8b2":"Četri robežas locekļi","research-forge.8179013356":"Trafiks, darba kopa, pārsūtīšana un lokalitāte","research-forge.81eccd6085":"Četri klusuma iemesli","research-forge.81f08b5724":"ilgi pēc tam, kad cilvēki aiziet","research-forge.8208f3f27b":"Secība","research-forge.82319c5d9e":"Transformāciju piemērošana secībā rada agrīnu izvēli, kas var izslēgt vēlāku uzlabojumu. Forge pēta kompaktus attēlojumus, kas vienlaikus satur daudzas ekvivalentas formas, tāpēc vairāki transformāciju ceļi pastāv līdz ekstrakcijai. Daudzu pārrakstījumu attēlošana kopā, nevis apņemšanās vienai secībai, ir pieeja, ko pētniecības literatūra sauc par vienlīdzības piesātinājumu.","research-forge.8252f95ddf":"viena mezgla maiņa verificētā grafā atgriež kandidātu labi veidotā stāvoklī","research-forge.825d89212b":"Transformācijas zināšanas","research-forge.8283b9d96c":"Nav fāžu secības","research-forge.82c24c3687":"Programmai ir brīvi mainīt formu, un lieta, kurai tai jāatbilst, nav.","research-forge.8301a503f4":"Nesaskaņas starp diviem derīgiem lasījumiem tiek parādītas kā jautājums, nevis atrisinātas ar meklēšanu.","research-forge.8368699cf6":"Daudzas iespējamās programmas","research-forge.8375a2c337":"Trīs mēģinājumi, viena augoša gadījumu kopa","research-forge.837b910e11":"līdz politika izvēlas vienu","research-forge.83908aa381":"Tips, forma, attēlojums un skaitliskais līgums, kas to pārvalda.","research-forge.83ea53e5ec":"Daudzas vienādas formas, trīs vērts ekstrahēt","research-forge.8597c90c68":"Pētniecības testi (darbības joma)","research-forge.864c38bd34":"Ja mērījums neeksistē, šūna paliek tukša. Tukša šūna ir paziņojums par pierādījumiem, un tās aizpildīšana ar modeļa izvadi klusi pārvērstu aplēsi rezultātā.","research-forge.8682d73e62":"Programma","research-forge.869cb36316":"Viena ierosināta fiksētās specifikācijas implementācija.","research-forge.8703ca90ce":"Īpašumtiesības, atmiņas telpa un mērķa ierobežojumi, kas piemērojami.","research-forge.870d4e66fc":"ieraksts nosauc darbības jomu","research-forge.87805aff07":"Nav programmas vispār","research-forge.879bb91dae":"neviena puse neuzņem otras prasību","research-forge.87d0c490e0":"Izmaksu dimensijas, ko šis eksperiments salīdzina, izvēlētas pirms jebkura kandidāta mērīšanas.","research-forge.88306943fe":"Metode","research-forge.8831be6339":"Kad programma neparādās","research-forge.887b3d18f0":"Forge pieder specifikācija, kandidātu meklēšana, ekvivalences izpēte, mērķu robeža un verifikācija. Kera ir Dweve grafu vietējā sistēmu valoda un Direct Computation pamats, un tai pieder plānošana, nolaišana, mērķa specifiska emisija un izpilde. Kas starp tām šķērso, ir verificēts semantiskais grafs ar tā pienākumiem, mērķu profilu un pierādījumiem. Grafs tiek nosaukts, nevis avots, un rezultāts, kas atgriežas, norāda uz to pašu identitāti.","research-forge.887cf267e6":"Unsat","research-forge.888797190c":"viena uzvedība, vairākas implementācijas","research-forge.888e561892":"Četri veidi, kā lūgt labāk","research-forge.892257a43b":"Pierādījums var būt pareizs","research-forge.89404ea15f":"Formāls vaicājums","research-forge.894f8a793c":"Izmantojiet spēcīgāku teoriju, plašāku valodu vai lielāku budžetu.","research-forge.897b3ac98d":"Codegen","research-forge.89b86ab0e6":"Valoda","research-forge.89c7caf6b5":"Kuri soļi veic darbu","research-forge.89c8a2851d":"Atmiņa","research-forge.89f5343231":"Izturīgs lēmumu ceļš","research-forge.8a102fcb06":"Ierobežota pilnīga meklēšana","research-forge.8a9523ae04":"Ko nes kandidāta mezgls","research-forge.8ab2c84ed7":"Viena arhitektūra","research-forge.8b2d50590f":"Formālie pierādījumi aptver specifikāciju un kodēto semantiku. Ja vides nosacījums tika izlaists vai skaitliskais modelis neatbilst mašīnai, rezultāts ir derīgs, bet atbild uz nedaudz citu jautājumu.","research-forge.8b593995c8":"Pieņēmumi","research-forge.8b7acd8daf":"Nekas neiekļūst frontē ar garantijas līmeni, kas ir augstāks, nekā to pamato pierādījumi.","research-forge.8bafd39dbd":"Apzinātā produkta robeža","research-forge.8c0dc9aa18":"Priekšnosacījumi, pēcnosacījumi un garantija, kas rezultātam jāsasniedz.","research-forge.8c1cf9e158":"Piemēri, loģiskie nosacījumi, skices un atsauces uzvedība, katrs ierakstīts ar tā nesto stiprumu.","research-forge.8cb71202e7":"Vairākas uzvedības atbilst piemēriem. Vēl viens gadījums to izšķir.","research-forge.8d9c9bb663":"Divi ieraksti, viens grafs","research-forge.8daee0af31":"Parastais ceļš, kas sašaurinās līdz vienai koda bāzei un atveras kā pārrakstīšanas projekti, blakus pētniecības ceļam, kas saglabā pārbaudītu kandidātu kopu, līdz politika izvēlas vienu","research-forge.8db9aab917":"cik rūpīgi tas ir pārbaudīts","research-forge.8dce170de2":"Vērtība","research-forge.8dd2a359fe":"LEAN","research-forge.8df2bb4b75":"Garantijas līmenis, kas kandidātam jāsasniedz, meklēšanas ierobežojums un tas, ko ziņot, ja nekas to nesasniedz.","research-forge.8e2717f3c6":"Kandidāts, kas nevarētu būt likumīgs, nekad netiek būvēts, tāpēc frontē vienmēr ir tikai labi veidotas programmas.","research-forge.8e34678d0d":"nelikumīgi kandidāti nekad neiekļūst kopā","research-forge.8e3934fad2":"Četras politikas cilnes, kas atlasa dažādus vienas frontes locekļus, katra veido pilnīgu lēmumu ierakstu ar dominances iemesliem locekļiem, kurus tā neizvēlējās","research-forge.8e50172772":"Neatkarīga pārbaude ir atsevišķs līmenis, jo tā uzdod citu jautājumu. Nevis to, vai pierādījums tika izveidots, bet vai pārbaudītājs, kas to neizveidoja, tam piekrīt, izmantojot tikai kandidātam pievienotos pierādījumus.","research-forge.8e84017c75":"Saite ir uz konkrētu programmu. Mainiet vienu soli tajā, un pierādījums vairs neapraksta to, ko turat, tāpēc etiķete atgriežas pie vienkāršās strukturālās, līdz pārbaude ir veikta no jauna.","research-forge.9032517861":"Pieci apgalvojumi, pieci stāvokļi","research-forge.908b29b50b":"katram līmenim nepieciešams cita veida pierādījums","research-forge.90e40d5043":"Sāciet","research-forge.919003799d":"Pārbaudīts","research-forge.91ad20c2db":"Divi plāni","research-forge.91c0ae2087":"precīzs nolūks samazina ieviešanas risku","research-forge.91cf399266":"var būt īstā atbilde","research-forge.9225f51a2a":"Pretpiemērs","research-forge.9233f41df0":"Trīs mērķi","research-forge.9297ab4ca3":"Lasiet stāstu","research-forge.929818c51d":"Lielākais atmiņas nospiedums","research-forge.929a9f0f25":"Pirmais, kas darbojas","research-forge.92a7058e4e":"Apspriediet institucionālo sadarbību","research-forge.92f5fe6952":"Četri iznākumi","research-forge.936c25084e":"Atsauces uzvedība","research-forge.9388f4158d":"līdzsvarotā iespēja ir izvēle tāpat kā citas, un tā to arī saka","research-forge.93c09204c0":"Mērens abās izmaksās","research-forge.93c2975761":"Sekojiet meklēšanai","research-forge.93f79d808f":"Vai izvēlētais frontes loceklis atspoguļo norādīto prioritāti?","research-forge.942587e61e":"Projekta lapa","research-forge.9477d7acdd":"Piesakieties partnera piekļuvei","research-forge.94822e9dc6":"Kalve, institucionālais skatījums","research-forge.94827e8438":"Lasiet rakstus","research-forge.94859cf20a":"Aizzīmogots un atvērts","research-forge.948c81b996":"Vairāki pārbaudīti ceļi uz priekšu","research-forge.94cc86c489":"viens mainīts solis un nozīmīte nosauc programmu, kuru vairs neturat","research-forge.94ed3b0134":"no nolūka līdz izvēlētajai programmai","research-forge.950dfeeb8b":"Nolūks kļūst par kodu","research-forge.9550373e8b":"Izmērīts","research-forge.95eaeda430":"Cik liels pārbaudīts grafa apgabals var lietderīgi kļūt.","research-forge.9678c4f1e3":"viena identitāte šķērso robežu","research-forge.96aff7c058":"Viena pretpiemēra cilpa","research-forge.96b9633285":"Ko meklēšana var mainīt","research-forge.973c3f46d7":"Darbības jomā","research-forge.978aa6569a":"Pabeidz ātrāk","research-forge.97c89a4d66":"Darbība","research-forge.97ee6e5610":"Ierosināt","research-forge.992bc34385":"Tīra specifikācija nevar ceļā iegūt faila vai tīkla piekļuvi. Fiksēta platuma vesela skaitļa līgums nevar klusi kļūt par neierobežotu matemātisku veselu skaitli. Mērogu attēlojošs attēlojums saglabā savu mērogu, un atmiņas drošu skici nevar pabeigt ar nepārbaudītu aizstājvārdu.","research-forge.99508624d6":"Neviena programma nevar būt","research-forge.996c4a8976":"tajā ir programma","research-forge.99dc6bab08":"Divi kandidāti, kas apmierina vienu un to pašu piemēru kopu un atšķiras attiecībā uz ievadi, kuru neviens nepiegādāja, ar trim veidiem, kā ieinteresētā puse to var atrisināt","research-forge.9a24005705":"Viena pilnīga meklēšana pēc lieluma","research-forge.9a469ce88c":"Betons","research-forge.9a4ce5f246":"izvēle ir jānorāda","research-forge.9ae33a7d0e":"Īpašība","research-forge.9b7bd11153":"Verificēts grafs, kas šķērso stingru robežu Kera vidē, plānots divos dažādos veidos, ar abiem rezultātiem, kas saistīti ar to pašu grafa identitāti","research-forge.9c25db95cc":"Kandidāts A","research-forge.9c86ef6b28":"Izpēta kandidātu ieviešanas saskaņā ar deklarētu līgumu","research-forge.9cbe42aaff":"Plānots","research-forge.9cfcf5930d":"Latence, kustība, izvietošanas piemērotība un pierādījumu slogs nav skarti pirmajā rezultātā.","research-forge.9d68007b07":"Programma","research-forge.9dba232302":"Uzvedība, kas tika prasīta","research-forge.9dc6ec542b":"nav tas pats, kas to palaist","research-forge.9dd59ab994":"Salīdzina","research-forge.9df0f32743":"Reģistri, paralēlisms, ierīču ierobežojumi, pārnesamība","research-forge.9e811eeaf8":"Pēc pareizības","research-forge.9ee018232e":"Nekas neietilpst kandidātā, ko pakete nebija atļāvusi.","research-forge.9f36fa8055":"Saglabā šo formu un atrodi trūkstošo daļu.","research-forge.9f78c690af":"dažādu iemeslu dēļ","research-forge.9fea6de725":"Formāls","research-forge.9ff7951f81":"Verificēta zīme, kas izvērsta piecās daļās, atkal parādīta blakus tai pašai programmai pēc tam, kad viens solis mainījās un saikne starp tām pārtrūka","research-forge.a0a9a568c3":"Kandidāti, kas palika derīgi, un tie, kurus pretpiemērs izbeidza","research-forge.a0c9c40551":"programma maina formu","research-forge.a10a7ad63a":"Ko pakete nosaka","research-forge.a266f0a07d":"Izpētīt kandidātu kodolus","research-forge.a2e1cc1b2f":"Var mainīties","research-forge.a2f4a96337":"Kompromiss","research-forge.a32a41c9d1":"nav programmas, ar iemeslu","research-forge.a336e6650d":"Divi kandidāti, divi godīgi apstāšanās punkti","research-forge.a3c143732a":"problēma ir atrisināta pirms meklēšanas","research-forge.a3c686e711":"Kategorija","research-forge.a4508fc8ef":"Semantiskā attiecība","research-forge.a48f8c0cf7":"Piecas programmas, viena specifikācija","research-forge.a4c745386f":"Četras politikas","research-forge.a57b5d2330":"Meklēšana var mainīties","research-forge.a6067adc3c":"latence, darbības, atmiņa, reģistri","research-forge.a618b4be8d":"Vaicājums","research-forge.a61c938f35":"Meklēšana piedāvā","research-forge.a723285355":"Modelēts","research-forge.a79764b5e5":"Vairākas pareizas programmas, katra ar savu pierādījumu","research-forge.a7987d27ae":"Atteikšanās no viena pārrakstīšanas","research-forge.a898f4eb0d":"Tā ir tā pati izvēle, ko ikviens izdara par maršrutu pilsētā. Ātrākais, lētākais un tas, kurā ir mazāk izmaiņu, visi ir saprātīgi. Nav saprātīgi apgalvot, ka ir tikai viena atbilde, nenorādot, ko tu optimizēji.","research-forge.a8b262d32b":"Lūgt modelim kodu un saņemt kaut ko, kas izskatās pareizi, ir cits uzdevums. Atbildei nav, kas jāapmierina, tāpēc nav, pret ko tai neizdotos, un lasītājam pašam jāuzņemas viss vērtējums.","research-forge.a8e5c0ccf3":"Grafs, ko verifikācijas rezultāts faktiski nosauc.","research-forge.a91bcce893":"Vienmēr","research-forge.a94848cbdb":"Šo soli sasniedz tikai kandidāti, kas izturēja vārtus.","research-forge.a9d6afeda0":"atpakaļ uz priekšlikumu","research-forge.a9f1693ebe":"Katrs dalībnieks apmierina deklarēto līgumu, tāpēc vienīgais atlikušais jautājums ir, kuru izmaksu tu pieņem.","research-forge.aa1a2e191d":"NORĀDĪTS PIRMS","research-forge.aa2b80d828":"Robeža","research-forge.aa62568659":"Pateikt, kas nav zināms, ir noderīgāk nekā aizpildīt robu ar kaut ko, kas labi skan.","research-forge.aa6708d51a":"Tika pierādīta atbalstīta universāla attiecība.","research-forge.aa88ef980e":"Kurās atbalstītās vidēs to var palaist","research-forge.aa9002c223":"Zīme, atvērta","research-forge.aab9ca1bc6":"Klasē","research-forge.ab89d05c4b":"Izvietojums","research-forge.ab98f5b857":"Fiksēts","research-forge.ab9a4aae0b":"Vismazākā kustība","research-forge.aba86cd010":"Politika izvēlas","research-forge.abc0c09f1f":"Mašīna var mainīt, kuri soļi veic darbu, kādā secībā tie notiek un kādas starpvērtības vispār pastāv. Divas programmas, kurām nav nekā kopīga šajos aspektos, joprojām var veikt to pašu darbu, un meklēšanai ir atļauts dot priekšroku jebkurai no tām.","research-forge.ac30f0abf3":"Ja tas maina to, ko programma rada, tas nav uzlabojums šai programmai. Pareizība ir tas, kas kandidātam piešķir vietu sarunā par izmaksām.","research-forge.acc3156c5b":"Palaist saiti","research-forge.ad2cecac38":"Teksts un struktūra","research-forge.ad44adccc4":"pierādījums stiprina precīzu apgalvojumu","research-forge.ad59e3b102":"Plašākais","research-forge.adfc01e921":"Kandidātu var vērtēt tikai pret problēmu, kas jau ir formulēta.","research-forge.adfccdc8de":"Forge: kas","research-forge.ae2fee1a70":"Veido tikai tipkorektas lielākas izteiksmes.","research-forge.aeb1c76446":"Četri gredzeni, viens publikācijas noteikums","research-forge.aebc2854f4":"Skaitlisks","research-forge.aeedafb2fe":"neveiksme kļūst par ilgstošu saistību","research-forge.af3cc2e010":"programma, nevis mērķis","research-forge.af68d81f17":"Uzvedība un ierobežojumi, kas noteica panākumu.","research-forge.af78a00855":"Cik tieši tās uzvedību var pārbaudīt","research-forge.afbab5dc80":"pirmais atrastais kandidāts saglabā savu vietu vēsturē un atstāj robežu","research-forge.aff55d9c0e":"Ziņo par mazāko verificēto kandidātu un tā robežu.","research-forge.b0339e3e63":"Synthesis, Cranelift un","research-forge.b048046ec8":"Kandidātam ar zemāko latentumu var būt lielāka darba kopa. Pārnēsājamākais var būt lēnāks uz jūsu priekšā esošās iekārtas. Tam ar vienkāršāko pierādījumu var pietrūkt agresīvas pārrakstīšanas. Var ieteikt līdzsvarotu līkuma punktu, un ieteikums tiek reģistrēts kā politika ar tās normalizāciju.","research-forge.b06be2ecea":"Tāpēc Forge publicē pieņēmumus blakus apgalvojumam un tāpēc pārskatīšanai ir nosaukti īpašnieki. Specifikācija, modelis un izpildes mērķis ir trīs atsevišķi paraksti.","research-forge.b0811e470d":"Apmaiņa","research-forge.b0a205ebad":"Sāc no atļautajām ievadēm un konstantēm.","research-forge.b0b01215a0":"Kandidāts D","research-forge.b116105199":"Četri jautājumi, kas jāatrisina","research-forge.b1d348384e":"Vairāk nekā viens labāka veids","research-forge.b23977841c":"Pretpiemēri","research-forge.b26aa65383":"Ko aptver vārds verificēts","research-forge.b2bc0c005f":"Pārbaudīts","research-forge.b30077250b":"veikt agrīnu iesniegšanu vai saglabāt alternatīvas","research-forge.b307b88c84":"Pārnēsājamība","research-forge.b3776d63ad":"Backends","research-forge.b39a168c1e":"Pakete tiek ierakstīta vienreiz, un katrs rezultāts šajā lapā norāda uz versiju, kas to izveidoja.","research-forge.b3c0c45a3e":"Forge nošķir strukturālo derīgumu, konkrētu testēšanu, ierobežotu izsmeļošu pārbaudi, formālu verifikāciju, neatkarīgu pārbaudi un izpildes sasaisti. Kandidāts virzās uz augšu tikai tad, kad pastāv pierādījumi nākamajam līmenim, un sasniegtais līmenis ir daļa no rezultāta, nevis rotājums uz tā. Ātra meklēšana var saturēt pārbaudītus kandidātus, kamēr vēl tiek iegūts pierādījums. Neatkarīga pārbaude atrodas savā līmenī, jo tā jautā, vai pārbaudītājs, kas nav radījis pierādījumu, tam piekrīt.","research-forge.b45b598d0c":"Viena grafa identitāte savieno specifikāciju, pierādījumu, plānu un atgriezto rezultātu.","research-forge.b462217ad5":"Viena ievade parāda, ka uzvedība ir nepareiza.","research-forge.b4dad06170":"Tehniskās specifikācijas","research-forge.b51ba796f2":"Sākas no","research-forge.b5338782b3":"Dimensijas, pēc kurām kandidāts tiek vērtēts, modelēts vai mērīts","research-forge.b568d47f2e":"Ievade","research-forge.b5b0a8f813":"Koncentriski slāņi no publiska pētniecības jautājuma caur reproducējamu protokolu un publicētu rezultātu līdz aizsargātai iekšējai metodei","research-forge.b6272cdaf7":"Forge reģistrē specifikācijas identitāti, nozīmīgo kandidāta izcelsmi, pretpiemērus, izmantotās ekvivalences attiecības, mērķa vērtības, nodrošinājuma pārejas un atlases politiku. Šī ķēde izskaidro, kāpēc izvēlētā programma pastāv un kuras alternatīvas tā izspieda, un tā ir pietiekama, lai kāds cits varētu rekonstruēt apgalvojumu. Atkārtojumam nav jāatkārto katrs izpētes atzars, tikai pierādījumi, uz kuriem balstās apgalvojums.","research-forge.b638127a16":"Ierobežoti pilnīgs","research-forge.b66b54c1d8":"Kandidāts kā objekts","research-forge.b6d2f4c9e8":"meklēšana nevar paplašināt tipu sistēmu","research-forge.b70446abdf":"Prasības var konfliktēt. Piemēru kopa var pieļaut nesavienojamu uzvedību. Pieprasīta garantija var atrasties ārpus semantikas, ko pārstāv verifikācijas līgums. Meklēšana var sasniegt savu deklarēto robežu bez secinājuma. Forge katru no tiem ziņo atsevišķi, jo tie prasa četras dažādas atbildes un maksā četras dažādas summas, lai uz tiem reaģētu. Konfliktējošas klauzulas tiek saskaņotas, konkurējoša uzvedība tiek atdalīta ar vairāk pierādījumiem, nenokārtota meklēšana tiek paplašināta, un garantija ārpus līguma tiek reģistrēta kā tāda, ko nevar pamatot, kā norādīts.","research-forge.b71f6e67ce":"Izpētīt vienu ieviešanas lēmumu","research-forge.b74c664479":"Nodrošinājuma stāvokļi","research-forge.b78c6b0e99":"izpildīt piemērus un apmierināt nosacījumu nav viens un tas pats apgalvojums","research-forge.b82b9b1043":"formas tiek apvienotas apzināti","research-forge.b895ceb6b1":"neatbilde novērš viltus pārliecību","research-forge.b8f5629ab6":"saistību kolonna nekad nesamazinās starp iterācijām","research-forge.b97a1099a3":"Mašīnā pārbaudāms","research-forge.b9b15e5f94":"Trīs dosjē","research-forge.ba25b214d8":"katrs prasa kaut ko citu","research-forge.ba3fef96ae":"Pierādījums piecās daļās","research-forge.babfc32160":"Vismaz viena uzvedība vienlaikus apmierina katru klauzulu.","research-forge.bac127c5b7":"Nedominēts","research-forge.bb11a8e3f8":"Noteikumi","research-forge.bb2fe63e5a":"INPUT","research-forge.bb54db510a":"Pieņemt","research-forge.bb9cf14180":"Politika","research-forge.bb9d653f4e":"Izaicinājums","research-forge.bbddd6ecdf":"Kuras starpvērtības pastāv","research-forge.bc0b16aa7f":"Četras verificētas programmas pārkārtotas atbilstoši tam, kuru īpašību pieprasāt, un līdzsvarotā opcija tiek rādīta kā vēlamā tāpat kā pārējās","research-forge.bc6b9b38a3":"Darbības, kas pieder Dweve pētniecības metodei, tiek rādītas kā aizzīmogoti mezgli ar to ievadiem, izvadiem un identitāti. Institucionālā caurskatāmība un pētniecības konfidencialitāte tiek apstrādātas kā divas vienas ķēdes īpašības, nevis kā pretstati.","research-forge.bc7819b34f":"Nezināms","research-forge.bcd3b8580e":"objekts nekad nemaina kategoriju","research-forge.bce0641417":"Meklēt","research-forge.bd163f2c2d":"Katra saistība ietver savus nosacījumus. Algebriskā pārveidošana, stipruma samazināšana, vektorizācija, sapludināšana, izkārtojuma maiņa un kustības novēršana ir atļauta tikai tad, ja šajā eksperimentā ir izpildīti aritmētikas, platuma, noapaļošanas, efekta un secības nosacījumi.","research-forge.bd5d4d39fa":"Saka","research-forge.bda89bbff3":"Piemēra maiņa, tipa paplašināšana, efekta atļaušana vai skaitliskās pielaides atvieglošana rada citu pētniecības problēmu ar citu identitāti. Iepriekšējais izpildījums paliek ierakstā zem sava pakešu identifikatora, tāpēc divi rezultāti nekad netiek lasīti kā atbildes uz vienu jautājumu.","research-forge.bdfebc22bf":"Mērķa vektors","research-forge.be601df25e":"Pētniecība","research-forge.beb1ed4753":"publiski pierādījumi blakus aizsargātai metodei","research-forge.bef833878c":"gadījumu saraksts starp kārtām nekad nekļūst īsāks","research-forge.bf55421b4a":"Pieprasītā uzvedība nav tā, ko pārbaude aptver.","research-forge.bff5c4dd05":"Prasīt","research-forge.business.actionCase":"Skatīt institucionālo gadījumu","research-forge.business.actionCooperate":"Apspriest pētniecības sadarbību","research-forge.business.banner.body1":"Tas pierāda, ka pastāv viens ceļš.","research-forge.business.banner.body2":"Tas nepierāda, ka ceļš ir ātrākais, mazākais, visvairāk pārnēsājamais, visvieglāk auditējamais vai vislabāk piemērotais institūcijai, kurai tas jāizmanto.","research-forge.business.banner.eyebrow":"Dizaina telpas problēma","research-forge.business.banner.firstDetail":"Meklēšana ir noskaidrojusi, ka pastāv atļauts kandidāts.","research-forge.business.banner.firstLabel":"Viens apmierinošs ceļš","research-forge.business.banner.firstStatus":"Derīgs darbības jomā","research-forge.business.banner.footer":"Dweve Forge, verificētu programmu atklāšana","research-forge.business.banner.frontierDetail":"Vairākas pareizas programmas paliek dažādiem mērķa profiliem.","research-forge.business.banner.frontierLabel":"Nedominēti alternatīvi risinājumi","research-forge.business.banner.frontierStatus":"Redzams","research-forge.business.banner.headline":"Pareizība ir sākums","research-forge.business.banner.headlineAccent":"nevis galīgā atbilde","research-forge.business.banner.instrument":"Pēc pareizības","research-forge.business.banner.leftLabel":"Pirmais derīgais kandidāts","research-forge.business.banner.limitDetail":"Pirmais rezultāts neko nepasaka par tuvējiem kompromisiem.","research-forge.business.banner.limitLabel":"Nav universāla optimuma","research-forge.business.banner.limitStatus":"Turpināt meklēšanu","research-forge.business.banner.policyDetail":"Institūcija norāda, kurš kompromiss noteica izvēli.","research-forge.business.banner.policyLabel":"Ierakstīta atlases politika","research-forge.business.banner.policyStatus":"Pārskatāms","research-forge.business.banner.rightLabel":"Lēmumu fronte","research-forge.business.banner.tag":"Salīdzināt","research-forge.business.banner.verdict":"Saglabājiet alternatīvas, līdz politika ir skaidri noteikta.","research-forge.business.banner.verdictLabel":"Lēmumu noteikums","research-forge.business.close.body":"Iesaistiet domēna nolūku, formālās metodes, aparatūras mērījumus vai neatkarīgu pārskatu. Forge nodrošina kopīgu pētniecības objektu programmu atklāšanas, pierādīšanas un izpildes salīdzināšanai.","research-forge.business.close.label":"Dweve Forge, pētniecības sadarbība","research-forge.business.close.primary":"Apspriest institucionālo sadarbību","research-forge.business.close.secondary":"Pārbaudīt pierādījumu līgumu","research-forge.business.close.title":"Apstrīdēt vienu lēmumu.","research-forge.business.eyebrow":"Dweve Forge, verificētu programmu atklāšana","research-forge.business.lede":"Dweve Forge ir pētniecības projekts, kas pārvērš piemērus, ierobežojumus un daļējas specifikācijas kontrolētā derīgu programmu meklēšanā, salīdzina nedominētos alternatīvos risinājumus un saglabā pierādījumus, kas pamato izvēlēto rezultātu. Specifikācija paliek ilgnoturīgais aktīvs, kamēr ieviešanas izvēles paliek atvērtas ilgāk.","research-forge.business.titleAccent":"līdz pierādījums izšķir","research-forge.business.titleLead":"Turiet nolūku atvērtu","research-forge.businessGlyph.ambiguous":"Uzvedība joprojām neskaidra","research-forge.businessGlyph.assurance":"Nosaukta garantija","research-forge.businessGlyph.boundary":"Pētniecības programma, nevis programmatūras piedāvājums","research-forge.businessGlyph.candidateA":"Kandidāts A","research-forge.businessGlyph.candidateB":"Kandidāts B","research-forge.businessGlyph.candidateC":"Kandidāts C","research-forge.businessGlyph.candidateD":"Kandidāts D","research-forge.businessGlyph.counterexample":"Atrasts pretpiemērs","research-forge.businessGlyph.execution":"Plāns un rezultāts saistīti","research-forge.businessGlyph.fixed":"Fiksēts","research-forge.businessGlyph.kera":"Kera izpilde","research-forge.businessGlyph.lowLatency":"Vismazākā latentence","research-forge.businessGlyph.lowMovement":"Vismazākā kustība","research-forge.businessGlyph.policy":"Atlases politika","research-forge.businessGlyph.portability":"Plašākā pārnesamība","research-forge.businessGlyph.research":"Pētniecība","research-forge.businessGlyph.selected":"Atlasītais grafs","research-forge.businessGlyph.simpleProof":"Vienkāršākais pierādījums","research-forge.businessGlyph.spec":"Uzvedība, robežas un nodrošinājuma politika","research-forge.businessGlyph.specFixed":"Specifikācija fiksēta","research-forge.businessGlyph.specLabel":"Nemaināma specifikācija","research-forge.businessGlyph.subtitle":"Pārbaudītas alternatīvas pirms izpildes","research-forge.businessGlyph.title":"Specifikācijas lēmumu lapa","research-forge.businessGlyph.tradeoffs":"Redzami kompromisi","research-forge.businessGlyph.visible":"Redzams","research-forge.businessHero.titleMiddle":"labāks","research-forge.businessHero.titleSuffix":"programmatūra","research-forge.c00cde6a62":"Tika aptverts ierobežots deklarēts domēns bez kļūmēm.","research-forge.c023fe51a2":"Forge ir pieejams, izmantojot Dweve pētniecības partneru programmu. Pirms piekļuves pārbaudiet ierobežotus programmu sintēzes jautājumus un vienojieties par vērtēšanas noteikumiem. Rezultāti paliek pētniecības pierādījumi, nevis produkta solījums.","research-forge.c040f6e04f":"robeža ir norādīta kopā ar rezultātu","research-forge.c0caf528d8":"Daudzmērķu izmaksas","research-forge.c10a6d0899":"Pretrunīgas prasības, kas atklātas ieviešanas laikā, kļūst par kavēšanos un pārstrādi. Neskaidrība, kas atklāta pēc izvietošanas, kļūst par nekonsekventu uzvedību, kas kādam jāsaskaņo. Atklāt šādas problēmas pirms ieviešanas ir lētākais veids, kā tās atrast.","research-forge.c12f928235":"Grafa nodošana","research-forge.c144b00ba8":"Latentence, caurlaidspēja un kritiskais ceļš","research-forge.c174fa3158":"Robeža nekustas, kad politika mainās","research-forge.c1929c45f3":"Meklēšana var pierādīt, ka nekas deklarētajā valodā neapmierina prasību, neizdoties izlemt jautājumu tās teorijas un resursu ierobežojumu dēļ, vai atrast, ka sniegtie pierādījumi pieļauj vairākas nesavietojamas uzvedības.","research-forge.c1fcd5ecff":"Tas varētu būt ātrāks. Tas varētu būt mazāks. Tas varētu būt glītākais, ko kāds bija izdomājis šai problēmai.","research-forge.c20d749a05":"REDZAMI KOMPROMISI","research-forge.c2184a31d3":"Prasība ir lieta, ko ir vērts saglabāt, un ieviešana ir rezultāts, ko tā radījusi.","research-forge.c297908b88":"Kandidātu nevar paaugstināt ar vadības elementu, tikai ar pierādījumu, ka pastāv nākamais līmenis.","research-forge.c29cf0b245":"Kompromisi","research-forge.c2bb6fa0c5":"SPECIFIKĀCIJA NEMAINĀMA","research-forge.c2ea17d5fe":"TRĪS LAUKI","research-forge.c33ef52668":"prasība to nedara","research-forge.c3451e6677":"Piemēri parāda paredzamo uzvedību gadījumos, ko cilvēki var pārbaudīt. Loģiskie nosacījumi definē, kam ir jāpastāv ārpus šiem gadījumiem. Daļēja skice saglabā drošības arhitektūru, saskarni vai noteiktu vadības plūsmu, kamēr viens reģions paliek atvērts atklājumiem. Kopā tie padara prasību pietiekami precīzu, lai mašīna pret to varētu neizdoties, un tas ir specifikācijas mērķis. Viss, ko meklēšanai ir atļauts izlemt jūsu vietā, pieder tajā pašā dokumentā.","research-forge.c36594e8f5":"minimāls deklarētās valodas ietvaros","research-forge.c3be8bb127":"Cik ātri","research-forge.c3e4b59bd1":"Cik daudz datu programma pārvieto","research-forge.c439038abe":"Nav aptverts","research-forge.c440d9bf36":"Meklēšana nevar glābt kandidātu, mainot mērķi.","research-forge.c4cc9c34bd":"Viens pilnveides cikls","research-forge.c533db2294":"pirms opciju redzēšanas","research-forge.c554cb5d95":"Dweve Research, Nīderlande","research-forge.c60a3a3cff":"Meklējiet atbalstītajā domēnā pārkāpjošu ievadi.","research-forge.c648f0b37b":"Četri iemesli, kāpēc atbilde ir nav programmas","research-forge.c69925079f":"nepareizs tieši šajā gadījumā","research-forge.c6c9f7cd5c":"Gudrs īsceļš","research-forge.c6d954c113":"Nekas deklarētajā valodā un pieņēmumos neapmierina prasību.","research-forge.c74dddd8a0":"Ieraksti, kas atbild uz vēlāku jautājumu, tika rakstīti, kad lēmums tika pieņemts.","research-forge.c76a21c28e":"Tāpēc pazīstamu identitāti var atzīt precīzā veselu skaitļu reģionā un atteikt peldošā reģionā tajā pašā grafā. Nosacījums paliek piesaistīts relācijai, tāpēc ekstrakcija nekad nemanto pārrakstīšanu, kurai tā nebija tiesīga.","research-forge.c7e00eda62":"apgalvojums ir minimāls šajā valodā, pie šīs robežas","research-forge.c7f2c2e7d4":"Trīs kārtas","research-forge.c8050fa93f":"Tas pierāda, ka pastāv viens ceļš. Tas ir reāls rezultāts, un to ir vērts iegūt agri, jo tas norāda, ka prasību vispār var apmierināt deklarētās valodas ietvaros.","research-forge.c82f0b5250":"krustojošs pāris ir kompromiss, nevis rangs","research-forge.c855f0a33c":"Neatbalstīta teorija aptur kandidātu pie pārbaudīts vai ārpus darbības jomas, un ieraksts norāda, kurš. Formāls rezultāts var nosaukt semantisko grafu, kamēr izdotais artefakts joprojām gaida savu izpildes saiti. Neviena no šīm pozīcijām netiek saspiesta vienā nozīmītē.","research-forge.c932a404bb":"Pārbaudiet, apstrīdiet un pierādiet to, ko pierādījumi atbalsta.","research-forge.c93e1581c7":"Pat nelielai problēmai var būt miljoniem iespējamo programmu. Forge skatās operācijās un robežās, ko eksperiments atļauj, un dažādas meklēšanas uzvedības pēta dažādas šīs telpas daļas. Tomēr neviena no tām nedrīkst padarīt problēmu vieglāku: prasība atrodas ārpus meklēšanas un nekustas.","research-forge.c940737ecf":"Forge, pētniecības skats","research-forge.c968557f4b":"Pārbaudīts grafs un pierādījumi Kera","research-forge.c9bf3b001c":"vērtīgākais rezultāts","research-forge.c9d8f0eef6":"apgriezt pirms vērtēšanas","research-forge.ca032b5844":"Ko tas dara","research-forge.ca046ad257":"Izlasi pētījumu","research-forge.ca08ca46bd":"Pārliecības kāpnes","research-forge.ca09c54bff":"Iespējas","research-forge.ca6d0e3aaa":"Posms","research-forge.ca7b181648":"Fiksētā secība","research-forge.cb3242398c":"Vairākas programmas paliek derīgas","research-forge.cb3888722e":"Neviena puse neuzņemas otras puses apgalvojumu, un grafa identitāte saglabā savienojumu precīzu.","research-forge.cb48a44ca9":"Trīs iterācijas","research-forge.cb4ae000d8":"programma paliek atvērta","research-forge.cb5c0156c2":"Nes savus ierobežojumus","research-forge.cbb9f1b292":"katrs saka kaut ko citu","research-forge.cbbe214a22":"Atnes specifikāciju","research-forge.cc68ebf0f3":"Robeža satur kandidātus, kurus neviens cits kandidāts nepārspēj nevienā aktīvajā mērķī. Dalībnieka noņemšanai nepieciešama dominances attiecība, ko var parādīt, nevis meklēšanā paslēpta izvēle. Tas tehnisku salīdzinājumu pārvērš par kaut ko tādu, ko pārskata komiteja var izlasīt: katrs dalībnieks atbilst vienam un tam pašam līgumam un atšķiras tikai ar izmaksām.","research-forge.ccfd13401b":"Piespraud problēmu","research-forge.cd27068c9e":"Izturīgs aktīvs","research-forge.cd3d5a59f1":"Deterministiska izpilde","research-forge.cdaa0de1dc":"Kopīgās apakšizteiksmes dalīšana","research-forge.cdbed7e540":"Meklēšanas valoda","research-forge.cde215073a":"visi četri atbilst vienam un tam pašam līgumam","research-forge.cdf33799d9":"Izpildes saišu ieraksts","research-forge.ce3b4e045e":"pirms tas kļūst pastāvīgs","research-forge.ce9e850988":"meklēšana ziņo par atšķirību, nevis izvēlas vienu no tiem","research-forge.cec4b662d3":"Daļēja programma","research-forge.cecae09ffe":"Mašīna atrod kandidātu.","research-forge.cf5ed047cf":"Mērķa vērtības un pozīcija uz robežas.","research-forge.cf61965045":"fakti, kas pieejami pirms kaut kas tiek novērtēts","research-forge.cf88038e56":"Nav galīgs","research-forge.cf9b77061f":"Atvērts","research-forge.consumer.banner.bodyOne":"Kandidāts var būt ātrāks, mazāks vai vieglāk izpildāms.","research-forge.consumer.banner.bodyTwo":"Ja tas pārkāpj specifikāciju, tas nav šīs programmas optimizācija.","research-forge.consumer.banner.checkDetail":"Pieprasi eksperimenta nosaukto pierādījumu līmeni.","research-forge.consumer.banner.checkLabel":"Pārbaudi pareizību","research-forge.consumer.banner.checkStatus":"Vārti","research-forge.consumer.banner.compareDetail":"Tikai pieņemami kandidāti nonāk kompromisu diskusijā.","research-forge.consumer.banner.compareLabel":"Salīdzini izmaksas","research-forge.consumer.banner.compareStatus":"Tad salīdzini","research-forge.consumer.banner.eyebrow":"Nepārkāpjamā robeža","research-forge.consumer.banner.findDetail":"Izpēti dažādas atļautās programmu struktūras.","research-forge.consumer.banner.findLabel":"Atrodi kandidātus","research-forge.consumer.banner.findStatus":"Meklēt","research-forge.consumer.banner.footer":"Dweve Forge, pārbaudīta programmu atklāšana","research-forge.consumer.banner.instrumentTag":"Fiksēts","research-forge.consumer.banner.instrumentTitle":"Secība","research-forge.consumer.banner.stateDetail":"Uzraksti rezultātu un tā robežas pirms meklēšanas.","research-forge.consumer.banner.stateLabel":"Norādi uzvedību","research-forge.consumer.banner.stateStatus":"Fiksēts","research-forge.consumer.banner.titleAccent":"ja tas maina atbildi","research-forge.consumer.banner.titleLead":"Gudrs īsceļš ir nederīgs","research-forge.consumer.banner.verdictLabel":"Noteikums","research-forge.consumer.banner.verdictValue":"Pareizība nodrošina iekļūšanu kompromisu diskusijā.","research-forge.consumer.close.body":"Publiskais Forge materiāls izskaidro specifikāciju, atklātās alternatīvas, pretpiemērus un to, ko pētījums patiešām var pierādīt. Forge ir aktīvs iekšējais pētījums bez programmatūras izmēģinājuma, publiskas pakotnes vai atvērtā koda lejupielādes.","research-forge.consumer.close.eyebrow":"Dweve Forge, pārbaudīta programmu atklāšana","research-forge.consumer.close.primary":"Izpēti Dweve pētījumus","research-forge.consumer.close.secondary":"Atgriezies pie eksperimenta","research-forge.consumer.close.title":"Seko meklēšanai no nolūka līdz pierādījumiem.","research-forge.consumer.counterexample.body":"Kandidāts var darboties ar visiem sniegtajiem piemēriem un tomēr neizdoties citur. Forge var to apstrīdēt ar konkrētu ievadi, kas atklāj atšķirību. Šī ievade kļūst par pretpiemēru.","research-forge.consumer.counterexample.eyebrow":"Neveiksme kā noderīgs pierādījums","research-forge.consumer.counterexample.footer":"Daudzu piemēru izpilde joprojām nenozīmē, ka programma ir pierādīta kā pareiza.","research-forge.consumer.counterexample.pillFailure":"Konkrēta neveiksme","research-forge.consumer.counterexample.pillPermanent":"Pastāvīgs gadījums","research-forge.consumer.counterexample.pillRetry":"Meklēt vēlreiz","research-forge.consumer.counterexample.secondaryLeft":"Neizdevušais gadījums pievienojas pastāvīgajiem pierādījumiem. Nākamajam kandidātam jāatbilst gan iepriekšējiem piemēriem, gan jaunajai robežai.","research-forge.consumer.counterexample.secondaryLeftLabel":"Kandidāts mainās","research-forge.consumer.counterexample.secondaryRight":"Neveiksme var arī atklāt neskaidrību vai pretrunu pieprasījumā. Precizējot nolūku, tiek izveidota jauna specifikācija, un iepriekšējais rezultāts paliek redzams.","research-forge.consumer.counterexample.secondaryRightLabel":"Nolūks var mainīties","research-forge.consumer.counterexample.sideChallengeDetail":"Skatieties tālāk par draudzīgajiem piemēriem.","research-forge.consumer.counterexample.sideChallengeLabel":"Izaicinājums","research-forge.consumer.counterexample.sideFooter":"Neveiksme sašaurina meklēšanu un precizē cilvēka prasību.","research-forge.consumer.counterexample.sideMetaLabel":"Virziens","research-forge.consumer.counterexample.sideMetaValue":"Katrā kārtā stingrāk","research-forge.consumer.counterexample.sideProposeDetail":"Atrodiet kandidātu, kas atbilst zināmajiem gadījumiem.","research-forge.consumer.counterexample.sideProposeLabel":"Ierosināt","research-forge.consumer.counterexample.sideRememberDetail":"Pievienojiet konkrēto neveiksmi pierādījumiem.","research-forge.consumer.counterexample.sideRememberLabel":"Atcerēties","research-forge.consumer.counterexample.sideRetryDetail":"Meklējiet kandidātu, kas iztur stingrāku kopu.","research-forge.consumer.counterexample.sideRetryLabel":"Mēģināt vēlreiz","research-forge.consumer.counterexample.sideStatus":"Cikls","research-forge.consumer.counterexample.sideSubtitle":"Kā vājš kandidāts uzasina jautājumu","research-forge.consumer.counterexample.sideTitle":"Viens pretpiemēru cikls","research-forge.consumer.counterexample.titleAccent":"nepareizi tieši šajā gadījumā","research-forge.consumer.counterexample.titleLead":"Ne vienkārši nepareizi","research-forge.consumer.counterexample.visualFooter":"Nākamajam kandidātam jābūt labākam, nevājinot prasību.","research-forge.consumer.counterexample.visualMeta":"Ilustratīvs gadījums","research-forge.consumer.counterexample.visualStatus":"Atrasts pretpiemērs","research-forge.consumer.counterexample.visualSubtitle":"Trīs kandidāti atbilst arvien stingrākai robežai","research-forge.consumer.counterexample.visualTitle":"Neizdevušais gadījums kļūst par pastāvīgu pienākumu","research-forge.consumer.glyph.evidence.counterexample":"Neveiksme reģistrēta","research-forge.consumer.glyph.evidence.examples":"Piemēri izpildīti","research-forge.consumer.glyph.evidence.execution":"Izpilde saistīta","research-forge.consumer.glyph.evidence.proof":"Saistība pierādīta","research-forge.consumer.glyph.footer":"Mašīna var neatgriezt nevienu programmu.","research-forge.consumer.glyph.header.detail":"Pieprasījums paliek fiksēts, kamēr ceļi mainās.","research-forge.consumer.glyph.header.state":"Pētniecība aktīva","research-forge.consumer.glyph.header.title":"Programmu atklāšanas eksperiments","research-forge.consumer.glyph.path.a.label":"Neiztur robežgadījumu","research-forge.consumer.glyph.path.a.state":"Noraidīts","research-forge.consumer.glyph.path.b.label":"Pareizi, augstākas izmaksas","research-forge.consumer.glyph.path.b.state":"Saglabāt","research-forge.consumer.glyph.path.c.label":"Pareizi, cita kompromisa risinājums","research-forge.consumer.glyph.path.c.state":"Pierādīts","research-forge.consumer.glyph.request.detail":"Piemēri, noteikumi un daļēja programma nosaka meklēšanas robežu.","research-forge.consumer.glyph.request.label":"Pārveidojiet katru atbalstīto ievadi un saglabājiet norādīto ierobežojumu.","research-forge.consumer.hero.eyebrow":"Dweve Forge, verificēta programmu atklāšana","research-forge.consumer.hero.lede":"Dweve Forge ir pētniecības projekts, kas meklē programmas, kuras atbilst piemēriem, ierobežojumiem vai daļējām specifikācijām, uzlabo derīgus kandidātus atbilstoši skaidriem mērķiem un reģistrē pierādījumus, kas pamato katru rezultātu.","research-forge.consumer.hero.ledgerLabel":"Pētniecības piezīme","research-forge.consumer.hero.ledgerPill":"Aktīvs","research-forge.consumer.hero.ledgerPurpose":"Mērķis","research-forge.consumer.hero.ledgerPurposeValue":"Atklāt, salīdzināt un pārbaudīt programmas","research-forge.consumer.hero.ledgerStatus":"Statuss","research-forge.consumer.hero.ledgerStatusValue":"Aktīva iekšējā pētniecība","research-forge.consumer.hero.primary":"Sekot vienai atklātai programmai","research-forge.consumer.hero.secondary":"Skatīt, ko nozīmē verificēts","research-forge.consumer.hero.titleAccent":"Ļaujiet mašīnai meklēt, kā.","research-forge.consumer.hero.titleLead":"Aprakstiet, kam jānotiek.","research-forge.consumer.intent.body":"Forge pētniecība sākas ar piemēriem, noteikumiem vai daļēji uzrakstītu programmu. Piemēri parāda konkrētus gadījumus. Noteikumi nosaka, kam vispārīgāk jāpaliek spēkā. Daļēja programma saglabā lēmumus, kurus nevajadzētu nodot meklēšanai.","research-forge.consumer.intent.eyebrow":"Sākumpunkts","research-forge.consumer.intent.footer":"Kad darbība ir skaidra, mašīna var meklēt daudzus iespējamos veidus, kā to panākt.","research-forge.consumer.intent.pillExamples":"Piemēri","research-forge.consumer.intent.pillRules":"Noteikumi","research-forge.consumer.intent.pillSketch":"Daļēja programma","research-forge.consumer.intent.secondaryLeft":"Pavediens var lūgt kodu un saņemt kaut ko ticamu. Pats par sevi tas nenosaka pilnīgu standartu, pret kuru šis kods varētu izgāzties.","research-forge.consumer.intent.secondaryLeftLabel":"Pavediens","research-forge.consumer.intent.secondaryRight":"Specifikācija nosaka uzvedību, robežas un pieļaujamās izvēles. Tās maiņa rada citu pētniecības problēmu, nevis glābj vāju kandidātu.","research-forge.consumer.intent.secondaryRightLabel":"Specifikācija","research-forge.consumer.intent.sideExamplesDetail":"Šim ievadam izveido šo izvadi.","research-forge.consumer.intent.sideExamplesLabel":"Piemēri","research-forge.consumer.intent.sideFooter":"Prasība ir pirmajā vietā; realizācija paliek atvērta.","research-forge.consumer.intent.sideMetaLabel":"Fiksēts meklēšanas laikā","research-forge.consumer.intent.sideMetaValue":"Uzvedība un tvērums","research-forge.consumer.intent.sideRulesDetail":"Katram atbalstītajam ievadam saglabā šo īpašību.","research-forge.consumer.intent.sideRulesLabel":"Noteikumi","research-forge.consumer.intent.sideSketchDetail":"Saglabā šo struktūru un atklāj trūkstošo daļu.","research-forge.consumer.intent.sideSketchLabel":"Skice","research-forge.consumer.intent.sideStatus":"Sākt","research-forge.consumer.intent.sideSubtitle":"Katrs sniedz cita veida robežu","research-forge.consumer.intent.sideTitle":"Trīs veidi, kā izteikt nodomu","research-forge.consumer.intent.titleAccent":"pirms realizācijas izvēles","research-forge.consumer.intent.titleLead":"Apraksti uzvedību","research-forge.consumer.intent.visualFooter":"Programma maina formu. Prasība nemainās.","research-forge.consumer.intent.visualMeta":"Ilustratīvs ceļš","research-forge.consumer.intent.visualStatus":"Aktīva izpēte","research-forge.consumer.intent.visualSubtitle":"Ilustratīvs publisks skats uz programmu atklāšanas eksperimentu","research-forge.consumer.intent.visualTitle":"Viena prasība, vairāki iespējamie ceļi","research-forge.consumer.proof.body":"Formāls rezultāts var pierādīt, ka programma apmierina noteiktu īpašību atbalstītajiem ievadiem un semantikai. Tas nepierāda, ka prasība bija gudra, pilnīga vai piemērota katrai reālajai videi.","research-forge.consumer.proof.eyebrow":"Ko nozīmītei vajadzētu teikt","research-forge.consumer.proof.footer":"Dažreiz spēcīgākais godīgais rezultāts ir tas, ka mašīna nevar izveidot programmu.","research-forge.consumer.proof.pillAssumptions":"Pieņēmumi redzami","research-forge.consumer.proof.pillLimits":"Robežas redzamas","research-forge.consumer.proof.pillScoped":"Ierobežots","research-forge.consumer.proof.secondaryLeft":"Programma, īpašība, pieņēmumi un pierādījumi paliek kopā. Ja programma mainās, mainās arī pierādījuma saistība.","research-forge.consumer.proof.secondaryLeftLabel":"Apgalvojums","research-forge.consumer.proof.secondaryRight":"Forge ir aktīva, nepabeigta iekšējā izpēte. Tas nav produkts, publisks sintēzes pakalpojums vai atvērtā koda lejupielāde.","research-forge.consumer.proof.secondaryRightLabel":"Izpētes robeža","research-forge.consumer.proof.sideAssumptionsDetail":"Ievadi un vide, ko aptver apgalvojums.","research-forge.consumer.proof.sideAssumptionsLabel":"Pieņēmumi","research-forge.consumer.proof.sideFooter":"Pierādījums stiprina precīzu apgalvojumu, nevis neskaidru solījumu.","research-forge.consumer.proof.sideLimitsDetail":"Ko rezultāts nenosaka.","research-forge.consumer.proof.sideLimitsLabel":"Robežas","research-forge.consumer.proof.sideMetaLabel":"Spēcīgākais godīgais stāvoklis","research-forge.consumer.proof.sideMetaValue":"Nosaukts, nekad netiešs","research-forge.consumer.proof.sideProgramDetail":"Precīzs pārbaudāmais kandidāts.","research-forge.consumer.proof.sideProgramLabel":"Programma","research-forge.consumer.proof.sidePropertyDetail":"Uzvedība, kas tiek apgalvota.","research-forge.consumer.proof.sidePropertyLabel":"Īpašība","research-forge.consumer.proof.sideStatus":"Pierādījums","research-forge.consumer.proof.sideSubtitle":"Četras daļas, kurām jāpaliek kopā","research-forge.consumer.proof.sideTitle":"Pierādījuma paziņojums","research-forge.consumer.proof.titleAccent":"nav pareizs katrā iespējamajā pasaulē","research-forge.consumer.proof.titleLead":"Pārbaudīts saskaņā ar šiem noteikumiem","research-forge.consumer.proof.visualFooter":"Nezināms, neiespējams, neskaidrs un ārpus tvēruma paliek derīgi izpētes rezultāti.","research-forge.consumer.proof.visualMeta":"Ilustratīvs pierādījums","research-forge.consumer.proof.visualStatus":"Tvērums redzams","research-forge.consumer.proof.visualSubtitle":"Testēšana, ierobežotas pārbaudes, formāls pierādījums un izpildes saistība ir dažādi rezultāti","research-forge.consumer.proof.visualTitle":"Pārliecības kāpnes tur savus pakāpienus atsevišķi","research-forge.consumerHero.titleSuffix":"atrodot labākus maršrutus","research-forge.d02603176f":"Universāls","research-forge.d092bf9ea1":"Izpēti izpēti","research-forge.d0f4e7e15e":"grafs tos tur precīzus","research-forge.d105692d52":"Atlasītais kandidātu grafs","research-forge.d1a475961a":"Ierobežota pilnīga meklēšana var atrast mazāko izteiksmi šaurā valodā. Pretpiemēru vadīta precizēšana mēdz atrast robustas strukturētas programmas. Ierobežojumu vadīta meklēšana risina sarežģītus bitu līmeņa apgabalus. Izpētes meklēšana sasniedz neparastas implementācijas.","research-forge.d1b06384eb":"Piemēri, noteikumi vai daļēji uzrakstīta programma.","research-forge.d1ed30ebcf":"Fiksēta robeža","research-forge.d1f8a8cdec":"Apvienošana ir tikai tik spēcīga, cik tests, kas to attaisnoja.","research-forge.d1f8e5ea93":"Atlase","research-forge.d2089fb287":"Teorijas maršrutēšana","research-forge.d2316c0df0":"Pieci ieraksti","research-forge.d23276442b":"Dizaina telpas problēma","research-forge.d23c4c8d4e":"Viens teikums, trīs lietojamas formas","research-forge.d255672f1b":"un asina pieprasījumu","research-forge.d286c609a6":"Specifikācijas versija","research-forge.d2b02aa6ad":"ieraksts saista abas puses","research-forge.d2bad80400":"Vienkāršs pieprasījums, kas sadalās piemēros, noteikumā un skicē, blakus atbildei, kas rakstīta tieši no teikuma, kam nav nekā, ar ko to pārbaudīt","research-forge.d2d0b16b22":"Noņem strukturālos dublikātus un novērotos dublikātus.","research-forge.d2d43bec88":"Mērķa backends (novērtēšanas tvērums)","research-forge.d35260a00f":"Mērķi","research-forge.d362822809":"Kur nogādāt problēmu","research-forge.d36f29cacf":"Saskaņot","research-forge.d3d6314184":"Katrs kandidāts ir līnija pāri katrai asij, nevis punkts uz vienas.","research-forge.d3dee74f70":"Formālais rezultāts un atsevišķa tā pārbaude, ja tāda ir pieejama.","research-forge.d3ec6e1bad":"Semantiskais objekts, ko Kera saņem, ar tam piesaistītajām saistībām.","research-forge.d4621d18f0":"ar noteiktu robežu","research-forge.d4a74b503a":"Lasīt dokumentāciju","research-forge.d4ccefcb5e":"neviens no četriem nebeidzas, radot kaut ko ticamu tā vietā","research-forge.d50b109f99":"Vairāki atvasinājumi paliek dzīvi vienlaikus, un galīgā izvēle gaida objektīvus pierādījumus.","research-forge.d51fb63a04":"katrs rezultāts norāda uz to","research-forge.d5383ea7af":"Reģistrēts","research-forge.d5dc89d194":"Atbalstītajiem Kera līgumiem tīra izpilde atkārto bitus identiski bez sēklas, ieskaitot aptvertos peldošo skaitļu saimes ceļus. Kad programma apzināti patērē nejaušības stāvokli, šis stāvoklis ir deklarēta ievade, un tā atkārtota izmantošana reproducē visu izpildi.","research-forge.d5ec4f1c39":"Kāpēc šī programma pastāv","research-forge.d5f412e831":"Kera","research-forge.d659989a95":"Forge meklē tipizētu skaitļošanas operāciju valodā. Ievades, izvades, formas, skaitļu saimes, efekti, iespējas, īpašumtiesības un mērķa ierobežojumi nosaka, kuras kompozīcijas ir likumīgas, tāpēc nederīgas programmas tiek izslēgtas strukturāli, nevis ģenerētas un labotas pēc novērtēšanas. Valoda tiek izvēlēta kopā ar paketi un slēgta izpildei.","research-forge.d66c44dfdf":"Neiespējams","research-forge.d6a6f2deb1":"Ko cilpa dara","research-forge.d71df112ac":"Ko meklēšana drīkst darīt","research-forge.d769ded7e8":"Kandidāts","research-forge.d79c0b71d1":"kura pirmā pareizā programma nav pietiekama","research-forge.d7e5b39755":"Neskaidrība kļūst redzama, pirms tā kļūst par kodu. Divi kandidāti var apmierināt katru sniegto piemēru un joprojām atšķirties par ievadi, ko neviens nepierakstīja. Forge ziņo par šo atšķirību un lūdz vēl vienu prasību, nevis klusi izvēlas vienu uzvedību.","research-forge.d7e94eb0fb":"Katra organizācija paļaujas uz maziem, kritiskiem koda gabaliem. Forge jautā, vai programmu sintēzes meklēšana var piedāvāt kandidātu implementācijas saskaņā ar deklarētu specifikāciju un mērījumu plānu. 2025. gada ziņojums dokumentē eksperimentu, nevis ražošanas gatavību; neviens publicēts etalons nenosaka optimālu vai ātrāko versiju.","research-forge.d835dab5b4":"precīzs vesels skaitlis","research-forge.d90c9bd5a7":"izmērs no 2 līdz 4","research-forge.d9f6acb036":"ekstrakcija notiek pēdējā","research-forge.da09c06014":"Forge sākas ar uzvedības līgumu, kas nekustas. Meklēšana var piedāvāt tūkstošiem implementāciju, un piemēri, pretpiemēri un formāli vaicājumi izlemj, kuras no tām paliek. Rezultāts ir tipizēts programmas kandidāts ar atvasinājumu, objektīvu vektoru un noteiktu nodrošinājuma līmeni.","research-forge.da7a712c59":"Ko programmai jādara","research-forge.daec3d5393":"Pretpiemēri, pierādījumi un nodrošinājuma pārejas.","research-forge.db1c784524":"Atsauce","research-forge.dc131e9db4":"Ko pakete nostiprina","research-forge.dc16ac61b4":"viena ass nevar sarindot fronti","research-forge.dc5b5aba63":"sašaurina prasību","research-forge.dcd69b02b3":"Specifikācija ir konsekventa","research-forge.dd00b8f82f":"Nosaukts nodrošinājums","research-forge.dd3c9b9d09":"Nenofiksē pārrakstīšanas secību","research-forge.dd3e8f4841":"Testi nosaka uzvedību gadījumos, kas tika izpildīti. Izsmeļoša ierobežota pārbaude aptver deklarētu galīgu domēnu. Formālā verifikācija pierāda kodētu attiecību saskaņā ar noteiktiem pieņēmumiem. Izpildes sasaiste saista rezultātu ar grafiku un plānu, kas faktiski izpildījās. Forge ziņo, kuru no tiem kandidāts sasniedza, jo lēmums, kas pieņemts uz nepareizā, ir lēmums, kas pieņemts uz nepareiziem pierādījumiem. Šajās kāpnēs ir pieci pakāpieni, un kandidāts vienlaikus atrodas tieši uz viena no tiem.","research-forge.de135d6b61":"tīrs apgabals","research-forge.de56d45fd4":"un kam tam nav atļauts pieskarties","research-forge.de9e9925af":"daļas, kurām jāpaliek kopā","research-forge.dfda3a3599":"Pārskatāms","research-forge.e0078f1adb":"Tas nedrīkst pievienot failu vai tīkla piekļuvi, kas nekad nebija atļauta. Tas nedrīkst mainīt skaitļa veidu, ko izmanto atbilde. Tas nedrīkst mīkstināt prasību tāpēc, ka daudzsološs kandidāts gandrīz to izpildīja.","research-forge.e03608577a":"Robežas pārskats","research-forge.e048b8a355":"Kā garantijas savienojas optimizācijā un plānošanā.","research-forge.e15760689d":"Precizēt","research-forge.e192f8980b":"Statiskie modeļi sarindo kandidātus, pirms kaut kas tiek izpildīts. Kalibrēti mērķa profili uzlabo šos aprēķinus. Izmērītās darbības tos apstiprina vai labo. Katrs paliek marķēts, tāpēc prognozētais latentums nekad netiek rādīts vietā, kur būtu izmērītais.","research-forge.e24f8562eb":"ieviešana kļūst par rezultātu","research-forge.e29a79fe0c":"Pārskatīt","research-forge.e2f9cea1dd":"ko katra forma nosaka un ko nenosaka","research-forge.e31ae17fe2":"Ko tā atstāj neatbildētu","research-forge.e340683de2":"Deklarētie konkrētie gadījumi izturēja.","research-forge.e341bf4b5e":"Pilnīgums pieder deklarētajai telpai, un ziņojums norāda, kura telpa tā bija.","research-forge.e380a981e1":"Divas inženierijas secības","research-forge.e3a3474f57":"Līdzvērtīgas avota virknes var aprakstīt vienu un to pašu aprēķinu, un līdzīgi izskatīgs avots var slēpt atšķirīgas sekas. Darbs ar grafu padara strukturālo koplietošanu, kandidātu salīdzināšanu, pierādījumu piesaisti un izcelsmi precīzu, nevis kaut ko secinātu no teksta pēc katras transformācijas.","research-forge.e3aa756f4f":"Trīs skati","research-forge.e3f3e0b2d5":"Neatbilde ar pievienotu iemeslu ir lēmums, uz kura organizācija var rīkoties jau šodien.","research-forge.e3f4660921":"Kad meklēšana saglabā vairākas pareizas programmas, kādam ir jāpasaka, kurš kompromiss ir svarīgs. Tas ir lēmums, un Forge to reģistrē kā tādu, kopā ar programmām, kuras tā neizvēlējās, un iemeslu, kāpēc katra tika noraidīta.","research-forge.e40786cd04":"grafs ir nosaukts, nevis avots","research-forge.e43a425d4c":"Viens neizdevies gadījums","research-forge.e4709d4a03":"Kaut kas deklarētajā valodā atbilst prasībai.","research-forge.e4ec169f06":"Trīs iterācijas, viena arvien precīzāka prasība","research-forge.e5a5debd01":"un virza nākamo ieguldījumu","research-forge.e5e6eefa7c":"katrs var nosaukt citu labāko kandidātu","research-forge.e5fa3a8592":"Pievienojiet pierādījumus, kas nošķir konkurējošās darbības.","research-forge.e6737991ff":"Kandidātu meklēšana","research-forge.e6c167fd27":"DALĪBNIEKS","research-forge.e6f72dbc9e":"Labi izveidots caur izpildi, kas saistīta, nekad nesaplūst.","research-forge.e70fb2879c":"kas maina atbildi","research-forge.e713d42aa6":"PRIEKŠMETS","research-forge.e73791d2ee":"Ieraksts ir veidots, lai to lasītu kāds, kurš tur nebija. Tas nosauc specifikācijas versiju, nevis atzaru, kandidātu grafu, nevis failu, un dominances attiecību, nevis vēlmi, lai recenzents varētu jautāt, kāpēc ne kandidāts B, un saņemt atbildi.","research-forge.e78c82b9d8":"Līdzvērtīga programmu telpa","research-forge.e792eed957":"Uzskaitīt pēc veida un lieluma","research-forge.e79545edad":"Forge var atrast programmu, atrast vairākas, atrast kontrpiemēru, kas vienu izbeidz, vai atrast, ka nekas atļautajā telpā nedarbojas vispār. Jebkurš no tiem var notikt vienā izpildē.","research-forge.e7c6bfda5f":"Piemēri, ierobežojumi un skices","research-forge.e7eaf3097f":"NEIZLEMTS","research-forge.e83744eb1b":"Viens grafs cauri Dweve kopai","research-forge.e89c5a1fe5":"Pieprasīt demonstrāciju","research-forge.e8c9206319":"Jūs nosakāt darbību","research-forge.e93a01e74c":"Ievades un izvades","research-forge.e9a46a96e9":"Neskaidrs","research-forge.e9c366b4f3":"Prasība","research-forge.e9e1bb076f":"Pierādījums, grafs, plāns un rezultāta identitāte ir saistīti kopā.","research-forge.ea2f183ae8":"Neveiksme, kas nosauc precīzu ievadi, māca meklēšanai vairāk nekā neveiksme, kas nosauc rezultātu.","research-forge.ea66222972":"Definējiet darbību, kandidātu valodu, mērķa vektoru un pierādījumus, kas jums nepieciešami. Forge to var pārvērst kontrolētā meklēšanas, salīdzināšanas un pārbaudes eksperimentā.","research-forge.ea66d3cd71":"Formāli pārbaudīts","research-forge.eae192773b":"Izveidoja","research-forge.eb01bf04c9":"Piemēri","research-forge.eb5d2f4a58":"JIT","research-forge.eb65476556":"atteikums pirms novērtēšanas neko nemaksā","research-forge.eb86bd10d0":"Pārbaudiet un formāli iztaujājiet izdzīvojušos.","research-forge.ebc93602b0":"Pētniecības partneru programma","research-forge.ebd1b8a0ed":"Pareizība un izmaksas paliek atsevišķi","research-forge.ebf002ed26":"Kas jārada vai jāsaglabā katrai atļautajai ievadei?","research-forge.ec00edb305":"Mērījumu statuss","research-forge.ec80d62108":"Trīs asu kompromisa grafiks ar dominētajiem kandidātiem, kas ir izbalēti, politikas atlasītājs, kas izvēlas vienu nedominētu locekli, un vadība, kas pievieno mērķi un pārzīmē robežu","research-forge.ec8c6779f3":"Atvasinājums","research-forge.eca98aa4dd":"Pastāvīgā invariante","research-forge.ecc4622e4a":"Nolūks kā aktīvs","research-forge.eccd8c22c7":"Gadījumi","research-forge.ed03c68d9c":"Daļēji","research-forge.ed625e27bc":"atbilde tiek nolasīta no ieraksta, nevis atjaunota no tā","research-forge.ed834ee730":"Divas programmas, katrs piemērs, viena domstarpība","research-forge.ed868fa2d4":"Ko viena atbilde nosaka","research-forge.edd8fb596d":"Ko organizācija vēlas","research-forge.ee531c138e":"viena identitāte visā dzīves ciklā","research-forge.ee6e0d9004":"ko atgriež Kera","research-forge.eebc8ec4db":"Lielākā darba kopa","research-forge.eebfc58277":"Parasti ir vairāk nekā viena laba atbilde, un pateikt, kuru izvēlējāties, ir daļa no atbildes.","research-forge.ef4e3a4971":"Kas vēl var atšķirties","research-forge.ef73fdd1c8":"Četri gadījumi","research-forge.f04208c0f4":"ārējos trīs lokus var izpētīt, neatverot iekšējo","research-forge.f061352d1c":"Ģimene, platums, noapaļošana un spēkā esošā kļūdu aploksne.","research-forge.f0aa98e438":"Problēma vispirms tiek pierakstīta","research-forge.f128a0033d":"Forge salīdzina derīgus kandidātus pēc darbību skaita, kritiskā ceļa, atmiņas plūsmas, darba kopas, reģistru noslodzes, koda lieluma, aplēstās enerģijas, pārnesamības, pierādījuma sarežģītības un mērķa atbilstības. Kuri no tiem ir aktīvi, pieder eksperimenta paketei un tiek izvēlēti pirms jebkura kandidāta mērīšanas, tāpēc salīdzinājumu nevar pielāgot pēc rezultātu iegūšanas.","research-forge.f1513553a0":"Pieci kandidāti, kas īsteno vienu un to pašu specifikāciju, katrs ar atšķirīgu strukturālo siluetu un mērķa lenti, un pirmais atrastais kandidāts ir atzīmēts kā dominētais","research-forge.f19a088441":"Kandidātu programmu formu lauks trīs stāvokļos ap fiksētu prasību rāmi centrā, kas nekad nemaina izmēru","research-forge.f1e6269a35":"Forge kandidāts ir tipizēts semantisks grafs. Tā mezgli saglabā darbības, atkarības, vērtības, efektus, īpašumtiesības un skaitliskās saistības, un meklēšana pievieno, noņem un atkārtoti savieno reģionus, kamēr interfeiss paliek labi veidots. Avota sintakse ir viens no šī objekta skatiem, nevis tā identitāte, tāpēc pierādījums var piesaistīties tam un izdzīvot pareizrakstības maiņu.","research-forge.f21eba9d4c":"Uzvedība, kas par to tiek apgalvota.","research-forge.f2b83c0462":"Pārskatīt kandidāta izvadi","research-forge.f3263fc33a":"Kuri ievaddati, efekti un vides ir darbības jomā?","research-forge.f33b37791c":"viena fiksēta prasība","research-forge.f34faaf18c":"Kas paliek fiksēts izpildes laikā","research-forge.f3717fe94b":"Trīs savienojumi, viena tipizēta valoda","research-forge.f3b8596ff9":"Sketches","research-forge.f3e0a2c003":"Darbība, stāvokļa pāreja un katrs efekts, kāds tam ir atļauts.","research-forge.f44f712120":"metode paliek pētnieciska","research-forge.f4b90ff6c9":"enumerative, CEGIS, GP, MCTS","research-forge.f4c0773264":"Tipi, efekti, īpašumtiesības un interfeisi ir derīgi.","research-forge.f5330c10d4":"Divas sistēmas, viens objekts","research-forge.f539273fc2":"Tas izturēja deklarētos konkrētos gadījumus.","research-forge.f53a569905":"Institucionālā problēma","research-forge.f591672335":"no gala līdz galam","research-forge.f5def394f5":"Precīzs kandidāts, kas tika pārbaudīts.","research-forge.f61f151c35":"Aprakstiet, kas notiek","research-forge.f6c1c2d45c":"izvēlētais kandidāts saglabā politiku, kas to izvēlējās","research-forge.f6fbfa37a0":"Efekta ierobežots","research-forge.f7313a2c50":"Lielākā daļa sistēmu, kas raksta kodu, tiek lūgtas turpināt tekstu ticamā veidā. Forge tiek lūgts apmierināt aprakstu par to, kas programmai jādara. Tā meklē implementācijas, noraida tās, kas neizdodas konkrētā ievaddatā, salīdzina tās, kas izdzīvo, un precīzi norāda, cik stingri rezultāts ir pārbaudīts.","research-forge.f740162265":"Diffable","research-forge.f793bcd5e3":"Atlasīts ar pašreizējo politiku","research-forge.f7bce3aeb0":"Trīs veidu vienādība","research-forge.f7fcfa132e":"Pārbaudīts vienmēr nozīmē pārbaudīts pret kaut ko norādītu.","research-forge.f85d540ea4":"Tie arī neizdodas atšķirīgi. Kandidāts var izturēt visus sniegtos piemērus un joprojām pārkāpt kvantificēto nosacījumu, ko piemēri bija paredzēti ilustrēt. Ieraksts nosauc šo atšķirību, tāpēc testu kopas izturēšana vēlāk nekad netiek uztverta kā pierādījums.","research-forge.f8ad81d4ed":"Divas programmas var darīt tieši to pašu darbu un joprojām atšķirties dzīvotspējas ziņā. Viena pabeidz ātrāk. Viena pārvieto mazāk datu. Viena darbojas vairāk veidu mašīnās. Vienu vienkārši ir vieglāk pārbaudīt. Uzlabojot jebkuru no šiem, parasti kaut kas maksā citā, tāpēc Forge patur labos, nevis pasludina vienu uzvarētāju.","research-forge.f915e592e0":"Pietiekami noskaidrots, lai to skaidri pateiktu: nemainīga specifikācija, viens tipizēts kandidātu kopums, ko baro vairāki meklēšanas veidi, kontrpiemēri kā pastāvīgas saistības, fronte nevis slēpts rezultāts, nosaukti pārliecības līmeņi un grafa identitāte, kas izdzīvo nodošanu Kera.","research-forge.f91cf3695e":"kas atstāj Forge un ko Kera atgriež","research-forge.f942052ae1":"Pirmā pareizā programma","research-forge.f95d9699ab":"nevis labākā definīcija","research-forge.f9743247fa":"Izlasi dokumentāciju","research-forge.f97f6d5c34":"Skaitļa veids atbildē","research-forge.f9917655d9":"Pārbaudītie un noraidītie kandidāti, kam bija nozīme.","research-forge.f9d589b5e4":"Etiķete nosauc līmeni, un ieraksts blakus tai nosauc darbības jomu, ko šis līmenis aptver.","research-forge.fa6b511877":"Nevar mainīt","research-forge.fa7f633b0c":"Trīs kandidātu lietas, kas apturētas dažādos pārliecības līmeņos, katra atver pierādījumus aiz savas etiķetes, ar paaugstināšanu parādītu kā nepieejamu bez pierādījumiem","research-forge.fa8d0afff2":"un renderē avotu malā","research-forge.fb588797f2":"Programmatūra, kas raksta","research-forge.fba63933d7":"pierādīšana nosaka uzvedību","research-forge.fbe8d4180f":"Viena sēkla, daudzas formas","research-forge.fc5fed48be":"Meklēt grafā","research-forge.fc7583ec76":"Nemainīga specifikācija","research-forge.fca77b7e3a":"Uzreiz pārskatāms","research-forge.fca8a06b17":"Forge ieraksta, kāda veida vienādība attaisnoja katru sapludināšanu, tāpēc lēta deduplikācija meklēšanas laikā vēlāk nekad netiek uztverta kā semantisks rezultāts.","research-forge.fd2145e1f8":"Kārtība, kas nekad nemainās","research-forge.fd9cfb5232":"Vairāki meklēšanas veidi rada viena veida tipizētu kandidātu.","research-forge.fdd0dfedc0":"Četras lietas ir spēkā","research-forge.fe03c35158":"Semantika","research-forge.fe0863e1b3":"Pieci pārliecības līmeņi","research-forge.fe08eef5c7":"Dweve iekšējās metodes soļi ķēdē parādās kā noslēgti mezgli. Katrs publicē savus ievaddatus, izvaddatus un identitāti, tāpēc ķēde paliek savienota, kamēr tajā esošā stratēģija paliek pētījuma daļa.","research-forge.fe17f86199":"Dizaina telpa","research-forge.fe8b95b52a":"Atlasītais grafs, kas no Forge pārvietojas uz Kera pa vienu joslu, ar blakus esošajām Dweve sistēmām, kas lasa to pašu objektu, un rezultāta identitāte atgriežas tajā","research-forge.fec325ce2f":"Pārvieto mazāk datu","research-forge.fef04acdce":"kas izdzīvo pie katra kandidāta lieluma","research-forge.ff52cebd1d":"Ierobežota deklarētā domēna vērtības bija izsmeltas.","research-forge.ff63942f4e":"Ķēde, kuru recenzents var izstaigāt","research-forge.ff75e0dce3":"Neskaidrs","research-forge.ffa7344f37":"Publiskais Forge materiāls izskaidro specifikāciju, atklātās alternatīvas, pretpiemērus, kas dažas no tām izbeidza, un to, ko pētījums patiešām var pierādīt.","research-forge.technicalHero.titleSuffix":"Z3","section_st_a2_split-spec-sheet.7c9a7c0610":"Detaļas","section_st_a6_split-scenario-triad.f75fd3a884":"Nav izpildlaika atkarību","section_st_a6_split-scenario-triad.143ac4ef35":"Viens binārais fails","section_st_a6_split-scenario-triad.c61f134d87":"Trīs virsmas","section_st_a6_split-scenario-triad.215475056e":"KUR TAS DARBOJAS","section_st_a6_split-scenario-triad.a794a586f0":"Gatavs noslēgtai telpai","section_st_a6_split-scenario-triad.42d52c32ea":"Lokālais modelis","section_st_a6_split-scenario-triad.fe6168e59f":"Bez tīkla","section_st_a6_split-scenario-triad.7d93f83c3e":"Sējuma montēts kods","section_st_a6_split-scenario-triad.bee0cb05f8":"Kubernetes","section_st_a6_split-scenario-triad.9f1141549f":"Docker","section_st_a6_split-scenario-triad.5315129cfe":"macOS, Linux, Windows","section_st_a6_split-scenario-triad.a89193f674":"Bez instalēšanas","section_st_a6_split-scenario-triad.f600b9e709":"Viens binārais fails","section_st_a7_split-connector-grid.4e6822a6d4":"Karstā pārlādēšana","section_st_a7_split-connector-grid.19e35f0609":"Iestatīts TOML","section_st_a7_split-connector-grid.d9de50b343":"Zvanītāja vadīts inventārs","section_st_a7_split-connector-grid.8be1bb51b7":"SAVIENOTĀJI","section_st_a8_split-scaling-profile.7e0861e04c":"Konfigurējams TOML failā","section_st_a8_split-scaling-profile.56d6732417":"Maksimālais līmenis projektam","section_st_a8_split-scaling-profile.27a454915b":"Aktīvie punkti atspoguļo vienlaicīgus aģentus katrā līmenī.","section_st_a8_split-scaling-profile.0ea215ea0d":"FONS","section_st_a8_split-scaling-profile.9fc6fb7e03":"TEAMS","section_st_a8_split-scaling-profile.018d2cd1a5":"PARALĒLI","section_st_a8_split-scaling-profile.16623c5d4a":"ĶĒDES","section_st_a8_split-scaling-profile.0fb79c96ed":"Individuāli → Komanda → Tīkls","section_st_a8_split-scaling-profile.068f6b3ecc":"KOMANDAS MĒROGS","section_st_a8_split-scaling-profile.53ebc572b4":"Tīkls","section_st_a8_split-scaling-profile.218887269a":"Komanda","section_st_a8_split-scaling-profile.9fc93acaa4":"Individuāli","section_st_a9_split-time-lost-donut.7c9a7c0610":"Detaļas","section_st_b5_request-lifecycle.47e364232a":"audits #4521","section_st_b5_request-lifecycle.4d3535f846":"plāksteris · session.rs","section_st_b5_request-lifecycle.6c2519cd62":"Rīka izpilde","section_st_b5_request-lifecycle.f6d1c823ab":"sesija #128 · 14:02","section_st_b5_request-lifecycle.636de0d0c3":"> \"izlabo šo kļūdu\"","section_st_b5_request-lifecycle.0208131a7d":"Lietotāja pieprasījums","section_st_b7_audit-chain.9239506454":"0d4e · 8f2c · 51a9 · 73be","section_st_b7_audit-chain.a383df4adb":"a015 · 7c93 · 3e6f · d28b","section_st_b7_audit-chain.efd3faebc5":"9e1b · 22a7 · 8d50 · 6b3c","section_st_b7_audit-chain.4df252b458":"4f2a · b7d1 · 1c83 · e0a4","section_st_b8_defense-stack.eee0f04cba":"JŪSU KODA BĀZE","section_st_b8_defense-stack.89b6e2a784":"AIZSARDZĪBA DZILUMĀ","section_st_c2_dual-loop-flow.9d29573ea6":"rīks / solis","section_st_c2_dual-loop-flow.08ab1ac55a":"plāns / pārplānošana","section_st_c5_integration-spoke.55d0677ac3":"Visi savienotāji plūst caur vienu un to pašu audita un atļauju slāni.","section_st_c5_integration-spoke.c29eb7e425":"Lokālais aģents","section_st_c5_integration-spoke.14afd82a7f":"AURA","section_st_c5_integration-spoke.ed0afbab5a":"GitLab CI","section_st_c5_integration-spoke.39540900bb":"GitHub Actions","section_st_c5_integration-spoke.a2feefe9af":"Jenkins","section_st_c5_integration-spoke.ab4115a7b2":"Ārējie rīki","section_st_c5_integration-spoke.70c123381f":"JSON-RPC 2.0","section_st_c5_integration-spoke.dc99d54d99":"Lokāls","section_st_c5_integration-spoke.6466df1d3d":"Mistral","section_st_c5_integration-spoke.a19ee5a9fd":"OpenAI","section_st_c5_integration-spoke.b780a23b53":"Anthropic","section_st_f1_cta-dark.90e40d5043":"Sākt","toc-rail.f5cbdf6bfb":"Saturs"}