Trending tags: ai  rust  github.com  trump  psychology  health  linux  microsoft  show  psypost.org  apple  vibecoding  brain  theregister.com  go  video  nature.com  google  environment  meta 

RFCs for Ada and SPARK evolution now on GitHub

6 years ago blog.adacore.com github

Related Stories

NVIDIA Security Team: “What if we just stopped using C?”

9 days ago blog.adacore.com c nvidia

Ironclad: Unix-like operating system kernel written in SPARK and Ada

19 days ago codeberg.org kernel

Ada and SPARK enter the automotive ISO-26262 market with Nvidia

15 days ago adacore.com nvidia

Writing a Verified Postfix Calculator in Ada/SPARK

8 days ago pyjarrett.github.io formalmethods

Congratulations on creating the one billionth repository on GitHub

8 days ago github.com github

IRS Direct File on GitHub

16 days ago 404media.co github irs

IRS Direct File on GitHub

16 days ago chrisgiven.com github irs

Three Tools To Run MCP On Your Github Repositories

16 days ago i-programmer.info github

Site for 'Accelerating' AI Use Across the US Government Accidentally Leaked on GitHub

9 days ago 404media.co ai github

RepoSecGo - Instant security insights for thousands of GitHub repositories

9 days ago producthunt.com github

GitHub - nabolitains/plasma

12 days ago github.com github

Is GitHub Down?

2 days ago news.ycombinator.com github

A tour of upcoming RFCs for the Hare programming language

18 days ago harelang.org plt

Celebrating GitHub's 1 billionth repo

8 days ago github.com github

GitHub Summer of Making has started

3 days ago summer.hack.club github

GitHub eCommerce with Vendure + Admin UI

3 days ago github.com github

'Deliberate Attack' Deletes Shopping App's AWS and GitHub Resources

16 days ago theregister.com aws github

Programming Ada: Atomics and Other Low-Level Details

15 days ago hackaday.com

GitHub API Is Down

2 days ago news.ycombinator.com api github

Surviving Event Schema Evolution

10 days ago javarevisited.substack.com

Formalizing a proof in lean using GitHub Copilot and canonical

15 days ago youtu.be github vibecoding video

Apple Quietly Launches Container On GitHub To Bring Linux Development To macOS

8 days ago nerds.xyz apple github linux macos

GitHub - tkdeng/webx: A minimal framework that does not rely on itself as a core dependency.

16 days ago github.com github go

GitHub - observ33r/object-equals: A high-performance and engine-aware deep equality utility.

18 days ago github.com github javascript

Ada Continues to Climb in June Tiobe Index and PYPL

10 days ago forum.ada-lang.io

GitHub CI/CD observability with OpenTelemetry step by step guide

9 days ago signoz.io github

A Lightweight Merge Queue using GitHub Actions

8 days ago sketch.dev devops github

Milestone one billionth Github Repo is just the word 'sh*t'

6 days ago tomshardware.com github

NVIDIA ISO-26262 SPARK Process

15 days ago nvidia.github.io formalmethods nvidia release

GitHub - trinity-xai/SuperMDS: Parallelized Java implementation of various MDS algorithms with support for weights, landmarks, stress sampling and OSE injections

7 days ago github.com algorithm github java