Hackernews posts about CodeQL

  1. Show HN: MCP Security Suite (github.com)
    36 points by jodoking 4 days ago | 27 comments
  2. Show HN: PTS Library – Analyze LLM reasoning through "thought anchors"
    2 points by codelion 27 days ago | discuss
  3. Show HN: New way to validate your LLM webapp idea and earn on token margins (codeplusequalsai.com)
    1 points by cryptoz 21 days ago | discuss
  4. Pivotal Token Search (PTS): Targeting Critical Decision Points in LLM Training (huggingface.co)
    2 points by codelion about 18 hours ago | 1 comments
  5. Internal Coherence Maximization(ICM): Label-Free Unsupervised Training Framework (github.com)
    1 points by codelion 9 days ago | discuss
  6. Unsupervised Model Improvement via Internal Coherence Maximization (huggingface.co)
    1 points by codelion 15 days ago | discuss
  7. Project Hyperion: Interstellar ship design competition (www.projecthyperion.org)
    367 points by codeulike 12 days ago | 319 comments
  8. Agentic coding tools ranked by free-tier access to pro-grade models (github.com)
    4 points by codeclimber 14 days ago | 7 comments
  9. Show HN: YouTube MCP Tool for Puch AI
    4 points by codelif 7 days ago | discuss
  10. Voice AI for medical/premed students (www.codyliu.com)
    3 points by codexliu 23 days ago | discuss
  11. In which coding tools can I get free (or semi-free) access to GPT-5?
    2 points by codeclimber 11 days ago | 2 comments
  12. Ask HN: How long before agentic IDEs/CLIs cut you off from pro-grade models?
    1 points by codeclimber 13 days ago | 3 comments
  13. Public secrets exposure leads to supply chain attack on GitHub CodeQL (www.praetorian.com)
    297 points by cyberbender 5 months ago | 61 comments
  14. Addressing post-quantum cryptography with CodeQL (github.blog)
    13 points by todsacerdoti over 1 year ago | 3 comments
  15. Show HN: CyScout – Solidity Vulnerability Detection Powered by GitHub CodeQL (github.com)
    13 points by wslh 10 months ago | discuss
  16. Securing CodeQL queries using Semgrep (semgrep.dev)
    11 points by brandonspark over 1 year ago | 2 comments
  17. Security Auditing Solidity Codebases with GitHub CodeQL (www.coinfabrik.com)
    5 points by wslh 11 months ago | discuss
  18. CodeQL (codeql.github.com)
    4 points by handfuloflight about 2 months ago | discuss
  19. Show HN: Open-Source CodeQL Alternative (github.com)
    3 points by shivasurya 9 months ago | discuss
  20. Code scanning autofix, powered by GitHub Copilot and CodeQL (github.blog)
    3 points by belter over 1 year ago | discuss
  21. Microsoft to increase use of Rust, use CodeQL analysis across all products (www.microsoft.com)
    3 points by summarity almost 2 years ago | discuss
  22. Comparing Semgrep and CodeQL (blog.doyensec.com)
    3 points by eatonphil almost 2 years ago | discuss
  23. Finding Bugs in Chrome with CodeQL (bughunters.google.com)
    2 points by todsacerdoti 9 months ago | discuss
  24. CodeQL: Eindhoven Quantifier Notation (shivasurya.me)
    2 points by codepathfinder 11 months ago | discuss
  25. CodeQL Gains Copilot Autofix (github.blog)
    2 points by sgammon over 1 year ago | discuss
  26. CodeQL team uses AI to power vulnerability detection in code (github.blog)
    2 points by todsacerdoti almost 2 years ago | discuss
  27. CodeQL (github.com)
    1 points by zwc about 1 year ago | 1 comments
  28. GitHub CodeQL Now Supports Rust for Security and Variant Analysis (github.blog)
    1 points by summarity about 2 months ago | discuss
  29. Show HN: Codemodder – A new codemod library for Java and Python (codemodder.io)
    37 points by nahsra over 1 year ago | 8 comments
  30. Show HN: Codemodder – A new codemod library for Java and Python (codemodder.io)
    13 points by nahsra over 1 year ago | 4 comments
  31. Discover vulnerabilities across a codebase with semantic code analysis engine (codeql.github.com)
    2 points by selvan almost 2 years ago | 1 comments
  32. Default setup now includes scheduled scans and supports all languages covered b (github.blog)
    1 points by todsacerdoti over 1 year ago | discuss
  33. Beating GPT-4 on HumanEval with a fine-tuned CodeLlama-34B (www.phind.com)
    813 points by rushingcreek almost 2 years ago | 284 comments
  34. SlowLlama: Finetune llama2-70B and codellama on MacBook Air without quantization (github.com)
    156 points by behnamoh almost 2 years ago | 54 comments
  35. Show HN: Open Interpreter – CodeLlama in your terminal, executing code (openinterpreter.com)
    82 points by killianlucas almost 2 years ago | 21 comments
  36. Show HN: Codel – Autonomous Open Source AI Developer Agent (github.com)
    48 points by semanser over 1 year ago | 15 comments
  37. Show HN: I built local copilot alternative using Codellama (marketplace.visualstudio.com)
    38 points by ex3ndr over 1 year ago | 6 comments
  38. Wavecoder – a CodeLLM with 6.7B params scoring just behind GPT4 (twitter.com)
    36 points by fgfm over 1 year ago | 10 comments
  39. Meta is releasing a new CodeLlama (www.facebook.com)
    8 points by senthilnayagam over 1 year ago | 2 comments
  40. Codeflash: Automated performance optimization for Python programs (github.com)
    7 points by misrasaurabh1 3 months ago | discuss
  41. Learnings from codeQA – A chat-with-codebase application using top-K RAG (sankalp1999.notion.site)
    5 points by dejavucoder about 1 year ago | 1 comments
  42. After 5 years hiatus, CodeBlocks IDE for C,C++, Fortran is back (www.codeblocks.org)
    4 points by philonoist 3 months ago | discuss