René's URL Explorer Experiment


Title: Automate proof script: add JBang CI runner for proof/ scripts by Copilot · Pull Request #113 · javaevolved/javaevolved.github.io · GitHub

Open Graph Title: Automate proof script: add JBang CI runner for proof/ scripts by Copilot · Pull Request #113 · javaevolved/javaevolved.github.io

X Title: Automate proof script: add JBang CI runner for proof/ scripts by Copilot · Pull Request #113 · javaevolved/javaevolved.github.io

Description: No automated way existed to run all the proof scripts in the proof/ directory to verify they compile and execute correctly. This adds a JBang runner script and a GitHub Actions workflow as a CI gate for all proof scripts. New: html-generators/proof.java JBang script (Java 25) that: Walks proof/**/*.java for all standalone JBang proof scripts Runs each via jbang --quiet , checking the exit code Reports per-script OK/FAILED/TIMEOUT, exits 1 on any failure --list flag lists all proof scripts New: proof/ directory (105 scripts) One JBang script per pattern (//JAVA 25+), organized by category mirroring content/: proof/language/TypeInferenceWithVar.java proof/collections/ImmutableListCreation.java proof/streams/StreamTolist.java ... Each script has a /// Proof: slug-name header and demonstrates the modern approach from the corresponding content YAML file. New: .github/workflows/proof.yml Runs jbang html-generators/proof.java on push/PR when proof/** changes, using Java 25 + JBang. Supporting changes CONTRIBUTING.md: Added step to create a proof script when adding a new pattern html-generators/README.md: Added proof.java to the files table and documented the proof.yml workflow .github/copilot-instructions.md: Added proof/ to the project structure and documented the proof script convention Original prompt This section details on the original issue you should resolve [Feature] Automate proof script ### Describe the feature We now have proof but we don't have a way to run all of them to verify all of them work. Why would this be useful? No response Alternatives considered No response Comments on the Issue (you are @copilot in this section) Fixes #112 ✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Open Graph Description: No automated way existed to run all the proof scripts in the proof/ directory to verify they compile and execute correctly. This adds a JBang runner script and a GitHub Actions workflow as a CI gat...

X Description: No automated way existed to run all the proof scripts in the proof/ directory to verify they compile and execute correctly. This adds a JBang runner script and a GitHub Actions workflow as a CI gat...

Opengraph URL: https://github.com/javaevolved/javaevolved.github.io/pull/113

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:fbdd2c97-61bc-4d45-d870-b0b95ba74292
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idD12E:3D9708:812BB:AA94B:6A5FE177
html-safe-nonce623797e9c96f11e6eb4926126be16f2438f88755c7e7e0d1423f7a591321a005
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJEMTJFOjNEOTcwODo4MTJCQjpBQTk0Qjo2QTVGRTE3NyIsInZpc2l0b3JfaWQiOiI2MjQzMjA5MjY0MDU0MTMzMTExIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac47002a97565d1ff4696edde7634cf152949d620f40767f361eec869357aab5e9
hovercard-subject-tagpull_request:3337621088
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///pull_requests/show/files
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/javaevolved/javaevolved.github.io/pull/113/files
twitter:imagehttps://avatars.githubusercontent.com/in/1143301?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/in/1143301?s=400&v=4
og:image:altNo automated way existed to run all the proof scripts in the proof/ directory to verify they compile and execute correctly. This adds a JBang runner script and a GitHub Actions workflow as a CI gat...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None969ff9e74dfdb8c6005b9549cd5d4b367ffe20ba69031e1a0cfddaa5106944a2
turbo-cache-controlno-preview
diff-viewunified
go-importgithub.com/javaevolved/javaevolved.github.io git https://github.com/javaevolved/javaevolved.github.io.git
octolytics-dimension-user_id261976795
octolytics-dimension-user_loginjavaevolved
octolytics-dimension-repository_id1159421298
octolytics-dimension-repository_nwojavaevolved/javaevolved.github.io
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id1159421298
octolytics-dimension-repository_network_root_nwojavaevolved/javaevolved.github.io
turbo-body-classeslogged-out env-production page-responsive full-width
disable-turbotrue
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasefa4da66e0ab40d3a24db059b9ddcf8a2f49202c4
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fjavaevolved%2Fjavaevolved.github.io%2Fpull%2F113%2Ffiles
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub Copilot appDirect agents from issue to mergehttps://github.com/features/ai/github-app
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
Code QualityEnforce quality at mergehttps://github.com/features/code-quality
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
View all resourceshttps://github.com/resources
GitHub SponsorsFund open source developershttps://github.com/open-source/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/open-source/accelerator
GitHub Starshttps://stars.github.com
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/enterprise/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fjavaevolved%2Fjavaevolved.github.io%2Fpull%2F113%2Ffiles
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fpull_requests%2Fshow%2Ffiles&source=header-repo&source_repo=javaevolved%2Fjavaevolved.github.io
Reloadhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files
Reloadhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files
Reloadhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files
Please reload this pagehttps://github.com/javaevolved/javaevolved.github.io/pull/113/files
javaevolved https://github.com/javaevolved
javaevolved.github.iohttps://github.com/javaevolved/javaevolved.github.io
Notifications https://github.com/login?return_to=%2Fjavaevolved%2Fjavaevolved.github.io
Fork 25 https://github.com/login?return_to=%2Fjavaevolved%2Fjavaevolved.github.io
Star 374 https://github.com/login?return_to=%2Fjavaevolved%2Fjavaevolved.github.io
Code https://github.com/javaevolved/javaevolved.github.io
Issues 2 https://github.com/javaevolved/javaevolved.github.io/issues
Pull requests 1 https://github.com/javaevolved/javaevolved.github.io/pulls
Discussions https://github.com/javaevolved/javaevolved.github.io/discussions
Actions https://github.com/javaevolved/javaevolved.github.io/actions
Projects https://github.com/javaevolved/javaevolved.github.io/projects
Security and quality 0 https://github.com/javaevolved/javaevolved.github.io/security
Insights https://github.com/javaevolved/javaevolved.github.io/pulse
Code https://github.com/javaevolved/javaevolved.github.io
Issues https://github.com/javaevolved/javaevolved.github.io/issues
Pull requests https://github.com/javaevolved/javaevolved.github.io/pulls
Discussions https://github.com/javaevolved/javaevolved.github.io/discussions
Actions https://github.com/javaevolved/javaevolved.github.io/actions
Projects https://github.com/javaevolved/javaevolved.github.io/projects
Security and quality https://github.com/javaevolved/javaevolved.github.io/security
Insights https://github.com/javaevolved/javaevolved.github.io/pulse
Sign up for GitHub https://github.com/signup?return_to=%2Fjavaevolved%2Fjavaevolved.github.io%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2Fjavaevolved%2Fjavaevolved.github.io%2Fissues%2Fnew%2Fchoose
Copilothttps://github.com/apps/copilot-swe-agent
slug-proofhttps://github.com/javaevolved/javaevolved.github.io/tree/slug-proof
copilot/automate-proof-scripthttps://github.com/javaevolved/javaevolved.github.io/tree/copilot/automate-proof-script
Conversation 4 https://github.com/javaevolved/javaevolved.github.io/pull/113
Commits 37 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits
Checks 0 https://github.com/javaevolved/javaevolved.github.io/pull/113/checks
Files changed https://github.com/javaevolved/javaevolved.github.io/pull/113/files
Please reload this pagehttps://github.com/javaevolved/javaevolved.github.io/pull/113/files
Automate proof script: add JBang CI runner for proof/ scripts https://github.com/javaevolved/javaevolved.github.io/pull/113/files#top
Show all changes 37 commits https://github.com/javaevolved/javaevolved.github.io/pull/113/files
1155f0c Initial plan Copilot Feb 26, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/1155f0cd57fc341c0d52f00f9791115cbf8b5493
74eb2ee Hide ⌘K keyboard shortcut on mobile screens Copilot Feb 26, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/74eb2ee52e99304103361edad2504c3b241add0c
66b9b3f Merge pull request #100 from javaevolved/copilot/hide-keyboard-key-mo… brunoborges Feb 26, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/66b9b3f028290e277cadc9628dd83b8960038150
5c2108f Initial plan Copilot Feb 26, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/5c2108f45b9d942a7f2d5b1d32cd04b5c6d02517
04a3e82 Add Italian (it) translations for all 112 patterns Copilot Feb 26, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/04a3e82dd9889b4e133a95b2c2714139e4b3d353
b303be9 Add "learn more →" text to index card arrow links brunoborges Feb 26, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/b303be9e5282f085e2afc4a4f9ed21e5a777916f
365c9bc Merge pull request #102 from javaevolved/add-learn-more-to-cards brunoborges Feb 26, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/365c9bc6e08388399744ecbd5f4dcaea2ca3541b
ea485eb Fix corrupted emoji icons in Italian translation files Copilot Feb 26, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/ea485eb2d66a790d2a8c61004fe044fa137a3980
85dfcd9 Merge pull request #101 from javaevolved/copilot/translate-site-conte… brunoborges Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/85dfcd945c82e32b407eb8598ea75348978f0fa1
6d7ccf7 feat(i18n): add initial Polish locale translations ArturSkowronski Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/6d7ccf7460512e86199270b02d62feedeadc39ac
2c017c1 Merge branch 'main' into feat/pl-translation-bootstrap ArturSkowronski Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/2c017c11d50915f595ae6739a06792f63f9b640a
6108c84 Update README.md ArturSkowronski Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/6108c8479088d56fbba3b059a6e395197b39f20a
2e003d8 Update completablefuture-chaining.yaml ArturSkowronski Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/2e003d83d734376833af79d83afe5e032e4f95cf
75ed66c Update date-formatting.yaml ArturSkowronski Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/75ed66cd7f20f0fe2208fad43e15e146e4f500e5
fbc3684 chore(i18n): keep pragmatic Polish wording with natural anglicisms ArturSkowronski Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/fbc36840946c551ceb9672d67339297d14b13c7b
3318085 Update French tagline for clarity brunoborges Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/331808504eadee8861fb81ca0ddf456ba2ca094b
6cfcca4 Merge pull request #105 from javaevolved/fr-fix-title brunoborges Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/6cfcca4cfd5269714eefb7f4c94bf8d1c463178a
6321b13 Merge pull request #103 from ArturSkowronski/feat/pl-translation-boot… brunoborges Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/6321b1332b285c0a8fc5e28a0c8556ef28725e3f
a7b7e63 Fix French translation for tagline consistency brunoborges Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/a7b7e6300cf2270646d4b18864708ff55e3a6050
f290197 Initial plan Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/f290197b23662efacfea21daccb37b0af3c9ae9a
fae0e36 Initial plan Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/fae0e363ec2e38b9b7db0d18fd9f32afe054d071
0d19451 feat: replace System.out.println with IO.println in modern code slugs Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/0d19451909e2eccac521716a49b458185d4a6068
9125109 Merge pull request #109 from javaevolved/copilot/update-modern-slugs-… brunoborges Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/9125109d98bb6f1ee5980ec33bdcc8e2654d7f2e
0a827e5 Add Turkish (tr) translations for collections and concurrency patterns Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/0a827e55be8d73d85db60dec9aca0a1104d80711
78f9ab7 Initial plan Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/78f9ab72777308df4c5607e80d6705f71ab2542f
82b56b5 Add missing cards.learnMore key to Italian translations Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/82b56b5e659df352ad1b03a9df0bd217ac395833
875ccf0 Add Turkish (tr) translations for datetime and enterprise patterns Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/875ccf09f903199eeeb9f773a331b81afecf664e
d607766 Add Turkish (tr) translations for errors, io, and security categories Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/d60776663a5147d1f595de953c8c123efed3ceae
b1b4043 Merge pull request #111 from javaevolved/copilot/add-italian-ui-strings brunoborges Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/b1b4043c8961e2ffb5902b311d0cf48290a8e513
706e75a Add Turkish (tr) translations for language category (22 files) Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/706e75ac6e020ccd5f4517dc72311ac9030de42b
df8f4a8 Add Turkish (tr) translations for streams, strings, and tooling patterns Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/df8f4a8a6bb0249006898b9870974d2264835004
6a6ddde Rewrite generate.py to match generate.java with full i18n support brunoborges Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/6a6ddde52c8698a7ce4d283d1a9879139b50538c
6fb06fa Merge pull request #107 from javaevolved/copilot/add-turkish-translat… brunoborges Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/6fb06fa85ae4eda19b788f3311024e85a9e2064e
6d0fa87 Initial plan Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/6d0fa87971f4c3925922eeda9fbe8c4b88409531
fc86786 Add automated proof script for code snippet verification Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/fc867863f50ddc01fa2051610a1631a800fbf87a
16567bd Fix text block assertion to check for real newlines instead of absenc… Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/16567bd8ffa8bff65e8a13c078ef1d5a7cf58263
2564051 Rework proof script to use existing proof/ Java files instead of YAML… Copilot Feb 27, 2026 https://github.com/javaevolved/javaevolved.github.io/pull/113/commits/25640516948fec500dedc0b8e02dc814aed6c66f
Clear filters https://github.com/javaevolved/javaevolved.github.io/pull/113/files
Please reload this pagehttps://github.com/javaevolved/javaevolved.github.io/pull/113/files
Please reload this pagehttps://github.com/javaevolved/javaevolved.github.io/pull/113/files
.github/copilot-instructions.mdhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-227c2c26cb2ee0ce0f46a320fc48fbcbdf21801a57f59161b1d0861e8aad55f5
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/.github/copilot-instructions.md
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-227c2c26cb2ee0ce0f46a320fc48fbcbdf21801a57f59161b1d0861e8aad55f5
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-227c2c26cb2ee0ce0f46a320fc48fbcbdf21801a57f59161b1d0861e8aad55f5
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-227c2c26cb2ee0ce0f46a320fc48fbcbdf21801a57f59161b1d0861e8aad55f5
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-227c2c26cb2ee0ce0f46a320fc48fbcbdf21801a57f59161b1d0861e8aad55f5
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-227c2c26cb2ee0ce0f46a320fc48fbcbdf21801a57f59161b1d0861e8aad55f5
.github/workflows/proof.ymlhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-582175f7e10662448aec72c93e8dcebe9ae2ab16502ede1c9414ab917449ff26
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/.github/workflows/proof.yml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
CONTRIBUTING.mdhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-eca12c0a30e25b4b46522ebf89465a03ba72a03f540796c979137931d8f92055
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/CONTRIBUTING.md
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-eca12c0a30e25b4b46522ebf89465a03ba72a03f540796c979137931d8f92055
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-eca12c0a30e25b4b46522ebf89465a03ba72a03f540796c979137931d8f92055
README.mdhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-b335630551682c19a781afebcf4d07bf978fb1f8ac04c6bf87428ed5106870f5
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/README.md
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-b335630551682c19a781afebcf4d07bf978fb1f8ac04c6bf87428ed5106870f5
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-b335630551682c19a781afebcf4d07bf978fb1f8ac04c6bf87428ed5106870f5
content/collections/reverse-list-iteration.yamlhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-1fbec36469b694f6db153b9f100678be1f2f78fd2ccbfd8841911fc4f7e9d427
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/content/collections/reverse-list-iteration.yaml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-1fbec36469b694f6db153b9f100678be1f2f78fd2ccbfd8841911fc4f7e9d427
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-1fbec36469b694f6db153b9f100678be1f2f78fd2ccbfd8841911fc4f7e9d427
content/concurrency/completablefuture-chaining.yamlhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-3292dc44466afa6b4734101849aaa38ccde3b935d82e136d7b6a330effaf1827
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/content/concurrency/completablefuture-chaining.yaml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-3292dc44466afa6b4734101849aaa38ccde3b935d82e136d7b6a330effaf1827
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-3292dc44466afa6b4734101849aaa38ccde3b935d82e136d7b6a330effaf1827
content/concurrency/process-api.yamlhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-2c7e2fb971ebc02c2df8c93630ee16f7dc9afd9c15eec70ee7caba143eed18cc
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/content/concurrency/process-api.yaml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-2c7e2fb971ebc02c2df8c93630ee16f7dc9afd9c15eec70ee7caba143eed18cc
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-2c7e2fb971ebc02c2df8c93630ee16f7dc9afd9c15eec70ee7caba143eed18cc
content/concurrency/virtual-threads.yamlhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-874b83753be74d5833fe4c2797bd1185b4816d0c8107bd13d30509eaf997595d
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/content/concurrency/virtual-threads.yaml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-874b83753be74d5833fe4c2797bd1185b4816d0c8107bd13d30509eaf997595d
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-874b83753be74d5833fe4c2797bd1185b4816d0c8107bd13d30509eaf997595d
content/language/default-interface-methods.yamlhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-4bae33dc5286889fc7485359c10900caaa36a226ba5ed31ac2e83774c471364a
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/content/language/default-interface-methods.yaml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-4bae33dc5286889fc7485359c10900caaa36a226ba5ed31ac2e83774c471364a
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-4bae33dc5286889fc7485359c10900caaa36a226ba5ed31ac2e83774c471364a
content/language/pattern-matching-instanceof.yamlhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-e08e6f205641a2df02202138d4d654697b73d0b22c760ffc90c5f0f66697a5eb
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/content/language/pattern-matching-instanceof.yaml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-e08e6f205641a2df02202138d4d654697b73d0b22c760ffc90c5f0f66697a5eb
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-e08e6f205641a2df02202138d4d654697b73d0b22c760ffc90c5f0f66697a5eb
content/language/private-interface-methods.yamlhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-44a3bde791d24781aaf133e5e447e1d6c6f78fb80d356b14a5cc28727ce777a5
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/content/language/private-interface-methods.yaml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-44a3bde791d24781aaf133e5e447e1d6c6f78fb80d356b14a5cc28727ce777a5
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-44a3bde791d24781aaf133e5e447e1d6c6f78fb80d356b14a5cc28727ce777a5
content/language/record-patterns.yamlhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-6d1cbd02816d488c45b7d76cb9d0782ddda9323db20b8156e38c26a2c5bcc56f
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/content/language/record-patterns.yaml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-6d1cbd02816d488c45b7d76cb9d0782ddda9323db20b8156e38c26a2c5bcc56f
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-6d1cbd02816d488c45b7d76cb9d0782ddda9323db20b8156e38c26a2c5bcc56f
content/streams/stream-iterate-predicate.yamlhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-aef9f657d2dc699dcae01a57e00c450faa33fda9faf90a954601351356707e9a
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/content/streams/stream-iterate-predicate.yaml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-aef9f657d2dc699dcae01a57e00c450faa33fda9faf90a954601351356707e9a
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-aef9f657d2dc699dcae01a57e00c450faa33fda9faf90a954601351356707e9a
content/strings/string-lines.yamlhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-5da8ae813f4220c0ecd93d18e2d7ccf15b7b0f1430715c79270b9bba8a289463
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/content/strings/string-lines.yaml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-5da8ae813f4220c0ecd93d18e2d7ccf15b7b0f1430715c79270b9bba8a289463
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-5da8ae813f4220c0ecd93d18e2d7ccf15b7b0f1430715c79270b9bba8a289463
html-generators/README.mdhttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-82dcdd0923a0ad199d256bbd10a94440037396ce4cd6f9ab6141efa1424012ce
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/html-generators/README.md
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-82dcdd0923a0ad199d256bbd10a94440037396ce4cd6f9ab6141efa1424012ce
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-82dcdd0923a0ad199d256bbd10a94440037396ce4cd6f9ab6141efa1424012ce
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-82dcdd0923a0ad199d256bbd10a94440037396ce4cd6f9ab6141efa1424012ce
html-generators/generate.javahttps://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-5999e357dfc7f2480f76e1d737f8fed7970d7c54f5a3a69d37317243000ae893
View file https://github.com/javaevolved/javaevolved.github.io/blob/25640516948fec500dedc0b8e02dc814aed6c66f/html-generators/generate.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/javaevolved/javaevolved.github.io/pull/113/{{ revealButtonHref }}
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-5999e357dfc7f2480f76e1d737f8fed7970d7c54f5a3a69d37317243000ae893
https://github.com/javaevolved/javaevolved.github.io/pull/113/files#diff-5999e357dfc7f2480f76e1d737f8fed7970d7c54f5a3a69d37317243000ae893
Please reload this pagehttps://github.com/javaevolved/javaevolved.github.io/pull/113/files
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.