Tags
- 3d-printing 1
- about 1
- ACSL 1
- agent 13
- agent-architecture 1
- agent-economics 1
- agent-eval 7
- agent-evals 4
- agent-evaluation 11
- agent-first-product 1
- agent-governance 2
- agent-harness 34
- agent-infrastructure 1
- agent-memory 8
- agent-observability 1
- agent-plan 1
- agent-plugins 1
- agent-registry 1
- agent-reliability 3
- agent-runtime 1
- agent-sandbox 1
- agent-scaffold 1
- agent-security 9
- agent-skills 14
- agent-swarm 1
- agent-tooling 1
- agent-tools 1
- agent-training 1
- agent-workflow 9
- agentic-development 1
- Agentic-EDA 1
- agentic-engineering 1
- agentic-research 2
- agentic-RL 1
- agentic-workflow 50
- agentops 1
- agriculture 1
- ai 1
- AI-accelerator 1
- ai-agent 25
- AI-compiler 1
- AI-for-Silicon 14
- ai-native 80
- ai-native-product 1
- ai-native-sdlc 2
- ai-research 1
- ai4ai 1
- Amdahl 1
- analog-circuit 1
- animals 1
- antarctica 1
- application 1
- assertion-generation 1
- attention 1
- behavior-spec 1
- behavioral-verification 1
- benchmark 6
- biodiversity 1
- bioinspiration 1
- biology 1
- business 1
- bytecode 1
- calibration 1
- chaos-engineering 1
- chemistry 1
- chip-verification 1
- ci 1
- ci-cd 2
- claude-code 1
- climate 2
- code-navigation 1
- code-optimization 1
- code-retrieval 1
- code-review 8
- code-search 1
- codex 1
- coding-agent 74
- collaboration 1
- communication 1
- compiler 17
- compiler-testing 1
- compiler-toolchain 1
- comptime 1
- concurrency 1
- configuration-management 1
- context-compaction 1
- context-engineering 57
- control-plane 1
- controlled-natural-language 1
- copilot 1
- copilot-automations 1
- copilot-dreaming 1
- correctness 1
- coverage 1
- cpp 4
- credible-compilation 1
- critical-thinking 1
- CUDA 5
- data-agent 2
- data-flow-invariant 1
- dataset 1
- dataset-curation 1
- datasheet 1
- deeplearning 1
- design 1
- deterministic-agent 1
- developer-experience 3
- developer-platform 1
- developer-tools 2
- device-sizing 1
- devops 1
- devsecops 2
- docker 1
- dynamic-tools 1
- dynamic-workspace 1
- earth-science 1
- ecology 1
- EDA 15
- EDA-agent 2
- edge-computing 1
- education 3
- engineering 3
- english 24
- environment 3
- environment-engineering 1
- evals 2
- evaluation 34
- evolution 1
- execution-feedback 1
- exercism 1
- expert-guidance 1
- explainable-ai 1
- feature-flags 2
- feedback-loop 1
- FlashInfer 1
- floating-point 1
- food 1
- formal-equivalence 3
- formal-methods 2
- formal-verification 11
- Frama-C 1
- fuzzing 1
- git 1
- git-infrastructure 1
- github-actions 2
- github-copilot 1
- Google 1
- governance 6
- GPU 11
- gpu-kernel 11
- gpu-simt-arch 1
- guardrails 1
- gui-agent 1
- hardware-security 1
- hardware-verification 2
- harness 6
- harness-engineering 4
- harness-evolution 1
- hi 1
- history 1
- HLS 3
- hpc 1
- human-agent-collaboration 1
- human-feedback 1
- human-in-the-loop 7
- humanities 1
- ielts 24
- inference-scaling 1
- infrastructure 1
- instruction-files 1
- instruction-following 1
- intermediate-representation 1
- kernel-generation 2
- kernel-optimization 6
- KernelBench 2
- knowledge-engineering 1
- knowledge-graph 1
- knowledge-transfer 1
- lane 1
- language 2
- Lean 3
- linux-kernel 1
- LLM 8
- LLM-agent 2
- llvm 1
- llvm-and-popular-compilers 1
- llvm-lifetime 1
- long-horizon 2
- long-horizon-agent 1
- low-resource-languages 1
- maintenance-agent 1
- materials 2
- mcp 7
- memory 2
- meta-programming 1
- migration 1
- mlir-affine 1
- mlir-lowering 1
- model-routing 1
- modelling 1
- monitoring 1
- multi-agent 11
- multi-model-orchestration 1
- multi-objective optimization 1
- multi-repo 1
- mutation-testing 1
- neuroscience 2
- observability 3
- operational-knowledge 1
- permission-gate 1
- persistent-world 1
- personalization 1
- pgo 1
- planning 2
- policy-compilation 1
- PPA 1
- proactive-bug-fixing 1
- product-thinking 1
- production-ai 1
- profiling 2
- program-optimization 1
- program-structure 1
- program-synthesis 1
- program-verification 1
- programmatic-tools 1
- programming-abstraction 1
- programming-languages 1
- prompt-caching 1
- prompt-injection 2
- provenance 3
- PTX 2
- pull-request 1
- ramp 1
- reading 24
- recursive-self-improvement 1
- recycling 1
- reference-model 1
- reinforcement-learning 6
- reliability 2
- remote-sensing 1
- repair 1
- replanning 1
- repository-memory 1
- repository-scale 1
- reproducibility 1
- research-agent 1
- research-automation 1
- research-methodology 1
- resume 1
- retrieval 1
- RISC-V 1
- RTL 6
- RTL-debugging 1
- RTL-generation 1
- RTL-to-GDS 1
- RTL-verification 1
- runtime 1
- runtime-evidence 1
- runtime-governance 1
- runtime-monitoring 1
- sandbox 4
- satellites 1
- schematic-transcription 1
- science 1
- scientific-computing 1
- scm 1
- sdlc 1
- security 2
- security-assertion 1
- self-evolving-agent 3
- self-improving-agent 3
- self-improving-agents 1
- shared-context 1
- shell 1
- showoff 1
- simulation 1
- skill-evolution 1
- skill-governance 1
- skill-routing 2
- skills 4
- slack-code 1
- sleep 1
- software-engineering 5
- software-evolution 1
- software-factory 53
- software-governance 1
- software-quality 1
- software-security 1
- software-supply-chain 1
- software-testing 2
- solar-energy 1
- solver-in-the-loop 1
- source-control 1
- sourcegraph 1
- space 1
- spec-driven-development 1
- specification 4
- specification-first 1
- specification-synthesis 1
- SQLite 1
- sre 1
- static-analysis 2
- subagents 2
- surrogate-model 1
- sustainability 1
- swe-bench 2
- symbolic-execution 1
- synthetic-data 1
- SystemVerilog 2
- task-completion 1
- task-specification 1
- team-collaboration 1
- technology 2
- terminal 1
- terminal-agent 2
- test-time-training 1
- testing 1
- text-to-SQL 1
- tir 1
- token-economics 1
- token-efficiency 1
- tool-architecture 1
- tool-calling 1
- tool-design 1
- tool-search 2
- tool-selection 1
- tool-use 1
- torch.compile 1
- Triton 3
- triton-matmul-digest 1
- trust-boundary 1
- tvm 2
- urban-planning 1
- valgrind 1
- vectorization 1
- verification 31
- verified-compiler 1
- Verilog 2
- VHDL 1
- vimbyexample 2
- vimscript 1
- vocabulary 1
- water 2
- waveform-debugging 1
- weather 1
- what-can-I-do-with-it 1
- workspace 1
- zero-trust 1