Hackernews posts about CodeQL

  1. OpenVPN2 Security: Taming 2,500 compiler warnings with CodeQL (blog.trailofbits.com)
    2 points by summarity 7 days ago | discuss
  2. The state of `fq_codel` and `sch_cake` worldwide (2022) (blog.cerowrt.org)
    4 points by Bogdanp 28 days ago | discuss
  3. Ask HN: Full-stack dev looking to join an early-stage startup
    1 points by Punyakrit 8 days ago | 2 comments
  4. Show HN: CloudQA – TruRT: Regression Testing That Doesn't Break Every Sprint
    1 points by ArunCQA 8 days ago | discuss
  5. Vibe Cam Pricing (Computer-Aided Manufacturing) (github.com)
    3 points by codyyyyliu 6 days ago | 1 comments
  6. How to Test MCP Servers (codely.com)
    3 points by rgomezcasas 14 days ago | 1 comments
  7. Introducing Plain, the Language of Spec-Driven Development (blog.codeplain.ai)
    2 points by illuminated 27 days ago | discuss
  8. I have never subscribed to receive any marketing emails (codelearn.me)
    1 points by TheFreim 7 days ago | 1 comments
  9. You Had No Taste Before AI (matthewsanabria.dev)
    210 points by codeclimber 15 days ago | 189 comments
  10. Practical Techniques for Codex, Cursor and Claude Code (coding-with-ai.dev)
    5 points by codeclimber 4 days ago | discuss
  11. Public secrets exposure leads to supply chain attack on GitHub CodeQL (www.praetorian.com)
    297 points by cyberbender 6 months ago | 61 comments
  12. Addressing post-quantum cryptography with CodeQL (github.blog)
    13 points by todsacerdoti almost 2 years ago | 3 comments
  13. Show HN: CyScout – Solidity Vulnerability Detection Powered by GitHub CodeQL (github.com)
    13 points by wslh 12 months ago | discuss
  14. Securing CodeQL queries using Semgrep (semgrep.dev)
    11 points by brandonspark over 1 year ago | 2 comments
  15. Security Auditing Solidity Codebases with GitHub CodeQL (www.coinfabrik.com)
    5 points by wslh about 1 year ago | discuss
  16. CodeQL (codeql.github.com)
    4 points by handfuloflight 3 months ago | discuss
  17. Show HN: Open-Source CodeQL Alternative (github.com)
    3 points by shivasurya 10 months ago | discuss
  18. Code scanning autofix, powered by GitHub Copilot and CodeQL (github.blog)
    3 points by belter over 1 year ago | discuss
  19. Microsoft to increase use of Rust, use CodeQL analysis across all products (www.microsoft.com)
    3 points by summarity almost 2 years ago | discuss
  20. Finding Bugs in Chrome with CodeQL (bughunters.google.com)
    2 points by todsacerdoti 11 months ago | discuss
  21. CodeQL: Eindhoven Quantifier Notation (shivasurya.me)
    2 points by codepathfinder about 1 year ago | discuss
  22. CodeQL Gains Copilot Autofix (github.blog)
    2 points by sgammon over 1 year ago | discuss
  23. CodeQL (github.com)
    1 points by zwc about 1 year ago | 1 comments
  24. GitHub CodeQL Now Supports Rust for Security and Variant Analysis (github.blog)
    1 points by summarity 3 months ago | discuss
  25. Show HN: Codemodder – A new codemod library for Java and Python (codemodder.io)
    37 points by nahsra over 1 year ago | 8 comments
  26. Show HN: MCP Security Suite (github.com)
    36 points by jodoking about 2 months ago | 32 comments
  27. Show HN: Codemodder – A new codemod library for Java and Python (codemodder.io)
    13 points by nahsra almost 2 years ago | 4 comments
  28. Default setup now includes scheduled scans and supports all languages covered b (github.blog)
    1 points by todsacerdoti almost 2 years ago | discuss
  29. SlowLlama: Finetune llama2-70B and codellama on MacBook Air without quantization (github.com)
    156 points by behnamoh almost 2 years ago | 54 comments
  30. Show HN: Codel – Autonomous Open Source AI Developer Agent (github.com)
    48 points by semanser over 1 year ago | 15 comments
  31. Show HN: I built local copilot alternative using Codellama (marketplace.visualstudio.com)
    38 points by ex3ndr almost 2 years ago | 6 comments
  32. Wavecoder – a CodeLLM with 6.7B params scoring just behind GPT4 (twitter.com)
    36 points by fgfm over 1 year ago | 10 comments
  33. Meta is releasing a new CodeLlama (www.facebook.com)
    8 points by senthilnayagam over 1 year ago | 2 comments
  34. Codeflash: Automated performance optimization for Python programs (github.com)
    7 points by misrasaurabh1 5 months ago | discuss
  35. 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
  36. After 5 years hiatus, CodeBlocks IDE for C,C++, Fortran is back (www.codeblocks.org)
    4 points by philonoist 4 months ago | discuss
  37. Show HN: CodeClarity – an open source source code analysis platform (www.codeclarity.io)
    4 points by ceherzog 5 months ago | discuss
  38. CodeFlower Source Code Visualization (www.redotheweb.com)
    4 points by vortex_ape 9 months ago | discuss
  39. Brave Search now features its AI-powered CodeLLM for programming-related queries (brave.com)
    4 points by gurgunday over 1 year ago | discuss
  40. M2 Ultra runs codellama 34B F16 at 150 token per second (twitter.com)
    3 points by behnamoh almost 2 years ago | 3 comments