Hackernews posts about CodeQL

  1. Mrva: Terminal-first approach to CodeQL multi-repo variant analysis (blog.trailofbits.com)
    3 points by ingve 21 days ago | 1 comments
  2. Vulnhalla: Picking the true vulnerabilities from the CodeQL haystack (www.cyberark.com)
    1 points by asphinx 8 days ago | discuss
  3. Ask HN: How are you LLM-coding in an established code base?
    70 points by adam_gyroscope 16 days ago | 66 comments
  4. CodeClash (codeclash.ai)
    2 points by falcor84 21 days ago | discuss
  5. Enhancing LLMs with LoRA – Standardized Recipes for Capability Enhancement (huggingface.co)
    3 points by codelion 17 days ago | discuss
  6. Changing Immutable Collections (codeblog.jonskeet.uk)
    2 points by ingve 1 day ago | 1 comments
  7. Muen – An x86/64 Separation Kernel for High Assurance (muen.codelabs.ch)
    2 points by LiamPowell 26 days ago | 1 comments
  8. The Optimal Architecture for Small Language Models (huggingface.co)
    2 points by simonpure 4 days ago | discuss
  9. The Optimal Architecture for Small Language Models (huggingface.co)
    1 points by codelion 7 days ago | discuss
  10. Ellora: Enhancing LLMs with LoRA Standardized Recipes for Capability Enhancement (huggingface.co)
    1 points by codelion 30 days ago | discuss
  11. OpenEvolve: Teaching LLMs to Discover Algorithms Through Evolution (algorithmicsuperintelligence.ai)
    53 points by codelion 23 days ago | 9 comments
  12. Public secrets exposure leads to supply chain attack on GitHub CodeQL (www.praetorian.com)
    297 points by cyberbender 9 months ago | 61 comments
  13. Show HN: CyScout – Solidity Vulnerability Detection Powered by GitHub CodeQL (github.com)
    13 points by wslh about 1 year ago | discuss
  14. Securing CodeQL queries using Semgrep (semgrep.dev)
    11 points by brandonspark almost 2 years ago | 2 comments
  15. Security Auditing Solidity Codebases with GitHub CodeQL (www.coinfabrik.com)
    5 points by wslh over 1 year ago | discuss
  16. CodeQL (codeql.github.com)
    4 points by handfuloflight 6 months ago | discuss
  17. Show HN: Open-Source CodeQL Alternative (github.com)
    3 points by shivasurya about 1 year ago | discuss
  18. Code scanning autofix, powered by GitHub Copilot and CodeQL (github.blog)
    3 points by belter almost 2 years ago | discuss
  19. OpenVPN2 Security: Taming 2,500 compiler warnings with CodeQL (blog.trailofbits.com)
    2 points by summarity 3 months ago | discuss
  20. Finding Bugs in Chrome with CodeQL (bughunters.google.com)
    2 points by todsacerdoti about 1 year ago | discuss
  21. CodeQL: Eindhoven Quantifier Notation (shivasurya.me)
    2 points by codepathfinder over 1 year ago | discuss
  22. CodeQL Gains Copilot Autofix (github.blog)
    2 points by sgammon almost 2 years ago | discuss
  23. Show HN: Patchsmith – Agentic wrapper for CodeQL (finetune, triage, fix with AI) (github.com)
    1 points by eschnou about 2 months ago | 1 comments
  24. CodeQL (github.com)
    1 points by zwc over 1 year ago | 1 comments
  25. What to Do When Creating Your CodeQL Database Fails – and How to Report the Per (intrigus.org)
    1 points by todsacerdoti about 1 month ago | discuss
  26. GitHub CodeQL Now Supports Rust for Security and Variant Analysis (github.blog)
    1 points by summarity 6 months ago | discuss
  27. Show HN: Codemodder – A new codemod library for Java and Python (codemodder.io)
    37 points by nahsra almost 2 years ago | 8 comments
  28. Show HN: MCP Security Suite (github.com)
    36 points by jodoking 5 months ago | 32 comments
  29. Show HN: Codel – Autonomous Open Source AI Developer Agent (github.com)
    48 points by semanser almost 2 years ago | 15 comments
  30. Wavecoder – a CodeLLM with 6.7B params scoring just behind GPT4 (twitter.com)
    36 points by fgfm almost 2 years ago | 10 comments
  31. Meta is releasing a new CodeLlama (www.facebook.com)
    8 points by senthilnayagam almost 2 years ago | 2 comments
  32. Codeflash: Automated performance optimization for Python programs (github.com)
    7 points by misrasaurabh1 8 months ago | discuss
  33. 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
  34. Show HN: CodeLens.AI– Community benchmark comparing 6 LLMs on real code tasks (codelens.ai)
    5 points by skrid 3 months ago | discuss
  35. The state of `fq_codel` and `sch_cake` worldwide (2022) (blog.cerowrt.org)
    4 points by Bogdanp 4 months ago | discuss
  36. After 5 years hiatus, CodeBlocks IDE for C,C++, Fortran is back (www.codeblocks.org)
    4 points by philonoist 7 months ago | discuss
  37. Show HN: CodeClarity – an open source source code analysis platform (www.codeclarity.io)
    4 points by ceherzog 8 months ago | discuss
  38. CodeFlower Source Code Visualization (www.redotheweb.com)
    4 points by vortex_ape about 1 year ago | discuss
  39. Brave Search now features its AI-powered CodeLLM for programming-related queries (brave.com)
    4 points by gurgunday almost 2 years ago | discuss
  40. Top Developer Articles of the Week for November on CoderLegion
    3 points by kodwings about 2 months ago | discuss
  41. Show HN: WebLLM and WebGPU enabled LLM app – CodexLocal (codexlocal.com)
    3 points by FitchApps 3 months ago | discuss