EUNO.NEWS EUNO.NEWS
  • All (2571) +248
  • AI (578) +19
  • DevOps (150) +2
  • Software (1091) +156
  • IT (746) +70
  • Education (6) +1
  • Notice
  • All (2571) +248
    • AI (578) +19
    • DevOps (150) +2
    • Software (1091) +156
    • IT (746) +70
    • Education (6) +1
  • Notice
  • All (2571) +248
  • AI (578) +19
  • DevOps (150) +2
  • Software (1091) +156
  • IT (746) +70
  • Education (6) +1
  • Notice
Sources Tags Search
한국어 English 中文
  • 22 hours ago · software

    Advent of Code 2025 - December 4th

    !Cover image for Advent of Code 2025 - December 4thhttps://media2.dev.to/dynamic/image/width=1000,height=420,fit=cover,gravity=auto,format=auto/https%3A%2F%2Fde...

    #Advent of Code #C++ #coding challenge #2025 #puzzle solution
  • 1 day ago · software

    Formally verifying Advent of Code using Dijkstra's program construction

    Article URL: https://haripm.com/blog/aoc-day-3-without-thinking/ Comments URL: https://news.ycombinator.com/item?id=46138226 Points: 7 Comments: 0...

    #formal verification #Advent of Code #Dijkstra program construction #program correctness #software engineering
  • 3 days ago · software

    Advent of Code 2025 is Here!

    Join the Advent of Code 2025 Hey fellow adventurers! Every year on adventofcode.comhttps://adventofcode.com you can sharpen your coding skills with some brain‑...

    #advent of code #coding challenges #programming #leaderboards #community #github
EUNO.NEWS
RSS GitHub © 2025