Hackernews posts about CodeQL

  1. Show HN: Patchsmith – Agentic wrapper for CodeQL (finetune, triage, fix with AI) (github.com)
    1 points by eschnou 4 days ago | 1 comments
  2. Top Developer Articles of the Week for November on CoderLegion
    3 points by kodwings 6 days ago | discuss
  3. Top Developer Articles of the Week on CoderLegion
    2 points by kodwings 24 days ago | discuss
  4. Show BF: Codeblocks A flexible, privacy-first AI chat client for your desktop
    1 points by hemantv 23 days ago | 2 comments
  5. Top 10 Developer Articles of the Month on CoderLegion
    1 points by kodwings 18 days ago | discuss
  6. Show HN: New eval from SWE-bench team evalutes LMs based on goals not tickets (codeclash.ai)
    5 points by lieret 12 days ago | 1 comments
  7. Runit Linux: Complete Guide to Unix Init Scheme with Service Supervision (codelucky.com)
    73 points by smartmic 6 days ago | 51 comments
  8. Why Python's deepcopy() is surprisingly slow (and better alternatives) (www.codeflash.ai)
    6 points by misrasaurabh1 10 days ago | 1 comments
  9. The 1B Token Challenge: Finding the Perfect Pre-Training Mix (huggingface.co)
    6 points by codelion 2 days ago | discuss
  10. The 1B Token Challenge: Finding the Perfect Pre-Training Mix (huggingface.co)
    3 points by codelion 15 days ago | discuss
  11. Code Climate Quality Is Now Qlty Software (codeclimate.com)
    1 points by Kerrick 3 days ago | discuss
  12. Chess engines didn't replace Magnus Carlsen, and AI won't replace you (coding-with-ai.dev)
    24 points by codeclimber 26 days ago | 62 comments
  13. Practical Techniques for Coding with LLMs (coding-with-ai.dev)
    6 points by codeclimber 7 days ago | discuss
  14. Cognitive Burden (kau.sh)
    5 points by codeclimber 13 days ago | 2 comments
  15. Ask HN: What Value Do Programmers Have If AI Allows Everyone to Write Code?
    2 points by CoderLim110 16 days ago | 4 comments
  16. Claude Code for Web — a new asynchronous coding agent from Anthropic (simonwillison.net)
    2 points by codeclimber 27 days ago | 1 comments
  17. Building the Language Model Nobody Asked For (blog.pixelmelt.dev)
    2 points by codeclimber 27 days ago | discuss
  18. Should LLMs just treat text content as an image? (www.seangoedecke.com)
    2 points by codeclimber 27 days ago | discuss
  19. The design space of AI coding tools (austinhenley.com)
    2 points by codeclimber 30 days ago | discuss
  20. Show HN: Klotski.org – A web-based Klotski puzzle with 44 handcrafted levels (klotski.org)
    1 points by CoderLim110 10 days ago | discuss
  21. Show HN: Fed Market Watch – Live FOMC Odds from CME, Kalshi, and Polymarket (www.oddpool.com)
    1 points by codelemons 17 days ago | discuss
  22. Public secrets exposure leads to supply chain attack on GitHub CodeQL (www.praetorian.com)
    297 points by cyberbender 8 months ago | 61 comments
  23. Addressing post-quantum cryptography with CodeQL (github.blog)
    13 points by todsacerdoti almost 2 years ago | 3 comments
  24. Show HN: CyScout – Solidity Vulnerability Detection Powered by GitHub CodeQL (github.com)
    13 points by wslh about 1 year ago | discuss
  25. Securing CodeQL queries using Semgrep (semgrep.dev)
    11 points by brandonspark over 1 year ago | 2 comments
  26. Security Auditing Solidity Codebases with GitHub CodeQL (www.coinfabrik.com)
    5 points by wslh about 1 year ago | discuss
  27. CodeQL (codeql.github.com)
    4 points by handfuloflight 5 months ago | discuss
  28. Show HN: Open-Source CodeQL Alternative (github.com)
    3 points by shivasurya 12 months ago | discuss
  29. Code scanning autofix, powered by GitHub Copilot and CodeQL (github.blog)
    3 points by belter over 1 year ago | discuss
  30. OpenVPN2 Security: Taming 2,500 compiler warnings with CodeQL (blog.trailofbits.com)
    2 points by summarity about 2 months ago | discuss
  31. Finding Bugs in Chrome with CodeQL (bughunters.google.com)
    2 points by todsacerdoti 12 months ago | discuss
  32. CodeQL: Eindhoven Quantifier Notation (shivasurya.me)
    2 points by codepathfinder about 1 year ago | discuss
  33. CodeQL Gains Copilot Autofix (github.blog)
    2 points by sgammon over 1 year ago | discuss
  34. CodeQL (github.com)
    1 points by zwc about 1 year ago | 1 comments
  35. GitHub CodeQL Now Supports Rust for Security and Variant Analysis (github.blog)
    1 points by summarity 5 months ago | discuss
  36. Show HN: Codemodder – A new codemod library for Java and Python (codemodder.io)
    37 points by nahsra almost 2 years ago | 8 comments
  37. Show HN: MCP Security Suite (github.com)
    36 points by jodoking 3 months ago | 32 comments
  38. Show HN: Codemodder – A new codemod library for Java and Python (codemodder.io)
    13 points by nahsra almost 2 years ago | 4 comments
  39. Default setup now includes scheduled scans and supports all languages covered b (github.blog)
    1 points by todsacerdoti almost 2 years ago | discuss
  40. Show HN: Codel – Autonomous Open Source AI Developer Agent (github.com)
    48 points by semanser over 1 year ago | 15 comments
  41. Show HN: I built local copilot alternative using Codellama (marketplace.visualstudio.com)
    38 points by ex3ndr almost 2 years ago | 6 comments
  42. Wavecoder – a CodeLLM with 6.7B params scoring just behind GPT4 (twitter.com)
    36 points by fgfm almost 2 years ago | 10 comments
  43. Meta is releasing a new CodeLlama (www.facebook.com)
    8 points by senthilnayagam almost 2 years ago | 2 comments
  44. Codeflash: Automated performance optimization for Python programs (github.com)
    7 points by misrasaurabh1 6 months ago | discuss
  45. Learnings from codeQA – A chat-with-codebase application using top-K RAG (sankalp1999.notion.site)
    5 points by dejavucoder over 1 year ago | 1 comments
  46. Show HN: CodeLens.AI– Community benchmark comparing 6 LLMs on real code tasks (codelens.ai)
    5 points by skrid about 1 month ago | discuss
  47. The state of `fq_codel` and `sch_cake` worldwide (2022) (blog.cerowrt.org)
    4 points by Bogdanp 2 months ago | discuss
  48. After 5 years hiatus, CodeBlocks IDE for C,C++, Fortran is back (www.codeblocks.org)
    4 points by philonoist 6 months ago | discuss
  49. Show HN: CodeClarity – an open source source code analysis platform (www.codeclarity.io)
    4 points by ceherzog 7 months ago | discuss
  50. CodeFlower Source Code Visualization (www.redotheweb.com)
    4 points by vortex_ape 11 months ago | discuss
  51. Brave Search now features its AI-powered CodeLLM for programming-related queries (brave.com)
    4 points by gurgunday almost 2 years ago | discuss